Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

A discrete tomography approach for superresolution micro-CT images: application to bone In Proceedings

G. van Gompel (Gert), K.J. Batenburg (Joost), E. van de Casteele, W. van Aarle (Wim) and J. Sijbers (Jan)

April 2010
Stochastics and computation for turbulent systems Article

ERCIM News, 28-29.

D.T. Crommelin (Daan) and J.E. Frank (Jason)

April 2010
E-infrastructures and sensor networks for biodiversity research Book Chapter

W. Los, D. Goense and E.J.E.M. Pauwels (Eric)

April 2010
A simulator-based approach to evaluating optical trackers Article

Computers & Graphics, 33(2), 120-129.

F.A. Smit (Ferdi) and R. van Liere (Robert)

April 2010
Web-Mediated Communication: in Search of Togetherness In Proceedings

P.S. César Garcia (Pablo Santiago), D.C.A. Bulterman (Dick), R.L. Guimarães (Rodrigo) and I. Kegel (Ian)

April 2010
Statistical relevance of vorticity conservation with the Hamiltonian particle-mesh method Article

Journal of Computational Physics, 229(7), 2634-2648.

S. Dubinkina (Svetlana) and J.E. Frank (Jason)

April 2010
Towards Integration of End-User Tags with Professional Annotations In Proceedings

R. Gligorov, L.B. Baltussen (Lotte), J.R. van Ossenbruggen (Jacco), L. Aroyo (Lora), M. Brinkerink, J. Oomen (Johan) and A. van Ees

April 2010
European Congress of Mathematics, Amsterdam, 14-18 July, 2008 Proceedings

April 2010
Towards the Design of Certifiable Mixed-criticality Systems In Proceedings

S.K. Baruah (Sanjoy), H. Li and L. Stougie (Leen)

April 2010
Average prime-pair counting formula Article

Mathematics of Computation, 79(270), 1209-1229.

J. Korevaar and H.J.J. te Riele (Herman)

April 2010
Leakage-Resilient Authentication Master Thesis

J.H. Schipper (Joachim)

April 2010
Error bounds for some semidefinite programming approaches to polynomial minimization on the hypercube Tech Report

E. de Klerk (Etienne) and M. Laurent (Monique)

April 2010
Polyhedra with the integer Caratheodory property Tech Report

D. Gijswijt (Dion) and G. Regts (Guus)

April 2010
The Semantics of Query Modification In Proceedings

V. Hollink (Vera), T. Tsikrika (Theodora) and A.P. de Vries (Arjen)

April 2010
ROX: The Robustness of a Run-time XQuery Optimizer Against Correlated Data (Demo Paper) In Proceedings

R. Abdel Kader, P.A. Boncz (Peter), S. Manegold (Stefan) and M. van Keulen

April 2010
A computational approach to the syntax of displacement and the semantics of scope Dissertation

Software Analysis and Transformation

A. C. Unger (Christina)

March 2010
Première during Praethuys, 25.03.2010 : aankondiging Other

March 2010
Attractors in stratified fluids Dissertation

J. Hazewinkel (Jeroen)

March 2010
Playing with Information Dissertation

Networks and Optimization

J.A. Zvesper (Jonathan)

March 2010
Transient asymptotics of Lévy-driven queues Article

Journal of Applied Probability, 47(1), 109-129.

K.G. Dȩbicki (Krzysztof), A. Es-Saghouani (Abdelghafour) and M.R.H. Mandjes (Michel)

March 2010
Model explains features of sprites, Editor's Highlight in Geophysical Research Letters, March 30, 2010. Magazine Article

U. Ebert (Ute)

March 2010
Lekke software: 'fact of life' - interview met P. Klint Magazine Article

P. Klint (Paul)

March 2010
Mixed-criticality scheduling: improved resource-augmentation results In Proceedings

S.K. Baruah (Sanjoy), H. Li and L. Stougie (Leen)

March 2010
Editor's Highlight in Geophysical Research Letters Magazine Article

U. Ebert (Ute)

March 2010
Room for Women : YouTube film Online Video

CWI CWI

March 2010
Revisiting path steering for 3D manipulation tasks In Proceedings

L. Liu (Lei), J.-B. Martens and R. van Liere (Robert)

March 2010
Span-reachability and observability of bilinear hybrid systems Article

Automatica, 46(3), 501-509.

M. Petreczky (Mihaly) and J.H. van Schuppen (Jan)

