Results 11 to 20 of about 785,264 (319)
Abstracting abstract machines [PDF]
Proceedings of the 15th ACM SIGPLAN international conference on Functional programming, 2010 We describe a derivational approach to abstract interpretation that yields novel and transparently sound static analyses when applied to well-established abstract machines. To demonstrate the technique and support our claim, we transform the CEK machine of Felleisen and Friedman, a lazy variant of Krivine's machine, and the stack-inspecting CM machine ...
Van Horn, David, Might, Matthew
openaire +2 more sources
Robustly Complete Finite-State Abstractions for Control Synthesis of Stochastic Systems
IEEE Open Journal of Control Systems, 2023 The essential step of abstraction-based control synthesis for nonlinear systems to satisfy a given specification is to obtain a finite-state abstraction of the original systems.
Yiming Meng, Jun Liu
doaj +1 more source
Abstraction of Observables [PDF]
, 2012 Making use of the laws of physical transactions, we study symmetrical many-points systems. Relation of group-theory to physical transactions in such symmetrical systems is dealt with.
Ganguly, Subhajit
core +1 more source
Memory based on abstraction for dynamic fitness functions [PDF]
, 2008 Copyright @ Springer-Verlag Berlin Heidelberg 2008.This paper proposes a memory scheme based on abstraction for evolutionary algorithms to address dynamic optimization problems.
A.Ş. Uyar +5 more
core +3 more sources
Towards an Embodied Abstraction: An Historical Perspective on Lucinda Childs’ Calico Mingling (1973)
Arts, 2021 In the 1970s, choreographer Lucinda Childs developed a reductive form of abstraction based on graphic representations of her dance material, walking, and a specific approach towards its embodiment.
Lou Forster
doaj +1 more source
Automatic Abstraction for Congruences [PDF]
, 2010 One approach to verifying bit-twiddling algorithms is to derive invariants between the bits that constitute the variables of a program. Such invariants can often be described with systems of congruences where in each equation $\vec{c} \cdot \vec{x} = d ...
A. King +14 more
core +2 more sources
And, 2022 L'anno scorso ero a Roma col fotografo Bas Princen pochi giorni prima che inaugurasse la Biennale di Architettura dove egli esponeva una serie di grandi fotografie stampate su gesso nel padiglione del Kazakhstan allestito per l'occasione dallo studio ...
Vittorio Pizzigoni
doaj
Entropy, 2021 Representation and abstraction are two of the fundamental concepts of computer science. Together they enable “high-level” programming: without abstraction programming would be tied to machine code; without a machine representation, it would be a pure ...
Raymond Turner
doaj +1 more source
Eidos. A Journal for Philosophy of Culture, 2021 This article offers a reading of Jacques Derrida’s account of “religion” and “life” in his seminal essay “Faith and Knowledge.” Applying Derrida’s aporetic structure of “X without X” to his remarks on religion and life in “Faith and Knowledge,” this ...
King-Ho Leung
doaj +1 more source
Designing for mathematical abstraction [PDF]
, 2010 Our focus is on the design of systems (pedagogical, technical, social) that encourage mathematical abstraction, a process we refer to as designing for abstraction.
Noss, Richard, Pratt, Dave
core +3 more sources