[PDF] Top 20 A uniform approach to type theory
Has 10000 "A uniform approach to type theory" found on our website. Below are the top 20 most common "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
... 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
... 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
... 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
... 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
... 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
... 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
... 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
... 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
... 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
... λ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
... 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
... 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
... 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
... 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
... 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
... 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
... 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
... 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 Jakub Orłowski 1 , Antoine Chaillet 2 , and Mario Sigalotti 3 Abstract— Partial stability characterizes dynamical sys- ... Voir le document complet
7
Sujets connexes