Semi-autonomous driving, as it is already available today and will eventually become even more accessible, implies the need for driver and automation system to reliably work together in order to ensure safe driving. A...
详细信息
the proceedings contain 16 papers. the topics discussed include: exploring Minecraft settlement generators with generative shift analysis;HarmonyMapper: generating emotionally divers chord progressions for games;towar...
the proceedings contain 16 papers. the topics discussed include: exploring Minecraft settlement generators with generative shift analysis;HarmonyMapper: generating emotionally divers chord progressions for games;toward procedural generation of constructed languages for games;knowledge goal recognition for interactive narratives;moirai: enabling complex narrative structure in simulation-driven stories;towards automated video game commentary using generative AI;fast, declarative, character simulation using bottom-up logicprogramming;an executable ontology for social simulation;little learning machines: real-time deep reinforcement learning as a casual creativity game;examining early professionals' use of generative AI in the game development process;dialogue shaping: empowering agents through NPC interaction;and toward using ChatGPT to generate theme-relevant simulated storyworlds.
Recently, photovoltaic sources have emerged as one of the most important and rapidly increasing renewable energy sources. Especially in grid-connected applications, which mostly consist of power converters based on po...
详细信息
Software model checking has recently started to be applied in the verification of programmable logic controller (PLC) programs. It works efficiently when the number of input variables is limited, their interaction is ...
详细信息
ISBN:
(纸本)9781450391276
Software model checking has recently started to be applied in the verification of programmable logic controller (PLC) programs. It works efficiently when the number of input variables is limited, their interaction is small and, thus, the number of states the program can reach is not large. As observed in the large code base of the CERN industrial PLC applications, this is usually not the case: it thus leads to the well-known state-space explosion problem, making it impossible to perform model checking. One of the main reasons that causes state-space explosion is the inclusion of numeric variables due to the wide range of values they can take. In this paper, we propose an approach to discretize PLC input numeric variables (modelled as non-deterministic). this discretization is complemented with a set of transformations on the control-flow automaton that models the PLC program so that no extra behaviours are added. this approach is then quantitatively evaluated with a set of empirical tests using the PLC model checking framework PLCverif and three different state-of-the-art model checkers (CBMC, nuXmv, and theta), showing beneficial results for BDD-based model checkers.
Photovoltaic water pumping application is important field of interest for sustainable development. the maximum power point (MPP) at which PV system is to be operated is tracked by peak tracker to utilize solar power. ...
详细信息
the major goal of this work is to develop a control mechanism for the squirrel cage induction motor that will deliver the best dynamic response. this will be accomplished through the use of vector control techniques a...
详细信息
Deep neural network-based methods have recently enjoyed great popularity due to their effectiveness in solving difficult tasks. Requiring minimal human effort, they have turned into an almost ubiquitous solution in mu...
详细信息
In ITS, for students' success in carrying out their activities, it is essential to provide scaffolding, such as hints and feedback. Although using the ITS has increased student engagement and effort in the classro...
详细信息
ISBN:
(纸本)9783031328824;9783031328831
In ITS, for students' success in carrying out their activities, it is essential to provide scaffolding, such as hints and feedback. Although using the ITS has increased student engagement and effort in the classroom, some students have responded to the ITS's support facilities with an inappropriate behavior called gaming the system. thus, in this article, we explore the phenomenon of gaming the system behavior, studying underlying factors related to automatically detecting when students game the system. We aim to develop a model for detecting gaming the system behavior in a computer programming student during problem-solving activities. Particularly, we have had special attention on testing the influence of variables such as (i) the student's level of belief and the system's level of belief in the difficulty level of the problem in detecting gaming the system;and (ii) partial submission of the problem associated with complete submission, in program form, in the detection of system manipulation. To conduct the detector's development, we developed an appropriate environment for data collection and preparation of these data to be used by supervised machine learning algorithms, allowing the detection of the behavior. the development of the detector involved training single and ensemble machine learning algorithms to classify the system's gaming behavior and obtain models withthe best accuracy, including exploring, evaluating, and comparing different algorithms. the results show, considering the average of all algorithm results concerning all measures, the XGBoost ensemble classifier achieved the best performance.
Technician is an essential role in a medical procedure. A technician team is often faced with a high workload variability due to uncertain procedure case number and case duration. Traditional manual technician schedul...
详细信息
暂无评论