Results 31 to 40 of about 1,561,415 (301)
On Verifying Resource Contracts using Code Contracts
, 2014 In this paper we present an approach to check resource consumption contracts using an off-the-shelf static analyzer. We propose a set of annotations to support resource usage specifications, in particular, dynamic memory consumption constraints.
Castaño, Rodrigo +4 more
core +2 more sources
Proceedings of the 24th ACM Conference on Economics and Computation, 2023 We explore the deliberate infusion of ambiguity into the design of contracts. We show that when the agent is ambiguity‐averse and hence chooses an action that maximizes their minimum utility, the principal can strictly gain from using an ambiguous contract, and this gain can be arbitrarily high.
Paul Dütting +3 more
openaire +2 more sources
The Intelligible Contract [PDF]
Proceedings of the Annual Hawaii International Conference on System Sciences, 2020 n ...
luca cervone +2 more
openaire +3 more sources
Levi Contractions and AGM Contractions: A Comparison
Notre Dame Journal of Formal Logic, 1995 Among the AGM postulates for contraction, the one that has been most open to query is that of recovery. In his book: The fixation of belief and its undoing (Cambridge UK, 1991), \textit{Isaac Levi} proposed modifying the AGM partial meet construction for contraction in such a way as to invalidate recovery.
Hansson, Sven Ove, Olsson, Erik J.
openaire +2 more sources
Contracting planar graphs to contractions of triangulations
Journal of Discrete Algorithms, 2011 For every graph $H$, there exists a polynomial-time algorithm deciding if a planar input graph $G$ can be contracted to~$H$. However, the degree of the polynomial depends on the size of $H$. In this paper, we identify a class of graphs $\cal C$ such that for every $H \in \cal C$, there exists an algorithm deciding in time $f(|V(H)|) \cdot |V(G)|^{\bigO{
Marcin Kaminski 0001 +2 more
openaire +6 more sources
CONSIDERATIONS REGARDING THE ON-GOING CONTRACTS AFTER THE INSOLVENCY PROCEDURE HAS BEEN INSTITUTED [PDF]
Challenges of the Knowledge Society, 2015 The main purpose of the article is to highlight new aspects regarding contracts that a legal person had perfected before the insolvency procedure is opened.
Dan-Alexandru SITARU
doaj
Roles in construction projects: analysis and terminology [PDF]
, 2001 Standard form contracts are typically developed through a negotiated consensus, unless they are proffered by one specific interest group. Previously published plans of work and other descriptions of the processes in construction projects tend to focus on
Hughes, Will +2 more
core
FEBS Letters, EarlyView.The Ile181Asn variant of human UDP‐xylose synthase (hUXS1), associated with a short‐stature genetic syndrome, has previously been reported as inactive. Our findings demonstrate that Ile181Asn‐hUXS1 retains catalytic activity similar to the wild‐type but exhibits reduced stability, a looser oligomeric state, and an increased tendency to precipitate ...
Tuo Li +2 more
wiley +1 more source
Structural biology of ferritin nanocages
FEBS Letters, EarlyView.Ferritin is a conserved iron‐storage protein that sequesters iron as a ferric mineral core within a nanocage, protecting cells from oxidative damage and maintaining iron homeostasis. This review discusses ferritin biology, structure, and function, and highlights recent cryo‐EM studies revealing mechanisms of ferritinophagy, cellular iron uptake, and ...
Eloise Mastrangelo, Flavio Di Pisa
wiley +1 more source
Malaysian Journal of Syariah and LawThis paper presents a comparative study of the stances of Maliki jurisprudence and French civil law regarding the opposability of the effects of contracts on non-contracting parties.
Yassine Chami, Maya Khater
doaj +1 more source