Results 21 to 30 of about 271,263 (249)
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
Искусство Евразии, 2022 В статье затрагивается тема одного из вариантов формирования модернистских абстрактных и тяготеющих к абстракции форм творчества. Рассматривая подходы и характер деятельности одного из наиболее интересных художников Свердловска/Екатеринбурга Вениамина ...
Копосова, Л.В.
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.
Simon Ware +7 more
core +1 more source
Centers in the Event Domain: A Retake on the Wholeness of Urban Spaces
Urban Planning, 2023 This article demonstrates that geometric analysis by itself is not enough to evaluate Alexander’s wholeness in public spaces and that his theories of wholeness can—and should—be extended into the realm of events.
Ridvan Kahraman
doaj +1 more source
Abstraction Refinement Guided by a Learnt Probabilistic Model [PDF]
, 2015 The core challenge in designing an effective static program analysis is to find a good program abstraction -- one that retains only details relevant to a given query. In this paper, we present a new approach for automatically finding such an abstraction.
Grigore, R +6 more
core +1 more source
South-South Dialogue: In Search of Humanity
The Australian Journal of Indigenous Education, 2017 This paper is a meditation on the idea of South-South dialogue, beginning with the South-South Dialogues: Situated Perspectives in Decolonial Epistemologies symposium held at the University of Queensland in 2015. I interrogate the concept of South-South
Bryan Mukandi
doaj +1 more source
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
On abstraction refinement for program analyses in Datalog [PDF]
, 2014 A central task for a program analysis concerns how to efficiently find a program abstraction that keeps only information relevant for proving properties of interest.
Zhang, Xin +9 more
core +1 more source
Numerical groundwater modelling under changing water abstraction in Weyib watershed, Ethiopia
Cogent Engineering, 2023 Groundwater is the primary source of water supply in Ethiopia. The study area was challenged due to increasing water demand, uneven water resource distribution, and noticeable changes in groundwater levels.
Mesfin Reta Aredo +2 more
doaj +1 more source
EvolvingWeb-Based Test Automation into Agile Business Specifications
Future Internet, 2011 Usually, test automation scripts for a web application directly mirror the actions that the tester carries out in the browser, but they tend to be verbose and repetitive, making them expensive to maintain and ineffective in an agile setting. Our research
David Streader +2 more
doaj +1 more source