Home > Activiteiten > Evenementen > SIREN 2005
 

Posters SIREN 2005


SIREN 2005 presents results from projects supported by EW or STW. For EW this especially includes projects supported from the Open Competition, HEFBOOM or the research programmes GLANCE and VIEW. All scientists working on these and other computer science projects are cordially invited to participate in the meeting and contribute to it by presenting a poster regarding your research and by joining the discussions.

Thematic overview SIREN 2005 posters

Research Agenda for Information and Communications Technology (NOAG-ict) 2005 ? 2010. The pdf files show more information about the posters, for example the abstracts.

 

1.0 I-Science ? VIEW
NOAG-ict theme The data explosion
  download
1.1 Expression of Interest      Jack van Wijk
1.2 Quantitative Design of Spatial Interaction Techniques for Desktop Mixed-Reality Environments   Jean-Bernard Martens, Robert van Liere (TU/e, CWI)
1.3 Interactive morphological and wavelet-based volume processing and visualization   Jos Roerdink, Andrei Jalba (RUG)
1.4 Multi-Field Medical Visualization (MFMV)   Frits Post, Anna Vilanova i Bartrolí, Charl Botha, Jorik Blaas (TUD, TU/e)
       
  I-science ? GLANCE
NOAG-ict theme The virtual laboratory
  download
1.5 StarPlane: Application-specific management of optical networks   Henri Bal, Herbert Bos, Cees de Laat (VU, UvA)
1.6 ROBUNET: Robustness of Large Networks   Piet Van Mieghem, Almerima Jamakovic (TUD)
1.7 Coordination with Performance   Nikolay Diakov, Farhad Arbab, Rob van der Mei (CWI, VU, LIACS)
1.8

Foundations for Massively Parallel On-chip architectures using Microthreading (Microgrids)

  Chris Jesshope, Jan Bergstra, Paul Klint (UvA, CWI)
       
       
2.0 NOAG-ict theme The computer of the future   download
2.1 Geometric Algebra: a new foundation for geometric programming   Leo Dorst, Daniel Fontijne (UvA)
2.2 Thread Algebra   Jan Bergstra, Inge Bethke, Alban Ponse (UvA)
2.3 Colored Petri Nets to Verify Extended Event-Driven Process Chains   Kees van Hee, Olivia Oanea, Natalia Sidorova (TU/e)
2.4 Model Checking Infinite-State Markov Chains   Anne Remke, Boudewijn Haverkort, Lucia Cloth (UT)
2.5 Flexible Construction of a McMillan Prefix   Marcos Kurbán, Rom Langerak, Theo Ruys, Ed Brinksma (UT)
       
       
3.0 NOAG-ict theme The data explosion   download
3.1 XPathMark: an XPath benchmark for the XMark generated data   Maarten de Rijke, Massimo Franceschet (UvA)
3.2 Enterprise Wide Information Retrieval   Maarten de Rijke, Leif Azzopardi (UvA)
3.3 MemBeR: A Micro-benchmark Repository for XQuery   Loredana Afanasiev, Ioana Manolescu, Philippe Michiels, Maarten Marx, Maarten de Rijke (UvA, Universiteit Antwerpen, INRIA)
3.4 Foundations of XML   Balder ten Cate, Maarten Marx, Maarten de Rijke (UvA)
3.5 Visualization of Large Transition Systems   Johannes Pretorius, Bas Ploeger, Jarke van Wijk (TU/e)
3.6 Quantitative Comparison of Complete Distance Transforms for Skeletons   Dennie Reniers, Alex Telea (TU/e)
3.7 Interactive Visualization of Large Graphs   Frank van Ham, Jack van Wijk (TU/e)
3.8 Software Evolution Visualization   Voinea Lucian, Alexandru Telea, Jarke J. van Wijk (TU/e)
3.9 Generalized Connected Morphological Operators for Robust Shape Extraction   Georgios Ouzounis, Michael Wilkinson (RUG)
3.10 The Dynamics of Learning Vector Quantization   Michael Biehl, Barbara Hammer (RUG, Clausthal University of Technology)
3.11 Connected Morphological Image Analysis   Michael Wilkinson, Erik Urbach, Georgios Ouzounis (RUG)
3.12 Image processing and analysis using shape filters with vector attributes   Erik Urbach, Michael Wilkinson (RUG)
3.13 A digital zebrafish helps fishing for knowledge   Mounia Belmamoune, Ronnie Bathoorn, Monica Welten, E. Lindoorn, R. van der Velde, Michael Keith Richardson, Herman Spaink, Arno Siebes, F.J. Verbeek (UL, UU)
3.14 PHASAR/BioMeta ? mining the biological literature   Kees Koster, Jaap van den Herik, Barend Mons, Franciska de Jong, Jack Leunissen (RU, UM, EU, TNO, WUR)
3.15 Visualizing the classification of categorical data   Arno Siebes, Muhammad Subianto (UU)
3.16 Score Region Algebra: An XML Information Retrieval Framework
  Vojkan Mihajlovic, Henk Ernst Blok, Djoerd Hiemstra, Peter Apers (UT)
       
       
