Filters








16,700 Hits in 2.4 sec

Constraining Delimited Control with Contracts [chapter]

Asumu Takikawa, T. Stephen Strickland, Sam Tobin-Hochstadt
2013 Lecture Notes in Computer Science  
We present a contract system capable of protecting code from control flow and stack manipulations by unknown components.  ...  Most programming languages provide abstractions for non-local control flow and access to the stack by using continuations, coroutines, or generators.  ...  We equip Racket's delimited control and continuation mark operations with a gradual type system enforced at the boundaries by contracts.  ... 
doi:10.1007/978-3-642-37036-6_14 fatcat:h6ndsbymk5h47ffiiq37mkf3qe

Page 156 of Annals of the American Academy of Political and Social Science Vol. 96, Issue 185 [page]

1921 Annals of the American Academy of Political and Social Science  
The first influence constrains them to the maintainance of arma- ments; the second to the partial obser- vance of contracts.  ...  156 Crusoe, is, of course, necessary if we wish to live in ordered society with our fellow men.  ... 

When Task Constraints Delimit Movement Strategy: Implications for Isolated Joint Training in Dancers

Paige E. Rice, Sophia Nimphius
2020 Frontiers in Sports and Active Living  
Due to aesthetic requirements during sports such as dance, body alignment constrains possible movement solutions.  ...  Athletic performance is determined by numerous variables that cannot always be controlled or modified.  ...  The subsequent blocks are proposed with a focus on constraining the exercises to ankle-joint focused movements (e.g., calf raises, dorsiflexion, and hip constrained jumps such as ankle hops).  ... 
doi:10.3389/fspor.2020.00049 pmid:33345041 pmcid:PMC7739566 fatcat:nswgwmo5gfgsxbcmpzwsf3ka5u

Path-complete positivity of switching systems

