Amanote Research
Register
Sign In
Computable Decision Making on the Reals and Other Spaces
doi 10.1145/3209108.3209193
Full Text
Open PDF
Abstract
Available in
full text
Date
July 9, 2018
Authors
Benjamin Sherman
Luke Sciarappa
Adam Chlipala
Michael Carbin
Publisher
ACM
Related search
Conservation Decision-Making in Large State Spaces
Ecological Modelling
Ecological Modeling
The Classification Problem for Compact Computable Metric Spaces
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Combined Decision Techniques for the Existential Theory of the Reals
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Rose by Any Other Name …: Color-Naming Influences on Decision Making
Psychology and Marketing
Marketing
Applied Psychology
Co-c.e. Spheres and Cells in Computable Metric Spaces
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Will They Turn the Other Cheek? Decision Making and Victim’s Religious Self-Identification
International Journal of Business and Applied Social Science
The Making of Decision Making
Administração: Ensino e Pesquisa
Comparing Representations for Function Spaces in Computable Analysis
Theory of Computing Systems
Computational Theory
Theoretical Computer Science
Mathematics
Focus on Shared Decision-Making
Health Expectations
Environmental
Public Health
Occupational Health