FRINK Linked Data Fragments server

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

• W2952046925 abstract "The efficiency of modern optimization methods, coupled with increasing computational resources, has led to the possibility of real-time optimization algorithms acting in safety critical roles. There is a considerable body of mathematical proofs on on-line optimization programs which can be leveraged to assist in the development and verification of their implementation. In this paper, we demonstrate how theoretical proofs of real-time optimization algorithms can be used to describe functional properties at the level of the code, thereby making it accessible for the formal methods community. The running example used in this paper is a generic semi-definite programming (SDP) solver. Semi-definite programs can encode a wide variety of optimization problems and can be solved in polynomial time at a given accuracy. We describe a top-to-down approach that transforms a high-level analysis of the algorithm into useful code annotations. We formulate some general remarks about how such a task can be incorporated into a convex programming autocoder. We then take a first step towards the automatic verification of the optimization program by identifying key issues to be adressed in future work." @default.
• W2952046925 created "2019-06-27" @default.
• W2952046925 creator A5018183217 @default.
• W2952046925 creator A5025996200 @default.
• W2952046925 creator A5034242696 @default.
• W2952046925 creator A5041459160 @default.
• W2952046925 creator A5074893139 @default.
• W2952046925 creator A5080867529 @default.
• W2952046925 date "2014-03-07" @default.
• W2952046925 modified "2023-10-16" @default.
• W2952046925 title "Credible Autocoding of Convex Optimization Algorithms" @default.
• W2952046925 cites W1522573389 @default.
• W2952046925 cites W1630576561 @default.
• W2952046925 cites W165943180 @default.
• W2952046925 cites W2012110988 @default.
• W2952046925 cites W2016043649 @default.
• W2952046925 cites W2075379600 @default.
• W2952046925 cites W2077274614 @default.
• W2952046925 cites W2117402460 @default.
• W2952046925 cites W2134205688 @default.
• W2952046925 cites W2244192127 @default.
• W2952046925 cites W2296319761 @default.
• W2952046925 cites W2536620281 @default.
• W2952046925 cites W3146075203 @default.
• W2952046925 doi "https://doi.org/10.48550/arxiv.1403.1861" @default.
• W2952046925 hasPublicationYear "2014" @default.
• W2952046925 type Work @default.
• W2952046925 sameAs 2952046925 @default.
• W2952046925 citedByCount "0" @default.
• W2952046925 crossrefType "posted-content" @default.
• W2952046925 hasAuthorship W2952046925A5018183217 @default.
• W2952046925 hasAuthorship W2952046925A5025996200 @default.
• W2952046925 hasAuthorship W2952046925A5034242696 @default.
• W2952046925 hasAuthorship W2952046925A5041459160 @default.
• W2952046925 hasAuthorship W2952046925A5074893139 @default.
• W2952046925 hasAuthorship W2952046925A5080867529 @default.
• W2952046925 hasBestOaLocation W29520469251 @default.
• W2952046925 hasConcept C101901036 @default.
• W2952046925 hasConcept C104317684 @default.
• W2952046925 hasConcept C108710211 @default.
• W2952046925 hasConcept C112680207 @default.
• W2952046925 hasConcept C11413529 @default.
• W2952046925 hasConcept C126255220 @default.
• W2952046925 hasConcept C137836250 @default.
• W2952046925 hasConcept C139571649 @default.
• W2952046925 hasConcept C157972887 @default.
• W2952046925 hasConcept C162324750 @default.
• W2952046925 hasConcept C169590947 @default.
• W2952046925 hasConcept C177264268 @default.
• W2952046925 hasConcept C185592680 @default.
• W2952046925 hasConcept C187736073 @default.
• W2952046925 hasConcept C199360897 @default.
• W2952046925 hasConcept C2524010 @default.
• W2952046925 hasConcept C26517878 @default.
• W2952046925 hasConcept C2776760102 @default.
• W2952046925 hasConcept C2778770139 @default.
• W2952046925 hasConcept C2780451532 @default.
• W2952046925 hasConcept C33923547 @default.
• W2952046925 hasConcept C38652104 @default.
• W2952046925 hasConcept C41008148 @default.
• W2952046925 hasConcept C41045048 @default.
• W2952046925 hasConcept C55493867 @default.
• W2952046925 hasConcept C66746571 @default.
• W2952046925 hasConcept C80444323 @default.
• W2952046925 hasConceptScore W2952046925C101901036 @default.
• W2952046925 hasConceptScore W2952046925C104317684 @default.
• W2952046925 hasConceptScore W2952046925C108710211 @default.
• W2952046925 hasConceptScore W2952046925C112680207 @default.
• W2952046925 hasConceptScore W2952046925C11413529 @default.
• W2952046925 hasConceptScore W2952046925C126255220 @default.
• W2952046925 hasConceptScore W2952046925C137836250 @default.
• W2952046925 hasConceptScore W2952046925C139571649 @default.
• W2952046925 hasConceptScore W2952046925C157972887 @default.
• W2952046925 hasConceptScore W2952046925C162324750 @default.
• W2952046925 hasConceptScore W2952046925C169590947 @default.
• W2952046925 hasConceptScore W2952046925C177264268 @default.
• W2952046925 hasConceptScore W2952046925C185592680 @default.
• W2952046925 hasConceptScore W2952046925C187736073 @default.
• W2952046925 hasConceptScore W2952046925C199360897 @default.
• W2952046925 hasConceptScore W2952046925C2524010 @default.
• W2952046925 hasConceptScore W2952046925C26517878 @default.
• W2952046925 hasConceptScore W2952046925C2776760102 @default.
• W2952046925 hasConceptScore W2952046925C2778770139 @default.
• W2952046925 hasConceptScore W2952046925C2780451532 @default.
• W2952046925 hasConceptScore W2952046925C33923547 @default.
• W2952046925 hasConceptScore W2952046925C38652104 @default.
• W2952046925 hasConceptScore W2952046925C41008148 @default.
• W2952046925 hasConceptScore W2952046925C41045048 @default.
• W2952046925 hasConceptScore W2952046925C55493867 @default.
• W2952046925 hasConceptScore W2952046925C66746571 @default.
• W2952046925 hasConceptScore W2952046925C80444323 @default.
• W2952046925 hasLocation W29520469251 @default.
• W2952046925 hasLocation W29520469252 @default.
• W2952046925 hasLocation W29520469253 @default.
• W2952046925 hasLocation W29520469254 @default.
• W2952046925 hasLocation W29520469255 @default.
• W2952046925 hasOpenAccess W2952046925 @default.
• W2952046925 hasPrimaryLocation W29520469251 @default.
• W2952046925 hasRelatedWork W1491460447 @default.
• W2952046925 hasRelatedWork W1588473452 @default.

• next