Results 11 to 20 of about 5,368 (252)
Conservative Extension in Structural Operational Semantics
BRICS Report Series, 1999 <p>Structural operational semantics (SOS) [44] provides a framework to give<br />an operational semantics to programming and specification languages. In<br />particular, because of its intuitive appeal and flexibility, SOS has found considerable application in the study of the semantics of concurrent processes.
Verhoef, C., Aceto, L., Fokkink, W.J.
openaire +7 more sources
A note on conservative measures on semigroups [PDF]
International Journal of Mathematics and Mathematical Sciences, 1992 Consider (S,B,μ) the measure space where S is a topological metric semigroup and μ a countably additive bounded Borel measure. Call μ conservative if all right translations tx:s→sx, x∈S (which are assumed closed mappings) are conservative with respect (S,
N. A. Tserpes
doaj +2 more sources
Open Systems Viewed Through Their Conservative Extensions [PDF]
Journal of Statistical Physics, 2006 A typical linear open system is often defined as a component of a larger conservative one. For instance, a dielectric medium, defined by its frequency dependent electric permittivity and magnetic permeability is a part of a conservative system which includes the matter with all its atomic complexity.
Figotin, Alexander, Shipman, Stephen P.
openaire +5 more sources
Political brand image: an investigation into the operationalisation of the external orientation of David Cameron’s Conservative brand [PDF]
, 2015 This paper seeks to address the limited understanding of how to operationalise the external brand image of a political brand. More specifically, this research critically assesses the transfer potential of the six variables of brand image by Bosch, Venter,
Pich, C, Armannsdottir, G
core +1 more source
On the Menger and almost Menger properties in locales
Applied General Topology, 2021 The Menger and the almost Menger properties are extended to locales. Regarding the former, the extension is conservative (meaning that a space is Menger if and only if it is Menger as a locale), and the latter is conservative for sober TD-spaces.
Tilahun Bayih +2 more
doaj +1 more source
Extension by Conservation. Sikorski's Theorem
Logical Methods in Computer Science, 2018 Constructive meaning is given to the assertion that every finite Boolean algebra is an injective object in the category of distributive lattices. To this end, we employ Scott's notion of entailment relation, in which context we describe Sikorski's extension theorem for finite Boolean algebras and turn it into a syntactical conservation result.
Davide Rinaldi, Daniel Misselbeck-Wessel
openaire +5 more sources
Déflationnisme et conservativité : quelqu’un a-t-il changé de sujet ?
Philosophia Scientiæ, 2012 [Shapiro 1998b] and [Ketland 1999] have argued against deflationary views of truth on the ground that an adequate truth-theoretic extension of a theory is a non-conservative extension.
Henri Galinon
doaj +1 more source
Type Theories of Natural Numbers: A Study of Conservative Extension [PDF]
, 2023 We present some possible definitions for what it means for a type theory to be a conservative extension over another type theory. We do so by giving two type theories of natural numbers: T T (N) and T T (N, ×).
Babunović, Aleksandar
core
BioMedicine, 2019 Traumatic injuries to the knee are frequently complicated by extension contractures. The Judet Quadricepsplasty allows for controlled, sequential release of extrinsic and intrinsic knee contracture components while reducing the potential for iatrogenic ...
Ding Benjamin Tze Keong, Khan Suheal Ali
doaj +1 more source
Reverse Shoulder Arthroplasty After Communited Humerus Fracture: А Case Report [PDF]
Travmatologiâ i Ortopediâ Rossii, 2022 Background. Fractures of the proximal humerus are common injury, especially among older age group patients. For the treatment of most cases, conservative tactics are required, some require surgery: osteosynthesis, arthroplasty. Proximal humerus fractures
Aleksandr V. Frolov +6 more
doaj +1 more source