EAGER: Toward Numerically Robust Software View Homepage


Ontology type: schema:MonetaryGrant     


Grant Info

YEARS

2013-2016

FUNDING AMOUNT

300000 USD

ABSTRACT

Society increasingly depends on numerical software, which uses finite precision arithmetic to approximate the reals and necessarily introduces approximation and error. Anti-lock breaks and medical devices such as haptic control systems for remote surgery are two such examples. Numerical errors in these systems can be disastrous. Toyota suspects such errors contributed to its recent, costly unintended acceleration problem, and the Ariane 5 rocket exploded due to an overflow in its inertial reference system. This project explores practical techniques to test and analyze numerical software, which will advance the state-of-the-art in engineering robust numerical software to help avoid costly, dangerous errors. In particular, the project focuses on the two most fundamental sources of numerical errors: uncaught exceptions and numerical stability and accuracy. The proposed core framework is centered around symbolic execution, and domain insights will be used to develop principles and heuristics to make it practical. This project will complete several preliminary research tasks to validate and demonstrate the promise of the proposed general approach. It will explore new problem modeling strategies for numerical accuracy and stability, examining realistic numerical constraints to build insights into constraint solving strategies and algorithms, and improving the promising Ariadne symbolic analysis infrastructure. More... »

URL

http://www.nsf.gov/awardsearch/showAward?AWD_ID=1349528&HistoricalAwards=false

JSON-LD is the canonical representation for SciGraph data.

TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

[
  {
    "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
    "about": [
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/2208", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "type": "DefinedTerm"
      }
    ], 
    "amount": {
      "currency": "USD", 
      "type": "MonetaryAmount", 
      "value": "300000"
    }, 
    "description": "Society increasingly depends on numerical software, which uses finite precision arithmetic to approximate the reals and necessarily introduces approximation and error. Anti-lock breaks and medical devices such as haptic control systems for remote surgery are two such examples. Numerical errors in these systems can be disastrous. Toyota suspects such errors contributed to its recent, costly unintended acceleration problem, and the Ariane 5 rocket exploded due to an overflow in its inertial reference system. This project explores practical techniques to test and analyze numerical software, which will advance the state-of-the-art in engineering robust numerical software to help avoid costly, dangerous errors. In particular, the project focuses on the two most fundamental sources of numerical errors: uncaught exceptions and numerical stability and accuracy. The proposed core framework is centered around symbolic execution, and domain insights will be used to develop principles and heuristics to make it practical. This project will complete several preliminary research tasks to validate and demonstrate the promise of the proposed general approach. It will explore new problem modeling strategies for numerical accuracy and stability, examining realistic numerical constraints to build insights into constraint solving strategies and algorithms, and improving the promising Ariadne symbolic analysis infrastructure.", 
    "endDate": "2016-03-31T00:00:00Z", 
    "funder": {
      "id": "https://www.grid.ac/institutes/grid.457785.c", 
      "type": "Organization"
    }, 
    "id": "sg:grant.3490314", 
    "identifier": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "3490314"
        ]
      }, 
      {
        "name": "nsf_id", 
        "type": "PropertyValue", 
        "value": [
          "1349528"
        ]
      }
    ], 
    "inLanguage": [
      "en"
    ], 
    "keywords": [
      "project", 
      "numerical stability", 
      "inertial reference system", 
      "constraints", 
      "remote surgery", 
      "society", 
      "Numerically Robust Software", 
      "haptic control system", 
      "realistic numerical constraints", 
      "algorithms", 
      "general approach", 
      "numerical errors", 
      "errors", 
      "art", 
      "finite precision arithmetic", 
      "overflow", 
      "such example", 
      "Anti-lock breaks", 
      "domain insights", 
      "engineering", 
      "system", 
      "numerical accuracy", 
      "Toyota", 
      "practical technique", 
      "state", 
      "Eager", 
      "promising Ariadne symbolic analysis infrastructure", 
      "uncaught exceptions", 
      "core framework", 
      "accuracy", 
      "principle", 
      "such errors", 
      "new problems", 
      "several preliminary research tasks", 
      "strategies", 
      "numerical software", 
      "robust numerical software", 
      "promise", 
      "dangerous errors", 
      "fundamental source", 
      "insight", 
      "stability", 
      "heuristics", 
      "approximation", 
      "medical devices", 
      "costly unintended acceleration problem", 
      "Ariane 5 rocket", 
      "reals", 
      "symbolic execution"
    ], 
    "name": "EAGER: Toward Numerically Robust Software", 
    "recipient": [
      {
        "id": "https://www.grid.ac/institutes/grid.27860.3b", 
        "type": "Organization"
      }, 
      {
        "affiliation": {
          "id": "https://www.grid.ac/institutes/grid.27860.3b", 
          "name": "University of California-Davis", 
          "type": "Organization"
        }, 
        "familyName": "Su", 
        "givenName": "Zhendong", 
        "id": "sg:person.010113104727.04", 
        "type": "Person"
      }, 
      {
        "member": "sg:person.010113104727.04", 
        "roleName": "PI", 
        "type": "Role"
      }, 
      {
        "affiliation": {
          "id": "https://www.grid.ac/institutes/grid.27860.3b", 
          "name": "University of California-Davis", 
          "type": "Organization"
        }, 
        "familyName": "Devanbu", 
        "givenName": "Premkumar", 
        "id": "sg:person.01265730134.34", 
        "type": "Person"
      }, 
      {
        "member": "sg:person.01265730134.34", 
        "roleName": "Co-PI", 
        "type": "Role"
      }, 
      {
        "affiliation": {
          "id": "https://www.grid.ac/institutes/grid.27860.3b", 
          "name": "University of California-Davis", 
          "type": "Organization"
        }, 
        "familyName": "Bai", 
        "givenName": "Zhaojun", 
        "id": "sg:person.0721773150.61", 
        "type": "Person"
      }, 
      {
        "member": "sg:person.0721773150.61", 
        "roleName": "Co-PI", 
        "type": "Role"
      }
    ], 
    "sameAs": [
      "https://app.dimensions.ai/details/grant/grant.3490314"
    ], 
    "sdDataset": "grants", 
    "sdDatePublished": "2019-03-07T12:36", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com.uberresearch.data.processor/core_data/20181219_192338/projects/base/nsf_projects_7.xml.gz", 
    "startDate": "2013-10-01T00:00:00Z", 
    "type": "MonetaryGrant", 
    "url": "http://www.nsf.gov/awardsearch/showAward?AWD_ID=1349528&HistoricalAwards=false"
  }
]
 

Download the RDF metadata as:  json-ld nt turtle xml License info

HOW TO GET THIS DATA PROGRAMMATICALLY:

JSON-LD is a popular format for linked data which is fully compatible with JSON.

curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/grant.3490314'

N-Triples is a line-based linked data format ideal for batch operations.

curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/grant.3490314'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/grant.3490314'

RDF/XML is a standard XML format for linked data.

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/grant.3490314'


 

This table displays all metadata directly associated to this object as RDF triples.

111 TRIPLES      19 PREDICATES      75 URIs      65 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:grant.3490314 schema:about anzsrc-for:2208
2 schema:amount N621f557229c945709821c7b9d586b722
3 schema:description Society increasingly depends on numerical software, which uses finite precision arithmetic to approximate the reals and necessarily introduces approximation and error. Anti-lock breaks and medical devices such as haptic control systems for remote surgery are two such examples. Numerical errors in these systems can be disastrous. Toyota suspects such errors contributed to its recent, costly unintended acceleration problem, and the Ariane 5 rocket exploded due to an overflow in its inertial reference system. This project explores practical techniques to test and analyze numerical software, which will advance the state-of-the-art in engineering robust numerical software to help avoid costly, dangerous errors. In particular, the project focuses on the two most fundamental sources of numerical errors: uncaught exceptions and numerical stability and accuracy. The proposed core framework is centered around symbolic execution, and domain insights will be used to develop principles and heuristics to make it practical. This project will complete several preliminary research tasks to validate and demonstrate the promise of the proposed general approach. It will explore new problem modeling strategies for numerical accuracy and stability, examining realistic numerical constraints to build insights into constraint solving strategies and algorithms, and improving the promising Ariadne symbolic analysis infrastructure.
4 schema:endDate 2016-03-31T00:00:00Z
5 schema:funder https://www.grid.ac/institutes/grid.457785.c
6 schema:identifier N223bf01db075414d8f93099cb5235c16
7 Nc8f052f7d55e4566a2c1a502e9d7a3c6
8 schema:inLanguage en
9 schema:keywords Anti-lock breaks
10 Ariane 5 rocket
11 Eager
12 Numerically Robust Software
13 Toyota
14 accuracy
15 algorithms
16 approximation
17 art
18 constraints
19 core framework
20 costly unintended acceleration problem
21 dangerous errors
22 domain insights
23 engineering
24 errors
25 finite precision arithmetic
26 fundamental source
27 general approach
28 haptic control system
29 heuristics
30 inertial reference system
31 insight
32 medical devices
33 new problems
34 numerical accuracy
35 numerical errors
36 numerical software
37 numerical stability
38 overflow
39 practical technique
40 principle
41 project
42 promise
43 promising Ariadne symbolic analysis infrastructure
44 realistic numerical constraints
45 reals
46 remote surgery
47 robust numerical software
48 several preliminary research tasks
49 society
50 stability
51 state
52 strategies
53 such errors
54 such example
55 symbolic execution
56 system
57 uncaught exceptions
58 schema:name EAGER: Toward Numerically Robust Software
59 schema:recipient N25d69042fb1a406f84f6bea3c7444ac2
60 N3869746b57204685bddd49bddd0c03a5
61 N780620adfa5a4c1f8856f424f100decd
62 sg:person.010113104727.04
63 sg:person.01265730134.34
64 sg:person.0721773150.61
65 https://www.grid.ac/institutes/grid.27860.3b
66 schema:sameAs https://app.dimensions.ai/details/grant/grant.3490314
67 schema:sdDatePublished 2019-03-07T12:36
68 schema:sdLicense https://scigraph.springernature.com/explorer/license/
69 schema:sdPublisher N3a233c35bfcb4076b597b6f1bb4bb076
70 schema:startDate 2013-10-01T00:00:00Z
71 schema:url http://www.nsf.gov/awardsearch/showAward?AWD_ID=1349528&HistoricalAwards=false
72 sgo:license sg:explorer/license/
73 sgo:sdDataset grants
74 rdf:type schema:MonetaryGrant
75 N223bf01db075414d8f93099cb5235c16 schema:name dimensions_id
76 schema:value 3490314
77 rdf:type schema:PropertyValue
78 N25d69042fb1a406f84f6bea3c7444ac2 schema:member sg:person.01265730134.34
79 schema:roleName Co-PI
80 rdf:type schema:Role
81 N3869746b57204685bddd49bddd0c03a5 schema:member sg:person.0721773150.61
82 schema:roleName Co-PI
83 rdf:type schema:Role
84 N3a233c35bfcb4076b597b6f1bb4bb076 schema:name Springer Nature - SN SciGraph project
85 rdf:type schema:Organization
86 N621f557229c945709821c7b9d586b722 schema:currency USD
87 schema:value 300000
88 rdf:type schema:MonetaryAmount
89 N780620adfa5a4c1f8856f424f100decd schema:member sg:person.010113104727.04
90 schema:roleName PI
91 rdf:type schema:Role
92 Nc8f052f7d55e4566a2c1a502e9d7a3c6 schema:name nsf_id
93 schema:value 1349528
94 rdf:type schema:PropertyValue
95 anzsrc-for:2208 schema:inDefinedTermSet anzsrc-for:
96 rdf:type schema:DefinedTerm
97 sg:person.010113104727.04 schema:affiliation https://www.grid.ac/institutes/grid.27860.3b
98 schema:familyName Su
99 schema:givenName Zhendong
100 rdf:type schema:Person
101 sg:person.01265730134.34 schema:affiliation https://www.grid.ac/institutes/grid.27860.3b
102 schema:familyName Devanbu
103 schema:givenName Premkumar
104 rdf:type schema:Person
105 sg:person.0721773150.61 schema:affiliation https://www.grid.ac/institutes/grid.27860.3b
106 schema:familyName Bai
107 schema:givenName Zhaojun
108 rdf:type schema:Person
109 https://www.grid.ac/institutes/grid.27860.3b schema:name University of California-Davis
110 rdf:type schema:Organization
111 https://www.grid.ac/institutes/grid.457785.c schema:Organization
 




Preview window. Press ESC to close (or click here)


...