4.0 NOAG-ict theme The invisible computer   download
4.1 Modelling and Analysis of QoS of Component-Based Designs   Marielle Stoelinga, Ed Brinksma, Boudewijn Haverkort, Holger Hermanns, Joost-Pieter Katoen (UT)
4.2 Model-based testing   Laura Brandan Briones, Marielle Stoelinga, Henrik Bohnenkamp, Ed Brinksma, Henrik Bohnenkamp, Jan Tretmans (UT, RU)
4.3 Behavioural Hybrid Process Calculus   Ed Brinksma, Tomas Krilavièius, Yaroslav Usenko (UT, TU/e)
4.4 A predictable design-flow for network-on-chip based multi-processor systems   Sander Stuijk, Twan Basten (TU/e)
4.5 Energy Reduction using Intra-task Scenarios   Valentin Stefan Gheorghita, Twan Basten, Henk Corporaal (TU/e)
4.6 Synthesis Method Comparison for Sequential Circuits Implemented in FPGAs   Dominik Gawlowski, Lech Jozwiak (TU/e)
4.7 Interconnects and On-chip Datacommunication Techniques   Eisse Mensiek, Daniel Schinkel, Eric Klumperink, Ed van Tuijl, Bram Nauta (UT)
4.8 Software Defined Radio   Zhiyu Ru, Niels Moseley, Roel Schiphorst, Eric Klumperink, Kees Slump, Bram Nauta (UT)
4.9 Throughput of Streaming Applications Running on a Multiprocessor Architecture   Nikolay Kavaldjiev, Gerard Smit, Pierre Jansen (UT)
4.10 Action refinement in conformance testing   Arend Rensink, Jan Tretmans, Machiel van der Bijl (UT, RU)
4.11 A Column Arrangement Algorithm for a Coarse-grained Reconfigurable Architecture   Yuanqing Guo, Gerard Smit (UT)
4.12 Tools and Techniques for Integrating Performance Analysis and System Verification: TIPSY   Elena Bortnik, Nikola Trcka, Anton Wijs, Bas Luttik, Asia van de Mortel-Fronczak, Jaco van de Pol, Jos Baeten, Koos Rooda (TU/e, CWI)
4.13 Service Management Architecture for Wireless Collaborating Objects   Raluca Marin-Perianu, Hans Scholten, Hylke van Dijk (UT)
       
       
5.0 NOAG-ict theme The networked world   download
5.1 Modelocked lasers for Optical Time Domain Multiplexing (OTDM) systems   Yohan Barbarin, Erwin Bente, Erwin Verdurmen, Huug de Waardt, Ton Koonen, Meint Smit (TU/e)
5.2  All-Optical add-drop multiplexing towards 320 Gb/s using HNLF in a NOLM   E.J.M. Verdurmen, Erwin Bente, Y. Barbarin, M.K. Smit, A.M.J. Koonen, H. de Waardt (TU/e)
5.3  Towards Ultrafast Communications: Integrated Femtosecond Laser Sources   Martijn Heck, Erwin. Bente, Daan Lenstra, M.K. Smit (TU/e)
5.4  The Performance of a Second Generation Service Discovery Protocol In Response to Communication Failure  

Vasughi Sundramoorthy, Pieter Hartel, Hans Scholten (UT)

