Results 1 - 10
of
15
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
What to Do Next? Analysing and Optimising System Behaviour in Time ACADEMISCH PROEFSCHRIFT
"... any form. No Zebra Finches were harmed during the development of this thesis. For the cover image: © ≫Unfold II≪, 100 x 100 cm, diasec, 2006 by sascha weidner The research in this thesis has been carried out at the Centre for Mathematics ..."
Abstract
-
Cited by 1 (1 self)
- Add to MetaCart
any form. No Zebra Finches were harmed during the development of this thesis. For the cover image: © ≫Unfold II≪, 100 x 100 cm, diasec, 2006 by sascha weidner The research in this thesis has been carried out at the Centre for Mathematics
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 ..."
door
, 2007
"... About the cover: picture of the SISYPHUS II machine, constructed by Bruce Shapiro. ..."
Abstract
- Add to MetaCart
About the cover: picture of the SISYPHUS II machine, constructed by Bruce Shapiro.
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 ..."
prof. dr. Eric R. VerheulFormal and Computational Cryptography:
"... This thesis is typeset using LATEX. Cover: Zimmermann Telegram, written by German Foreign Secretary Arthur Zimmermann, is an encrypted message sent to Mexico, proposing a military alliance against the United States. It was intercepted and decrypted by British cryptographers. The telegram inflamed Am ..."
Abstract
- Add to MetaCart
This thesis is typeset using LATEX. Cover: Zimmermann Telegram, written by German Foreign Secretary Arthur Zimmermann, is an encrypted message sent to Mexico, proposing a military alliance against the United States. It was intercepted and decrypted by British cryptographers. The telegram inflamed American public opinion and draw the United States to declare war against Germany in 1917. The bookmarker contains the telegram as partially decrypted by the British cryptographers of Room 40.
Managing Requirements Evolution using Reconstructed Traceability and Requirements ViewsManaging Requirements Evolution using Reconstructed Traceability and Requirements Views
"... ter verkrijging van de graad van doctor aan de Technische Universiteit Delft, op gezag van de Rector Magnificus prof. dr. ir. J.T. Fokkema, voorzitter van het College voor Promoties, in het openbaar te verdedigen op maandag 12 januari 2009 om 15:00 uur door ..."
Abstract
- Add to MetaCart
ter verkrijging van de graad van doctor aan de Technische Universiteit Delft, op gezag van de Rector Magnificus prof. dr. ir. J.T. Fokkema, voorzitter van het College voor Promoties, in het openbaar te verdedigen op maandag 12 januari 2009 om 15:00 uur door
Evolvable Behavior Specifications Using Context-Sensitive Wildcards Gürcan Güle¸sirEvolvable Behavior Specifications Using
"... ISBN 978-90-365-2633-3 ..."
