Results 101 to 110 of about 582,469 (253)
A Formally Specified Type System and Operational Semantics for Higher-Order Procedural Variables
, 2009 We formally specified the type system and operational semantics of LOOPw with Ott and Isabelle/HOL proof assistant. Moreover, both the type system and the semantics of LOOPw have been tested using Isabelle/HOL program extraction facility for inductively ...
Crolard, Tristan, Polonowski, Emmanuel
core +1 more source
Leges sive natura: Bacon, Spinoza, and a Forgotten Concept of Law [PDF]
, 2018 The way of laws is as much a defining feature of the modern period as the way of ideas; but the way of laws is hardly without its forks. Both before and after Descartes, there are philosophers using the concept to carve out a very different position from
Ott, Walter
core
Annual Reports to the ESA Council ESA 110th Annual Meeting July, 2025
The Bulletin of the Ecological Society of America, EarlyView.
wiley +1 more source
Allergy, EarlyView.In two large European cohorts, 589 reactions to non‐mandatory labelled plant‐based foods were identified with sunflower seed, pine nut, pea and lentil as the most frequent triggers. Reaction severity was not different between mandatory and non‐mandatory labelled allergenic foods. Their frequency and rising trends (e.g., fenugreek, pumpkin seed) support
Sabine Dölle‐Bierke +18 more
wiley +1 more source
Possible role of platelet-monocyte complexes in the pathogenesis of recurrent pregnancy loss
Медицинская иммунологияRecurrent pregnancy loss (RPL) is a significant clinical problem that affects 1-5% of population. Moreover, the cause of RPL remains unknown in more than half of cases. Possible reasons include imbalanced maternal hemostasis, thrombosis of uteroplacental
O. V. Pavlov +5 more
doaj +1 more source
Leibniz on Sensation and the Limits of Reason [PDF]
, 2016 I argue that Leibniz’s doctrine of sensory representation is intended in part to close an explanatory gap in his philosophical system. Unlike the twentieth century explanatory gap, which stretches between neural states on one side and phenomenal ...
Ott, Walter
core
Sharp Asymptotics for the Truncated Two-Point Function of the Ising Model with a Positive Field
, 2019 We prove that the correction to exponential decay of the truncated two points function in the homogeneous positive field Ising model is $c\|x\|^{-(d-1)/2}$. The proof is based on the development in the random current representation of a "modern" Ornstein-
Ott, Sébastien
core +1 more source
Artificial Organs, EarlyView.The therapy with PAP using BR‐350 resulted in a significant decrease of bilirubin concentrations. The median relative reduction of bilirubin was comparable between PAP and OPAL (47% vs. 40%, p = 0.29). The crossover comparison between the single session of PAP using BR‐350 and OPAL revealed similar relative reduction rates of bilirubin.
Justa Friebus‐Kardash +8 more
wiley +1 more source
A Bayes factor framework for unified parameter estimation and hypothesis testing
British Journal of Mathematical and Statistical Psychology, EarlyView.Abstract The Bayes factor, the data‐based updating factor of the prior to posterior odds of two hypotheses, is a natural measure of statistical evidence for one hypothesis over the other. We show how Bayes factors can also be used for parameter estimation.
Samuel Pawel
wiley +1 more source
Croatian Accession to the European Union: Facing the Challenges of Negotiations [PDF]
This chapter summarizes the findings of the three year long project of monitoring Croatia’s preparations for EU accession, if and when it comes, performed by a group of Croatian researchers.
Katarina Ott, Katarina Ott
core