Results 31 to 40 of about 94 (76)
Characterizing Computation Models with a Constant Factor Time Hierachy
, 1996 The existence of a constant factor time hierarchy within sets decidable within a (time-constructible) time bound is a necessary property for reasoning theoretically about linear time optimizations.
Rose, Eva, Eva Rose
core
The role of software in science: a knowledge graph-based analysis of software mentions in PubMed Central. [PDF]
PeerJ Comput Sci, 2022 Schindler D +3 more
europepmc +1 more source
How Experts Adapt Their Gaze Behavior When Modeling a Task to Novices. [PDF]
Cogn Sci, 2020 Emhardt SN +5 more
europepmc +1 more source
A Programming Language Where the Syntax and Semantics Are Mutable at Runtime
, 2007 Katahdin is a programming language where the syntax and semantics are mutable at runtime. The Katahdin interpreter parses and executes programs according to a language definition that can be modified by the running program.
Chris, Seaton
core
A systematic review of fuzzing based on machine learning techniques. [PDF]
PLoS One, 2020 Wang Y, Jia P, Liu L, Huang C, Liu Z.
europepmc +1 more source
Proofs and programs about open terms
, 2018 Formal deductive systems are very common in computer science. They are used to represent logics, programming languages, and security systems. Moreover, writing programs that manipulate them and that reason about them is important and common.
Ferreira Ruiz, Francisco
core
A Pattern-based Foundation for Language-Driven Software Engineering [PDF]
This work brings together two fundamental ideas for modelling, programming and analysing software systems. The first idea is of a methodological nature: engineering software by systematically creating and relating languages.
Reichert, Tim
core
This paper proposes the BT-PEC (Berry-Tensor / Pseudo-Euclidean Coupling) Origin Theory, establishing a formal bootstrapping system based on the coupled constraints of ternary matrices B, T, PEC. The core conservation constraint of the system is defined asΩ = tr(BT) − tr(PEC) = 0Under this global trace balance constraint, the high ...
openaire +1 more source
SuperARC: a test for artificial superintelligence based on compressed modelling, recursive prediction and problem complexity. [PDF]
Nat CommunHernández-Espinosa A +3 more
europepmc +1 more source
Who was he? Reflections on China's first medical 'naturalist'. [PDF]
Med Hist, 2012 Brown M.
europepmc +1 more source