Results 221 to 230 of about 959 (264)
Some of the next articles are maybe not open access.
On Observing Contracts: Deontic Contracts Meet Smart Contracts
2018Smart contracts have been proposed as executable implementations enforcing real-life contracts. Unfortunately, the semantic gap between these allows for the smart contract to diverge from its intended deontic behaviour. In this paper we show how a deontic contract can be used for real-time monitoring of smart contracts specifically and request-based ...
Shaun Azzopardi +2 more
openaire +1 more source
Journal of Philosophical Logic, 2012
In the AGM theory of partial meet belief change, as also in several modellings for qualitative uncertain inference, each output is constructed as the intersection of preferred maximal (or otherwise distinguished) items satisfying desired conditions. In his paper [``On why the best should always meet'', Econ. Philos.
openaire +1 more source
In the AGM theory of partial meet belief change, as also in several modellings for qualitative uncertain inference, each output is constructed as the intersection of preferred maximal (or otherwise distinguished) items satisfying desired conditions. In his paper [``On why the best should always meet'', Econ. Philos.
openaire +1 more source
Studia Logica, 2012
This paper introduces the notion of ``bootstrap contraction'', a new kind of contraction functions, which the author argues to be more cognitively realistic than most of the other kinds of contractions so far proposed in the literature. Given a belief set \(K\) and a set \(\mathbb{C}\) of operators on \(K\) which take elements of \(\mathcal{I}\) as ...
openaire +2 more sources
This paper introduces the notion of ``bootstrap contraction'', a new kind of contraction functions, which the author argues to be more cognitively realistic than most of the other kinds of contractions so far proposed in the literature. Given a belief set \(K\) and a set \(\mathbb{C}\) of operators on \(K\) which take elements of \(\mathcal{I}\) as ...
openaire +2 more sources
AJN, American Journal of Nursing, 1958
WHAT is a contract? Why is it of particular interest to a nurse to know what a "contract" is and what can be done about one? Like most other professional people, a nurse generally has nothing to sell but her personal services and generally earns her living only by contracting to sell them.
openaire +2 more sources
WHAT is a contract? Why is it of particular interest to a nurse to know what a "contract" is and what can be done about one? Like most other professional people, a nurse generally has nothing to sell but her personal services and generally earns her living only by contracting to sell them.
openaire +2 more sources
Comprehensive Physiology, 2015
ABSTRACT Muscles convert energy from ATP into useful work, which can be used to move limbs and to transport ions across membranes. The energy not converted into work appears as heat. At the start of contraction heat is also produced when Ca 2+ binds to troponin‐C and to ...
openaire +5 more sources
ABSTRACT Muscles convert energy from ATP into useful work, which can be used to move limbs and to transport ions across membranes. The energy not converted into work appears as heat. At the start of contraction heat is also produced when Ca 2+ binds to troponin‐C and to ...
openaire +5 more sources
Theory contraction and base contraction unified
Journal of Symbolic Logic, 1993AbstractOne way to construct a contraction operator for a theory (belief set) is to assign to it a base (belief base) and an operator of partial meet contraction for that base. Axiomatic characterizations are given of the theory contractions that are generated in this way by (various types of) partial meet base contractions.
openaire +2 more sources
Journal of Logic, Language and Information, 2013
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Studia Logica, 2003
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Contractible Edges and Contractible Triangles in a 3-Connected Graph
Graphs and Combinatorics, 2021Kiyoshi Ando +2 more
exaly