Results 51 to 60 of about 414,553 (176)

Effects of a Self‐Regulated Cooperative Programming Approach on Elementary Students' Programming Knowledge, Metacognitive Awareness, and Self‐Efficacy

Journal of Computer Assisted Learning, Volume 42, Issue 1, February 2026.
ABSTRACT Background Programming is a vital digital skill that can equip students with the necessary competencies for future employment opportunities. However, due to inadequate metacognitive awareness, self‐regulation abilities, and a lack of prior programming knowledge, elementary school students may struggle with completing complex programming tasks.
Chengye Liu, Zhihao Cui, Xiaojing Weng
wiley   +1 more source

An Artificial Intelligence‐Based Computer Vision Model for Human Sperm Concentration, Motility, and Kinematics Analysis

Smart Medicine, Volume 5, Issue 1, February 2026.
A computer‐vision method measures sperm concentration and motility from recorded videos, benchmarked and calibrated against manual tracking to ensure consistency. It can potentially support routine fertility assessments with high accuracy. ABSTRACT Accurate assessment of sperm concentration and motility is critical for the diagnosis and management of ...
Sahar Shahali, David Mortimer, Moira K. O'Bryan, Robert McLachlan, Deirdre Zander‐Fox, Klaus Ackermann, Gulfam Ahmad, Adrian Neild, Reza Nosrati   +8 more
wiley   +1 more source

Generative AI for Requirements Engineering: A Systematic Literature Review

Software: Practice and Experience, Volume 56, Issue 2, Page 141-170, February 2026.
ABSTRACT Introduction Requirements engineering (RE) faces challenges due to the handling of increasingly complex software systems. These challenges can be addressed using generative artificial intelligence (GenAI). Given that GenAI‐based RE has not been systematically analyzed in detail, this review examines the related research, focusing on trends ...
Haowei Cheng, Jati H. Husen, Yijun Lu, Teeradaj Racharak, Nobukazu Yoshioka, Naoyasu Ubayashi, Hironori Washizaki   +6 more
wiley   +1 more source

DNA Origami and Its Applications in Synthetic Biology

Advanced Science, Volume 13, Issue 2, 9 January 2026.
This review provides a comprehensive summary of recent advancements in DNA origami for synthetic biology, emphasizing two key areas: the precise construction and dynamic regulation of extracellular‐to‐intracellular, and the synergistic integration with cell‐free systems.
Yaning Fang, Xuexin Chen, Qingsheng Qi, Min Lin, Quanfeng Liang   +4 more
wiley   +1 more source

Intelligent Feedback for Individualized Introductory Programming Exercises

Computer Applications in Engineering Education, Volume 34, Issue 1, January 2026.
ABSTRACT This paper proposes a method to improve programming instruction in an interdisciplinary Bachelor of Science and Technology program by integrating Artificial Intelligence (AI) into the code assessment process. Programming skills are a fundamental part of Engineering and Computer Science degrees.
Francisco de Assis Zampirolli, Fernando Teubl, Paulo Henrique Pisani, Thiago Alexandre Paiares e Silva   +3 more
wiley   +1 more source

Towards Energy Consumption Verification via Static Analysis

, 2015
In this paper we leverage an existing general framework for resource usage verification and specialize it for verifying energy consumption specifications of embedded programs.
Haemmerle, Remy, Hermenegildo, Manuel V., Klemen, Maximiliano, Liqat, Umer, Lopez-Garcia, Pedro   +4 more
core  

ThreadMonitor: Low‐Overhead Data Race Detection Using Intel Processor Trace

Concurrency and Computation: Practice and Experience, Volume 38, Issue 2, January 2026.
ABSTRACT Data races are among the most difficult multithreading bugs to find, due to their non‐deterministic nature. This and the increasing popularity of multithreaded programming have led to the need for practical automated data race detection. In this context, dynamic data race detectors have received more attention, compared to static tools, owing ...
Farzam Dorostkar, Michel Dagenais, Ankush Tyagi, Vince Bridgers   +3 more
wiley   +1 more source

A Monitoring Language for Run Time and Post-Mortem Behavior Analysis and Visualization [PDF]

, 2003
UFO is a new implementation of FORMAN, a declarative monitoring language, in which rules are compiled into execution monitors that run on a virtual machine supported by the Alamo monitor architecture.Comment: In M. Ronsse, K.
Auguston, Mikhail, Jeffery, Clinton, Underwood, Scott   +2 more
core   +1 more source

Building Hybrid Pharmacometric‐Machine Learning Models in Oncology Drug Development: Current State and Recommendations

CPT: Pharmacometrics &Systems Pharmacology, Volume 15, Issue 1, January 2026.
ABSTRACT Classic and hybrid pharmacometric‐machine learning models (hPMxML) are gaining momentum for applications in clinical drug development and precision medicine, especially within the oncology therapeutic area. However, standardized workflows are needed to ensure transparency, rigor, and effective communication for broader adoption.
Anna Fochesato, Logan Brooks, Omid Bazgir, Philippe B. Pierrillas, Candice Jamois, James Lu, Francois Mercier   +6 more
wiley   +1 more source

Automating Algorithm Experiments With ALGator: From Problem Modeling to Reproducible Results

Software: Practice and Experience, Volume 56, Issue 1, Page 26-41, January 2026.
ABSTRACT Background Theoretical algorithm analysis provides fundamental insights into algorithm complexity but relies on simplified and often outdated computational models. Experimental algorithmics complements this approach by evaluating the empirical performance of algorithm implementations on real data and modern computing platforms.
Tomaž Dobravec
wiley   +1 more source