F. Forni, R.M. Jungers, R. Sepulchre
2017 IFAC-PapersOnLine  
The generalization builds upon the analogy between stability and positivity, the former referring to the contraction of a norm, the latter referring to the contraction of a cone (or, equivalently, a projective  ...  The notion of path-complete positivity is introduced as a way to generalize the property of positivity from one LTI system to a family of switched LTI systems whose switching rule is constrained by a finite  ...  Consider a constrained switching system, let (Q, Σ, δ) be any path-complete automaton, and suppose that the constrained switching system is path positive with respect to the set of cones K := {K q | q  ... 
doi:10.1016/j.ifacol.2017.08.731 fatcat:laterhu4ibgw3ntv2hifqigtjm

Path-complete positivity of switching systems [article]

Fulvio Forni, Raphael M. Jungers, Rodolphe Sepulchre
2016 arXiv   pre-print
The generalization builds upon the analogy between stability and positivity, the former referring to the contraction of a norm, the latter referring to the contraction of a cone (or, equivalently, a projective  ...  The notion of path-complete positivity is introduced as a way to generalize the property of positivity from one LTI system to a family of switched LTI systems whose switching rule is constrained by a finite  ...  Consider a constrained switching system, let (Q, Σ, δ) be any path-complete automaton, and suppose that the constrained switching system is path positive with respect to the set of cones K := {K q | q  ... 
arXiv:1611.02603v1 fatcat:jwijriu5fngb3l7kooeawcjawu

On orthogonality and learning recurrent networks with long term dependencies [article]

Eugene Vorontsov, Chiheb Trabelsi, Samuel Kadoury, Chris Pal
2017 arXiv   pre-print
The vanishing or exploding gradient problem is a well known issue associated with these challenges.  ...  This paper explores issues with optimization convergence, speed and gradient stability when encouraging or enforcing orthogonality.  ...  no margin constraining their values.  ... 
arXiv:1702.00071v4 fatcat:hmqveudky5b6veyj6v6hkmwomi

Abstract task specifications for conversation policies

Renée Elio, Afsaneh Haddadi, Ajit Singh
2000 Proceedings of the fourth international conference on Autonomous agents - AGENTS '00  
In this paper, we argue that the way to constrain messages is to constrain intentions. We propose a pragmatic approach to doing this through an abstract task specification or model.  ...  Abstract task specifications are based on a simple state-space representation for problem formulation, and this representation can be used to delimit the agents' task intentions and discourse intentions  ...  Simply put, the only way to constrain messages is to constrain and delimit intentions. For us, an abstract task is something like "scheduling," "negotiation", "database search", or "diagnosis."  ... 
doi:10.1145/336595.337393 dblp:conf/agents/ElioHS00 fatcat:7vpb5kfytnex7izf3xsr7xov6u

Original and Derived Judgment: An Entrepreneurial Theory of Economic Organization

Kirsten Foss, Nicolai J. Foss, Peter G. Klein
2007 Organization Studies  
The entrepreneur's role, then, is to arrange or organize the human and capital assets under his control.  ...  Thus, in order to maintain demand and control externalities, the company constrains the use of the car in many ways.  ...  But the ultimate responsibility and control of production rests inevitably with the owner, with the businessman whose property the product is until it is sold.  ... 
doi:10.1177/0170840606076179 fatcat:kjuf6aeibza6fk5flfdzwxomz4

Original and Derived Judgement: An Entrepreneurial Theory of Economic Organization

Kirsten Foss, Nicolai J. Foss, Peter G. Klein
2006 Social Science Research Network  
The entrepreneur's role, then, is to arrange or organize the human and capital assets under his control.  ...  Thus, in order to maintain demand and control externalities, the company constrains the use of the car in many ways.  ...  But the ultimate responsibility and control of production rests inevitably with the owner, with the businessman whose property the product is until it is sold.  ... 
doi:10.2139/ssrn.982105 fatcat:btfbq7xkxjfzng4kjir4fbfrzy

Equilibrium and Matching Under Price Controls

P. Jean-Jacques Herings
2015 Social Science Research Network  
The paper considers a one-to-one matching with contracts model in the presence of price controls.  ...  subject to price controls.  ...  Conclusion This paper considers a discrete matching with contracts framework where contracts are subject to price controls.  ... 
doi:10.2139/ssrn.2616638 fatcat:gvdxkuqrcfdiraekaqt45c3phy

Equilibrium and matching under price controls

P. Jean-Jacques Herings
2018 Journal of Economic Theory  
The paper considers a one-to-one matching with contracts model in the presence of price controls.  ...  subject to price controls.  ...  Conclusion This paper considers a discrete matching with contracts framework where contracts are subject to price controls.  ... 
doi:10.1016/j.jet.2018.06.004 fatcat:ghsrazcenzdvdfcjnicwhnvoom

Fairness and behavioral intentions in discrete B2B transactions: a study of small business firms

Fabio Cassia, Sven A. Haugland, Francesca Magno
2021 The journal of business & industrial marketing  
The purpose of this paper is to explain buyers' intention to renew a contract after discrete and time-delimited transactions by suggesting a model that complements social exchange theory with theories  ...  Originality/value This study proposes and tests a model that complements social exchange theory with theories of fairness and explains contract renewal in discrete, time-delimited transactions, encompassing  ...  exchanges by renewing a contract after a discrete, time-delimited transaction.  ... 
doi:10.1108/jbim-12-2019-0538 fatcat:s2rf4x4c2ncvvfrty3uq6qgyva

Equilibrium and Matching Under Price Controls

P. Jean-Jacques Herings
2015 Social Science Research Network  
The paper considers a one-to-one matching with contracts model in the presence of price controls.  ...  subject to price controls.  ...  Conclusion This paper considers a discrete matching with contracts framework where contracts are subject to price controls.  ... 
doi:10.2139/ssrn.2557996 fatcat:qaq6hlcjjjc35ik34um4zzqsdm

Normative Management of Web Service Level Agreements [chapter]

Caroline Herssens, Stéphane Faulkner, Ivan J. Jureta
2010 Lecture Notes in Computer Science  
We outline a norm-oriented multiagent system (NoMAS) architecture that is combined with the service-oriented architecture in order to support the definition, management, and control of SLAs between the  ...  The obligations of the parties must be made explicit prior to the transaction, and a mechanism should be available to control the interaction, in order to ensure that the obligations are met.  ...  To control the achievement of this contract, the cluster agent acts as an authority.  ... 
doi:10.1007/978-3-642-13911-6_7 fatcat:zkeduxmql5gblkuvmonyzitaoe

Reference Frames for Spinal Proprioception: Kinematics Based or Kinetics Based?

G. Bosco, R. E. Poppele
2000 Journal of Neurophysiology  
Most of the neurons responded to pseudorandom stimulation of the same muscle groups with complex temporal patterns of activity.  ...  The invariance of preferred direction with muscle stimulation lead us to the conclusion that the reference frame for DSCT coding may be based primarily on limb kinematics.  ...  Slope changes were evident with gastrocnemius stimulation (D) and also with the knee constrained (B).  ... 
doi:10.1152/jn.2000.83.5.2946 pmid:10805690 fatcat:dempxa7vgzamrpiexntmiyaxam
« Previous Showing results 1 — 15 out of 16,700 results