Search results for "Allais"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
59	Pierfrancesco La Mura	Projective expected utility: a subjective formulation.	TARK	2009	DBLP DOI BibTeX RDF	allais, ellsberg, projective, expected utility, quantum, paradoxes
59	Pierfrancesco La Mura	Game Theory without Decision-Theoretic Paradoxes.	ADT	2009	DBLP DOI BibTeX RDF	Allais, Ellsberg, game theory, projective, expected utility, paradoxes
53	Ka-man Lam, Ho-fung Leung	Expected Utility Maximization and Attractiveness Maximization.	PRIMA	2006	DBLP DOI BibTeX RDF
39	Ardavan Salehi Nobandegani, Thomas R. Shultz, Laurette Dubé	A Unified, Resource-Rational Account of the Allais and Ellsberg Paradoxes.	CogSci	2021	DBLP BibTeX RDF
39	Peijun Guo	Focus theory of choice and its application to resolving the St. Petersburg, Allais, and Ellsberg paradoxes and other anomalies.	Eur. J. Oper. Res.	2019	DBLP DOI BibTeX RDF
39	Philippe Ezran, Yoram Haddad 0001, Mérouane Debbah	Allais' paradox and resource allocation in telecommunication networks.	Telecommun. Syst.	2019	DBLP DOI BibTeX RDF
39	Paul Snow	Pfanzagl Exchanges Diagnose a Continuity Anomaly Pertinent to Allais' Problem.	FLAIRS	2005	DBLP BibTeX RDF
35	Guillaume Allais	Scoped and Typed Staging by Evaluation.	PEPM	2024	DBLP DOI BibTeX RDF
35	Jan de Muijnck-Hughes, Guillaume Allais, Edwin C. Brady	Type Theory as a Language Workbench.	CoRR	2023	DBLP DOI BibTeX RDF
35	Guillaume Allais	Seamless, Correct, and Generic Programming over Serialised Data.	CoRR	2023	DBLP DOI BibTeX RDF
35	Guillaume Allais	Scoped and Typed Staging by Evaluation.	CoRR	2023	DBLP DOI BibTeX RDF
35	Guillaume Allais, Edwin C. Brady, Nathan Corbyn, Ohad Kammar, Jeremy Yallop	Frex: dependently-typed algebraic simplification.	CoRR	2023	DBLP DOI BibTeX RDF
35	Guillaume Allais	Builtin Types viewed as Inductive Families.	CoRR	2023	DBLP DOI BibTeX RDF
35	Jan de Muijnck-Hughes, Guillaume Allais, Edwin C. Brady	Type Theory as a Language Workbench.	Eelco Visser Commemorative Symposium	2023	DBLP DOI BibTeX RDF
35	Guillaume Allais	Builtin Types Viewed as Inductive Families.	ESOP	2023	DBLP DOI BibTeX RDF
35	Guillaume Allais	Generic Level Polymorphic N-ary Functions.	CoRR	2021	DBLP BibTeX RDF
35	Guillaume Allais, Robert Atkey, James Chapman 0001, Conor McBride, James McKinna	A type- and scope-safe universe of syntaxes with binding: their semantics and proofs.	J. Funct. Program.	2021	DBLP DOI BibTeX RDF
35	Ksenia Gasnikova, Olivier Allais, Michèle Sebag	Towards causal modeling of nutritional outcomes.	CAWS	2021	DBLP BibTeX RDF
35	Guillaume Allais, Robert Atkey, James Chapman 0001, Conor McBride, James McKinna	A Type and Scope Safe Universe of Syntaxes with Binding: Their Semantics and Proofs.	CoRR	2020	DBLP BibTeX RDF
35	Andreas Abel 0001, Guillaume Allais, Aliya Hameer, Brigitte Pientka, Alberto Momigliano, Steven Schäfer, Kathrin Stark	POPLMark reloaded: Mechanizing proofs by logical relations.	J. Funct. Program.	2019	DBLP DOI BibTeX RDF
35	Guillaume Allais	Generic level polymorphic n-ary functions.	TyDe@ICFP	2019	DBLP DOI BibTeX RDF
35	Guillaume Allais, Robert Atkey, James Chapman 0001, Conor McBride, James McKinna	A type and scope safe universe of syntaxes with binding: their semantics and proofs.	Proc. ACM Program. Lang.	2018	DBLP DOI BibTeX RDF
35	Guillaume Allais	Typing with Leftovers - A mechanization of Intuitionistic Multiplicative-Additive Linear Logic.	TYPES	2017	DBLP DOI BibTeX RDF
35	Guillaume Allais, James Chapman 0001, Conor McBride, James McKinna	Type-and-scope safe programs and their proofs.	CPP	2017	DBLP DOI BibTeX RDF
35	Yves Bertot, Guillaume Allais	Views of PI: Definition and computation.	J. Formaliz. Reason.	2014	DBLP DOI BibTeX RDF
35	Kiyan Vadoudi, Romain Allais, Tatiana Reyes, Nadege Troussier	Sustainable Product Lifecycle Management and Territoriality: New Structure for PLM.	PLM	2014	DBLP DOI BibTeX RDF
35	Guillaume Allais, Pierre Boutillier, Conor McBride	New Equations for Neutral Terms: A Sound and Complete Decision Procedure, Formalized	CoRR	2013	DBLP BibTeX RDF
35	John E. McInroy, John F. O'Brien, Anthony A. Allais	Designing dynamics and control of isotropic Gough-Stewart micromanipulators.	ICRA	2013	DBLP DOI BibTeX RDF
35	Guillaume Allais, Conor McBride, Pierre Boutillier	New equations for neutral terms: a sound and complete decision procedure, formalized.	DTP@ICFP	2013	DBLP DOI BibTeX RDF
35	Anthony A. Allais, John E. McInroy, John F. O'Brien	Locally Decoupled Micromanipulation Using an Even Number of Parallel Force Actuators.	IEEE Trans. Robotics	2012	DBLP DOI BibTeX RDF
35	Anthony A. Allais, John E. McInroy, John F. O'Brien	A new class of locally decoupled Gough-Stewart platform manipulators.	IROS	2012	DBLP DOI BibTeX RDF
35	René Thiemann, Guillaume Allais, Julian Nagele	On the Formalization of Termination Techniques based on Multiset Orderings.	RTA	2012	DBLP DOI BibTeX RDF
35	Filippo Molinari, Samanta Rosati, William Liboni, Emanuela Negri, Ornella Mana, Gianni Allais, Chiara Benedetto	Time-Frequency Characterization of Cerebral Hemodynamics of Migraine Sufferers as Assessed by NIRS Signals.	EURASIP J. Adv. Signal Process.	2010	DBLP DOI BibTeX RDF
35	Nathalie Perrot, Irina Ioannou, I. Allais, C. Curt, Joseph Hossenlopp, Gilles Trystram	Fuzzy concepts applied to food product quality control: A review.	Fuzzy Sets Syst.	2006	DBLP DOI BibTeX RDF
35	Vincent Brandou, Ezio Malis, Patrick Rives, Anne-Gaëlle Allais, Michel Perrier	Active Stereovision Using Invariant Visual Servoing.	IROS	2006	DBLP DOI BibTeX RDF
26	Jonathan Y. Ito, David V. Pynadath, Stacy C. Marsella	Self-deceptive decision making: normative and descriptive insights.	AAMAS (2)	2009	DBLP BibTeX RDF	self-deception, wishful thinking, multi-agent systems, decision theory