Results 211 to 220 of about 67,921 (260)

Contract Theory

2005
info:eu-repo/semantics ...
Eric A Posner
exaly   +2 more sources

Contract Theory

2019
Contract theory refers to a model of reasoning in political theory and in ethics more generally in terms of which authors aim to demonstrate the normative validity of a rule, principle or institution thereby making it plausible to a certain audience. In political theory these principles and institutions are often the authority of government, law and ...
  +5 more sources

Contracting Intuitionistic Theories

Studia Logica, 2005
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +1 more source

Theory contraction and base contraction unified

Journal of Symbolic Logic, 1993
AbstractOne 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

Toward a theory of muscle contraction

Journal of Bioenergetics, 1972
The general chemistry of muscle contraction was elucidated early on from test-tube reconstitutions of function:1, 2 Myosin and actin form an ATP-dissociable complex; myosin is an actin-modifiable ATPase, and the free energy of ATP hydrolysis “pays for” any work performed in contraction. The central structural feature of contraction was discovered later:
G, Viniegra-Gonzalez, M F, Morales
openaire   +2 more sources

A Theory of Probabilistic Contracts

Formal Aspects of Computing
In industrial-sized cyber-physical systems, ensuring fulfillment of requirements gets increasingly more costly as the number of components increases. To make the task feasible, compositional verification has been suggested as a scalable solution. Such techniques allow verification by divide-and-conquer, often using assume/guarantee contracts.
Anton Hampus, Mattias Nyberg
openaire   +1 more source

Contracting Theory and Accounting

SSRN Electronic Journal, 2001
This paper reviews agency theory and its application to accounting issues. I discuss the formulation of models of incentive problems caused by moral hazard and adverse selection problems. I review theoretical research on the role of performance measures in compensation contracts, and I compare how information is aggregated for compensation purposes ...
openaire   +1 more source

Theories of Muscle Contraction

Journal of Structural Biology, 1995
A survey of the mainstream theories in the modern study of the mechanism of muscle contraction is made, with particular emphasis placed on the experimental results which most influenced the progression of ideas. Starting with early elastic and viscoelastic theories of muscle contraction, a chronological organization is used to present, in detail, the ...
openaire   +2 more sources

Kant’s Theory of Contract

The Southern Journal of Philosophy, 1998
Abstract For the modern legal mind, one of the oddest constructions in Kant’s contract doctrine is his fourfold acts-of-choice requirement for the dosing of a contract. For Kant every contract consists of two preparatory and two constitutive acts of choice having legal effect.
openaire   +1 more source

Theory-Contraction is NP-Complete

Logic Journal of IGPL, 2003
Summary: The author investigates the problem of contracting a dependency-network with respect to any of its nodes. The resulting contraction must not contain the node in question, but must also be a minimal mutilation of the original network. Identifying successful and minimally mutilating contractions of dependency-networks is non-trivial, especially ...
openaire   +1 more source