Results 111 to 120 of about 27,292 (214)

Debugging Taxonomies and their Alignments: the ToxOntology - MeSH Use Case

, 2012
As part of an initiative to facilitate adequate identification and display of substance-associated health effects a toxicological ontology - ToxOntology - was created.
Lambrix, Patrick, Laurila Bergman, Jonas, Ivanova, Valentina, Hammerling, Ulf   +3 more
core  

Some design issues in the visualization of constraint logic program execution

, 1998
Visualization of program executions has been found useful in applications which include education and debugging. However, traditional visualization techniques often fall short of expectations or are altogether inadequate for new programming paradigms ...
Hermenegildo, Manuel V., Carro Liñares, Manuel, Manuel Hermenegildo, Manuel Carro   +3 more
core  

Probing the limits of genetic recoding using multi-omics-guided evolution. [PDF]

Nat Commun
Nyerges A, Chiappino-Pepe A, Budnik B, Baas-Thomas M, Rhuby E, Flynn R, Yan S, Ostrov N, Liu M, Wang M, Zheng Q, Hu F, Chen K, Rudolph A, Chen D, Ahn J, Spencer O, Ayalavarapu V, Tarver A, Harmon-Smith M, Hamilton M, Blaby I, Yoshikuni Y, Hajian B, Jin A, Kintses B, Szamel M, Seregi V, Shen Y, Li Z, Church GM.   +30 more
europepmc   +1 more source

Bridging awareness and behavior: decoding implicit metacognitive behaviors in AI-assisted programming via fine-grained log analysis. [PDF]

Front Psychol
Hou X, Liu Z, Wang G, Shi N.
europepmc   +1 more source

Source-Based Trace Exploration [PDF]

Hat is a programmer's tool for generating a trace of a computation of a Haskell 98 program and viewing such a trace in various different ways. Applications include program comprehension and debugging.
Chitil, Olaf
core  

ggplotAgent: a self-debugging multi-modal agent for robust and reproducible scientific visualization. [PDF]

Bioinform Adv
Wang Z, Yin Y, Wang J, Yan H, Xie X, Zheng Y.   +5 more
europepmc   +1 more source

Metacognitive strategy use in GenAI-supported academic reading: a qualitative study of postgraduate students in UK higher education. [PDF]

Front Psychol
Dai Y.
europepmc   +1 more source

Experimental control system of the X-ray magnetic circular dichroism endstation at Hefei Light Source-II. [PDF]

J Synchrotron Radiat
Kong A, Chen L, Chen K, Zhang D, Sun X, Liu G.   +5 more
europepmc   +1 more source

Cost analysis of enhanced software reliability model with Weibull testing effort function using simulated annealing. [PDF]

Sci Rep
Komee, Pachauri B.
europepmc   +1 more source

Program development using abstract interpretation (and the ciao system preprocessor)

, 2003
The technique of Abstract Interpretation has allowed the development of very sophisticated global program analyses which are at the same time provably correct and practical.
Hermenegildo, Manuel V., Bueno Carrillo, Francisco, López García, Pedro, Puebla Sánchez, Alvaro Germán   +3 more
core