Results 21 to 30 of about 25,732 (152)
Reasoning About LLVM Code Using Codewalker [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 This paper reports on initial experiments using J Moore's Codewalker to reason about programs compiled to the Low-Level Virtual Machine (LLVM) intermediate form. Previously, we reported on a translator from LLVM to the applicative subset of Common Lisp
David S. Hardin
doaj +1 more source
The modified deep first search algorithm: functional implementation [PDF]
Computer Science Journal of MoldovaThe article includes the modified deep first search algorithm (DFS) that allows, at a single traversal of a graph, to check its connectivity/biconnectivity, highlight the cut vertices, and build the spanning tree, the biconnected components, and the ...
Constantin Ciubotaru
doaj +1 more source
Structuring, reuse and analysis of electronic dental data using the Oral Health and Disease Ontology
Journal of Biomedical Semantics, 2020 Background A key challenge for improving the quality of health care is to be able to use a common framework to work with patient information acquired in any of the health and life science disciplines.
William D. Duncan +9 more
doaj +1 more source
George Perle’s Twelve–Tone Tonality: some developments for CAC using PWGL
Journal of Science and Technology of the Arts, 2013 This paper presents a description and some developments on Perle’s theory and compositional system known as Twelve-Tone Tonality, a system that, because of its characteristics and fundamentals, is currently associated with Schoenberg dodecaphonic system.
Telmo Marques, Paulo Ferreira-Lopes
doaj +1 more source
Silva Fennica, 1990 Decision making in the forest protection involves diagnosing the pest, making predictions of the effects of the pest on forest, knowing the possible control tactics, and cost/benefit integration. To cope with all that, a generalist forest manager needs a
Saarenmaa, Hannu
doaj +1 more source
Mixed Algorithm for Combinations Generation [PDF]
Computer Science Journal of Moldova, 2019 Modifications are proposed to the recursive algorithm of combinations generation by reducing the number of non-performing recursive calls and recovering this gap through iterative processes.
Constantin Ciubotaru
doaj
Floating point performance of Common Lisp [PDF]
ACM SIGPLAN Notices, 1998 Christopher J. Vogt
openalex +3 more sources
Oil & Gas Science and Technology, 2006 Shell Research has developed an integrated well-performance simulation tool that is widely used throughout the Shell Group. However, users do not fully appreciate its advanced functionality because of the cumbersome way in which relevant input data have ...
Overboom G. R.
doaj +1 more source
La composición asistida por computadora usando melodías indígenas como material temático
Mayéutica: Revista Científica de Humanidades y Artes, 2014 El presente trabajo plantea la composición de una obra musical usando mecanismos de automatización informática, con melodías indígenas como material temático.
Antonio Giménez Fréitez
doaj +2 more sources
Reasoning About a Simulated Printer Case Investigation with Forensic Lucid [PDF]
, 2011 In this work we model the ACME (a fictitious company name) "printer case incident" and make its specification in Forensic Lucid, a Lucid- and intensional-logic-based programming language for cyberforensic analysis and event reconstruction specification ...
E.A. Ashcroft +8 more
core +2 more sources