The Anatomy of Design: Foundations, Models and Applications ISBN 90-9016375-1 (2009)
Academisch Proefschrift, Petrus Hermanus, Gerardus Van Langen
Thesis Vrije Universiteit Amsterdam. – Illustrated, with references and summary in Dutch. Cover design by the author. © 2002 Pieter H.G. van Langen, Amsterdam. All rights reserved. No part of this...
Akkermans. Value-based requirements engineering: exploring innovative e-commerce ideas (2009)
Jaap Gordijn, Academisch Proefschrift, Jacob Gordijn
ter verkrijging van de graad van doctor aan
Floris Roelofsen, Academisch Proefschrift, Floris Roelofsen, Overige Leden, Prof. Dr. D. Fox, Prof. Dr. A. Szabolcsi, ...
ter verkrijging van de graad van doctor aan de Universiteit van Amsterdam op gezag van de Rector Magnificus prof.dr. D.C. van den Boom ten overstaan van een door het college voor promoties ingestelde...
Academisch Proefschrift, De Boelelaan
ter verkrijging van de graad Doctor aan
VRIJE UNIVERSITEIT Robust Applications in Time-Shared Distributed Systems (2009)
All Rights Reserved, Academisch Proefschrift, Anton Menno Dobber
The aquarelles on the cover are painted by Corinne Langerhuizen.
Language Grammar, Academisch Proefschrift, Geboren Te Naarden
ter verkrijging van de graad van doctor aan de Universiteit van Amsterdam op gezag van de Rector Magnificus prof. mr. P.F. van der Heijden ten overstaan van een door het college voor promoties...
VRIJE UNIVERSITEIT Semantic Annotation for Retrieval of Visual Resources (2009)
Laura Hollink, Dr. M. Worring (copromotor, Prof. Dr. E. Hyvönen, Academisch Proefschrift
ter verkrijging van de graad Doctor aan
Saying It with Pictures: a logical landscape of conceptual graphs (2009)
Academisch Proefschrift, Gwenael Nang Kerdiles, Afdeling Wijsbegeerte
ter verkrijging van de graad van doctor aan de Universiteit van Amsterdam op gezag van de Rector Magnificus prof.dr. J.J.M. Franse ten overstaan van een door het college voor promoties ingestelde...
Control of Fast Goal-Directed Arm Movements (2009)
Dinant Arne Kistemaker, Printer Printpartners, Ipskamp B. V, Academisch Proefschrift, Dinant Arne Kistemaker, Douglas Adams
All rights reserved. No part of this book may be reproduced or transmitted in any form or by any means, electronical or mechanical, including photocopying, recording or any information storage or...
VRIJE UNIVERSITEIT Hybrid Genetic Relational Search for Inductive Learning (2009)
Federico Divina, Academisch Proefschrift, Federico Divina
ter verkrijging van de graad van doctor aan de Vrije Universiteit Amsterdam, op gezag van de rector magnificus prof.dr. T. Sminia, in het openbaar te verdedigen ten overstaan van de promotiecommissie...
Academisch Proefschrift, David Dubbeldam, Prof Dr. J. Kärger
ter verkrijging van de graad van doctor aan de Universiteit van Amsterdam, op gezag van de Rector Magnificus prof. mr. P. F. van der Heijden ten overstaan van een door het college voor promoties...
VRIJE UNIVERSITEIT Verification Techniques for Extensions of Equality Logic (2008)
Bahareh Badban, Academisch Proefschrift, Bahareh Badban
form.
geboren te Buenos Aires, Argentinië. (2008)
Please Contact, Academisch Proefschrift, Carlos Eduardo Areces
ter verkrijging van de graad van doctor aan de Universiteit van Amsterdam, op gezag van de Rector Magnificus prof.dr. J.J.M. Franse ten overstaan van een door het college voor promoties ingestelde...
Thinking before Acting Intentions, Logic, Rational Choice (2008)
Olivier Roy, Academisch Proefschrift, Prof Dr. F. Veltman
ter verkrijging van de graad van doctor aan de Universiteit van Amsterdam op gezag van de Rector Magnificus prof.dr. D.C. van den Boom ten overstaan van een door het college voor promoties ingestelde...
Co-promotor: Dr. P. R. ten Wolde (2008)
Marco Morelli, Academisch Proefschrift, Marco Morelli, Promotor Prof, Dr. D. Frenkel, Wiskunde En Informatica, ...
ter verkrijging van de graad van doctor aan de Universiteit van Amsterdam op gezag van de Rector Magnificus prof. dr. D. C. van den Boom ten overstaan van een door het college voor promoties...
Academisch Proefschrift, De Boelelaan
ter verkrijging van de graad Doctor aan
Academisch Proefschrift, Tim Rühl
ter verkrijging van de graad van doctor aan
Surfactant Solutions, Academisch Proefschrift, Renée Pool, Dr. P. G. Bolhuis, Overige Leden, Prof Dr. F. Leermakers, ...
ter verkrijging van de graad van doctor aan de Universiteit van Amsterdam, op gezag van de Rector Magnificus prof. mr. P. F. van der Heijden ten overstaan van een door het college voor promoties...
Victor A. Simossis, Academisch Proefschrift, Victor-athanasios Simossis, In Memory, Of Mrs, Iwanna Peta, ...
ter verkrijging van de graad van doctor aan
VRIJE UNIVERSITEIT Solving Constraint Satisfaction Problems with Evolutionary Algorithms (2008)
Academisch Proefschrift, De Boelelaan, Bartolomeus Gerardus, Wilhelmus Craenen
ter verkrijging van de graad Doctor aan
Semantic Routing in Peer-to-Peer Systems (2008)
Academisch Proefschrift, Ronald Maria
ter verkrijging van de graad Doctor aan
Eye Movement Trajectories and What They Tell Us (2008)
Dr. Mieke Donk, Prof Dr, Iain Gilchrist, Prof Dr, Richard Ridderinkhof, Prof Dr, ...
The studies presented in this dissertation were funded by the Netherlands Organisation of
VRIJE UNIVERSITEIT Relating Proof Systems for Recursive Types (2008)
Typeset L Atexe, Clemens Grabmayer, Academisch Proefschrift, Clemens Armin Grabmayer, Geboren Te Linz
ter verkrijging van de graad van doctor aan de Vrije Universiteit Amsterdam, op gezag van de rector magnificus prof.dr. T. Sminia, in het openbaar te verdedigen ten overstaan van de promotiecommissie...
promotoren: prof.dr. J.C.J.M. van den Bergh (2008)
Academisch Proefschrift, Prof. Dr. P. Rietveld
ter verkrijging van de graad Doctor aan
A * Planning in Discrete Configuration Spaces of Autonomous Systems (2008)
Academisch Proefschrift, Karen Irene Trovato, Dr. Ir. L. Dorst, Rector Magnificus Voorzitter
ter verkrijging van de graad van doctor aan de Universiteit van Amsterdam, op gezag van de Rector Magnificus prof. dr. P.W.M. de Meijer ten overstaan van een door het college van decanen ingestelde...
VRIJE UNIVERSITEIT The Architecture of a Worldwide Distributed System (2008)
The research reported in this thesis was supported by the Netherlands Computer Science Foundation (SION, grant 612–17–117) with financial support from the Netherlands Organization for Scientific...
geboren te ’s-Gravenhage (2008)
Academisch Proefschrift, Raoul Angelo, Félicien Bhoedjang, Prof. Dr. A. S. Tanenbaum
ter verkrijging van de graad van doctor aan
Christof Monz, Academisch Proefschrift, Christof Monz, Prof. Dr. R. Scha, Prof. Dr. C. Clarke, Prof. Dr. B. Webber
ter verkrijging van de graad van doctor aan de Universiteit van Amsterdam op gezag van de Rector Magnificus prof.mr. P.F. van der Heijden ten overstaan van een door het college voor promoties...
Complex Predicates in Dutch (2008)
Academisch Proefschrift, Corrien Blom
ter verkrijging van de graad Doctor aan
Changing for the Better Preference Dynamics and Agent Diversity (2008)
Fenrong Liu, Academisch Proefschrift, Fenrong Liu
ter verkrijging van de graad van doctor aan de Universiteit van Amsterdam op gezag van de Rector Magnificus prof.dr. D.C. van den Boom ten overstaan van een door het college voor promoties ingestelde...
Sentential Negation and Negative Concord (2008)
Lot Phone, Academisch Proefschrift, Hedzer Hugo Zeijlstra
ter verkrijging van de graad van doctor aan de Universiteit van Amsterdam op gezag van de Rector Magnificus Prof. Mr P.F. van der Heijden ten overstaan van een door het College voor Promoties...
VRIJE UNIVERSITEIT Anti-apartheid theology in the Dutch Reformed Family of Churches (2008)
Academisch Proefschrift, De Boelelaan, Jacobus Christoff Pauw
ter verkrijging van de graad Doctor aan
M. F. Kaashoek, Academisch Proefschrift, Centrale Huisdrukkerij
ter verkrijging van de graad van doctor aande Vrije Universiteit te Amsterdam,
Promotie-commissie: prof. dr. K. Apt (2008)
Academisch Proefschrift, Johannes Theodorus Tromp, Dr. L. Torenvliet
ter verkrijging van de graad van doctor aan de Universiteit van Amsterdam op gezag van de Rector Magnificus prof. dr P.W.M. de Meijer in het openbaar te verdedigen in de Aula der Universiteit
Academisch Proefschrift, De Boelelaan
ter verkrijging van de graad Doctor aan
geboren te Broek in Waterland (2008)
Aline Honingh, Academisch Proefschrift, Aline Klazina Honingh, Prof. Dr. R. Bod, Prof. Dr. H. Barendregt
ter verkrijging van de graad van doctor aan de Universiteit van Amsterdam op gezag van de Rector Magnificus prof.mr. P.F. van der Heijden ten overstaan van een door het college voor promoties...
If you want to truly understand something, try to change it. (2008)
Mark Hoogendoorn, Cover Illustrations, Usda Forest Service, Black Hills, National Forest, Academisch Proefschrift, ...
ter verkrijging van de graad Doctor aan
Abstractions and Static Analysis for Verifying Reactive Systems (2008)
Nataliya Yustinova, Nataliya Yustinova, Academisch Proefschrift, Nataliya Yustinova, Copromotor Dr. N. Sidorova
static analysis / abstraction / reactive systems
Academisch Proefschrift, De Boelelaan
ter verkrijging van de graad Doctor aan
Jaap Kamps, Please Contact, Academisch Proefschrift, Jacob Kamps, Dr. L. Pólos
ter verkrijging van de graad van doctor aan de Universiteit van Amsterdam op gezag van de Rector Magnificus prof.dr. J.J.M. Franse ten overstaan van een door het college voor promoties ingestelde...
VRIJE UNIVERSITEIT Modal Action Logics for Reasoning about Reactive Systems (2008)
Academisch Proefschrift, De Boelelaan, Johannes Maria Broersen
translated or transmitted in any material, electronic or optic form without prior written permission of the author.
Belief Dynamics (Epistemo)logical Investigations (2008)
Please Contact, Academisch Proefschrift, Allard Martijn Tamminga, Co-promotor Prof, H. Rott, Afdeling Wijsbegeerte, ...
ter verkrijging van de graad van doctor aan de Universiteit van Amsterdam op gezag van de Rector Magnificus prof. dr. J.J.M. Franse ten overstaan van een door het college voor promoties ingestelde...
VRIJE UNIVERSITEIT The Architecture of a Worldwide Distributed System (2008)
The research reported in this thesis was supported by the Netherlands Computer Science Foundation (SION, grant 612–17–117) with financial support from the Netherlands Organization for Scientific...
Scalable Cluster Technologies for Mission-Critical Enterprise Computing (2008)
Academisch Proefschrift, De Boelelaan, Werner Hans, Peter Vogels, ...
ter verkrijging van de graad van doctor aan
Jan-mark Geusebroek, Gemeentemuseum Den Haag, Academisch Proefschrift
This book was typeset by the author using L ATEX 2ε.
Academisch Proefschrift, Dr. J. Romein, Dr. R. M. Wolski, Slainte Mhath
ter verkrijging van de graad van doctor aan
Architectural Design for Large Software-Intensive Product Families (2008)
Jürgen K. Müller, Den Haag, Müller Jürgen Karl, The Building, Block Method, ...
ter verkrijging van de graad van doctor aan de Universiteit van Amsterdam op gezag van de Rector Magnificus prof.mr. P.F. van der Heijden ten overstaan van een door het College voor Promoties...
promotor: prof.dr. F.A.H. van Harmelen (2008)
Academisch Proefschrift, De Boelelaan, Petrus Cornelis Groot
ter verkrijging van de graad van doctor aan
A Logical Approach to Competition in Industries (2008)
Ivar Vermeulen, Academisch Proefschrift, Ivar Erik Vermeulen, Promotor Prof. Dr, W. E. Saris, Overige Leden, ...
ter verkrijging van de graad van doctor aan de Universiteit van Amsterdam op gezag van de Rector Magnificus prof.mr. P.F. van der Heijden ten overstaan van een door het college voor promoties...
VRIJE UNIVERSITEIT Processing Structured Hypermedia — (2008)
Jacco Van Ossenbruggen, Academisch Proefschrift, Copromotor Dr. A. Eliëns
ter verkrijging van de graad van doctor aan de Vrije Universiteit te Amsterdam, op gezag van de rector magnificus prof.dr. T. Sminia, in het openbaar te verdedigen ten overstaan van de...
COMMON GENETIC VARIANTS UNDERLYING (2008)
María Florencia Gosso, Dr. W Crusio, Prof. Dr. Ng Martin, Prof. Dr. M Verhage, Cover Design, María Florencia Gosso, ...
prof.dr. CM van Duijn
VRIJE UNIVERSITEIT Analysis of the Dynamics of Cognitive Processes (2008)
Academisch Proefschrift, De Boelelaan, Tibor Bosse
ii
HEARING SCREENING BY TELEPHONE (2008)
Cover-design Aaf, Nationale Hoorstichting, Stichting Atze, Spoor Fonds, Oticon Nederl, Academisch Proefschrift, ...
reproduced, stored in a retrieval system, or transmittted, in any form or by any means, electronic, mechanical, photocopying, recording, or otherwise, without the prior written permision of the...
Academisch Proefschrift, Radosław Jacek Szklarczyk
Information reuse in comparative genomics
Semantic Routing in Peer-to-Peer Systems (2008)
Academisch Proefschrift, Ronald Maria
ter verkrijging van de graad Doctor aan
Marco Aiello, Academisch Proefschrift, Marco Aiello
ter verkrijging van de graad van doctor aan de Universiteit van Amsterdam op gezag van de Rector Magnificus prof.mr. P.F. van der Heijden ten overstaan van een door het college voor promoties...
Semantics and Applications of Process and Program Algebra (2008)
Vu Thuy Duong, Academisch Proefschrift, Thuy Duong Vu, Dr. A. Ponse
ter verkrijging van de graad van doctor aan de Universiteit van Amsterdam, op gezag van de Rector Magnificus prof. dr. J.W. Zwemmer ten overstaan van een door het college voor promoties ingestelde...
Academisch Proefschrift, Anders Jan Bouwer, Overige Prof, P. Brna
ter verkrijging van de graad van doctor aan de Universiteit van Amsterdam op gezag van de Rector Magnificus prof. mr. P. F. van der Heijden ten overstaan van een door het college voor promoties...
Segmentation of Medical Images (2008)
Silvia Delgado Olabarriaga, Academisch Proefschrift, Silvia Delgado Olabarriaga
This book was typeset by the author using L ATEX2". Times font c Adobe Systems Incorporated was used in the text. The images and gures are included in the text in
Lattices, Codes, and Radon Transforms (2008)
Academisch Proefschrift, Dr. G. R. Pellikaan
ten verkrijging van de graad van doctor aan de Universiteit van Amsterdam op gezag van de Rector Magnificus prof. dr. J.J.M. Franse ten overstaan van een door het college voor promoties ingestelde...
On Computer-Aided Methods for Modeling and Analysis of Organizations (2008)
Museum Wien, Academisch Proefschrift, Olexiy Albertovitsj Sharpanskykh, Geboren Te Zaporizhzhya
ter verkrijging van de graad Doctor aan
Copromotoren: dr. G.C. van der Veer (2008)
Martijn Van Welie, Prof. Dr. M. Rauterberg (ipo, Academisch Proefschrift, Martijn Van Welie, ...
ter verkrijging van de graad van doctor aan
Rudi Cilibrasi, Academisch Proefschrift, Rudi Langston Cilibrasi, Promotor Prof. Dr. Ir, Overige Prof. Dr, ...
ter verkrijging van de graad van doctor aan de Universiteit van Amsterdam op gezag van de Rector Magnificus prof.mr. P.F. van der Heijden ten overstaan van een door het college voor promoties...
Raoul P, Printed Printpartners, Ipskamp B. V, Academisch Proefschrift, ...
Sensor array signal processing and the neuro-electromagnetic inverse problem in functional connectivity analysis of the brain
Academisch Proefschrift, Raoul Angelo, Félicien Bhoedjang, Prof. Dr. A. S. Tanenbaum
ter verkrijging van de graad van doctor aan
Marinus Bastiaan van Leeuwen (2008)
Academisch Proefschrift, Promotor Prof, Commissie Prof, Dr. D. M. Gavrila
ter verkrijging van de graad van doctor aan de Universiteit van Amsterdam, op gezag van de Rector Magnificus prof. mr. P.F. van der Heijden ten overstaan van een door het college voor promoties...
1018TVAmsterdam fax:+31-20-5255101 Generation of Program Analysis Tools (2008)
Academisch Proefschrift, Frank Tip, Faculteit Wiskundeeninformatica
ter verkrijging van de graad van doctor aan de Universiteit van Amsterdam, op gezag van de Rector Magnificus prof. dr P.W.M. de Meijer ten overstaan van een door het college van dekanen ingestelde...
Distributed Event-driven Simulation Scheduling Strategies and Resource Management (2008)
Academisch Proefschrift, Benno Jaap Overeinder
ter verkrijging van de graad van doctor aan de Universiteit van Amsterdam op gezag van de Rector Magnificus prof. dr J.J.M. Franse ten overstaan van een door het college voor promoties ingestelde...
VRIJE UNIVERSITEIT Communication Architectures for Parallel-Programming Systems (2008)
Academisch Proefschrift, Raoul Angelo, Félicien Bhoedjang, Prof. Dr. A. S. Tanenbaum
ter verkrijging van de graad van doctor aan
Academisch Proefschrift, Jurriaan Derk Mulder, Geboren Te Wageningen
ter verkrijging van de graad van doctor aan de Universiteit van Amsterdam, op gezag van de Rector Magnificus prof. dr J.J.M. Franse ten overstaan van een door het college voor promoties ingestelde...
Academisch Proefschrift, Geboren Te Beiroet
the cover: A splat field of the citation index of all IEEE Visualization conference papers. Color indicates the density of papers in different visualization topics, such as flow, volume and...
Academisch Proefschrift, Raoul Angelo, Félicien Bhoedjang, Prof. Dr. A. S. Tanenbaum
ter verkrijging van de graad van doctor aan
VRIJE UNIVERSITEIT Communication Architectures for Parallel-Programming Systems (2008)
Academisch Proefschrift, Raoul Angelo, Félicien Bhoedjang, Prof. Dr. A. S. Tanenbaum
ter verkrijging van de graad van doctor aan
Academisch Proefschrift, Stephanus Hendrikus, Gerhardus Hagen, Commissie Prof, H. B. Verbruggen, Prof Dr. P. Adriaans, ...
ter verkrijging van de graad van doctor aan de Universiteit van Amsterdam, op gezag van de Rector Magnificus prof. dr. J.J.M. Franse ten overstaan van een door het college voor promoties ingestelde...
Prof.dr. M. van Lambalgen (2008)
Illc Dissertation Series, Academisch Proefschrift, Nikolaos Alexiou Massios
ter verkrijging van de graad van doctor aan de Universiteit van Amsterdam op gezag van de Rector Magnificus prof.mr. P.F. van der Heijden ten overstaan van een door het college voor promoties...
Academisch Proefschrift, Dr. J. Romein, Dr. R. M. Wolski, Slainte Mhath
ter verkrijging van de graad van doctor aan
Academisch Proefschrift, Antoon Georgius Hoekstra
ter verkrijging van de graad van doctor aan de Universiteit van Amsterdam, op gezag van de Rector Magnificus prof. dr. P.W.M. de Meijer, ten overstaan van een door het college van dekanen ingestelde...
Co-promotor: dr. G. D. van Albada (2008)
Academisch Proefschrift, Kamil Antoni Iskra, Geboren Te Krakau, Dr. S. J. Turner
ter verkrijging van de graad van doctor aan de Universiteit van Amsterdam op gezag van de Rector Magnificus prof. mr. P. F. van der Heijden ten overstaan van een door het college voor promoties...
Rises and Falls Studies in the Semantics and Pragmatics of Intonation (2008)
Marie Nilsenová, Academisch Proefschrift, Promotor Prof. Dr
ter verkrijging van de graad van doctor aan de Universiteit van Amsterdam op gezag van de Rector Magnificus prof.mr. P.F. van der Heijden ten overstaan van een door het college voor promoties...
Kolmogorov complexity and formula size lower bounds (2008)
Troy Lee, Formula Size, Lower Bounds, Academisch Proefschrift, Troy Jeffrey Lee, Promotor Prof. Dr, ...
ter verkrijging van de graad van doctor aan de Universiteit van Amsterdam op gezag van de Rector Magnificus prof.mr. P.F. van der Heijden ten overstaan van een door het college voor promoties...
Academisch Proefschrift, Lilit Axner, Prof Dr, Prof Dr, B. Chopard, ...
ter verkrijging van de graad van doctor aan de Universiteit van Amsterdam op gezag van de Rector Magnificus prof. dr. D. C. van den Boom ten overstaan van een door het college voor promoties...
and Time-Space Tradeoffs (2008)
Lower Bounds, Lower Bounds, Lower Bounds, Academisch Proefschrift, Prof. Dr. A. Schrijver, Bruce Lee
ter verkrijging van de graad van doctor aan de Universiteit van Amsterdam op gezag van de Rector Magnificus prof.mr. P.F. van der Heijden ten overstaan van een door het college voor promoties...
Nick Bezhanishvili, Academisch Proefschrift, Nikoloz Bezhanishvili
cylindric modal logics
Academisch Proefschrift, Overige Prof, E. Granum, Dr. J. M. Geusebroek
This book is typeset by the author using L ATEX2ε. Copyright c ○ 2004 by Joost van de Weijer. All rights reserved. No part of this publication may be reproduced or transmitted in any form or by...
Leon Moonen, Academisch Proefschrift, Leonardus Martinus, Franciscus Moonen, Moonen Leon
ter verkrijging van de graad van doctor aan de Universiteit van Amsterdam, op gezag van de Rector Magnificus prof. mr. P.F. van der Heijden ten overstaan van een door het college voor promoties...
1.1.2 This Chapter............................ 2 (2008)
ter verkrijging van de graad van doctor aan de Universiteit van Amsterdam, op gezag van de Rector Magnificus prof. dr J. J. M. Franse ten overstaan van een door het College voor Promoties ingestelde...
Simulating Computer Architectures Nice picture is missing! (2008)
Henkmuller Simulating Computer, Academisch Proefschrift, Hendrik Lambertus Muller
Contents Acknowledgements : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : vi 1 Designing computer architectures 1 1.1 The design process : : : : : : : : : : : : : : : : : : : : : : : : :...
A Virtual Reactor for Simulation of Plasma Enhanced Chemical Vapor Deposition (2008)
Valeria Krzhizhanovskaya, Valeria Krzhizhanovskaya, Academisch Proefschrift, Valeria Vladimirovna Krzhizhanovskaya, Promotor Prof, ...
There will be a reception after the ceremony
A Software Environment for Image Interpretation (2007)
Dennis Koelma, Academisch Proefschrift, Dennis Charles Koelma, Koelma Dennis Charles
ter verkrijging van de graad van doctor aan de Universiteit van Amsterdam, op gezag van de Rector Magnificus Prof.dr P.W.M. de Meijer ten overstaan van een door het college van dekanen ingestelde...
Academisch Proefschrift, Harry Matthijs Buhrman, Dr. A. Hoene
ter verkrijging van de graad van doctor aan de
Galois And Simple Current Symmetries In Conformal Field Theory (2007)
Academisch Proefschrift, C. Schweigert, Promotor Prof, R. H. Dijkgraaf
this technical complication makes the formulation of the mapping somewhat awkward (and adds to the length of this chapter), but, nonetheless, the mappings are based on simple current symmetries, and...
Typed Source Code Representations (2007)
Academisch Proefschrift, Johannes Michiel, Willem Visser
“main ” — 2002/12/19 — 13:02 — page iv — #2 The work reported in this thesis has been carried out at the Center for Mathematics and Computer Science (CWI) in Amsterdam under the auspices...
Persistence in Algebraic Specifications Persistence in Algebraic Specifications (2007)
Freek Wiedijk, Academisch Proefschrift, Door Frederik Wiedijk
ter verkrijging van de graad van doctor aan de Universiteit van Amsterdam, op gezag van de Rector Magnificus prof. dr. P.W.M. de Meijer, in het openbaar te verdedigen in de Aula der Universiteit...
Improvement Group. Techniques for Understanding Legacy Software Systems (2007)
Academisch Proefschrift, Door Tobias Kuipers, Promotor Prof, P. Klint, Copromotor Dr, A. Deursen
About the cover: A man unreels in front of him a portion of a reel of punched paper tape. A B220 computer installation can be seen in the background behind him. Picture from the Burroughs Corporation...
Academisch Proefschrift, Katsumi Sasaki, Katsumi Sasaki, Promotors Prof. Dr, D. Jongh, Prof. Dr. A. S. Troelstra
ter verkrijging van de graad van doctor aan de Universiteit van Amsterdam op gezag van de Rector Magnificus prof.dr. J.J.M. Franse ten overstaan van een door het college voor promoties ingestelde...
Academisch Proefschrift, Eelco Visser
ter verkrijging van de graad van doctor aan de Universiteit van Amsterdam op gezag van de Rector Magnificus
Transformation and Analysis of (Constraint) Logic Programs (2007)
Sandro Etalie, Academisch Proefschrift
For further information about ILLC-publications, please contact
aan de Universiteit van Amsterdam, (2007)
ter verkrijging van de graad van doctor
Mapping Inferences Constraint Propagation and Diamond Satisfaction (2007)
Academisch Proefschrift, Rosella Gennari, Co-promotor Dr, M. Rijke
ter verkrijging van de graad van doctor aan de Universiteit van Amsterdam op gezag van de Rector Magnificus prof.mr. P.F. van der Heijden ten overstaan van een door het college voor promoties...
Promotor: Prof. dr. ir. F.C.A. Groen (2007)
Academisch Proefschrift, Stephanus Hendrikus, Gerhardus Hagen, Commissie Prof, H. B. Verbruggen, Prof Dr. P. Adriaans, ...
ter verkrijging van de graad van doctor aan de Universiteit van Amsterdam, op gezag van de Rector Magnificus prof. dr. J.J.M. Franse ten overstaan van een door het college voor promoties ingestelde...
Examples of erroneous specifications (2007)
Freek Wiedijk, Academisch Proefschrift, Frederik Wiedijk
ter verkrijging van de graad van doctor aan de Universiteit van Amsterdam, op gezag van de Rector Magnificus prof. dr. P.W.M. de Meijer, in het openbaar te verdedigen in de Aula der Universiteit...
Academisch Proefschrift, Kai Dieckmann, Kai Dieckmann
Cover: Photos of the magnetic trap (by Henk Neerings) with an image of a
H. R. Walters, Academisch Proefschrift, Humphrey Robert Walters
ter verkrijging van de graad van doctor aan de Universiteit van Amsterdam, op gezag van Rector Magnificus Prof. dr. P.W.M. de Meijer, in het openbaar te verdedigen in de Aula der Universiteit
Academisch Proefschrift, Jasper Fredrikus, Theodorus Kamperman
ter verkrijging van de graad van doctor aan de Universiteit van Amsterdam, op gezag van de Rector Magnificus prof.dr P.W.M. de Meijer ten overstaan van een door het college van dekanen ingestelde...
Academisch Proefschrift, Pieter Antonius Olivier
The work in this thesis has been carried out under the auspices of the research school IPA
Logic Programming: The Case of Description and Hybrid Logic (2007)
Academisch Proefschrift, Carlos E. Areces, Promotor Prof. Dr
xiii Samenvatting xvii I Logic Engineering 1 1 Cutting Out Fragments 3 1.1 Looking for the Right Language . . . . . . . . . . . . . . . . . . . . . . . 3 1.2 Fragments of FO, and Extensions . . . . ....
Study of the LHCb pile-up trigger and the (2007)
Yf Decay Academisch, Academisch Proefschrift, Amsterdam Op, Gezag Van De, Rector Magnificus, ...
CONTENTS CHAPTER 1 Theory overview . . . . . . . . . . . . . . . . . . . . . . . . . 1 1 Effect of CP-violation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 2 Standard...
Games, Walks and Grammars Problems I've Worked On (2007)
Academisch Proefschrift, Marco Robert Vervoort, Promotor Prof. Dr, M. Keane
ter verkrijging van de graad van doctor aan de Universiteit van Amsterdam op gezag van de Rector Magnicus prof.dr. J.J.M. Franse ten overstaan van een door het college voor promoties ingestelde...
Academisch Proefschrift, Joris Portegies Zwart, Promotor Prof. Dr. Ir, Overige Prof. Dr, P. W. Adriaans, ...
ter verkrijging van de graad van doctor aan de Universiteit van Amsterdam op gezag van de Rector Magnificus prof.mr. P.F. van der Heijden ten overstaan van een door het college voor promoties...
Applied Text Analytics for Blogs (2007)
Gilad Mishne, Academisch Proefschrift, Gilad Avraham Mishne, Promotor Prof. Dr, Maarten Rijke, Prof. Dr. Ricardo Baeza-yates, ...
ter verkrijging van de graad van doctor aan de Universiteit van Amsterdam op gezag van de Rector Magnificus prof.dr. J.W. Zwemmer ten overstaan van een door het college voor promoties ingestelde...
The learnability of metrical phonology (2007)
Academisch Proefschrift, Door Diana Apoussidou, Geboren Te Mönchengladbach, Dr. W. Kehrein, Prof Dr. P. Smolensky
ter verkrijging van de graad van doctor aan de Universiteit van Amsterdam op gezag van de Rector Magnificus prof.mr. P.F. van der Heijden ten overstaan van een door het college voor promoties...
About the cover: picture of the SISYPHUS II machine, constructed by Bruce Shapiro.
Learning Syntactic Structure (2007)
Yoav Seginer, Academisch Proefschrift, Yoav Seginer
ter verkrijging van de graad van doctor aan de Universiteit van Amsterdam op gezag van de Rector Magnificus prof.dr. D.C. van den Boom ten overstaan van een door het college voor promoties ingestelde...
Committee: Prof. Dr. G. C. van der Veer promotor, Vrije Universiteit Amsterdam (2006)
Technological Environment, The Arts, Academisch Proefschrift, Albertus Jacobus Bongers
Towards an e-cology of people, our
Finitary Coalgebraic Logics (2006)
Clemens Kupke, Finitary Coalgebraic Logics, Academisch Proefschrift, Clemens Achim Kupke
ter verkrijging van de graad van doctor aan de Universiteit van Amsterdam op gezag van de Rector Magnificus prof.mr. P.F. van der Heijden ten overstaan van een door het college voor promoties...
Operations Research Techniques In Constraint Programming (2005)
Academisch Proefschrift, Prof. Dr. A. Schrijver, Dr. M. Laurent, Dr. M. Milano, Dr. L. Torenvliet
this paper a semidefinite relaxation is used rather than a linear relaxation. For some problems, for example for the stable set problem, standard linear relaxations are not very tight and not...
Academisch Proefschrift, De Boelelaan, On Generalised Coinduction, Falk Bartels, Falk Bartels
GSOS as a mixed format . . . . . . . . . . . . . . . . . 72 3.5.1 Concrete rule formats derived from abstract GSOS . . . . 77 3.6 Comparing the di#erent formats . . . . . . . . . . . . . . . . . . 81...
Change Management for Distributed Ontologies (2004)
Michel Klein, Academisch Proefschrift, Michel Christiaan, Alexander Klein, Prof. Dr. J. M. Akkermans
ter verkrijging van de graad van doctor aan
Method Invocation Based Communication Models for Parallel Programming in Java (2003)
Academisch Proefschrift, Jason Maassen
ter verkrijging van de graad van doctor aan
Building Logic Toolboxes (2003)
Academisch Proefschrift, Juan Martín Heguiabehere
viii Acknowledgments Mis amigos son gente cumplidora que acuden cuando saben que yo espero si les roza la muerte, disimulan, que para ellos la amistad es lo primero.
From Document Retrieval to Question Answering (2003)
Academisch Proefschrift, Christof Monz, Christof Monz
this document. In the course of processing the query, a document's accumulator increases if several query terms occur in this document. In minimal span matching it is also necessary that the...
Hybrid Systems for N-body Simulations (2003)
Piero Spinnato, Academisch Proefschrift, Pietro Fedele Spinnato, Promotie Commissie
this dissertation that people will read. For this reason, I was tempted to put the entire text of the thesis under this section. This would have allowed me to break the world record for the longest...
Compiler and Runtime Optimizations for Fine-Grained Distributed Shared Memory Systems (2003)
R. S. Veldema, Academisch Proefschrift, Ronald Sander Veldema
The goals of this thesis are to study compiler and runtime optimizations...
An Object-Based Software Distribution Network (2002)
Arno Bakker, Academisch Proefschrift
this dissertation illustrates the difficulty of content moderation
An Object-Based Software Distribution Network (2002)
Arno Bakker, Academisch Proefschrift
this dissertation illustrates the difficulty of content moderation
Andrés Gregor Zelman, Academisch Proefschrift
ter verkrijging van de graad van doctor aan de Universiteit van Amsterdam op gezag van de Rector Magnificus Prof. Mr. P. F. van der Heijden ten overstaan van een door het college voor promoties...
Value-based requirements engineering: Exploring innovative e-commerce ideas (2002)
Jaap Gordijn, Academisch Proefschrift, Jacob Gordijn
ter verkrijging van de graad van doctor aan
Logic for Social Software (2001)
Academisch Proefschrift, Marc Pauly, Marc Pauly, Promotores Prof. Dr, J. Benthem
ter verkrijging van de graad van doctor aan de Universiteit van Amsterdam op gezag van de Rector Magnificus prof.dr. J.J.M. Franse ten overstaan van een door het college voor promoties ingestelde...
Quantification under Conceptual Covers (2001)
Maria Aloni, Academisch Proefschrift, Maria D. Aloni
For further information about ILLC-publications, please contact
Quantum Computing and Communication Complexity (2001)
Ronald De Wolf, Academisch Proefschrift, Promotores Prof. Dr, H. M. Buhrman, Overige Prof. Dr, R. E. Cleve, ...
ter verkrijging van de graad van doctor aan de Universiteit van Amsterdam op gezag van de Rector Magnificus prof.dr. J.J.M. Franse ten overstaan van een door het college voor promoties ingestelde...
Perspectives on Improving Software Maintenance (2000)
Prof. Dr. J. M. Akkermans, Academisch Proefschrift, Frank Niessink, Frank Niessink
Copyright c 2000 by Frank Niessink. This material may be distributed only subject to the terms and conditions set forth in the Open Publication License, v1.0 or later (the latest version is presently...
Resource Bounded Belief Revision (2000)
Illc Dissertation Series, Academisch Proefschrift, Renata Wassermann, Promotor Prof, H. Rott
hich was true) he couldn't believe it, but rushed out into the street without his hat or umbrella, the consequence of which was his hair got seriously damp, and one curl didn't recover its...
Large Scale Lattice-Boltzmann Simulations - Computational Methods and Applications (1999)
B.R. Kandhai, Academisch Proefschrift, Bhagwatpersad Drona Kandhai
Contents I Introduction 1 1 Computer simulations in fluid dynamics 3 1.1 Fluid dynamics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 1.2 Computational fluid dynamics . . . . . . . . ....
Paul Wouters, Academisch Proefschrift, Paulus Franciscus Wouters, C Paul Wouters
ter verkrijging van de graad van doctor aan de Universiteit van Amsterdam, op gezag van de Rector Magnificus prof. dr. J. J. M. Franse ten overstaan van een door het college voor promoties ingestelde...
Environment Modelling for Mobile Robots: Neural Learning for Sensor Fusion (1998)
Academisch Proefschrift, Joris Van Dam
Ter verkrijging van de graad van doctor aan de Universiteit van Amsterdam, op gezag van de Rector Magnificus Prof. dr J.J.M. Franse ten overstaan van een door het college van dekanen ingestelde...
Languages of Perception (1998)
M.M. Dastani, Academisch Proefschrift, Prof. Dr. Bipin Indurkhya
Contents Acknowledgments ix 1 Introduction 1 2 Gestalt Perception and Structural Information Theory 9 2.1 Gestalt Tradition . . . . . . . . . . . . . . . . . . . . . . . . 9 2.2 Structural...
On Logic. Inquiries into the Justification of Deduction (1997)
Arthur Nieuwendijk, Academisch Proefschrift, Voor Enzo
ter verkrijging van de graad van doctor aan de Universiteit van Amsterdam, op gezag van de Rector Magnificus Prof. dr. J.J.M. Franse in het openbaar te verdedigen in de
Computations in Propositional Logic (1996)
Academisch Proefschrift, Alex Hendriks, Promotor Prof. Dr, Co-promotor Dr, ...
c fl 1996 by Lex Hendriks Contents Dankwoord 1 1 General Introduction 3 1.1 Outline of the thesis : : : : : : : : : : : : : : : : : : : : : : : : : : : 7 1.2 General preliminaries : : : : : : : : : :...
Natasha Alechina, Academisch Proefschrift, Natalia Albertovna Alechina, Cip Gegevens, Koninklijke Bibliotheek, Den Haag, ...
ter verkrijging van de graad van doctor aan de Universiteit van Amsterdam, op gezag van de Rector Magnificus prof.dr P.W.M. de Meijer ten overstaan van een door het college van dekanen ingestelde...
Studies on the Formal Semantics of Pictures (1995)
Academisch Proefschrift, Dejuan Wang, Dejuan Wang, Promotor Prof. Dr. Ir
Objects and Relations: a constraint-based approach. World Scientific, 1989. [33] K.Tsuda, A. Yoshitaka, M. Hirakawa, M. Tanaka, and T. Ichikawa. Icon- Bibliography 137 icbrowser: An iconic retrieval...
Linguistics With Enriching Statistics: Performance Models Of Natural Language (1995)
Rens Bod, Rens Bod, Please Contact, Academisch Proefschrift, Promotor Prof. Dr. Ir, ...
Ó 1995 by Rens Bod. All rights reserved. Printed in the Netherlands by Academische Pers, Amsterdam. Acknowledgements This thesis benefitted from discussions with many people. I would like to express...
Natasha Alechina, Academisch Proefschrift, Natalia Albertovna Alechina
Contents Acknowledgments 1 1 Introduction 3 1.1 Generalized quantifiers : : : : : : : : : : : : : : : : : : : : : : : : : : 4 1.1.1 Generalized quantifiers and modal operators. (How modal quantifiers...
Computational Pitfalls in Tractable Grammatical Formalisms (1995)
Marten H. Trautwein, Academisch Proefschrift, Marten Henrik Trautwein, Trautwein Marten Henrik
. Copyright c fl 1995 by Marten H. Trautwein Cover: Tarot ¸ The Fool. Printed and bound by CopyPrint 2000, Enschede. Contents Acknowledgments 9 1 Overview 11 1.1 Motivation for this Research : : : :...
Verification Techniques for Elementary Data Types and Retransmission Protocols (1995)
Academisch Proefschrift, Den Haag, Jacobus Johannes Van
Data Types and Induction in ¯CRL 65 6.1 Introduction : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 65 6.2 Booleans : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : :...
Metric and Layered Temporal Logic for Time Granularity (1994)
Academisch Proefschrift, Angelo Montanari, Angelo Montanari, Co-promotor Prof. Dr, A. Policriti
163 viii Acknowledgments When I asked Johan van Benthem about the possibility of visiting ILLC (Institute for Logic, Language and Computation), I was not looking for a PhD position. His proposal of...
Computer Simulations Of Elastic Light Scattering - Implementation And Applications (1994)
A.G. Hoekstra, Academisch Proefschrift, Antoon Georgius Hoekstra
Time resolved measurements of the nuclear volume response of human peripheral Tlymphocytes, under aniosmotic conditions, are presented. In the experiments slit scanning flowcytometry methods were...
Image Analysis Methods Based on Hierarchies of Graphs and Multi-Scale Mathematical Morphology (1994)
Academisch Proefschrift, Peter Franciscus, Promotor Prof. Dr. Ir, Copromotores Dr. Ir, ...
this paper. This is not a real restriction: if rational weights are to be used, they can be multiplied by a suitable scaling factor, yielding integer values. In practice, operations will be performed...
Simulating Computer Architectures (1993)
Henk Muller, Academisch Proefschrift, Hendrik Lambertus Muller
ion and COncurrency) allows the designer to answer so called "what-if" questions, for example: "What if the width of the bus is doubled?" As the name explains, ART-DACO models are...
Parser Generation for Interactive Environments (1992)
Academisch Proefschrift, Jan Rekers
syntax : : : : : : : : : : : : : : : : : : : : : 123 6.3.2 Trees : : : : : : : : : : : : : : : : : : : : : : : : : : : : 123 6.3.3 Metavariables : : : : : : : : : : : : : : : : : : : : : : : 124...
Pragmatics of the Knowledge Level (1992)
Academisch Proefschrift, August Theodoor Schreiber, Faculteit Psychologie, To Wilma
(Gebruiksaspecten van het Kennisnivo)
Group Communication in Distributed Computer Systems (1992)
M. F. Kaashoek, Academisch Proefschrift, Marinus Frans Kaashoek, Centrale Huisdrukkerij
ter verkrijging van de graad van doctor aan