Results 21 to 30 of about 414,553 (176)
A Generalized Model for Algorithmic Debugging
International Workshop/Symposium on Logic-based Program Synthesis and Transformation, 2015 Algorithmic debugging is a semi-automatic debugging technique that is present in practically all mature programming languages. In this paper we claim that the state of the practice in algorithmic debugging is a step forward compared to the state of the ...
David Insa, Josep Silva
semanticscholar +1 more source
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
Correctness and completeness of logic programs [PDF]
, 2015 We discuss proving correctness and completeness of definite clause logic programs. We propose a method for proving completeness, while for proving correctness we employ a method which should be well known but is often neglected.
Drabent, Włodzimierz
core +1 more source
Contract-Based General-Purpose GPU Programming [PDF]
, 2014 Using GPUs as general-purpose processors has revolutionized parallel computing by offering, for a large and growing set of algorithms, massive data-parallelization on desktop machines.
Kolesnichenko, Alexey +3 more
core +5 more sources
Advanced Materials Technologies, Volume 10, Issue 6, March 18, 2025.The given research presents an innovative insole‐based device employing self‐powered triboelectric nanogenerators (TENG) for flatfoot detection. By integrating TENG tactile sensors within an insole, the device converts mechanical energy from foot movements to electrical signals analyzed via machine learning, achieving an 82% accuracy rate in flatfoot ...
Moldir Issabek +7 more
wiley +1 more source
Biomechanics‐Driven 3D Architecture Inference from Histology Using CellSqueeze3D
Advanced Science, EarlyView.CellSqueeze3D reconstructs 3D cellular architecture from standard 2D histology images using biomechanical constraints and optimization. Validated on clinical datasets, it enables accurate tissue phenotyping, predicts gene mutations, and reveals significant correlations between nuclear‐cytoplasmic ratio entropy and tumor progression.
Yan Kong, Hui Lu
wiley +1 more source
Smart Learning EnvironmentsIn recent years, programming education has gained recognition at various educational levels due to its increasing importance. As the need for problem-solving skills becomes more vital, researchers have emphasized the significance of developing ...
Abdullahi Yusuf, Norah Md Noor
doaj +1 more source
Pervasive Parallel And Distributed Computing In A Liberal Arts College Curriculum [PDF]
, 2017 We present a model for incorporating parallel and distributed computing (PDC) throughout an undergraduate CS curriculum. Our curriculum is designed to introduce students early to parallel and distributed computing topics and to expose students to these ...
Danner, Andrew +2 more
core +3 more sources
Advanced Intelligent Systems, EarlyView.During lengthy minimally invasive surgeries, fatigue can cause surgeon tremor and poor endoscopic coordination. This study proposes a robot‐assisted endoscopic adjustment system. It employs a lightweight instrument detection model and a hierarchical multiconstraint controller for visual servoing.
Zijie Yang +5 more
wiley +1 more source
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 +7 more
wiley +1 more source