Results 21 to 30 of about 793,519 (318)
Moral Principles: Criticism and Defense [PDF]
Studia Gilsoniana, 2023 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
“Can I go into the artwork?” Material–relational situations with abstract art
Journal for Research in Arts and Sports Education, 2022 The purpose of this article is to study museum educational situations, where 5–7-year-old children encounter abstract art, from a new materialist perspective.
Heidi Kukkonen
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
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
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
Abstracts, abstracts, abstracts
Jon Stark making it all possible, 2020 Ce label assurera de trouver au minimum dans toutes les maisons ces services et une qualité d’accueil identique. En plus des services obligatoires, certains points France Services pourront proposer des services des collectivités territoriales ou d’autres partenaires (SNCF, banques), en fonction des besoins locaux.
openaire +1 more source
Better abstractions for timed automata [PDF]
, 2015 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
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
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
A Theological Age: A New Way of Looking at the History of the West
Histories, 2023 This paper argues that the current age is best understood as a theological age in that its normal approach to the world is one based on a high level of abstraction. Theology stands in contrast with piety, which derives much more from immediate experience
Greg Melleuish, Susanna Rizzo
doaj +1 more source