Results 21 to 30 of about 110,546 (261)
Systematic abstraction of abstract machines [PDF]
Journal of Functional Programming, 2012 Abstract We describe a derivational approach to abstract interpretation that yields novel and transparently sound static analyses when applied to well-established abstract machines for higher-order and imperative programming languages.
David Van Horn, Matthew Might
openaire +3 more sources
On ceteris paribus laws in economics (and elsewhere)
Erasmus Journal for Philosophy and Economics, 2012 Stipulating universal propositions with a ceteris paribus clause is normal practice in science and especially in economics. Yet there are several problems associated with the use of ceteris paribus clauses in theorising and in policy matters. This paper
Menno Rol
doaj +1 more source
A Necessity-Driven Ride on the Abstraction Rollercoaster of CS1 Programming
Informatics in Education, 2021 Introductory programming courses (CS1) are difficult for novices. Inspired by Problem solving followed by instruction and Productive Failure approaches, we define an original “necessity-driven” learning design.
Marco SBARAGLIA +2 more
doaj +1 more source
Abstraction, Declarative Observations and Algorithmic Problem Solving
Informatics in Education, 2021 The notion of algorithm may be perceived in different levels of abstraction. In the lower levels it is an operational set of instructions. In higher levels it may be viewed as an object with properties, solving a problem with characteristics.
David GINAT
doaj +1 more source
Frontiers in Psychology, 2020 AntecedentsPrevious research on citizens’ reactions after terrorist events has shown that positive reactions can also emerge alongside pain and horror. Positive emotions have been widely associated with an abstract style of thinking.
Itziar Fernández +5 more
doaj +1 more source
L’attitudine “astratta” del paesaggio
Ri-vista: Ricerche per la Progettazione del Paesaggio, 2015 Calvino in his book, “Six memos for the next millennium”, speaks about a world made up of representations of images and forms. Against this biased or common vision, he says that he can only use “a weapon he knows well”: an idea of literature.
Valerio Morabito
doaj +1 more source
Le « Modèle » : un support de création paradoxal en littérature
Babel: Littératures Plurielles, 2012 Ce propos invite à envisager le statut et le rôle du concept de « Modèle » au sein de la création artistique, principalement littéraire. À la suite d’une étude sur le statut du modèle depuis l’Antiquité (avec ses premières acceptions, symboliques…) et au
Vladimir Schotter
doaj +1 more source
Persistent Memory: Abstractions, Abstractions, and Abstractions [PDF]
IEEE Micro, 2019 Nonvolatile memory technologies have matured to the extent that commercial DIMM memory products are available today, for example Intel Optane DC Persistent Memory. Compared to DRAM, they provide higher density, better scaling potential, lower cost per bit, and are nonvolatile.
openaire +1 more source
The Specificity of Human Cognition According to St. Thomas Aquinas [PDF]
Studia GilsonianaThe aim of this article is to draw attention to the most important topics addressed by Thomas Aquinas, in which he presented the specificity of human cognition.
Michał Zembrzuski
doaj +1 more source
Images, 2016 Andrzej Wróblewski’s Drama Andrzej Wróblewski (1927-1957) was one of the most important Polish modern painters of his time, closely con- nected both with key issues of the 20th-century European avant-garde in art, as well as socialist realism in post ...
MAREK HENDRYKOWSKI
doaj +1 more source