Results 61 to 70 of about 19,566 (235)

A Simulator for LLVM Bitcode

, 2019
In this paper, we introduce an interactive simulator for programs in the form of LLVM bitcode. The main features of the simulator include precise control over thread scheduling, automatic checkpoints and reverse stepping, support for source-level ...
A Groce, A Groce, G Behrmann, J Barnat, Keith Lee, P Ročkai, T Ball   +6 more
core   +1 more source

SCCD Debugger: a Debugger for Statecharts and Class Diagrams

Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems
Abstract: Model-driven development (MDD) is increasingly relevant in the software development landscape. However, its adoption in the industry remains challenging. According to several studies, inadequate tool support, combined with insufficient expertise in the workforce and organisational and social factors, is part of the problem.
Francisco Simões, Miguel Goulão, Vasco Amaral, Joeri Exelmans, Hans Vangheluwe   +4 more
openaire   +2 more sources

High‐Adhesion Quadruple Hydrogen‐Bonded Ionogels: A Dual‐Function Platform for Gesture Recognition and Real‐Time NH3 Detection in Multiscenario

ENERGY &ENVIRONMENTAL MATERIALS, EarlyView.
Quadruple hydrogen‐bonded high‐adhesion ionogels for gesture recognition and real‐time NH3 sensing. Ionogels have garnered significant attention in flexible sensing due to their outstanding mechanical properties, conductivity, and stability. However, establishing a robust and stable adhesive interface with various substrates remains a significant ...
Haohao Lin, Xiaotong Ma, Zihao Chen, Long Yang, Zitong Kan, Ruochen An, Lin Xu, Zhiyong Chang   +7 more
wiley   +1 more source

AI‐driven circular economy optimization in waste management: A review of current evidence

Environmental Progress &Sustainable Energy, EarlyView.
Abstract The integration of artificial intelligence (AI) and machine learning (ML) in waste management has the potential to significantly advance circular economy objectives by enhancing efficiency, reducing waste, and optimizing resource recovery. However, realising these benefits depends on addressing significant technical, economic, and systemic ...
David Bamidele Olawade, Ram Narayan Yadav, James O Ijiwade, Ojima Z. Wada   +3 more
wiley   +1 more source

Full Science, Technology, Engineering, Arts and Mathematics Ahead: Leveraging Immersive Virtual Reality to Create Equitable and Transformative Learning Experiences

Future in Educational Research, EarlyView.
ABSTRACT Immersive virtual reality (IVR) is widely promoted as a means of enriching learning in science, technology, engineering, arts and mathematics (STEAM), yet evidence of its capacity to foster equitable classroom experiences for marginalised groups remains limited, particularly outside traditional STEM domains.
Carly Waterhouse‐Boot, Fiona Steel‐Hughes   +1 more
wiley   +1 more source

Blink: An educational software debugger for Scratch

SoftwareX
The process of teaching children to code is often slowed down by the delay in providing feedback on each student’s code. Especially in larger classrooms, teachers often lack the time to give individual feedback to each student.
Niko Strijbol, Robbe De Proft, Klaas Goethals, Bart Mesuere, Peter Dawyndt, Christophe Scholliers   +5 more
doaj   +1 more source

Automatic Detection and Bypassing of Anti-Debugging Techniques for Microsoft Windows Environments

Advances in Electrical and Computer Engineering, 2019
In spite of recent remarkable advances in binary code analysis, adversaries are still using diverse anti-reversing techniques for obfuscating code and making analysis difficult.
PARK, J., JANG, Y.-H., HONG, S., PARK, Y.   +3 more
doaj   +1 more source

Mechanism elucidation of cell‐selective fluorescent probes

Smart Molecules, EarlyView.
This perspective outlines five mechanistic strategies—Protein‐oriented, carbohydrate‐oriented, lipid‐oriented, gating‐oriented, and metabolism‐oriented live‐cell distinctions—for achieving cell‐selective fluorescence in live‐cell imaging. By classifying probes based on their interactions with proteins, carbohydrates, lipids, transporters, or metabolic ...
Sourav Sarkar, Young‐Tae Chang
wiley   +1 more source

An Ecosystem to Develop Multi‐Agent Systems in Real‐World IoT Applications

Software: Practice and Experience, EarlyView.
ABSTRACT Software agents and multi‐agent systems are critical components in the development of distributed autonomous systems, as they exhibit a wide range of “intelligence,” from reactive behaviors to advanced reasoning and planning. Integrating these capabilities into multi‐agent systems enables distributed artificial intelligence, a programming ...
Davide Carnemolla, Fabrizio Messina, Federico Fausto Santoro, Corrado Santoro   +3 more
wiley   +1 more source

Embracing the Complexity of Integrating Computational Thinking in Education Using Rich Pictures

Systems Research and Behavioral Science, EarlyView.
ABSTRACT Computational thinking (CT) is a fundamental cognitive skill that provides a problem‐solving approach applicable across various domains. Integrating CT into K–12 education is crucial for developing the competencies that students need; however, its implementation presents significant challenges. While most research on CT has focused on specific
Ali Hamidi, Rafael Zerega, Sadaf Salavati, Marcelo Milrad   +3 more
wiley   +1 more source