March 2010
Generating series for bilinear hybrid systems Article

Systems & Control Letters, 59(3-4), 218-225.

M. Petreczky (Mihaly) and J.H. van Schuppen (Jan)

March 2010
Book review of "Logicomix: An Epic Search for Truth", A. Doxiadis, C.H. Papadimitriou, A. Papadatos and A. di Donna Article

Mathematical Intelligencer, 32(3), 51-52.

K.R. Apt (Krzysztof)

March 2010
The Hydra-k Partial Fields Manual

R. Pendavingh and S.H.M. van Zwam (Stefan)

March 2010
Automated interactive sales processes Article

IEEE Intelligent systems, PP(99), 1-1.

T.B. Klos (Tomas), D.J.A. Somefun (Koye) and J.A. La Poutré (Han)

March 2010
The data cyclotron query processing scheme In Proceedings

R.A. Pereira Goncalves (Romulo Antonio) and M.L. Kersten (Martin)

March 2010
Database Architecture (R)evolution:New Hardware vs. New Software In Proceedings

S. Harizopoulos, T. Argyros, P.A. Boncz (Peter), D. Dietterich, S. Madden (Samuel) and F. Waas (Florian)

March 2010
Estimating the compression fraction of an index using sampling In Proceedings

S. Idreos (Stratos), R. Kaushik, V. Narasayya and R. Ramamurthy

March 2010
A Unified Toolset for Business Process Model Formalization In Proceedings

B. Changizi (Behnaz), N. Kokash (Natallia) and F. Arbab (Farhad)

March 2010
Data-Aware Design and Verification of Service Compositions with Reo and mCRL2 In Proceedings

N. Kokash (Natallia), C. Krause (born Köhler) (Christian) and E.P. de Vink (Erik)

March 2010
Symbolic Synthesis of Mealy Machines from Arithmetic Bitstream Functions Tech Report

H.H. Hansen (Helle) and J.J.M.M. Rutten (Jan)

March 2010
Tracking Down the Origins of Ambiguity in Context-Free Grammars Tech Report

H.J.S. Basten (Bas)

March 2010
The asymptotic variance of departures in critically loaded queues Tech Report

A. Al Hanbali, M.R.H. Mandjes (Michel), Y. Nazarathy (Yoni) and W. Whitt

March 2010
Study of an API migration for two XML APIs In Proceedings

T.T. Bartholomei, K. Czarnecki, R. Lämmel (Ralf) and T. van der Storm (Tijs)

March 2010
CWI 64 jaar : kaart bij de taartjes Other

February 2010
A Document Engineering Model and Processing Framework for Multimedia Documents Dissertation

Human-Centered Data Analytics

J.P.T.M. Geurts (Joost)

February 2010
Omringd door informatica Book

B. M. Mols (Bennie)

February 2010
Testing Equivalence of Pure Quantum States and Graph States under SLOCC Article

International Journal of Quantum Information, 8(1-2)

J. Briët (Jop), D.L. Feder and A.G. D'Souza

February 2010
Manycore probleem voor programmeurs - interview met P. Klint Magazine Article

P. Klint (Paul)

February 2010
Perception of mechanically and optically simulated bumps and holes Article

ACM Transactions on Applied Perception, 7(2), 1-24.

K. Mensvoort, P. Vos, D. Hermes and R. van Liere (Robert)

February 2010
Switching between hidden Markov models using Fixed Share Tech Report

W.M. Koolen-Wijkstra (Wouter) and T.A.L. van Erven (Tim)

February 2010
BioNet: an R-package for the functional analysis of biological networks Article

Bioinformatics

D. Beisser (Daniela), G.W. Klau (Gunnar), T. Dandekar, T. Müller (Tobias) and M. Dittrich (Marcus)

February 2010
Searching in semantically rich linked data: a case study in cultural heritage Tech Report

M. Hildebrand (Michiel), J.R. van Ossenbruggen (Jacco), L. Hardman (Lynda), J. Wielemaker (Jan) and G. Schreiber (Guus)

February 2010
Designing a thesaurus-based comparison search interface for linked cultural heritage sources In Proceedings

A.K. Amin (Alia), M. Hildebrand (Michiel), J.R. van Ossenbruggen (Jacco) and L. Hardman (Lynda)

February 2010
Coiterative Morphisms: Interactive Equational Reasoning for Bisimulation, using Coalgebras Tech Report

