Results 41 to 50 of about 885,312 (384)
Variații despre utopie la Antonio Gramsci [PDF]
Polis: Revista de Stiinte Politice, 2017 This essay offers a plurality of views on utopia, contained in the works by Antonio Gramsci since his years in Turin until the Notebooks. Some variations of the term utopia are dealt with, in connection with the phases of our author’s intellectual ...
Silvio SUPPA
doaj
Indialogs: Spanish Journal of India Studies, 2016 Since the new libertarian and democratic ideologies typical of the West arrived in Nepal through India, the Nepalese society experienced a series of changes that were unavoidably reflected in a new artistic wave.
Andrea de la Rubia
doaj +1 more source
On understanding types, data abstraction, and polymorphism
CSUR, 1985 Our objective is to understand the notion of type in programming languages, present a model of typed, polymorphic programming languages that reflects recent research in type theory, and examine the relevance of recent research to the design of practical ...
L. Cardelli, P. Wegner
semanticscholar +1 more source
Aggressive Behavior, Volume 49, Issue 1, Page 85-95, January 2023., 2023 Abstract The past two decades have produced extensive evidence on the manifold and severe outcomes for victims of aggression exposure in the workplace. However, due to the dominating individual‐centered approach, most findings miss a social network perspective.
Alexander Herrmann +2 more
wiley +1 more source
Avoiding Slipko’s Slips: Karol Wojtyla’s Two Levels of Value
Studia Gilsoniana, 2019 In his paper, “The Concept of Value in the Ethical Thought of Cardinal Karol Wojtyła,” Tadeusz Ślipko argues that the thought of Karol Wojtyła was not faithful to the truth.
Thomas Lahay
doaj +1 more source
Foundations of abstract probability theory [PDF]
arXiv, 2021 Using the ideas of abstract algebra, we introduce the basic concepts of abstract probability theory that generalize the Kolmogorov's probability theory, possibility theory and other theories that deal with uncertainty. Based on abstract addition and multiplication, we define an abstract measure and abstract Lebesgue integral.
arxiv
Program synthesis using abstraction refinement [PDF]
Proc. ACM Program. Lang., 2017 We present a new approach to example-guided program synthesis based on counterexample-guided abstraction refinement. Our method uses the abstract semantics of the underlying DSL to find a program P whose abstract behavior satisfies the examples. However,
Xinyu Wang, Işıl Dillig, Rishabh Singh
semanticscholar +1 more source
Factors modulating 99mTc‐MAA planar lung dosimetry for 90Y radioembolization
Journal of Applied Clinical Medical Physics, Volume 23, Issue 12, December 2022., 2022 Abstract Purpose To investigate the accuracy and biases of predicted lung shunt fraction (LSF) and lung dose (LD) calculations via 99mTc‐macro‐aggregated albumin (99mTc‐MAA) planar imaging for treatment planning of 90Y‐microsphere radioembolization.
Benjamin P. Lopez +4 more
wiley +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
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