Amanote Research

Amanote Research

    RegisterSign 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 ShermanLuke SciarappaAdam ChlipalaMichael Carbin
Publisher

ACM


Related search

Conservation Decision-Making in Large State Spaces

Ecological Modelling
Ecological Modeling
2010English

The Classification Problem for Compact Computable Metric Spaces

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Combined Decision Techniques for the Existential Theory of the Reals

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

A Rose by Any Other Name …: Color-Naming Influences on Decision Making

Psychology and Marketing
MarketingApplied Psychology
2006English

Co-c.e. Spheres and Cells in Computable Metric Spaces

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Will They Turn the Other Cheek? Decision Making and Victim’s Religious Self-Identification

International Journal of Business and Applied Social Science
2020English

The Making of Decision Making

Administração: Ensino e Pesquisa
2016English

Comparing Representations for Function Spaces in Computable Analysis

Theory of Computing Systems
Computational TheoryTheoretical Computer ScienceMathematics
2017English

Focus on Shared Decision-Making

Health Expectations
EnvironmentalPublic HealthOccupational Health
2017English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy