FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2227234579> ?p ?o ?g. }

• W2227234579 endingPage "31" @default.
• W2227234579 startingPage "1" @default.
• W2227234579 abstract "Roundoff errors cannot be avoided when implementing numerical programs with finite precision. The ability to reason about rounding is especially important if one wants to explore a range of potential representations, for instance, for FPGAs or custom hardware implementations. This problem becomes challenging when the program does not employ solely linear operations as non-linearities are inherent to many interesting computational problems in real-world applications. Existing solutions to reasoning possibly lead to either inaccurate bounds or high analysis time in the presence of nonlinear correlations between variables. Furthermore, while it is easy to implement a straightforward method such as interval arithmetic, sophisticated techniques are less straightforward to implement in a formal setting. Thus there is a need for methods that output certificates that can be formally validated inside a proof assistant. We present a framework to provide upper bounds on absolute roundoff errors of floating-point nonlinear programs. This framework is based on optimization techniques employing semidefinite programming and sums of squares certificates, which can be checked inside the Coq theorem prover to provide formal roundoff error bounds for polynomial programs. Our tool covers a wide range of nonlinear programs, including polynomials and transcendental operations as well as conditional statements. We illustrate the efficiency and precision of this tool on non-trivial programs coming from biology, optimization, and space control. Our tool produces more accurate error bounds for 23% of all programs and yields better performance in 66% of all programs." @default.
• W2227234579 created "2016-06-24" @default.
• W2227234579 creator A5029829952 @default.
• W2227234579 creator A5066095974 @default.
• W2227234579 creator A5080781439 @default.
• W2227234579 date "2017-01-02" @default.
• W2227234579 modified "2023-10-02" @default.
• W2227234579 title "Certified Roundoff Error Bounds Using Semidefinite Programming" @default.
• W2227234579 cites W1497011154 @default.
• W2227234579 cites W1509799206 @default.
• W2227234579 cites W1518247129 @default.
• W2227234579 cites W1553511155 @default.
• W2227234579 cites W1559197676 @default.
• W2227234579 cites W1567380020 @default.
• W2227234579 cites W1568307856 @default.
• W2227234579 cites W1587078255 @default.
• W2227234579 cites W1596877211 @default.
• W2227234579 cites W1607231186 @default.
• W2227234579 cites W1787747790 @default.
• W2227234579 cites W1849426162 @default.
• W2227234579 cites W1967344706 @default.
• W2227234579 cites W1978485957 @default.
• W2227234579 cites W1993722858 @default.
• W2227234579 cites W1994097280 @default.
• W2227234579 cites W1999470254 @default.
• W2227234579 cites W1999990426 @default.
• W2227234579 cites W2016232724 @default.
• W2227234579 cites W2020804487 @default.
• W2227234579 cites W2031326024 @default.
• W2227234579 cites W2037009101 @default.
• W2227234579 cites W2038328463 @default.
• W2227234579 cites W2043100293 @default.
• W2227234579 cites W2071550336 @default.
• W2227234579 cites W2072273382 @default.
• W2227234579 cites W2074930141 @default.
• W2227234579 cites W2079624081 @default.
• W2227234579 cites W2080794684 @default.
• W2227234579 cites W2101571719 @default.
• W2227234579 cites W2103953062 @default.
• W2227234579 cites W2114052185 @default.
• W2227234579 cites W2118400056 @default.
• W2227234579 cites W2122738744 @default.
• W2227234579 cites W2124548165 @default.
• W2227234579 cites W2130920933 @default.
• W2227234579 cites W2138211565 @default.
• W2227234579 cites W2157264766 @default.
• W2227234579 cites W2165281529 @default.
• W2227234579 cites W2166280160 @default.
• W2227234579 cites W2166798101 @default.
• W2227234579 cites W2207050309 @default.
• W2227234579 cites W2226528584 @default.
• W2227234579 cites W2295915207 @default.
• W2227234579 cites W2912522929 @default.
• W2227234579 cites W3100198463 @default.
• W2227234579 cites W3100496417 @default.
• W2227234579 cites W3105930569 @default.
• W2227234579 cites W3158747708 @default.
• W2227234579 cites W4243539849 @default.
• W2227234579 cites W56227214 @default.
• W2227234579 cites W81349459 @default.
• W2227234579 doi "https://doi.org/10.1145/3015465" @default.
• W2227234579 hasPublicationYear "2017" @default.
• W2227234579 type Work @default.
• W2227234579 sameAs 2227234579 @default.
• W2227234579 citedByCount "74" @default.
• W2227234579 countsByYear W22272345792016 @default.
• W2227234579 countsByYear W22272345792017 @default.
• W2227234579 countsByYear W22272345792018 @default.
• W2227234579 countsByYear W22272345792019 @default.
• W2227234579 countsByYear W22272345792020 @default.
• W2227234579 countsByYear W22272345792021 @default.
• W2227234579 countsByYear W22272345792022 @default.
• W2227234579 countsByYear W22272345792023 @default.
• W2227234579 crossrefType "journal-article" @default.
• W2227234579 hasAuthorship W2227234579A5029829952 @default.
• W2227234579 hasAuthorship W2227234579A5066095974 @default.
• W2227234579 hasAuthorship W2227234579A5080781439 @default.
• W2227234579 hasBestOaLocation W22272345792 @default.
• W2227234579 hasConcept C101901036 @default.
• W2227234579 hasConcept C111919701 @default.
• W2227234579 hasConcept C11413529 @default.
• W2227234579 hasConcept C126255220 @default.
• W2227234579 hasConcept C134306372 @default.
• W2227234579 hasConcept C136625980 @default.
• W2227234579 hasConcept C159985019 @default.
• W2227234579 hasConcept C191252586 @default.
• W2227234579 hasConcept C192562407 @default.
• W2227234579 hasConcept C203739276 @default.
• W2227234579 hasConcept C204323151 @default.
• W2227234579 hasConcept C33923547 @default.
• W2227234579 hasConcept C34388435 @default.
• W2227234579 hasConcept C41008148 @default.
• W2227234579 hasConcept C61005703 @default.
• W2227234579 hasConcept C84211073 @default.
• W2227234579 hasConcept C90119067 @default.
• W2227234579 hasConcept C94375191 @default.
• W2227234579 hasConceptScore W2227234579C101901036 @default.
• W2227234579 hasConceptScore W2227234579C111919701 @default.

• next