Results 261 to 270 of about 562,291 (311)
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
Plastic & Reconstructive Surgery, 2020
Summary: With a growing massive weight loss population, upper arm contouring continues to rise in popularity. Refinements in technique, such as modification of skin excision patterns and the adjunct use of liposuction, have allowed for safe and reproducible results.
Rod J, Rohrich +2 more
openaire +2 more sources
Summary: With a growing massive weight loss population, upper arm contouring continues to rise in popularity. Refinements in technique, such as modification of skin excision patterns and the adjunct use of liposuction, have allowed for safe and reproducible results.
Rod J, Rohrich +2 more
openaire +2 more sources
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
2021
In this chapter, we will shape up visual elements and implement visual structure together with code structure. Visual elements can evolve best when the idea is still under construction, and we can follow new inspirations from working with code. We will also dig a bit deeper in working with data structures and unleash new powers of Processing.
Mathias Funk, Yu Zhang
openaire +1 more source
In this chapter, we will shape up visual elements and implement visual structure together with code structure. Visual elements can evolve best when the idea is still under construction, and we can follow new inspirations from working with code. We will also dig a bit deeper in working with data structures and unleash new powers of Processing.
Mathias Funk, Yu Zhang
openaire +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
, 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
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
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
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