Results 41 to 50 of about 140,941 (262)

Catching the Ouroboros: On Debugging Non-ground Answer-Set Programs [PDF]

open access: yes, 2010
An important issue towards a broader acceptance of answer-set programming (ASP) is the deployment of tools which support the programmer during the coding phase.
Oetsch, Johannes   +2 more
core   +2 more sources

Network-on-Multi-Chip (NoMC) with Monitoring and Debugging Support

open access: yesJournal of Telecommunications and Information Technology, 2023
This paper summarizes recent research on network-on-multi-chip (NoMC) at Poznań University of Technology. The proposed network architecture supports hierarchical addressing and multicast transition mode.
Adam Łuczak   +6 more
doaj   +1 more source

Mulr4FL: Effective Fault Localization of Evolution Software Based on Multivariate Logistic Regression Model

open access: yesIEEE Access, 2020
Fault localization is indeed tedious and costly work during software maintenance. Studies indicate that combining both structural features and behavior characteristics of programs can be beneficial for improving the efficiency of fault locating.
Xiaolin Ju   +4 more
doaj   +1 more source

Industrial robot simulation manufacturing based on big data and virtual reality technology

open access: yesPaladyn, 2023
The intelligent production line is generally composed of industrial robot workstations or multiple workstations, with complex process, large equipment investment, and difficult on-site debugging.
Zhang Limin, Yu Zhanqiu
doaj   +1 more source

Debugging of Web Applications with Web-TLR [PDF]

open access: yes, 2011
Web-TLR is a Web verification engine that is based on the well-established Rewriting Logic--Maude/LTLR tandem for Web system specification and model-checking. In Web-TLR, Web applications are expressed as rewrite theories that can be formally verified by
Daniel Romero   +19 more
core   +3 more sources

AI‐Enhanced Gait Analysis Insole with Self‐Powered Triboelectric Sensors for Flatfoot Condition Detection

open access: yesAdvanced 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

Early childhood preservice teachers debugging block-based programs: An eye tracking study

open access: yesJournal of Childhood, Education & Society, 2020
Learning computational skills such as programming and debugging is very important for K-12 students given the increasing need of workforce proficient in computing technologies.
Lucas Vasconcelos   +2 more
doaj   +1 more source

Mucosa‐Interfacing Capsule for In Situ Sensing the Elasticity of Biological Tissues

open access: yesAdvanced Materials Technologies, Volume 10, Issue 6, March 18, 2025.
A fundamental mechanism of palpating soft materials is reported to sense deep tissue elasticity in situ with minimal invasion using the interaction between the robot palpation unit and soft tissues. Both the robot locomotion and elasticity sensing functions are remotely controlled by external magnetic fields, while the sensing data are wirelessly ...
Kiyoung Kim   +10 more
wiley   +1 more source

A methodology for the capture and analysis of hybrid data: a case study of program debugging [PDF]

open access: yes, 2007
No description ...
A. F. Blackwell   +37 more
core   +1 more source

Biomechanics‐Driven 3D Architecture Inference from Histology Using CellSqueeze3D

open access: yesAdvanced 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

Home - About - Disclaimer - Privacy