Results 281 to 290 of about 2,250,867 (343)
Multicenter Validation of a Machine Learning Model for Surgical Transfusion Risk at 45 US Hospitals.
JAMA Netw OpenLou SS +6 more
europepmc +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Detecting concurrency vulnerabilities based on partial orders of memory and thread events
ESEC/SIGSOFT FSE, 2021Memory vulnerabilities are the main causes of software security problems. However, detecting vulnerabilities in multi-threaded programs is challenging because many vulnerabilities occur under specific executions, and it is hard to explore all possible ...
Kunpeng Yu +4 more
semanticscholar +1 more source
On Partial Orders in Complex Fuzzy Logic
IEEE transactions on fuzzy systems, 2021A partial ordering $\preceq$ on the unit circle of the complex plane ${\bf D}$induced by the algebraic product was introduced and it was proved that $({\bf D},\preceq)$ is a complete lattice (Dick, 2005).
Songsong Dai
semanticscholar +1 more source
Partial Orderings in Chemistry
Journal of Chemical Information and Computer Sciences, 1997The cosmopolitan relevance of partially ordered mathematical structures in chemistry is argued. Many examples are briefly noted, including those involving chemical periodicities, reactivities, aromaticities, electronegativities, molecular branching, molecular shapes, symmetries, complexities, curve fittings, and more.
Darko Babić, Douglas J. Klein
openaire +4 more sources
Proving Linearizability Using Partial Orders
European Symposium on Programming, 2017Linearizability is the commonly accepted notion of correctness for concurrent data structures. It requires that any execution of the data structure is justified by a linearization --- a linear order on operations satisfying the data structure's ...
Artem Khyzha +3 more
semanticscholar +1 more source
Mathematical Logic Quarterly, 1992
AbstractWe show that a coherent theory of partially ordered connectives can be developed along the same line as partially ordered quantification. We estimate the expressive power of various partially ordered connectives and use methods like Ehrenfeucht games and infinitary logic to get various undefinability results.
Jouko Väänänen, Gabriel Sandu
openaire +2 more sources
AbstractWe show that a coherent theory of partially ordered connectives can be developed along the same line as partially ordered quantification. We estimate the expressive power of various partially ordered connectives and use methods like Ehrenfeucht games and infinitary logic to get various undefinability results.
Jouko Väänänen, Gabriel Sandu
openaire +2 more sources
On Partially Ordered Rings [PDF]
Journal of Mathematical Sciences, 2018 A new notion of a partial ordering for rings is considered. Properties of arbitrary partially right $$ \mathcal{K} $$ -ordered rings are investigated. A series of results for linearly right
openaire +2 more sources
Perspectives of New Music, 1976
Babbitt 1 has formulated the highly suggestive notion of considering a twelve-tone (or other species of) row as a family of what one might call "protocol pairs" (x,y). Each such pair might be interpreted as a rule: "do not state y before stating x." From such a point of view, one characteristic feature of serial structure is that, given a specified row
openaire +2 more sources
Babbitt 1 has formulated the highly suggestive notion of considering a twelve-tone (or other species of) row as a family of what one might call "protocol pairs" (x,y). Each such pair might be interpreted as a rule: "do not state y before stating x." From such a point of view, one characteristic feature of serial structure is that, given a specified row
openaire +2 more sources
Order, 1987
Given a partially ordered set \(P=({\mathbb{P}},
Jeffrey B. Remmel, János Komlós
openaire +3 more sources
Given a partially ordered set \(P=({\mathbb{P}},
Jeffrey B. Remmel, János Komlós
openaire +3 more sources