M. Niqui (Milad)

February 2010
Higher Order Implementation of Kahn Networks in Maude: Alternating Bit Protocol Tech Report

M. Niqui (Milad)

February 2010
Interactive Measurements of Three-Dimensional Branching Objects Dissertation

Visualization and 3D User Interfaces

K.J. Kruszynski (Chris)

January 2010
On the Amount of Sieving in Factorization Methods Dissertation

W.H. Ekkelkamp (Willemien)

January 2010
Learning parities in the mistake-bound model In Proceedings

H.M. Buhrman (Harry), D. Garcia Soriano (David) and A. Matsliah (Arie)

January 2010
Unconditional Lower Bounds Against Advice In Proceedings

H.M. Buhrman (Harry), L. Fortnow (Lance) and Santhanam, R. (Rahul)

January 2010
LISA*: Towards a multi-property comparison interface for linked cultural heritage sources Research Paper

A.K. Amin (Alia), M. Hildebrand (Michiel), J.R. van Ossenbruggen (Jacco), A. van Niespen (Annelies) and L. Hardman (Lynda)

January 2010
Efficient algorithms for learning kernels from multiple similarity matrices with general convex loss functions In Proceedings

A. Kundu (Achintya), V. Tankasali (Vikram), C. Bhattacharyya (Chiranjib) and A. Ben-Tal (Aharon)

January 2010
Introduction Book Chapter

A.W. Grootendorst (Albert), J. Aarts (Jan), M. Bakker (Miente) and R. Erné (Reinie)

January 2010
Annotations to the translation Book Chapter

A.W. Grootendorst (Albert), J. Aarts (Jan), M. Bakker (Miente) and R. Erné (Reinie)

January 2010
Jan de Witt’s Elementa Curvarum Linearum Book

January 2010
Appendix Book Chapter

A.W. Grootendorst (Albert), J. Aarts (Jan), M. Bakker (Miente) and R. Erné (Reinie)

January 2010
Latin text and translation Book Chapter

A.W. Grootendorst (Albert), J. Aarts (Jan), M. Bakker (Miente) and R. Erné (Reinie)

January 2010
Summary Book Chapter

A.W. Grootendorst (Albert), J. Aarts (Jan), M. Bakker (Miente) and R. Erné (Reinie)

January 2010
Annual report CWI 2009 : summary Other

January 2010
Ontology construction Book Chapter

P. Cimiano (Philipp), J. Völker (Johanna) and P. Buitelaar (Paul)

January 2010
Ranking the Stars with MonetDB Article

ERCIM News, 80(januari 2010)

A.C. Kik (Annette) and M.G. Ivanova (Milena)

January 2010
Finite-volume discretizations and immersed boundaries Book Chapter

Y.J. Hassen (Yunus) and B. Koren (Barry)

January 2010
We@CWI 2010 - ... Miscellaneous

January 2010
Rascal Software

J.J. Vinju (Jurgen)

January 2010
Ambukant Software

A.J. Jansen (Jack)

January 2010
Designing bidding strategies in sequential auctions for risk averse agents Article

Multiagent and Grid Systems, 6(5-6), 437-457.

V. Robu (Valentin) and J.A. La Poutré (Han)

January 2010
Thema Film 22: TA2: Orchestrated Video ICT2010 Magazine Article

CWI CWI

January 2010
Global pattern recognition: The imageCLEF Benchmark Article

IAPR Newsletter, 32(1), 3-6.

H. Müller (Henning) and T. Tsikrika (Theodora)

January 2010
Near2Me: Design and Evaluation of a Personalized Recommender and Explorer for Off-the-beaten-track Travel Destinations Research Paper

Eindverslagen Stan Ackermans Instituut

L. Caballero (Luz)

January 2010
Analysis and optimization of polling models Master Thesis

J.-P.L. Dorsman (Jan-Pieter)

January 2010
Dynamic ambulance management Master Thesis

A.G. Lewandowski (Aleksander)

January 2010
Good Times?! Playful Aspects of Location-based Experience Capture In Proceedings

A. El Ali (Abdallah), F.-M. Nack (Frank) and L. Hardman (Lynda)

January 2010
A fundamental difference : YouTube film Online Video

CWI CWI

January 2010
Stability and throughput for two-layered queueing networks Article

Performance Evaluation, 28-42.

