Results 311 to 320 of about 642,747 (358)
Some of the next articles are maybe not open access.
The Least Conjunctive Refinement and Promotion in the Refinement Calculus
Formal Aspects of Computing, 1999Abstract. A syntactic calculation of Morgan's least conjunctive refinement operator for predicate transformers is developed. The operator is used to develop a general approach to lifting relational operators to predicate transformer operators.
openaire +2 more sources
LWT - Food Science and Technology, 2019
In the present work, the effect of refining process on physicochemical parameters (acid and peroxide values), chemical compositions (fatty acid and phytochemical contents) and in vitro antioxidant activities of rice bran oil (RBO) were investigated.
Ruijie Liu, Longkai Shi, Tao Zhang
exaly +2 more sources
In the present work, the effect of refining process on physicochemical parameters (acid and peroxide values), chemical compositions (fatty acid and phytochemical contents) and in vitro antioxidant activities of rice bran oil (RBO) were investigated.
Ruijie Liu, Longkai Shi, Tao Zhang
exaly +2 more sources
, 2020
The main objective of refining is to remove the undesirable components in the crude oil to produce the oil with good quality and consumer acceptance. However, this refining process requires to be tailored for different types of oil due to the differences
Sook-Chin Chew, K. Nyam
semanticscholar +1 more source
The main objective of refining is to remove the undesirable components in the crude oil to produce the oil with good quality and consumer acceptance. However, this refining process requires to be tailored for different types of oil due to the differences
Sook-Chin Chew, K. Nyam
semanticscholar +1 more source
Carbohydrate Polymers, 2019
Hydrogen bonding and mechanical refining are closely correlated. In this work, structural variations of hydrogen bonding patterns in cellulose during mechanical pulp refining, including the hydrogen bonding energy and distance as well as the content of ...
Deqing Zhao +7 more
semanticscholar +1 more source
Hydrogen bonding and mechanical refining are closely correlated. In this work, structural variations of hydrogen bonding patterns in cellulose during mechanical pulp refining, including the hydrogen bonding energy and distance as well as the content of ...
Deqing Zhao +7 more
semanticscholar +1 more source
2015
Counterexample-guided abstraction refinement CEGAR is a property-directed approach for the automatic construction of an abstract model for a given system. The approach learns information from infeasible error paths in order to refine the abstract model.
Dirk Beyer 0001 +2 more
openaire +1 more source
Counterexample-guided abstraction refinement CEGAR is a property-directed approach for the automatic construction of an abstract model for a given system. The approach learns information from infeasible error paths in order to refine the abstract model.
Dirk Beyer 0001 +2 more
openaire +1 more source
2006
The purpose of this initial chapter is to introduce concepts and techniques assumed as general background in the remaining chapters of this book. The relevant notions are introduced using a simple and well-known programming notation: Dijkstra’s language of guarded commands [18], presented in Section [1].
Ana Cavalcanti 0001 +2 more
openaire +1 more source
The purpose of this initial chapter is to introduce concepts and techniques assumed as general background in the remaining chapters of this book. The relevant notions are introduced using a simple and well-known programming notation: Dijkstra’s language of guarded commands [18], presented in Section [1].
Ana Cavalcanti 0001 +2 more
openaire +1 more source
Formal Aspects of Computing, 2012
Abstract Emergent behaviour—system behaviour not determined by the behaviours of system components when considered in isolation—is commonplace in multi-agent systems, particularly when agents adapt to environmental change. This article considers the manner in which Formal Methods may be used to authenticate the trustworthiness of such systems.
Jeff W. Sanders, Graeme Smith 0001
openaire +4 more sources
Abstract Emergent behaviour—system behaviour not determined by the behaviours of system components when considered in isolation—is commonplace in multi-agent systems, particularly when agents adapt to environmental change. This article considers the manner in which Formal Methods may be used to authenticate the trustworthiness of such systems.
Jeff W. Sanders, Graeme Smith 0001
openaire +4 more sources
Scientific American, 1919
<div class="htmlview paragraph">A short account of the discovery and early development of the oils in the Appalachian Field is followed by a description of several oil-testing instruments and of modern refinery practice with diagrams and drawings.
openaire +1 more source
<div class="htmlview paragraph">A short account of the discovery and early development of the oils in the Appalachian Field is followed by a description of several oil-testing instruments and of modern refinery practice with diagrams and drawings.
openaire +1 more source
1990
We investigate equivalence notions for concurrent systems. We consider “linear time” approaches where the system behaviour is characterised as the set of possible runs as well as “branching time” approaches where the conflict structure of systems is taken into account. We show that the usual interleaving equivalences, and also the equivalences based on
Rob van Glabbeek, Ursula Goltz
openaire +2 more sources
We investigate equivalence notions for concurrent systems. We consider “linear time” approaches where the system behaviour is characterised as the set of possible runs as well as “branching time” approaches where the conflict structure of systems is taken into account. We show that the usual interleaving equivalences, and also the equivalences based on
Rob van Glabbeek, Ursula Goltz
openaire +2 more sources
SSRN Electronic Journal, 2014
Despite claims that the modern approach to interpretation of contracts has usurped much of its function, the equitable jurisdiction to rectify a written contract on the ground of common mistake remains one of the most practically important areas of the law of contract.
openaire +2 more sources
Despite claims that the modern approach to interpretation of contracts has usurped much of its function, the equitable jurisdiction to rectify a written contract on the ground of common mistake remains one of the most practically important areas of the law of contract.
openaire +2 more sources