5.5 Improving the Quality of Protocol Standards   Judi Romijn, Nicolae Goga, Arjan Mooij, Wieger Wesselink (TU/e)
       
       
6.0 NOAG-ict theme Digital experience   download
6.1 Dissimilarity-based representations for pattern recognition   Artsiom Harol, Elzbieta Pekalska, Robert Duin (TUD)
6.2 Detecting interstitial lung diseases in radiographs   David Tax, Yulia Arzhaeva, Bram van Ginniken, Robert Duin (TUD, UMCU)
6.3 Volume based model selection for spherical one-class classifiers   Piotr Juszczak, David Tax, Robert Duin (TUD)
6.4 Feature extraction for hyper spectral data   Serguei Verzakov, Pavel Paclik, Marina Skurichina, Robert Duin (TUD)
6.5 Question Answering using Dependency Relations   Gosse Bouma, Jori Mur, Gertjan van Noord, Lonneke van der Plas, Joerg Tiedemann (RUG)
6.6 New Methods for Pronunciation Variation Modelling in Automatic Speech Recognition   Annika Hämäläinen, Yan Han, Johan de Veth, Louis Boves (RU)
6.7 Robust language understanding in Dutch question answering dialogues   Walter Daelemans, Antal van den Bosch, Sander Canisius, Piroska Lendvai (UvT, UiA Antwerpen)
6.8 Deriving Knowledge from Dutch Medical Text   Erik Tjong Kim Sang, Maarten de Rijke (UvA)
6.9 ANGELICA: A Natural-language Generator for Embodied, Lifelike Conversational Agents   Mariët Theune (UT)
6.10 Object Recognition by a Robot Dog Connected to a Wide-Area Grid System   Frank Seinstra, Jan-Mark Geusebroek (UvA)
6.11 MediaMill: Exploring News Video Archives based on Learned Semantics   Cees Snoek, Marcel Worring, Jan van Gemert, Jan-Mark Geusebroek, Dennis Koelma, Giang Nguyen, Ork de Rooij, Frank Seinstra (UvA)
       
       
7.0 NOAG-ict theme Methods of design and construction   download
7.1 Requirements Engineering in Decision Support Systems for Anesthesiologists   Constanze Pott, Fokie Cnossen, Gerard Renardel de Lavalette, Addie Johnson (RUG)
7.2 Intelligent software tools for workflow process design ? an evolutionary approach   Mariska Netjes, Hajo Reijers, Wil van der Aalst (TU/e)
7.3 EmpAnADa: Empirical Analysis of Architecture and Design Quality   Christian Lange, Michel Chaudron (TU/e)
7.4 Intelligent software tools for workflow process design ? A revolutionary approach   Irene Vanderfeesten, Hajo Reijers, Wil van der Aalst (TU/e)
7.5 Optimization of Software Development Processes with Imprecise Inputs   Joost Noppen, Pim van den Broek, Mehmet Aksit (UT)
7.6 Deliver: Intelligent Software Knowledge Management and Delivery   Slinger Jansen, Sjaak Brinkkemper, Paul Klint, Gerco Ballintijn, Tijs van der Storm (UU, CWI)
7.7 Overture: Defining a Research Agenda for Product Software   Lai Xu, Sjaak Brinkkemper (UU)
7.8 Visual Realism for the Visualization of Software Metrics   Danny Holten, Roel Vliegen, Jarke van Wijk, Arie van Deursen (TU/e, TUD)
7.9 Problem Oriented Software Design   Christian Hofmann, Bedir Tekinerdogan, Mehmet Aksit (UT)
7.10 Engineering Object Oriented Semantics Using Graph Tranformations   Arend Rensink, Anneke Kleppe, Harmen Kastenberg (UT, Klasse objecten)
7.11 mCRL2, towards a practical formal specification language   Aad Mathijssen, Jan Friso Groote, Muck van Weerdenburg, Yaroslav Usenko (TU/e)
7.12 Process algebraic system verification   Muck van Weerdenburg, Jan Friso Groote (TU/e)
7.13 Stepping through Haskell: how to tackle compiler complexity   Atze Dijkstra, Doaitse Swierstra (UU)
7.14 Scriptable Compilers   Jurriaan Hage, Stefan Holdermans, Doaitse Swierstra (UU)
7.15 Helium, for Learning Haskell   Bastiaan Heeren, Arjan van Ijzendoorn, Daan Leijen (UU)
7.16 Proxima: A generic XML editor   Martijn Schrage, Johan Jeuring, Doaitse Swierstra, Lambert Meertens (UU)

7.17

Semantics of families of objects   Hilderick van der Meiden, Willem Bronsvoort (TUD)
7.18 Freeform Shape Techniques for Improved Product Design   Robin Langerak, Paulos Nyirenda, J.S.M. Vergeest, Willem Bronsvoort (TUD)
       
       
8.0 NOAG-ict theme Digital security   download
8.1 Distributed Trust Management  

