Results 31 to 40 of about 1,319,448 (268)
Association between cholesterol-phospholipid vesicles and cholesterol crystals in human gallbladder bile [PDF]
, 1989 Rapid aggregation of cholesterol-phospholipid vesicles in gallbladder bile seems to be the first event in the production of cholesterol crystals, a prerequisite for cholesterol gallstone formation.
Jüngst, Dieter +1 more
core +1 more source
Nested Hoare Triples and Frame Rules for Higher-order Store [PDF]
Logical Methods in Computer Science, 2011 Separation logic is a Hoare-style logic for reasoning about programs with heap-allocated mutable data structures. As a step toward extending separation logic to high-level languages with ML-style general (higher-order) storage, we investigate the ...
Jan Schwinghammer +3 more
doaj +1 more source
QRB-Domains and the Probabilistic Powerdomain [PDF]
Logical Methods in Computer Science, 2012 Is there any Cartesian-closed category of continuous domains that would be closed under Jones and Plotkin's probabilistic powerdomain construction? This is a major open problem in the area of denotational semantics of probabilistic higher-order languages.
Jean Goubault-Larrecq
doaj +1 more source
Polynomial Chaos Helps Assessing Parameters Variations of PCB Lines [PDF]
, 2011 This paper presents an effective solution for the analysis of long PCB interconnects with the inclusion of uncertainties resulting from different sources of variation, like temperature or fabrication process, on both the structure and loading conditions.
Canavero, Flavio +2 more
core +1 more source
Models of Type Theory Based on Moore Paths [PDF]
Logical Methods in Computer Science, 2019 This paper introduces a new family of models of intensional Martin-L\"of type theory. We use constructive ordered algebra in toposes. Identity types in the models are given by a notion of Moore path.
Ian Orton, Andrew M. Pitts
doaj +1 more source
Test, Teachers, Quorum (Pure Populations)
Serdica Journal of Computing, 2014 The “trial and error” method is fundamental for Master Minddecision algorithms. On the basis of Master Mind games and strategies weconsider some data mining methods for tests using students as teachers.Voting, twins, opposite, simulate and observer ...
S. Radev
semanticscholar +1 more source
Massless Black Holes and Conifolds in String Theory [PDF]
, 1995 Low-energy effective field theories arising from Calabi-Yau string compactifications are generically inconsistent or ill-defined at the classical level because of conifold singularities in the moduli space.
Andrew Strominger +37 more
core +2 more sources
Exhaustible sets in higher-type computation [PDF]
Logical Methods in Computer Science, 2008 We say that a set is exhaustible if it admits algorithmic universal quantification for continuous predicates in finite time, and searchable if there is an algorithm that, given any continuous predicate, either selects an element for which the predicate ...
Martin Escardo
doaj +1 more source
On the Generalization of Hilbert's Fifth Problem to Transitive Groupoids [PDF]
, 2017 In the following paper we investigate the question: when is a transitive topological groupoid continuously isomorphic to a Lie groupoid? We present many results on the matter which may be considered generalizations of the Hilbert's fifth problem to this ...
Raźny, Paweł
core +1 more source
On Berry's conjectures about the stable order in PCF [PDF]
Logical Methods in Computer Science, 2012 PCF is a sequential simply typed lambda calculus language. There is a unique order-extensional fully abstract cpo model of PCF, built up from equivalence classes of terms. In 1979, G\'erard Berry defined the stable order in this model and proved that the
Fritz Müller
doaj +1 more source