Results 1 -
7 of
7
On Generalised Coinduction and Probabilistic Specification Formats: Distributive Laws in Coalgebraic Modelling
, 2004
"... ..."
Data Mining using Genetic Programming Classification and Symbolic Regression J. EggermontData Mining using Genetic Programming Classification and Symbolic Regression
"... proefschrift ter verkrijging van de graad van Doctor aan de Universiteit Leiden, op gezag van de Rector Magnificus Dr. D.D. Breimer, hoogleraar in de faculteit der Wiskunde en Natuurwetenschappen en die der Geneeskunde, volgens besluit van het College voor Promoties te verdedigen op woensdag 14 sept ..."
Abstract
-
Cited by 8 (0 self)
- Add to MetaCart
proefschrift ter verkrijging van de graad van Doctor aan de Universiteit Leiden, op gezag van de Rector Magnificus Dr. D.D. Breimer, hoogleraar in de faculteit der Wiskunde en Natuurwetenschappen en die der Geneeskunde, volgens besluit van het College voor Promoties te verdedigen op woensdag 14 september 2005 klokke 15.15 uur door
Cover design by Maja Sokolova, adaptation by Jan-Willem Luiten CIP-DATA LIBRARY TECHNISCHE UNIVERSITEIT EINDHOVEN
"... ter verkrijging van de graad van doctor aan de ..."
The Abroad
"... syntax . . . . . . . . . . . . . . . . . . . . . 92 5.4.2 Step 2: Abstract Syntax embedding . . . . . . . . . . . . . . 93 5.4.3 Step 3: Type embedding . . . . . . . . . . . . . . . . . . . . . 94 5.5 Relational algebra . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95 5.5.1 Functions . . . ..."
Abstract
- Add to MetaCart
syntax . . . . . . . . . . . . . . . . . . . . . 92 5.4.2 Step 2: Abstract Syntax embedding . . . . . . . . . . . . . . 93 5.4.3 Step 3: Type embedding . . . . . . . . . . . . . . . . . . . . . 94 5.5 Relational algebra . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95 5.5.1 Functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95 5.5.2 Relations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 96 5.5.3 Relational expressions . . . . . . . . . . . . . . . . . . . . . . 97 5.5.4 Restriction . . . . . . . . . . . . . . . . . . . . . . . . . . . . 98 5.5.5 Union,Di#erence and Cartesian product . . . . . . . . . . . . 99 5.6 Embedding queries . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99 5.6.1 Step 1: Abstract syntax . . . . . . . . . . . . . . . . . . . . . 99 5.6.2 Step 2: Abstract syntax embedding . . . . . . . . . . . . . . 103 5.6.3 Step 3: Type embedding . . . . . . . . . . . . . . . . . . . . . 110 5.7 Exam marks . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 117 5.7.1 Visual Basic . . . . . . . . . . . . . . . . . . . . . . . . . . . . 117 5.7.2 Haskell . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 118 5.8 Status and conclusions . . . . . . . . . . . . . . . . . . . . . . . . . . 120 6 The Lazy Virtual Machine 121 Contents vii 6.2 An overview . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 123 6.3 The abstract machine . . . . . . . . . . . . . . . . . . . . . . . . . . 127 6.3.1 Basic instructions . . . . . . . . . . . . . . . . . . . . . . . . 128 6.3.2 Local definitions . . . . . . . . . . . . . . . . . . . . . . . . . 130 6.3.3 Sharing . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 131 6.3.4 Recursive values . . . . . . . . . . . . . . . . . . . . . . . . . 13...
geboren te Barcelonapromotor: prof.dr. W.J. Fokkink copromotor: dr. J.C. van de PolModal Abstraction and Replication of Processes with Data
"... ter verkrijging van de graad Doctor aan ..."
geboren te Jiangsu, Chinapromotor: prof.dr. W.J. FokkinkFormal Verification of Distributed Systems
, 2004
"... ter verkrijging van de graad van doctor aan ..."
Validation of Stochastic Systems (VOSS,VOSS2).Reconciling Nondeterministic and Probabilistic Choices
"... The work on this thesis has been carried out under the auspices of the research ..."
Abstract
- Add to MetaCart
The work on this thesis has been carried out under the auspices of the research