M. Jonckheere (Matthieu), R.D. van der Mei (Rob) and W. van der Weij (Wemke)

January 2010
On the Processor Sharing Properties of File Transfers in a WLAN Testbed In Proceedings

R.D. van der Mei (Rob) and G.J. Hoekstra (Gerard)

January 2010
Generating Series for Bilinear Hybrid Systems Article

Systems & Control Letters, 59(3-4), 218-225.

M. Petreczky (Mihaly) and J.H. van Schuppen (Jan)

January 2010
Visual-Concept Search Solved? Article

IEEE Computer, 43(6), 76-78.

C. Snoek and A.W.M. Smeulders (Arnold)

January 2010
Visual Word Ambiguity Article

IEEE Transactions on Pattern Analysis and Machine Intelligence, 32(7), 1271-1283.

J.C. van Gemert, C.J. Veenman, A.W.M. Smeulders (Arnold) and J.M. Geusebroek (Jan-Mark)

January 2010
Today In Proceedings

B. Huurnink, C. Snoek, M. de Rijke (Maarten) and A.W.M. Smeulders (Arnold)

January 2010
Thirteen Hard Cases in Visual Tracking In Proceedings

D.M. Chu (Dung) and A.W.M. Smeulders (Arnold)

January 2010
The MediaMill TRECVID 2010 Semantic Video Search Engine In Proceedings

C. Snoek, K.E.A. van de Sande, O. de Rooij, B. Huurnink, E. Gavves, D. Odijk, M. de Rijke (Maarten), T. Gevers, M. Worring (Marcel), D.C. Koelma, et al.

January 2010
Stages As Models of Scene Geometry Article

IEEE Transactions on Pattern Analysis and Machine Intelligence, 32(9), 1673-1687.

V. Nedovic, A.W.M. Smeulders (Arnold), A. Redert and J.M. Geusebroek (Jan-Mark)

January 2010
Real-Time Visual Concept Classification Article

IEEE Transactions on Multimedia, 12(7), 665-681.

J.R.R. Uijlings, A.W.M. Smeulders (Arnold) and R.J.H. Scha

January 2010
Rapid Natural Image Identification Based on EEG Data and Global Scene Statistics In Proceedings

S. Ghebreab, H.S. Scholte (Steven), V.A.F. Lamme and A.W.M. Smeulders (Arnold)

January 2010
Lateral Occipital Cortex Responsive to Local Correlation Structure of Natural Images In Proceedings

H.S. Scholte (Steven), S. Ghebreab, A.W.M. Smeulders (Arnold) and V.A.F. Lamme

January 2010
Lateral Occipital Cortex Responsive to Correlation Structure of Natural Images In Proceedings

H.S. Scholte (Steven), S. Ghebreab, A.W.M. Smeulders (Arnold) and V.A.F. Lamme

January 2010
Identification of Source-Specific Neural Synchrony in FMRI Data Article

Pattern Analysis and Applications, 14(1)

S. Ghebreab and A.W.M. Smeulders (Arnold)

January 2010
Comparing Compact Codebooks for Visual Categorization Article

Computer Vision and Image Understanding, 114(4), 450-462.

J.C. van Gemert, C. Snoek, C.J. Veenman, A.W.M. Smeulders (Arnold) and J.M. Geusebroek (Jan-Mark)

January 2010
Color Invariant SURF in Discriminative Object Tracking In Proceedings

D.M. Chu (Dung) and A.W.M. Smeulders (Arnold)

January 2010
Color Based Tracing in Real-Life Surveillance Data Book Chapter

M.J. Metternich, M. Worring (Marcel) and A.W.M. Smeulders (Arnold)

January 2010
Cache Conscious Data Layouting for In-Memory Databases Master Thesis

H. Pirk (Holger)

January 2010
A survey on performance analysis of warehouse carousel systems Article

Statistica Neerlandica, 401-447.

N. Litvak and M. Vlasiou (Maria)

January 2010
Tail asymptotics for a random sign Lindley recursion Article

Journal of Applied Probability, 47(1), 72-83.

M. Vlasiou (Maria) and Z. Palmowski (Zbigniew)

January 2010
Numerieke wiskunde: wetenschap en gereedschap : oratie uitgesproken bij de aanvaarding van het ambt van hoogleraar in de Numerieke Wiskunde, Universiteit Leiden, 22.10.2010 Book

B. Koren (Barry)

January 2010

Previous

Next

Available Years