Emmerich, Michael - Leiden Institute of Advanced Computer Science, Universiteit Leiden

• Heterogeneous Multiprocessor System Design with ESPAM
• The computation of the expected improvement in dominated hypervolume of Pareto front
• Ter afsluiting van mijn studie Informatica aan de Rijksuniversiteit Leiden, heb ik gekozen voor een afstudeerproject op het gebied van de Theoretische infor-
• Schedule Master ICT in Business first year, spring 2011-2012 week Date Monday Tuesday Wednesday Thursday Friday
• The Merlin Process Transactions, specified with Socca
• Schedule of mastercourses Computer Science, Fall 2011-2012 wk Date Ma Di Wo Do Vr
• Internal Report 2010-02 January 2010 Universiteit Leiden
• Universiteit Leiden Computer Science
• the decidability of the boundedness
• Leiden Institute of Advanced Computer Science Master's Thesis
• Rooster eerstejaar Informatica en Economie najaar 2011-2012 week Datum Maandag Dinsdag Woensdag Donderdag Vrijdag
• Internal Report 201101 January 2011 Universiteit Leiden
• Binary and nonbinary description of hypointensity in human brain MR images
• Artificial intelligence and data mining applied to no-limit Texas Hold'em
• Internal Report 201105 June 2011 Universiteit Leiden
• Hashiwokakero August 31, 2009
• Multi-objective Robust Optimization Algorithms for Improving Energy
• Description with UML for a Hotel Reservation System
• Universiteit Leiden Computer Science
• Adaptive Information Filtering as a means to overcome
• Internal Report 201004 June 2010 Universiteit Leiden
• Internal Report 201009 August 2010 Universiteit Leiden
• An Iterative Approach to Area and Performance Optimization for Superscalar Processors
• Internal Report 2010-17 September 2010 Universiteit Leiden
• Evaluating and Improving Steady State Evolutionary Algorithms on Constraint Satisfaction Problems
• Internal Report 201003 June 2010 Universiteit Leiden
• Internal Report 201018 October 2010 Universiteit Leiden
• Analysing Molecular Landscapes Using Random Walks and Information Theory
• Informatica & Economie Derde jaar Voorjaar 2011-2012 Specialisatie Computer Science week Datum Ma Di Wo Do Vr
• PABS: Paradigm Application on Biological systems; a computational biological systems modelling tool
• Parallel Genetic Algorithms Master's Thesis
• Informatica Propedeuse Voorjaar 2011-2012 week Datum Ma Di Wo Do Vr
• Speeding up Ozone Profile Retrieval using Machine Learning Techniques
• Viability of a Parsing Algorithm for Context-sensitive Graph Grammars
• Internal Report 201114 August 2011 Universiteit Leiden
• Internal Report 201008 August 2010 Universiteit Leiden
• Go and Genetic Programming Playing Go with Filter Functions
• Generalized Context-Free Grammars Nike van Vugt
• Rooster eerstejaar Informatica en Economie voorjaar 2011-2012 week Datum Maandag Dinsdag Woensdag Donderdag Vrijdag
• Internal Report 09-13 August 2009 Universiteit Leiden
• Forward Modelling of Resistivity Logs using Neural Networks
• SMEPP: a novel System Modeling Environment for Performance Prediction
• Internal Report 201110 August 2011 Universiteit Leiden
• Object Tracking and Data Analysis with Time-Lapse Video of in Vitro
• Informatica & Economie Derde jaar Najaar 2011-2012 Specialisatie Business Information Systems week Datum Ma Di Wo Do Vr
• Master's Thesis Adaptive Genetic Algorithms
• Informatica Propedeuse Najaar 2011-2012 week Datum Ma Di Wo Do Vr
• Informatica & Economie Derde jaar Najaar 2011-2012 Specialisatie Computer Science week Datum Ma Di Wo Do Vr
• Schedule Master ICT in Business first year, fall 2011-2012 week Date Monday Tuesday Wednesday Thursday Friday
• Internal Report 201108 August 2011 Universiteit Leiden
• TEMPO and SOCCA Concepts, modelling and comparison
• Dimension reduction of images using neural networks
• Internal Report 2011-18 augustus 2011 Universiteit Leiden
• Genetic Algorithm for Predicting Protein Folding in the 2D HP Model
• Graph Grammars and Operations on Graphs
• Inhoudsopgave Inleiding 1
• Informatica en Wiskunde, Propedeuse, Voorjaar 2011-2012 week Datum Ma Di Wo Do Vr
• Smart Autofill for Photos in Albums Bachelor Project
• Bachelor Project Neuraal Winkelen
• Internal Report 08-12 augustus 2008 Universiteit Leiden
• Internal Report 20106 June 2010 Universiteit Leiden
• M.Sc.inICTInBusIness ICT in Business
• Figure F.4: horizontal color slice and contour slice of the pressure together with the map of the HIRLAM domain
• Automatic Program Verification in Mist Stijn de Gouw (cdegouw@liacs.nl)
• MASTER'S THESIS OF Arjen Bos (9204318)
• Internal Report 09-16 Aug 2009 Universiteit Leiden
• Informatica Derde jaar Najaar 2011-2012 week Datum Ma Di Wo Do Vr
• Weather Forecasting on a Multicluster M.E. van Casteren
• How Rules Determine the Operator Analysis of Water Height Prediction
• Mapping Multiple Processes onto SPEs of the CELL BE Platform using the SCO Model of
• Stock Price Prediction Neural Networks
• Biological metaphors and the design of modular
• Applying data mining to the study of joseki Michiel Helvensteijn (mhelvens@liacs.nl)
• Refining Probability Motifs for the Discovery of Existing Patterns of DNA
• Internal Report 07-04 augustus 2007 Universiteit Leiden
• Cell-Forum: Collaborative multi-user virtual world applications
• Attribute Grammars and Monadic Second Order Logic Roderick Bloem
• Multi-label image categorization for general concepts using bag of words model
• Business IT Alignment and a Market Orientation
• Informatica Tweede jaar Najaar 2011-2012 week Datum Ma Di Wo Do Vr
• Analysis and visualisation of
• Bachelor Thesis LIACS, University of Leiden
• Universiteit Leiden Computer Science
• Reflections on Functional Modelling in SOCCA
• Predicting High-level Cognitive Decisions using Low-Level Features from Eye Gaze Data
• Mapping Streambased Applications to an Intel IXP Network Processor
• Internal Report 94-23 | September 1994 Integrating Method Objects
• JavaInteractionTesting MasterThesis
• D.F.R. van Arkel Annotated Types
• Supporting the Designer in: Writing Nested Loop Programs
• NATO UNCLASSIFIED NATO UNCLASSIFIED
• Internal Report 201104 August 2011 Universiteit Leiden
• Novius model in ArchiMate Bachelorproject
• Multi-coloured Cellular Automata Saskia Hiltemann
• From closed-loop video to 3D Model via silhouettes
• BAX Project 08 October 2006 Mladen Vavi (0324418) Version 2.0
• Internal Report 2010-12 Augustus 2010 Universiteit Leiden
• Klaas-Dirk van Opstal & Timo de Vries, Universiteit Leiden 8 juni 2007
• The design and implementation of a Socca Editor
• Ramon van Dam Supervisors: W.A. Kosters & J.M. de Graaf
• Schedule Master ICT in Business fall 2011-2012, second year week Date Monday Thuesday Wednesday Thursday Friday
• Internal Report 20104 March 2010 Universiteit Leiden
• Challenges of Web Application Development: How to Optimize Client-Side Code
• Microrray image analysis with focus on Background correction
• Internal Report 09-04 March 2009 Universiteit Leiden
• Constraint Automata with Synchronization Points M.F.A. Pouw
• CALM, a Di erent Approach Evolution in and Experimenting with CALM
• Adaptive software process modelling with SOCCA and PARADIGM Adaptive software process
• An Approach to Map Sequential Applications onto Multi-Processor Platforms
• Informatica & Economie Derde jaar Voorjaar 2011-2012 Specialisatie Business Information Systems
• A Content-based Image Search Engine in Cyberspace
• Merging version control systems in a servlet-based repository browser
• 2010-09 August 2010 Universiteit Leiden
• Bachelor Project: Paradigm Jasper Stafleu, Universiteit Leiden
• Internal Report 2010-03 January 2010 Universiteit Leiden
• Dynamic Feature Description in Human Action Recognition
• Molecular Computation and Splicing Systems J.H.M. Dassen1
• Particle Swarm Optimizer for Finding Robust jvis@liacs.nl
• Internal Report 10-02 May 2010 Universiteit Leiden
• Automatically Checking Group Diffie-Hellman and XOR in the Strand Space Model
• Subsumption Architecture-Based Social Interactive Robot Arm Jens van de Water, Maarten H. Lamers
• How to program in Croquet Author: S.M. Wolff
• Internal Report 201010 August 2010 Universiteit Leiden
• Notulen vergadering Opleidingscommissie Informatica 27 oktober 2011, 15.30 uur, zaal 176
• Hoge kwaliteit video op een lage bandbreedte Erik Gast & Stijn de Gouw
• Goal of the thesis was to make an inventory of the required functionality for a future environment for creating and using SOCCA models.
• Internal Report 201113 August 2011 Universiteit Leiden
• Mixed-Integer Constrained Optimization: An Evolutionary Approach
• The Cache Visualisation Tool Eric van der Deijl Gerco Kanbier
• MASTER THESIS Bayesian Mixed Integer Optimization
• Internal Report 201111 December 2011 Universiteit Leiden
• Applying Monte Carlo Techniques Capacitated Vehicle Routing Problem
• Internal Report 2010-07 Month 2010 Universiteit Leiden
• Jorix kernel: real-time scheduling Joris Huizer Kwie Min Wong
• Multimedia Databases A Literature Study
• Applying Adaptive Evolutionary Algorithms to Hard Problems
• Niels Bohrweg 1 2333 CA Leiden
• 1 Introduction Writing a kernel from scratch is not an easy task. There is a lot of information
• Content-based Image Retrieval in Image World Susan Laraghy 0584622
• Internal Report 201017 August 2010 Universiteit Leiden
• Cluster 2.0: Collaboration Makes Innovation Happen Abbas Peymani (apeymani@liacs.nl)
• 3D Worlds for Collaborative Work
• Informatica Tweede jaar Voorjaar 2011-2012 week Datum Ma Di Wo Do Vr
• Blackboard Systems in SOCCA Process Evolution visualised by
• SURVEILLANCEROOSTER TENTAMENS NAJAAR 2011-2012 INVIGILATION SCHEDULE EXAMS FALL 2011-2012
• Aspect-Oriented Programming in PHP M.F.A. Pouw
• Systematic Evaluation of Image Analysis for Cell-Matrix Adhesion Studies in Cytomics.
• Heterogeneous Multiprocessor System Design with ESPAM
• Exploring in-game advertising in first person shooters Stef Cobelens
• Internal Report 201112 December 2011 Universiteit Leiden
• An empirical study on the relation between the quality of UML models and
• Simulation and Exploration of LAURA Processor Architectures with SystemC
• Faculty of Science Computer Science
• Rooster tweedejaar Informatica en Economie najaar 2011-2012 week Datum Maandag Dinsdag Woensdag Donderdag Vrijdag
• Aggregaties en dynamische modellen Bas Kruiswijk
• Internal Report 201019 December 2010 Universiteit Leiden
• operations on JPEG images E.F. de Vries G.P. Kumara
• High-Performance Framework For Web Applications
• Internal Report 201005 June 2010 Universiteit Leiden
• Over the past few years, a lot of research has been done on volcanic lakes. Research on this subject is important, as the chemical composition of volcanic lakes can clearly reflect upcoming
• EVOLUTIONARY CHANGE the evolution of change management
• Universiteit Leiden Computer Science
• Internal Report 2010-06 June 2010 Universiteit Leiden
• VN Movie Recommender Kerem Denizmen (0364452), University of Leiden
• Informatica en Wiskunde, Propedeuse, Najaar 2011-2012 week Datum Ma Di Wo Do Vr
• Master's Thesis Graphical Scanning of Diagrams
• Evolutionary algorithms for automated drug M.Sc. thesis J.W. Kruisselbrink
• Johan Groenen September 17, 2008
• Internal Report 94-41 August 1994 Rijksuniversiteit te Leiden
• SubCVS: merging version control systems in a servlet-based repository browser Table of Contents
• Internal Report 201016 September 2010 Universiteit Leiden
• The HiRLAM weather forecasting model on small memory systems
• Internal Report 09-04 May 2009 Universiteit Leiden
• Faculteit der Wiskunde & Natuurwetenschappen Universiteit Leiden. Universiteit om te ontdekken.
• Adaptive Sampling On the Similarities between
• Robocop Components `Trust and Simulation'
• Sokoban: Reversed Solving Bachelor Thesis
• Monte Carlo Stratego Jeroen Mets
• Towards an Automatic Derivation of Tarjan's Algorithm for Detecting Strongly Connected
• Automated Synthesis of Hardware Process Networks from
• A Framework for Heterogeneous Desktop Parallel Computing
• Tomography mapped onto the Cell Broadband A Master's thesis
• Leiden University, Leiden Institute of Advanced Computer Science version 19 -7-2011 LIACS M.Sc. Project Assessment Form
• Universiteit Leiden Computer Science
• Comparing Methods Solving Kuromasu Puzzles
• Anton Hunsucker Internal Report 2011-03 February 2011
• Generalizations of Mazurkiewicz traces
• Software Architecture Documentation A cognitive perspective
• Internal Report 201103 May 2011 Universiteit Leiden
• The Animated Abacus Pieter Jordaan
• Uncovering the Classification Characteristics of Olfactory G Protein-Coupled Receptors
• Internal Report 2011-11 august 2011 Universiteit Leiden
• Rooster tweedejaar Informatica en Economie voorjaar 2011-2012 week Datum Maandag Dinsdag Woensdag Donderdag Vrijdag
• A Framework for Real-Time Face and Facial Feature Tracking using Optical
• Lightning Engine -Ray tracing with KD-trees Leiden Institute of Advanced Computer Science (LIACS)
• ARL and PR2, reversible languages Jurriaan Hage
• Deadlock detection in Kahn Process Networks Erik Jongsma
• Asymmetric Sharing Vincent van der Goes
• Data mining on grids. Maarten Altorf
• -Graphview: a Kahn Process Network visualization tool
• Internal Report 201102 May 2011 Universiteit Leiden
• A Visual Method for Teaching Grammatical Concepts to Primary and
• Adding robustness and scalability to existing data mining algorithms for
• Internal Report 07-06 augustus 2007 Universiteit Leiden
• Informatica Derde jaar Voorjaar 2011-2012 week Datum Ma Di Wo Do Vr
• Internal Report 201014 September 2010 Universiteit Leiden
• Internal Report 201106 September 2011 Universiteit Leiden
• Internal Report 2010-13 September 2010 Universiteit Leiden
• Searching for unique strings of variable length in DNA using pruned and truncated suffix trees
• Internal Report 2010-05 March 2010 Universiteit Leiden
• Comparingtoday'smostusedwebdevelopmentlanguagesTableof L e i d e n I n s t i t u t e o f A d v a n c e d C o m p u t e r S c i e n c e
• Schedule of mastercourses Computer Science, Spring 2011-2012 Ma Di Wo Do Vr
• LIACS Guidelines for Grading M.Sc. theses Version 18 august 2010 Guidelines for grading M.Sc. thesis
• Internal Report 2011-09 August 2011 Universiteit Leiden