Matches in SemOpenAlex for { <https://semopenalex.org/work/W4306178023> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W4306178023 abstract "We present a simple functional programming language, called Dual PCF, that implements forward mode automatic differentiation using dual numbers in the framework of exact real number computation. The main new feature of this language is the ability to evaluate correctly up to the precision specified by the user -- in a simple and direct way -- the directional derivative of functionals as well as first order functions. In contrast to other comparable languages, Dual PCF also includes the recursive operator for defining functions and functionals. We provide a wide range of examples of Lipschitz functions and functionals that can be defined in Dual PCF. We use domain theory both to give a denotational semantics to the language and to prove the correctness of the new derivative operator using logical relations. To be able to differentiate functionals -- including on function spaces equipped with their compact-open topology that do not admit a norm -- we develop a domain-theoretic directional derivative that is Scott continuous and extends Clarke's subgradient of real-valued locally Lipschitz maps on Banach spaces to real-valued continuous maps on Hausdorff topological vector spaces. Finally, we show that we can express arbitrary computable linear functionals in Dual PCF." @default.
- W4306178023 created "2022-10-14" @default.
- W4306178023 creator A5058087229 @default.
- W4306178023 creator A5063938532 @default.
- W4306178023 creator A5072103611 @default.
- W4306178023 date "2022-10-12" @default.
- W4306178023 modified "2023-09-26" @default.
- W4306178023 title "A Language for Evaluating Derivatives of Functionals Using Automatic Differentiation" @default.
- W4306178023 doi "https://doi.org/10.48550/arxiv.2210.06095" @default.
- W4306178023 hasPublicationYear "2022" @default.
- W4306178023 type Work @default.
- W4306178023 citedByCount "0" @default.
- W4306178023 crossrefType "posted-content" @default.
- W4306178023 hasAuthorship W4306178023A5058087229 @default.
- W4306178023 hasAuthorship W4306178023A5063938532 @default.
- W4306178023 hasAuthorship W4306178023A5072103611 @default.
- W4306178023 hasBestOaLocation W43061780231 @default.
- W4306178023 hasConcept C104317684 @default.
- W4306178023 hasConcept C11413529 @default.
- W4306178023 hasConcept C114614502 @default.
- W4306178023 hasConcept C118615104 @default.
- W4306178023 hasConcept C133512626 @default.
- W4306178023 hasConcept C134306372 @default.
- W4306178023 hasConcept C136119220 @default.
- W4306178023 hasConcept C156325763 @default.
- W4306178023 hasConcept C158448853 @default.
- W4306178023 hasConcept C17020691 @default.
- W4306178023 hasConcept C184337299 @default.
- W4306178023 hasConcept C184720557 @default.
- W4306178023 hasConcept C185592680 @default.
- W4306178023 hasConcept C191399826 @default.
- W4306178023 hasConcept C199360897 @default.
- W4306178023 hasConcept C2011187 @default.
- W4306178023 hasConcept C202444582 @default.
- W4306178023 hasConcept C207648694 @default.
- W4306178023 hasConcept C22324862 @default.
- W4306178023 hasConcept C29585364 @default.
- W4306178023 hasConcept C33923547 @default.
- W4306178023 hasConcept C41008148 @default.
- W4306178023 hasConcept C42383842 @default.
- W4306178023 hasConcept C45374587 @default.
- W4306178023 hasConcept C55493867 @default.
- W4306178023 hasConcept C80444323 @default.
- W4306178023 hasConcept C86339819 @default.
- W4306178023 hasConceptScore W4306178023C104317684 @default.
- W4306178023 hasConceptScore W4306178023C11413529 @default.
- W4306178023 hasConceptScore W4306178023C114614502 @default.
- W4306178023 hasConceptScore W4306178023C118615104 @default.
- W4306178023 hasConceptScore W4306178023C133512626 @default.
- W4306178023 hasConceptScore W4306178023C134306372 @default.
- W4306178023 hasConceptScore W4306178023C136119220 @default.
- W4306178023 hasConceptScore W4306178023C156325763 @default.
- W4306178023 hasConceptScore W4306178023C158448853 @default.
- W4306178023 hasConceptScore W4306178023C17020691 @default.
- W4306178023 hasConceptScore W4306178023C184337299 @default.
- W4306178023 hasConceptScore W4306178023C184720557 @default.
- W4306178023 hasConceptScore W4306178023C185592680 @default.
- W4306178023 hasConceptScore W4306178023C191399826 @default.
- W4306178023 hasConceptScore W4306178023C199360897 @default.
- W4306178023 hasConceptScore W4306178023C2011187 @default.
- W4306178023 hasConceptScore W4306178023C202444582 @default.
- W4306178023 hasConceptScore W4306178023C207648694 @default.
- W4306178023 hasConceptScore W4306178023C22324862 @default.
- W4306178023 hasConceptScore W4306178023C29585364 @default.
- W4306178023 hasConceptScore W4306178023C33923547 @default.
- W4306178023 hasConceptScore W4306178023C41008148 @default.
- W4306178023 hasConceptScore W4306178023C42383842 @default.
- W4306178023 hasConceptScore W4306178023C45374587 @default.
- W4306178023 hasConceptScore W4306178023C55493867 @default.
- W4306178023 hasConceptScore W4306178023C80444323 @default.
- W4306178023 hasConceptScore W4306178023C86339819 @default.
- W4306178023 hasLocation W43061780231 @default.
- W4306178023 hasOpenAccess W4306178023 @default.
- W4306178023 hasPrimaryLocation W43061780231 @default.
- W4306178023 hasRelatedWork W1551132038 @default.
- W4306178023 hasRelatedWork W2015633566 @default.
- W4306178023 hasRelatedWork W2264542014 @default.
- W4306178023 hasRelatedWork W2796778530 @default.
- W4306178023 hasRelatedWork W288920086 @default.
- W4306178023 hasRelatedWork W2988918532 @default.
- W4306178023 hasRelatedWork W4298526795 @default.
- W4306178023 hasRelatedWork W4306178023 @default.
- W4306178023 hasRelatedWork W2126542638 @default.
- W4306178023 hasRelatedWork W2787000028 @default.
- W4306178023 isParatext "false" @default.
- W4306178023 isRetracted "false" @default.
- W4306178023 workType "article" @default.