Results 21 to 30 of about 775,915 (321)
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
Digitality as a longue durée historical phenomenon
Umanistica DigitaleThe digital age introduced the Digital Ecological Niche (DEN), revolutionizing human interactions. The advent of Digital History (DHy) has marked a methodological shift in historical studies, tracing its roots to Babbage and Lovelace’s 19th-century work ...
Salvatore Spina
doaj +1 more source
On the use of observation equivalence in synthesis abstraction [PDF]
, 2011 In a previous paper we introduced the notion of synthesis abstraction, which allows efficient compositional synthesis of maximally permissive supervisors for large-scale systems of composed finite-state automata.
Fabian, Martin +3 more
core +2 more sources
Trends of abstraction research in mathematics education: A bibliometric analysis
Infinityion is fundamental in mathematics learning because students can discover the studied concepts through abstraction. Bibliometric analyses of abstraction research in mathematics education have yet to be published.
Hodiyanto Hodiyanto +5 more
doaj +1 more source
FROM NAMES TO OBJECTS—PHILOSOPHICALLY ABOUT PSYCHIATRIC CLASSIFICATIONS [PDF]
Filozofia i NaukaAt each introduction of a new edition of psychiatric classifications, a vivid debate resurfaces and concerns their very validity: should classifications be based on etiology or should they be descriptive, based on observation, and not on some or other ...
Adrianna Grabizna
doaj +1 more source
‘All That is Solid Melts into Air’: Abstraction as Empowerment for the Migrant Mind in the Poetry of Warsan Shire [PDF]
HyperCultura, 2021 ion as a critical faculty has often been in use in philosophical and critical discourses. The frequency of its usage has often left unconsidered the myriad dimensions of the term pointing to the various centers of contemplation of abstraction.
Subhayu Bhattacharjee
doaj
MeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov Automata
, 2014 Markov automata combine continuous time, probabilistic transitions, and nondeterminism in a single model. They represent an important and powerful way to model a wide range of complex real-life systems. However, such models tend to be large and difficult
Becker, Bernd +5 more
core +2 more sources
Cy Twombly’s seasons, in the shadow of Renoir
Multidisciplinary Journal of School Education, 2020 The iconographical analysis of Four seasons (1993), by the contemporary artist Edwin Parker “Cy” Twombly (Cy Twombly, 1928 – 2011) must be understood considering the importance of one of the most famous impressionist painters: Pierre-Auguste Renoir (1841
Marta Mitjans Puebla
doaj +1 more source
Representation and Abstraction
MathematicsIn this paper we propose a mathematical model for cognitive phenomena such as abstraction, generalization and extension. The main concept is the coordination of the observable world with relevant features, a concept defined mathematically in the paper ...
Antal Jakovác, András Telcs
doaj +1 more source
Linking ideas in women’s writing: evidence from the Coruña Corpus
Revista de Lingüística y Lenguas Aplicadas, 2016 This paper provides an overview of some rhetorical devices found in scientific works by late Modern English women. We will focus on apparently marginal linguistic elements as devices fundamental for the expression of logical reasoning in different ...
Isabel Moskowich, Leida María Monaco
doaj +1 more source