Results 21 to 30 of about 553,328 (316)
BMC Evolutionary Biology, 2020 Background Many species are threatened with extinction as their population sizes decrease with changing environments or face novel pathogenic threats.
Christelle Vangenot +6 more
doaj +1 more source
Relational Concurrent Refinement Part III: Traces, partial relations and automata [PDF]
, 2014 Data refinement in a state-based language such as Z is defined using a relational model in terms of the behaviour of abstract programs. Downward and upward simulation conditions form a sound and jointly complete methodology to verify relational data ...
Derrick, John, Boiten, Eerke Albert
core +1 more source
Refinement of Intentions [PDF]
, 2016 According to Bratman, future-directed intentions are high-level plans. We view such plans as high-level actions that can typically not be executed directly: they have to be progressively refined until executable basic actions are obtained. Higher- and lower-level actions are linked by the means-end relation, alias instrumentality relation.
Herzig, Andreas +3 more
openaire +3 more sources
A Branch-and-Bound Algorithm for Polymatrix Games ϵ-Proper Nash Equilibria Computation
Algorithms, 2021 When several Nash equilibria exist in the game, decision-makers need to refine their choices based on some refinement concepts. To this aim, the notion of a ϵ-proper equilibria set for polymatrix games is used to develop 0–1 mixed linear programs and ...
Slim Belhaiza
doaj +1 more source
The 3Rs in Experimental Liver Disease
Animals, 2023 Patients with cirrhosis present multiple physiological and immunological alterations that play a very important role in the development of clinically relevant secondary complications to the disease.
Sebastian Martinez-Lopez +5 more
doaj +1 more source
iGG-MBS: Iterative Guided-Gaussian Multi-Baseline Stereo Matching
IEEE Access, 2020 This paper presents an improved dense disparity estimating technique for a collection of multi-baseline stereo (referred to as MBS in the text) images.
Pathum Rathnayaka, Soon-Yong Park
doaj +1 more source
Grain refinement efficiency of a new oxide-containing master alloy for aluminium casting alloys [PDF]
, 2014 In this study, grain refinement efficiency of a new oxide master alloy based on MgAl2O4 was demonstrated on an A357 alloy. The grain size of the reference alloy was reduced by 50-60% with the addition of the master alloy and introduction of ultrasonic ...
Dmitry G. Eskin +7 more
core +1 more source
Chemical vapor deposition of poly-p-xylylene in narrow tubes
AIP Advances, 2017 Depositing a film via chemical vapor deposition results in superior conformity compared with other deposition techniques, primarily due to the unique chemical interactions between the surface and the reactive compounds.
Sara Felicitas Bröskamp +4 more
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
Frontiers in Behavioral Neuroscience, 2023 Mice are the most commonly used laboratory animal, yet there are limited studies which investigate the effects of repeated handling on their welfare and scientific outcomes.
Julia Swan +10 more
doaj +1 more source