Provocation behind writing this paper has come from celebrated French philosopher Alain Badiou’s slogan "Mathematics is ontology" and subsequent reading of his book [2]. However, this is not a critique of t...
详细信息
Wireless Local Area Network (WLAN) Fingerprinting-based Indoor Positioning Systems (IPS) offer several key advantages over other indoor positioning technologies, including cost-effectiveness with high accuracy and pas...
详细信息
With the development of technology, online teaching systems are resorted to in the purpose of improving the teaching efficiency, which is closely related to students' participation in the aiding online systems. Wh...
详细信息
ISBN:
(纸本)9789819742424;9789819742431
With the development of technology, online teaching systems are resorted to in the purpose of improving the teaching efficiency, which is closely related to students' participation in the aiding online systems. What are the factors influencing students' using of the online systems? To answer this question, this study, in the light of Dornyei's theory, proposed four hypotheses concerning the influencing factors of second language learning motivation. It introduced the Fif online speaking training system in the speaking course Audio-Visual-Oral Business English, and designed four tasks according to the four hypotheses to see students' participation in the tasks. By carefully examining the data collected, this study found that the hypothesized motivational factors, including the students' desire, positive feedback from the teacher, relevancy with the in-class learning content and the requirement of the course did work in their post-class autonomous learning which is seen through their completion of the online speaking task. It is observed that the students made efforts to narrow the discrepancy between the real self and the possible self of future as competent second language users. Besides, negative self-suggestion would lead to the poor performance in completing the online exercise. Based on the results and findings, how to better engage the learners in their online training is further discussed.
The game of chess has long been used as a benchmark for testing human creativity and intelligence. With the advent of powerful chess engines, such as Stockfish and Leela Chess Zero (Lc0), endgame studies have also bec...
详细信息
ISBN:
(纸本)9783031549670;9783031549687
The game of chess has long been used as a benchmark for testing human creativity and intelligence. With the advent of powerful chess engines, such as Stockfish and Leela Chess Zero (Lc0), endgame studies have also become a tool for evaluating the capabilities of machine chess engines. In this work, we conduct a detailed study of Stockfish and Lc0, two leading chess engines with distinct methods of play, using chess endgames with varying numbers of remaining pieces. We evaluate the programs' move decision errors when using only the raw policy network as well as when using a small amount of search. We provide insights into the strengths and weaknesses of Stockfish and Lc0 in handling complex endgame positions by exploring common mistakes and identifying interesting behaviours of the engines based on the position of the opponent's last pawn remaining on the board.
Text data generated by humans in real-world scenarios often contains a substantial amount of noise, including misspellings, typographical errors, and abbreviations. Pre-trained language models (PLMs) often struggle to...
详细信息
Infinite-state games are a commonly used model for the synthesis of reactive systems with unbounded data domains. Symbolic methods for solving such games need to be able to construct intricate arguments to establish t...
详细信息
ISBN:
(纸本)9783031656323;9783031656330
Infinite-state games are a commonly used model for the synthesis of reactive systems with unbounded data domains. Symbolic methods for solving such games need to be able to construct intricate arguments to establish the existence of winning strategies. Often, large problem instances require prohibitively complex arguments. Therefore, techniques that identify smaller and simpler sub-problems and exploit the respective results for the given game-solving task are highly desirable. In this paper, we propose the first such technique for infinite-state games. The main idea is to enhance symbolic game-solving with the results of localized attractor computations performed in sub-games. The crux of our approach lies in identifying useful sub-games by computing permissive winning strategy templates in finite abstractions of the infinite-state game. The experimental evaluation of our method demonstrates that it outperforms existing techniques and is applicable to infinite-state games beyond the state of the art.
Nowadays, usability is a fairly important attribute within all types of systems. However, there is a type of system in which the lack of this stands out. These types of systems are ERP systems. Taking this into accoun...
详细信息
ISBN:
(数字)9783031613562
ISBN:
(纸本)9783031613555;9783031613562
Nowadays, usability is a fairly important attribute within all types of systems. However, there is a type of system in which the lack of this stands out. These types of systems are ERP systems. Taking this into account, this article focuses on carrying out a systematic review of the literature regarding the redesign of the graphical interfaces of ERP systems, treating and identifying different methods, especially User-Centered Design methods. In this way, the review seeks to focus on this type of methods, their definitions and uses, how they are used to solve the different usability problems found and identified in graphical interfaces in ERP systems and what are the impacts of some strategies or commonly used methods. In the same way, an analysis of the results obtained through this review will be sought, so that useful information can be collected to be focused on the redesign of ERP system interfaces. This article also details the studies found, the respective search strings, selection criteria, search engines or databases and a conceptual framework oriented to the topic.
We present a novel outlier detector for visual odometry algorithms operating in dynamic vegetated environments. The outlier detector utilises the difference in optical flow patterns caused by camera motion and plants ...
详细信息
In this research, we develop a Bayesian optimization algorithm to solve expensive, constrained problems. We consider the presence of heteroscedastic noise in the evaluations and thus propose a new acquisition function...
详细信息
作者:
Leonor, SusanaPalma, DavidISMAT
Rua Dr Estevao de Vasconcelos 33 P-8500656 Portimao Portugal FAUL
Rua Sa Nogueira P-1349063 Lisbon Portugal
Exploring concepts such as speculation, fiction, and critical design in disciplines where creativity overcomes is an approach to identifying potential development, innovation, and future possibilities in contemporary ...
详细信息
ISBN:
(纸本)9783031613524;9783031613531
Exploring concepts such as speculation, fiction, and critical design in disciplines where creativity overcomes is an approach to identifying potential development, innovation, and future possibilities in contemporary societies according to a set of rational, evolutionary, and sequential data. We presented a framework that guides the students through steps throughout the creative process, allowing them to substantiate concepts, proposals, and utopian and dystopian visions of possible futures. The different dimensions used in this framework can potentially overcome students' creative limitations regarding what they consider factual truth toward more holistic, altruistic, and transformational visions. The exploration and creation of future scenarios are driven by the possibility of conceiving new potential forms of interaction and behaviors between humans and machines, which also requires critical reflection on their purpose and possible consequences. This approach enables a renewed vision regarding Human-computer Interaction (HCI) - how we engage with it and integrate technology positively within an artifact, system, experience, or service. Above all, underlying the pedagogical practice, the project methodology identified here through this proposed framework is the learning of the global contexts with which the designer has to work, aware of the impact of his projects in the short and long term, and that he also has the transformational role with society, the environment, and ethics. With this paper, we aim to contribute to a framework that enables the introduction of speculative and factional approaches to design students in higher education.
暂无评论