Results 21 to 30 of about 1,353,441 (297)
Data refinement refined resume [PDF]
, 1986 We consider the original work of Hoare and Jones on data refinement in the light of Dijkstra and Smyth's treatment of nondeterminism and of Milner and Park's definition of the simulation of Communicating Systems. Two proof methods are suggested which we hope are simpler and more general than those in current use.
J. He, C. A. R. Hoare, J. W. Sanders
openaire +1 more source
Refining Vegetable Oils: Chemical and Physical Refining [PDF]
The Scientific World Journal, 2022 This review presents recent technologies involved in vegetable oil refining as well as quality attributes of crude oils obtained by mechanical and solvent extraction. Usually, apart from virgin oils, crude oils cannot be consumed directly or incorporated into various food applications without technological treatments (refining). Indeed, crude oils like
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
A Refinement Calculus for Logic Programs [PDF]
, 2002 Existing refinement calculi provide frameworks for the stepwise development of imperative programs from specifications. This paper presents a refinement calculus for deriving logic programs.
Colvin, Robert +4 more
core +2 more sources
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
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
Variability Abstraction and Refinement for Game-Based Lifted Model Checking of Full CTL [PDF]
, 2019 One of the most promising approaches to fighting the configuration space explosion problem in lifted model checking are variability abstractions. In this work, we define a novel game-based approach for variability-specific abstraction and refinement for ...
A Campetelli +20 more
core +1 more source
Animals, 2023 Housing in metabolic cages can induce a pronounced stress response. Metabolic cage systems imply housing mice on metal wire mesh for the collection of urine and feces in addition to monitoring food and water intake.
Laura Wittek +5 more
doaj +1 more source