• Aucun résultat trouvé

Haut PDF A uniform approach to type theory

Haut PDF A uniform approach to type theory ont été compilés par 123dok FR

A uniform approach to type theory

A uniform approach to type theory

... L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignemen[r] ... Voir le document complet

50

Knowledge and its Game-Theoretical Foundations: The Challenges of the Dialogical Approach to Constructive Type Theory

Knowledge and its Game-Theoretical Foundations: The Challenges of the Dialogical Approach to Constructive Type Theory

... reduce to the proof-theoretical framework: epistemic features were also implemented via game-theoretical ...as a solution to some of the problems that arouse in Lorenzen’s Operative ...dialogical ... Voir le document complet

59

A Coordination-theory Approach to Exploring Process Alternatives for Designing Differentiated Products

A Coordination-theory Approach to Exploring Process Alternatives for Designing Differentiated Products

... proposed a production process model in which one serialized chain of operations is divided into two at a specific point, and have explained differentiation approaches and their effects by shifting the ... Voir le document complet

12

A Principal-Agent Theory Approach to Public Expenditure Management Systems in Developing Countries

A Principal-Agent Theory Approach to Public Expenditure Management Systems in Developing Countries

... has a number of instruments and strategies at its disposal to limit agency ...promise to grant the line ministry a transfer equivalent to the sum of a suitable compensation for ... Voir le document complet

30

AN ELEMENTARY APPROACH TO UNIFORM IN TIME PROPAGATION OF CHAOS

AN ELEMENTARY APPROACH TO UNIFORM IN TIME PROPAGATION OF CHAOS

... for a fixed center of mass, exponential contractivity of the nonlinear SDE and uniform propagation of chaos hold if V + 2W is, for example, strictly uniformly ..., a fact that is not visible from our ... Voir le document complet

13

The decoupling approach to quantum information theory

The decoupling approach to quantum information theory

... consider a very general operation: a fixed unitary trans- formation followed by an arbitrary completely positive superoperator T A→E ...according to the Haar measure (which can essentially be ... Voir le document complet

133

Non-classical expected utility theory with application to type indeterminacy

Non-classical expected utility theory with application to type indeterminacy

... with a Non-classical opponent We shall consider a situation where our decision-maker faces uncertainty about the type (or preferences) of the agent that he is interacting ...this approach is ... Voir le document complet

28

A Multivariate Extreme Value Theory Approach to Anomaly Clustering and Visualization

A Multivariate Extreme Value Theory Approach to Anomaly Clustering and Visualization

... only a few such groups of variables can be exhibited (compared to 2 d − 1) and/or when these groups involve a small number of variables (with respect to ...order to propose a ... Voir le document complet

26

A Reasonably Exceptional Type Theory

A Reasonably Exceptional Type Theory

... way to address the issue is to represent the effectful fragment of the type theory as a deep embedding of the syntax of this fragment inside the ...of type theory, like ... Voir le document complet

30

A multivariate extreme value theory approach to anomaly clustering and visualization

A multivariate extreme value theory approach to anomaly clustering and visualization

... only a few such groups of variables can be exhibited (compared to 2 d − 1) and/or when these groups involve a small number of variables (with respect to ...order to propose a ... Voir le document complet

26

Normalisation & Equivalence in Proof Theory & Type Theory

Normalisation & Equivalence in Proof Theory & Type Theory

... λG3 to relate inductive proofs of term-irrelevant admissibility to rewrite systems that eliminate the ...typing to prove their strong ...in a typed framework, in that they are made of a ... Voir le document complet

377

Mapping walkability. A subjective value theory approach

Mapping walkability. A subjective value theory approach

... choose to walk to a particular destination in the ...was to order the streets considering citizens’ ...citizens to judge the walkability of a list of 10 streets, represented by ... Voir le document complet

38

A Uniform Approach to Analogies, Synonyms, Antonyms, and Associations

A Uniform Approach to Analogies, Synonyms, Antonyms, and Associations

... time a stan- dard supervised learning algorithm has been ap- plied to any of these four ...able to cast these problems in the frame- work of standard supervised learning problems is that we can now ... Voir le document complet

10

Reference transmission network: A game theory approach

Reference transmission network: A game theory approach

... in a vertically integrated environment, fol- lowing the traditional planning ...by a unique entity, the transmission planning was required to achieve a certain level of efficiency in a ... Voir le document complet

11

A Possibility Theory-based Approach to Desire Change

A Possibility Theory-based Approach to Desire Change

... from a philosophical and AI perspec- tive. Section 3 introduces the idea of a hedonic entrenchment relation that rank-order desires, and provide axioms for such a relation, whose unique numerical ... Voir le document complet

10

A Possibility Theory-based Approach to Desire Change

A Possibility Theory-based Approach to Desire Change

... from a philosophical and AI perspec- tive. Section 3 introduces the idea of a hedonic entrenchment relation that rank-order desires, and provide axioms for such a relation, whose unique numerical ... Voir le document complet

11

The Uniform geometrical Theory of Diffraction for elastodynamics: Plane wave scattering from a half-plane

The Uniform geometrical Theory of Diffraction for elastodynamics: Plane wave scattering from a half-plane

... gives a reliable and continuous description of specular reflections and fictitious fields compensating the incident field in the obstacle shadow, which together form the so- called Geometrico-Elastodynamic (GE) ... Voir le document complet

11

Corporate Reputation and Social Media: A Game Theory Approach

Corporate Reputation and Social Media: A Game Theory Approach

... considers a message from a Chinese fortune cookie to be as long as a tweet (140 symbols), then these tweets represent more than 2500 tons of crispy ...of a firm. Paradoxically, a ... Voir le document complet

19

A Principal-Agent Theory Approach to Public Expenditure Management Systems in Developing Countries

A Principal-Agent Theory Approach to Public Expenditure Management Systems in Developing Countries

... us to assume that cheating entails some costs to be ...us to make the link with the economic literature on collusion in ...according to whether they are exogenous ...strategies to ... Voir le document complet

45

Counterexample to a Lyapunov Condition for Uniform Asymptotic Partial Stability

Counterexample to a Lyapunov Condition for Uniform Asymptotic Partial Stability

... Counterexample to a Lyapunov condition for uniform asymptotic partial stability Jakub Orłowski 1 , Antoine Chaillet 2 , and Mario Sigalotti 3 Abstract— Partial stability characterizes dynamical sys- ... Voir le document complet

7

Show all 10000 documents...