Matches in SemOpenAlex for { <https://semopenalex.org/work/W1421638684> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W1421638684 endingPage "343" @default.
- W1421638684 startingPage "326" @default.
- W1421638684 abstract "This paper presents a formalization in higher-order logic of a generic algorithm that is used in automated strategies for solving global optimization problems. It is a generalization of numerical branch and bound algorithms that compute the minimum of a function on a given domain by recursively dividing the domain and computing estimates for the range of the function on each sub-domain. The correctness statement of the algorithm has been proved in the Prototype Verification System PVS theorem prover. This algorithm can be instantiated with specific functions for performing particular global optimization methods. The correctness of the instantiated algorithms is guaranteed by simple properties that need to be verified on the specific input functions. The use of the generic algorithm is illustrated with an instantiation that yields an automated strategy in PVS for estimating the maximum and minimum values of real-valued functions." @default.
- W1421638684 created "2016-06-24" @default.
- W1421638684 creator A5000166506 @default.
- W1421638684 creator A5016058241 @default.
- W1421638684 date "2014-01-01" @default.
- W1421638684 modified "2023-09-24" @default.
- W1421638684 title "A Formally Verified Generic Branching Algorithm for Global Optimization" @default.
- W1421638684 cites W1507872748 @default.
- W1421638684 cites W1534850143 @default.
- W1421638684 cites W159501737 @default.
- W1421638684 cites W1599525342 @default.
- W1421638684 cites W1993722858 @default.
- W1421638684 cites W2010847060 @default.
- W1421638684 cites W2092808221 @default.
- W1421638684 cites W2132303335 @default.
- W1421638684 cites W2154904851 @default.
- W1421638684 cites W2157264766 @default.
- W1421638684 cites W4247922331 @default.
- W1421638684 doi "https://doi.org/10.1007/978-3-642-54108-7_17" @default.
- W1421638684 hasPublicationYear "2014" @default.
- W1421638684 type Work @default.
- W1421638684 sameAs 1421638684 @default.
- W1421638684 citedByCount "26" @default.
- W1421638684 countsByYear W14216386842014 @default.
- W1421638684 countsByYear W14216386842015 @default.
- W1421638684 countsByYear W14216386842016 @default.
- W1421638684 countsByYear W14216386842017 @default.
- W1421638684 countsByYear W14216386842018 @default.
- W1421638684 countsByYear W14216386842019 @default.
- W1421638684 countsByYear W14216386842020 @default.
- W1421638684 countsByYear W14216386842021 @default.
- W1421638684 countsByYear W14216386842022 @default.
- W1421638684 countsByYear W14216386842023 @default.
- W1421638684 crossrefType "book-chapter" @default.
- W1421638684 hasAuthorship W1421638684A5000166506 @default.
- W1421638684 hasAuthorship W1421638684A5016058241 @default.
- W1421638684 hasConcept C11413529 @default.
- W1421638684 hasConcept C159985019 @default.
- W1421638684 hasConcept C192562407 @default.
- W1421638684 hasConcept C206175624 @default.
- W1421638684 hasConcept C41008148 @default.
- W1421638684 hasConceptScore W1421638684C11413529 @default.
- W1421638684 hasConceptScore W1421638684C159985019 @default.
- W1421638684 hasConceptScore W1421638684C192562407 @default.
- W1421638684 hasConceptScore W1421638684C206175624 @default.
- W1421638684 hasConceptScore W1421638684C41008148 @default.
- W1421638684 hasLocation W14216386841 @default.
- W1421638684 hasOpenAccess W1421638684 @default.
- W1421638684 hasPrimaryLocation W14216386841 @default.
- W1421638684 hasRelatedWork W2030092432 @default.
- W1421638684 hasRelatedWork W2039647139 @default.
- W1421638684 hasRelatedWork W2333698505 @default.
- W1421638684 hasRelatedWork W2351491280 @default.
- W1421638684 hasRelatedWork W2358523714 @default.
- W1421638684 hasRelatedWork W2371447506 @default.
- W1421638684 hasRelatedWork W2386767533 @default.
- W1421638684 hasRelatedWork W303980170 @default.
- W1421638684 hasRelatedWork W3217514985 @default.
- W1421638684 hasRelatedWork W4283446367 @default.
- W1421638684 isParatext "false" @default.
- W1421638684 isRetracted "false" @default.
- W1421638684 magId "1421638684" @default.
- W1421638684 workType "book-chapter" @default.