Results 121 to 130 of about 416 (152)
Dynamic basis of supercoiling-dependent DNA interrogation by Cas12a via R-loop intermediates. [PDF]
Aris KDP +7 more
europepmc +1 more source
Formation of PLA Stereocomplex Crystals through Homorecrystallization and Mesophase Growth Mechanisms. [PDF]
Ahmadi H +6 more
europepmc +1 more source
Intraoperative cell-salvaged versus allogeneic red blood cell transfusions in high-bleeding-risk cardiovascular surgery: Protocol for a single-center, randomized, parallel-group, noninferiority trial. [PDF]
Tsukinaga A +15 more
europepmc +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Order, 2020
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Efe A. Ok, Gil Riella
openaire +2 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Efe A. Ok, Gil Riella
openaire +2 more sources
Syntopogenous preordered spaces (II)
Mathematical Proceedings of the Cambridge Philosophical Society, 1978In (1) the authors introduced the idea of a syntopogenous preordered space (SPS), thereby generalizing simultaneously the concepts of ‘uniform preordered space’ and ‘proximity preordered space’. In the case of a classical topology the SPS condition was seen to be equivalent to the condition, ‘convex plus T1-preordered’.
Burgess, D. C. J., Fitzpatrick, M.
openaire +1 more source
Syntopogenous preordered spaces
Mathematical Proceedings of the Cambridge Philosophical Society, 1976The investigation of a topological, uniform or proximity space endowed with a preordering is by now well established. A topological space along with a preordering related to the topology in varying degrees has been studied, for example, in (3), (4), (5) and (6).
Burgess, D. C. J., Fitzpatrick, M.
openaire +2 more sources
Algebra and Logic, 2018
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
2007
We define a language for Web services contracts as a parallel-free fragment of ccs and we study a natural notion of compliance between clients and services in terms of their corresponding contracts. The induced contract preorder turns out to be valuable in searching and querying registries of Web services, it shows interesting connections with the must
C. Laneve, L. Padovani
openaire +2 more sources
We define a language for Web services contracts as a parallel-free fragment of ccs and we study a natural notion of compliance between clients and services in terms of their corresponding contracts. The induced contract preorder turns out to be valuable in searching and querying registries of Web services, it shows interesting connections with the must
C. Laneve, L. Padovani
openaire +2 more sources
Performance preorder and competitive equivalence
Acta Informatica, 1997A preorder based on execution speed, called performance preorder, is introduced for a simple process algebra with durational actions. Two processes \(E\) and \(F\) are related -- \(E\sqsubseteq_p F\) -- if they have the same functionality (in this case, we have chosen strong bisimulation equivalence) and \(E\) is at least as fast as \(F\).
Corradini F., Gorrieri R., Roccetti M.
openaire +2 more sources

