Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 7 of 7 for “"Standard ML"”.
-
Learning inside the prediction function
… an alternative framework to the standard Empirical risk minimization(ERM) setting where loss functions act in function space rather than output space. We show how we can make learning in this new framework efficient and can lead to improved performance compared to the standard ML …
-
A Language for Generic Programming
… G for generic programming with prototypes of the Standard Template Library and the Boost Graph Library in G. I formalize the essential features of G in a small language and prove type soundness.
-
Names and higher-order functions.
… is equivalent to a certain fragment of Standard ML, omitting side-effects, exceptions, datatypes and recursion. Even without all these features, the interaction of name creation with higher-order functions can be complex and subtle. Various operational and denotational methods for …
-
Machine Learning Coupled Potential Energy Surfaces
Recent advancements in machine learning (ML) for potential energy surfaces (PESs) have yielded promising results, with much of the focus on isolated ground-state surfaces. Extending machine learning to coupled excited state surfaces introduces significant challenges, however, particularly in …
-
An interactive, graphical, program design and development environment
… and a prototype of the APE system developed in Standard ML.<br/><br/>The principal benefit of constructing a formal model is the development of a framework to aid communication between personnel involved with system maintenance. The model can also be used to investigate future changes, and since …
-
Functional Programming and Metamodeling frameworks for System Design
… a functional programming framework called SML-Sys. We illustrate through a number of examples how to model heterogenous computing systems using SML-Sys. Our framework provides for formal reasoning due to its formal semantic underpinning inherited from SML's precise denotational semantics. To …
-
Diseño, semántica y especificación de Babel : un lenguaje que integra la programación funcional y lógica
… programación funcional (como la usada en HOPE, Standard ML o MIRANDA) y la programación lógica (como la usada en PROLOG) de una forma simple, flexible y matemáticamente bien fundamentada. El lenguaje sigue una disciplina de constructores, muy adecuado para acomodar términos PROLOG y patrones …