Results 21 to 30 of about 761,584 (320)
Better abstractions for timed automata [PDF]
We consider the reachability problem for timed automata. A standard solution to this problem involves computing a search tree whose nodes are abstractions of zones.
Alur +28 more
core +3 more sources
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
Moral Principles: Criticism and Defense [PDF]
The main purpose of this essay is to defend moral principles in the light of their critique by advocates of anti-theory in ethics. Moral principles, according to critics, cannot realize the main aim of principle-based ethics, which is providing a ...
Anna Krajewska
doaj +1 more source
Designing for mathematical abstraction [PDF]
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
On ceteris paribus laws in economics (and elsewhere)
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
В статье затрагивается тема одного из вариантов формирования модернистских абстрактных и тяготеющих к абстракции форм творчества. Рассматривая подходы и характер деятельности одного из наиболее интересных художников Свердловска/Екатеринбурга Вениамина ...
Копосова, Л.В.
doaj +1 more source
Minimalism in architecture: Abstract conceptualization of architecture [PDF]
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
Wassily Kandinsky at the Exhibition "Meisterwerke muhammedanischer Kunst" in Munich, 1910
In 1910, Wassily Kandinsky attended the Munich exhibition Meisterwerke muhammedanischer Kunst and subsequently wrote a review of it for the Russian literary journal Apollon. His review, which almost exclusively discussed the Persian paintings on display,
Emily Christensen
doaj +1 more source
MeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov Automata
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
Attention for Distraction: Modernity, Modernism and Perception
Particularly in the latter half of the nineteenth century sensorial experiences changed at breakneck speed. Social and technological developments of modernity like the industrial revolution, rapid urban expansion, the advance of capitalism and the ...
Ernst van Alphen
doaj +1 more source

