Results 31 to 40 of about 131,306 (231)
Abstract Diagnosis for Timed Concurrent Constraint programs [PDF]
, 2011 The Timed Concurrent Constraint Language (tccp in short) is a concurrent logic language based on the simple but powerful concurrent constraint paradigm of Saraswat.
ALICIA VILLANUEVA +9 more
core +1 more source
Reprogramming Mind for Business Success [PDF]
Ovidius University Annals: Economic Sciences Series, 2018 In the context of business, an opportunity for guaranteed success is to reprogram our mind, diffuse disputes, zap away limiting habits and beliefs and step into more positive feelings.
Zamfir Cristina Mihaela
doaj
Some Ways to Improve Olympiads in Informatics
Informatics in Education, 2006 The paper describes some possible ways how to improve Olympiads in Informatics. Tasks in Olympiads are small models of programming tasks in software industry and in the limited amount of competition time contestants need to complete several software ...
Martins OPMANIS
doaj +1 more source
Testing and Debugging Techniques for Answer Set Solver Development
, 2010 This paper develops automated testing and debugging techniques for answer set solver development. We describe a flexible grammar-based black-box ASP fuzz testing tool which is able to reveal various defects such as unsound and incomplete behavior, i.e ...
Brummayer, Robert, Järvisalo, Matti
core +2 more sources
Industrial Evaluation of Integrated Performance Analysis and Equation Model Debugging for Equation-Based Models [PDF]
Modeling, Identification and Control, 2016 The ease of use and the high abstraction level of equation-based object-oriented (EOO) languages such as Modelica has the drawback that performance problems and modeling errors are often hard to find.
Åke Kinnander +2 more
doaj +1 more source
Debugging Multithreaded Programs as if They Were Sequential
IEEE Access, 2018 Debugging multithread programs is extremely difficult because the basic assumption that underlies sequential program debugging, that is, the program behavior is deterministic under a fixed input, is no longer valid due to the nondeterminism attributed to
Xiaodong Zhang +6 more
doaj +1 more source
Plasmonic Enhancement of Fluorescence and Protein Dynamics in Living Mammalian Cells
Advanced Materials, EarlyView.This study demonstrates plasmonic enhancement of the function of fluorescent voltage sensing proteins (genetically encoded voltage indicators, (GEVIs), QuasAr6) in live mammalian cells. Coupling to plasmonic nanoparticles does not just increase fluorescence, but influences the protein photocycle, creating a hybrid sensor with its response speed to ...
Marco Locarno +16 more
wiley +1 more source
Catalogue of Anti-Patterns for formal Ontology debugging [PDF]
, 2009 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
Advanced Robotics Research, EarlyView.This work presents the MicroRoboScope, a highly integrated, compact, and portable microrobotic experimentation platform combining electromagnetic and acoustic actuation with real‐time visual feedback into a single, end‐to‐end device. The system enables closed‐loop control and tracking algorithm experimentation within an accessible and unified hardware ...
Max Sokolich +4 more
wiley +1 more source
Incremental Formula-Based Fix Localization
Applied Sciences, 2020 Automatically fixing bugs in software programs can significantly reduce the cost and improve the productivity of the software. Toward this goal, a critical and challenging problem is automatic fix localization, which identifies program locations where a ...
Quang-Ngoc Phung, Eunseok Lee
doaj +1 more source