Sökning: "Compositional data"
Visar resultat 1 - 5 av 76 avhandlingar innehållade orden Compositional data.
1. Representation of Compositional Relational Programs
Sammanfattning : Usability aspects of programming languages are often overlooked, yet have a substantial effect on programmer productivity. These issues are even more acute in the field of Inductive Synthesis, where programs are automatically generated from sample expected input and output data, and the programmer needs to be able to comprehend, and confirm or reject the suggested programs. LÄS MER
2. A Programming Language for Data Privacy with Accuracy Estimations
Sammanfattning : Differential privacy offers a formal framework for reasoning about the privacy and accuracy of computations on private data. It also offers a rich set of building blocks for constructing private data analyses. LÄS MER
3. Obsidian: GPU Kernel Programming in Haskell
Sammanfattning : Graphics Processing Units (GPUs) are evolving into powerful general purpose computing platforms. At first, GPU performance was driven by the requirements of 3D graphics computer games. To fit this workload, a GPU is a many-core processor suitable for the data-parallel programming paradigm. LÄS MER
4. Graphic Representation and Visualisation as Modelling Support for the Knowledge Acquisition Process
Sammanfattning : The thesis describes steps taken towards using graphic representation and visual modelling support for the knowledge acquisition process in knowledge-based systems – a process commonly regarded as difficult. The performance of the systems depends on the quality of the embedded knowledge, which makes the knowledge acquisition phase particularly significant. LÄS MER
5. On Compositional Supervisor Synthesis for Discrete Event Systems
Sammanfattning : Over the past decades, human dependability on technical devices has rapidlyincreased. Many activities of such devices can be described by sequences ofevents, where the occurrence of an event causes the system to go from onestate to another. This is elegantly modeled by automata. LÄS MER