Marcin Czenko, Ha Tran, Jeroen Doumen, Sandro Etalle, Pieter Hartel, Jerry den Hartog (UT)

       
       
9.0 NOAG-ict theme Intelligent systems   download
9.1 Extracting and presenting information about time and events   David Ahn, Maarten de Rijke (UvA)
9.2 Bayesian Machine Learning   Tom Heskes Ton de Kok, Karel van Donselaar, Ole Jensen, Alexander Ypma, Pim Ouwehand, Steve Djajasaputra (RU, TU/e)
9.3 Forecasting through Aggregation   Ton de Kok, Tom Heskes, Karel van Donselaar, Pim Ouwehand, Steve Djajasaputra (TU/e, RU)
9.4 Accessing the GTAA thesaurus over the web   Hennie Brugman, Luit Gazendam, Veronique Malaise, Annemieke de Jong, Guus Schreiber, Mettina Veenstra (MPI, TI, VU, Beeld en Geluid)
9.5 Cleaning and enriching data on reptiles and amphibians   Caroline Sporleder, Marieke van Erp, Tijn Porcelijn, Antal van den Bosch, Pim Arntzen (UvT, Naturalis)
9.6 Reading Images for the Cultural Heritage   Laurens van der Maaten, Eric Postma (UM)
9.7 Cultural Heritage Information Personalization   P.M.E. de Bra, L.W. Rutledge, A. Balevic , N. Stash
9.8 SCRipt Analysis Tools for the Cultural Heritage   L.R.B. Schomaker, C.M. van der Zant
9.9 Semantic Interoperability to Access Cultural Heritage   F.A.H. van Harmelen, M.T. van Gendt
9.10 Stereopsis and Interaction in Virtual Medical Learning   Jan-Maarten Luursema, Willem Verwey, Piet Kommers (UT)
9.11 Multimedia for Art ReTrieval M4ART   Thijs Kok, Egon van den Broek, Eduard Hoenkamp, Theo Schouten, Peter Petiet, Louis Vuurpijl (VU, RU)
9.12 Intelligence and MICC   Jaap van den Herik, Joop Verbeek, Steven de Jong (UM, MICC)
9.13 Learning to Play as a Team   Sander Bakkes, Pieter Spronck, Eric Postma (UM)
9.14 Document engineering: separate content from style ...really?   Paul de Bra, Joost Geurts (Tu/e, CWI)
       
       
10.0 NOAG-ict theme The virtual laboratory   download
10.1 Optimizing Peer Relationships in a Super-Peer Network   Pawel Garbacki, Dick Epema, Maarten van Steen (TU/e, VU)
10.2 Automated template based web service re-configuration   Sander van Splunter, Pieter van Langen, Frances Brazier (VU)
10.3 Mobile Agent-based Multimedia Retrieval: a Case for agents?   David de Groot, Martine Boonk, Frances Brazier, A. Oskamp (VU)
10.4 A Resource Negotiation Infrastructure for Self-Managing Applications   David Mobach, Benno Overeinder, Frances Brazier (VU)
10.5 A Reflective Framework for Self-Management of Applications and Middleware   Reza Haydarlou, Benno Overeinder, Frances Brazier (VU)

 


Nieuws

Kalender ICT-onderzoek

Uitgelicht

Stelling

NOAG-ict

I/O Magazine
                   

Nieuws

Kalender ICT-onderzoek

Uitgelicht

Stelling

NOAG-ict

I/O Magazine
23-10-2008
Hoogleraar KI Catholijn Jonker bij ‘Dat kan beter!’
21-10-2008
Goed resultaat workshop I-Science
01-10-2008
I-science workshop in oktober 2008
» Meer nieuws

16-02-2009
Advanced SIKS-course "Organizational Principles for IKS"
18-02-2009
SIKS PhD Career Day
20-03-2009
NVTI theoriedag 2009
» Activiteit toevoegen
» Volledige kalender

Bekijk hier de posters van SIREN 2008

» Lees verder

Waarin moet voornamelijk worden geinvesteerd?
Onderwijs
Onderzoek
Publiekprivatie samenwerking

» Resultaten stelling

De agenda van en voor het ICT-onderzoeksveld.

» Lees meer
I/O - september 2008

» Lees verder