Results 71 to 80 of about 140,941 (262)
Spectrum-Based Fault Localization via Enlarging Non-Fault Region to Improve Fault Absolute Ranking
Spectrum-based fault localization (SFL) is a popular lightweight automatic software fault localization technique that uses coverage information of program execution to compute the likelihood of root cause of failure(s) for each program component and ...
Yong Wang +3 more
doaj +1 more source
ABSTRACT The high accuracy in surface‐enhanced Raman scattering‐lateral flow immunoassays (SERS–LFIAs) is critical for reliable point‐of‐care testing (POCT) in clinical diagnostics. Conventional approaches are often affected by sampling variability and uneven distribution of immunoprobes, leading to unreliable signal fluctuations.
Shuai Zhao +9 more
wiley +1 more source
Remote Debugging Mechanism Based on MILS Multi-level Security Architecture [PDF]
Aiming at the features of multi-level security architecture,and the remote debugging technology based on the Multiple Independent Levels of Security(MILS) multilevel security architecture,this paper proposes a unified management and synergic debugging ...
LI Jian,CHEN Ge,YE Xiaoyun,FU Kai,HE Wei
doaj +1 more source
Mechanism elucidation of cell‐selective fluorescent probes
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
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 +3 more
wiley +1 more source
Causal-Consistent Reversible Debugging: Improving CauDEr [PDF]
Juan José González-Abril +1 more
openalex +1 more source
Embracing the Complexity of Integrating Computational Thinking in Education Using Rich Pictures
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 +3 more
wiley +1 more source
Catalogue of Anti-Patterns for formal Ontology debugging [PDF]
Debugging of inconsistent OWL ontologies is normally a tedious and time-consuming task where a combination of ontology engineers and domain expert is often required to understand whether the changes to be performed in order to make the OWL ontology ...
Corcho, Oscar +2 more
core +2 more sources
Automated Analysis of Multi-View Software Architectures
Software architectures usually are comprised of different views for capturing static, runtime, and deployment aspects. What is currently missing, however, are formal validation and verification techniques of multi-view architecture in very early phases ...
Cheng, Chih-Hong +2 more
core +1 more source
TCSR‐SQL: Towards Table Content‐Aware Text‐to‐SQL With Self‐Retrieval
ABSTRACT Large language model‐based (LLM‐based) text‐to‐SQL methods have achieved important progress in generating SQL queries for real‐world applications. When confronted with table content‐aware questions in real‐world scenarios, ambiguous data content keywords and nonexistent database schema column names within the question lead to the poor ...
Wenbo Xu +7 more
wiley +1 more source

