Results 1 to 10 of about 5,978,135 (119)
Studia Logica, 2020 Arbitrary public announcement logic (APAL) reasons about how the knowledge of a set of agents changes after true public announcements and after arbitrary announcements of true epistemic formulas. We consider a variant of arbitrary public announcement logic called positive arbitrary public announcement logic (APAL+), which restricts arbitrary public ...
Hans van Ditmarsch +2 more
openaire +2 more sources
Models for Positional Information and Positional Differentiation [PDF]
Proceedings of the National Academy of Sciences, 1974 It is commonly thought that the formation of patterns in developing organisms is due to the existence of a gradient of a morphogen that determines the fate of cells as a function of position in the organism. A model is presented based on a molecular mechanism where the gradient is established by the active transport of a morphogen between source and ...
Babloyantz, Agnessa +1 more
openaire +3 more sources
Positive observers for semilinear positive systems
IMA Journal of Mathematical Control and Information, 2022 Abstract The problem of designing a positive Luenberger observer for a class of infinite-dimensional semilinear positive systems is addressed. The proposed observer is positive. That is, it ensures that the state estimates are non-negative at any time. The positive observer is designed based on positive bounded perturbation results.
Abdellaziz Binid +2 more
openaire +1 more source
Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '95, 1995 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Martin Hofmann 0001, Benjamin C. Pierce
openaire +2 more sources
Positive definiteness and positive differences
Journal of Combinatorial Theory, Series A, 1972 AbstractA previous inequality [2] in certain context, which holds in the application to the monotonicity of correlations in classical discrete Heisenberg ferromagnets with 2-dimensional spin [3], is extended to positive definiteness of a function on a group.
openaire +1 more source
Positive maps that are not completely positive [PDF]
Physical Review A, 2000 The concept of the {\em half density matrix} is proposed. It unifies the quantum states which are described by density matrices and physical processes which are described by completely positive maps. With the help of the half-density-matrix representation of Hermitian linear map, we show that every positive map which is not completely positive is a ...
openaire +2 more sources
Re: percutaneous nephrolithotomy—position, position, position! [PDF]
Urolithiasis, 2018 Siavash Falahatkar, Mojtaba Teimoori
openaire +2 more sources
Percutaneous nephrolithotomy: position, position, position!
Urolithiasis, 2018 Percutaneous nephrolithotomy (PCNL) is the regular surgery for treating large or complex renal stones. Since its first inception, many variations have come in the approach including the modifications of patient position. The prone position is traditionally used, and subsequently, variations in prone and supine technique have been proposed and assessed ...
Zhao, Zhijian +4 more
openaire +1 more source
Logica Universalis, 2018 We study the amalgamation property in positive logic. We give some connections between the amalgamation property and Robinson theories, model-complete theories and the Hausdorff property.
openaire +2 more sources