Results 51 to 60 of about 772,646 (193)
Shape predicates allow unbounded verification of linearizability using canonical abstraction [PDF]
, 2014 Canonical abstraction is a static analysis technique that represents states as 3-valued logical structures, and is able to construct finite representations of systems with infinite statespaces for verification.
Friggens, David, Groves, Lindsay
core +1 more source
The Journal of Logic and Algebraic Programming, 2006 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Minimalism in architecture: Abstract conceptualization of architecture [PDF]
Arhitektura i Urbanizam, 2015 Minimalism in architecture contains the idea of the minimum as a leading creative tend to be considered and interpreted in working through phenomena of empathy and abstraction.
Vasilski Dragana
doaj +1 more source
A Really Good Example Helps Learning About an Abstract Concept
International Journal for the Scholarship of Teaching and Learning, 2023 University students are often asked to learn abstract concepts. Abstract concepts are hard to learn. Giving specific examples can help learning abstract concepts.
Ava Funkhouser, Elena Nicoladis
doaj +1 more source
Two kinds of abstraction in schizophrenia : a thesis presented in partial fulfilment of the requirements for the degree of Master of Arts in Psychology at Massey University [PDF]
, 1981 An impairment in abstracting ability has frequently been proposed as a reason for schizophrenic thought disorder. The performance of hospitalized chronic paranoid schizophrenics and non-paranoid schizophrenics were compared to a normal control group on ...
Cade, Philip Nigel
core
Sparsity-Sensitive Finite Abstraction
, 2017 ion of a continuous-space model into a finite state and input dynamical model is a key step in formal controller synthesis tools. To date, these software tools have been limited to systems of modest size (typically $\leq$ 6 dimensions) because the ...
Arcak, Murat +2 more
core +1 more source
SPIDA: Abstracting and generalizing layout design cases [PDF]
, 1998 ion and generalization of layout design cases generate new knowledge that is more widely applicable to use than specific design cases. The abstraction and generalization of design cases into hierarchical levels of abstractions provide the designer with ...
Duffy, A.H.D., Lee, B.S., Manfaat, D.
core +1 more source
Sensing the Present: “Conceptual Art of the Senses”
Text Matters, 2017 After Rachel E. Burke briefly introduces the essays presented with a focus on our contemporary relationship to modern subjectivity, Mieke Bal will make the case for the sense of presentness on an affective and sensuous level in Munch’s paintings and ...
Mieke Bal, Rachel E. Burke
doaj +1 more source
Abstraction and its Limits: Finding Space for Novel Explanation. [PDF]
, 2012 Several modern accounts of explanation acknowledge the importance of abstraction and idealization for our explanatory practice. However, once we allow a role for abstraction, questions remain. I ask whether the relation between explanations at different
Knox, Eleanor
core
Completeness of Lyapunov Abstraction
, 2013 In this work, we continue our study on discrete abstractions of dynamical systems. To this end, we use a family of partitioning functions to generate an abstraction.
Sloth, Christoffer, Wisniewski, Rafael
core +2 more sources