Matches in SemOpenAlex for { <https://semopenalex.org/work/W1826394814> ?p ?o ?g. }
- W1826394814 endingPage "114" @default.
- W1826394814 startingPage "98" @default.
- W1826394814 abstract "We introduce a novel abstract domain for the safe approximation of continuous functions in the context of abstract interpretation-based static analysis. The key-idea is to represent $mathcal{C}_+^2$ functions by a finite sequence of trapezoids. In this way, we get a strictly more precise approximation of the actual values with respect to existing approaches in the literature. Experimental results underline the effectiveness of the approach in terms of both precision and efficiency." @default.
- W1826394814 created "2016-06-24" @default.
- W1826394814 creator A5015116587 @default.
- W1826394814 creator A5036811595 @default.
- W1826394814 creator A5070919681 @default.
- W1826394814 date "2012-01-01" @default.
- W1826394814 modified "2023-09-26" @default.
- W1826394814 title "Linear Approximation of Continuous Systems with Trapezoid Step Functions" @default.
- W1826394814 cites W1489150842 @default.
- W1826394814 cites W1493913576 @default.
- W1826394814 cites W1521140517 @default.
- W1826394814 cites W1590648473 @default.
- W1826394814 cites W1608230613 @default.
- W1826394814 cites W2014764321 @default.
- W1826394814 cites W2037629736 @default.
- W1826394814 cites W2043100293 @default.
- W1826394814 cites W2055871476 @default.
- W1826394814 cites W2060592270 @default.
- W1826394814 cites W2097485368 @default.
- W1826394814 cites W2107220315 @default.
- W1826394814 cites W2131275552 @default.
- W1826394814 cites W2158647064 @default.
- W1826394814 cites W2173534792 @default.
- W1826394814 cites W2269854487 @default.
- W1826394814 cites W3110279720 @default.
- W1826394814 cites W4214617376 @default.
- W1826394814 cites W4235788944 @default.
- W1826394814 doi "https://doi.org/10.1007/978-3-642-35182-2_8" @default.
- W1826394814 hasPublicationYear "2012" @default.
- W1826394814 type Work @default.
- W1826394814 sameAs 1826394814 @default.
- W1826394814 citedByCount "4" @default.
- W1826394814 countsByYear W18263948142013 @default.
- W1826394814 countsByYear W18263948142015 @default.
- W1826394814 countsByYear W18263948142022 @default.
- W1826394814 crossrefType "book-chapter" @default.
- W1826394814 hasAuthorship W1826394814A5015116587 @default.
- W1826394814 hasAuthorship W1826394814A5036811595 @default.
- W1826394814 hasAuthorship W1826394814A5070919681 @default.
- W1826394814 hasBestOaLocation W18263948142 @default.
- W1826394814 hasConcept C11413529 @default.
- W1826394814 hasConcept C118615104 @default.
- W1826394814 hasConcept C121332964 @default.
- W1826394814 hasConcept C126255220 @default.
- W1826394814 hasConcept C134306372 @default.
- W1826394814 hasConcept C151730666 @default.
- W1826394814 hasConcept C158622935 @default.
- W1826394814 hasConcept C160824197 @default.
- W1826394814 hasConcept C199360897 @default.
- W1826394814 hasConcept C202444582 @default.
- W1826394814 hasConcept C26517878 @default.
- W1826394814 hasConcept C2778112365 @default.
- W1826394814 hasConcept C2779343474 @default.
- W1826394814 hasConcept C28826006 @default.
- W1826394814 hasConcept C33923547 @default.
- W1826394814 hasConcept C36503486 @default.
- W1826394814 hasConcept C38652104 @default.
- W1826394814 hasConcept C41008148 @default.
- W1826394814 hasConcept C527412718 @default.
- W1826394814 hasConcept C54355233 @default.
- W1826394814 hasConcept C62520636 @default.
- W1826394814 hasConcept C86803240 @default.
- W1826394814 hasConceptScore W1826394814C11413529 @default.
- W1826394814 hasConceptScore W1826394814C118615104 @default.
- W1826394814 hasConceptScore W1826394814C121332964 @default.
- W1826394814 hasConceptScore W1826394814C126255220 @default.
- W1826394814 hasConceptScore W1826394814C134306372 @default.
- W1826394814 hasConceptScore W1826394814C151730666 @default.
- W1826394814 hasConceptScore W1826394814C158622935 @default.
- W1826394814 hasConceptScore W1826394814C160824197 @default.
- W1826394814 hasConceptScore W1826394814C199360897 @default.
- W1826394814 hasConceptScore W1826394814C202444582 @default.
- W1826394814 hasConceptScore W1826394814C26517878 @default.
- W1826394814 hasConceptScore W1826394814C2778112365 @default.
- W1826394814 hasConceptScore W1826394814C2779343474 @default.
- W1826394814 hasConceptScore W1826394814C28826006 @default.
- W1826394814 hasConceptScore W1826394814C33923547 @default.
- W1826394814 hasConceptScore W1826394814C36503486 @default.
- W1826394814 hasConceptScore W1826394814C38652104 @default.
- W1826394814 hasConceptScore W1826394814C41008148 @default.
- W1826394814 hasConceptScore W1826394814C527412718 @default.
- W1826394814 hasConceptScore W1826394814C54355233 @default.
- W1826394814 hasConceptScore W1826394814C62520636 @default.
- W1826394814 hasConceptScore W1826394814C86803240 @default.
- W1826394814 hasLocation W18263948141 @default.
- W1826394814 hasLocation W18263948142 @default.
- W1826394814 hasOpenAccess W1826394814 @default.
- W1826394814 hasPrimaryLocation W18263948141 @default.
- W1826394814 hasRelatedWork W1998707102 @default.
- W1826394814 hasRelatedWork W2032649343 @default.
- W1826394814 hasRelatedWork W2329452785 @default.
- W1826394814 hasRelatedWork W2356380379 @default.
- W1826394814 hasRelatedWork W2363925233 @default.
- W1826394814 hasRelatedWork W2364562957 @default.
- W1826394814 hasRelatedWork W2364808845 @default.
- W1826394814 hasRelatedWork W2369270266 @default.
- W1826394814 hasRelatedWork W3027915305 @default.
- W1826394814 hasRelatedWork W3102632868 @default.