Publications from 2013
-
Queueing Models for Bandwidth-Sharing Disciplines Dissertation
StochasticsSeptember 2008 -
September 2008
-
Liber amicorum Jan Kok Miscellaneous
September 2008 -
September 2008
-
The Language Specification Formalism ASF+SDF Magazine Article
September 2008 -
ToolBusNG 2.0 Software
September 2008 -
Doe-het-zelf PR Article
I/O ICT Onderzoek, 5(4), 3-3.September 2008 -
A bolt form the blue Magazine Article
September 2008 -
Bliksemboom News Broadcast
September 2008 -
Samen flitsen Magazine Article
September 2008 -
Semantic Multimedia In Proceedings
September 2008 -
Towards a Method for the Evaluation of Reference Architectures: Experiences from a Case In Proceedings
September 2008 -
September 2008
-
Generalized Key Delegation for Hierarchical Identity-Based Encryption Article
IET Information Security, 2(3), 67-78.September 2008 -
September 2008
-
Coinductive Formal Reasoning in Exact Real Arithmetic Article
Logical Methods in Computer Science, 4(3)September 2008 -
September 2008
-
Multimedia Adaptation in Ubiquitous Environments: Benefits of Structured Multimedia Documents In Proceedings
September 2008 -
September 2008
-
A comparison between the ALGOL 60 implementations on the Electrologica X1 and the Electrologica X8 Tech Report
September 2008 -
Autonomous Scheduling with Unbounded and Bounded Agents In Proceedings
September 2008 -
Noise in Quantum and Classical Computation & Non-locality Dissertation
Algorithms and ComplexitySeptember 2008 -
Stochastic facility location with general long-run costs and convex short-run costs Article
Computers & Operations Research, 35(9), 2988-3000.September 2008 -
Overview of the wikipediaMM task at ImageCLEF 2008 In Proceedings
September 2008 -
CWI at ImageCLEF 2008 In Proceedings
September 2008 -
Transient characteristics of Gaussian queues Tech Report
September 2008 -
September 2008
-
Mechanical verification of a two-way sliding window protocol In Proceedings
September 2008 -
September 2008
-
September 2008
-
Is timed branching bisimilarity a congruence indeed? Article
Fundamenta Informaticae, 87(3/4), 287-311.September 2008 -
P3C: A New Algorithm for the Simple Temporal Problem In Proceedings
September 2008 -
September 2008
-
Inapproximability Results for Combinatorial Auctions with Submodular Utility Functions Article
Algorithmica, 52(1), 3-18.September 2008 -
On coordinate transformation and grid stretching for sparse grid pricing of basket options Article
Journal of Computational and Applied Mathematics, 193-209.September 2008 -
Pulse Dynamics in a Three-Component System: Existence Analysis Article
Journal of Dynamics and Differential Equations, 21(1), 73-115.September 2008 -
Manifold mapping: a two-level optimization technique Article
Computing and Visualization in Science, 11(4-6), 193-206.September 2008 -
A Brief Introduction to Fourier Analysis on the Boolean Cube Article
ACM Computers in Entertainment, 6(1), 1-10.September 2008 -
Refinement of Kripke Models for Dynamics In Proceedings
September 2008 -
September 2008
-
Contact-inhibited chemotaxis in de novo and sprouting blood-vessel growth Article
PLoS Computational Biology, 4(9), e1000163-last.September 2008 -
Parameter estimation and determinability analysis applied to Drosophila gap gene circuits Article
BMC Systems Biology, 2(83)September 2008 -
Multimodal identification and localization of users in a smart environment Article
Journal on Multimodal User Interfaces, 2(2), 75-91.September 2008 -
Kolmogorov complexity theory over the reals In Proceedings
August 2008 -
Donder en bliksem News Broadcast
August 2008 -
August 2008
-
Efficient Secure Linear Algebra in the Presence of Covert or Computationally Unbounded Adversaries In Proceedings
August 2008 -
August 2008
-
Possibility, impossibility, and cheat sensitivity of quantum-bit string commitment Article
Physical Review A: Atomic, Molecular and Optical Physics, 78(2)August 2008 -
August 2008
-
Noise Threshold for Universality of Two-Input Gates Article
IEEE Transactions on Information Theory, 54(8), 3693-3698.August 2008 -
August 2008
-
August 2008
-
August 2008
-
August 2008
-
The INEX 2007 Multimedia Track In Proceedings
August 2008 -
Structured Document Retrieval, Multimedia Retrieval, and Entity Ranking Using PF/Tijah In Proceedings
August 2008 -
August 2008
-
August 2008
-
That Simple Device already used by Gauss Book Chapter
August 2008 -
August 2008
-
Multiple gamma bursts from long discharges in air Article
Journal of Physics D: Applied PhysicsAugust 2008 -
Interaction of streamers in air: The evolution of the space-charge layer in their heads Article
IEEE Transactions on Plasma Science, 914-915.August 2008 -
Avalanche to streamer transition in particle simulations Article
IEEE Transactions on Plasma Science, 36(4), 910-911.August 2008 -
Time resolved measurements of streamer inception in air Article
IEEE Transactions on Plasma Science, 36(4), 908-909.August 2008 -
Positive streamers in ambient air and in a nitrogen-oxygen-mixture (99.8:0.2) Article
IEEE Transactions on Plasma Science, 36(4), 906-907.August 2008 -
Interaction of streamers in air and other oxygen-nitrogen mixtures Article
Physical Review LettersAugust 2008 -
Subgrid-scale parameterization with conditional Markov chains Article
Journal of the Atmospheric Sciences, 2661-2675.August 2008 -
Fourier analysis, linear programming, and densities of distance avoiding sets in {$R^n$} Tech Report
August 2008 -
August 2008
-
XHTML™ Basic 1.1 Standard
July 2008 -
XHTML™ Basic 1.1 In Proceedings
July 2008 -
Knippen en plakken Article
I/O ICT Onderzoek, 5(3), 3-3.July 2008 -
Multimedia systems, languages, and infrastructures for interactive television Article
Multimedia Systems, 14(2), 71-72.July 2008 -
Thinning and information projection In Proceedings
July 2008 -
July 2008
-
Efficiency of entropy testing In Proceedings
July 2008 -
Searchable Encryption Revisited: Consistency Properties, Relation to Anonymous IBE, and Extensions Article
Journal of Cryptology, 21(3), 350-391.July 2008 -
The mCRL2 Toolset In Proceedings
July 2008 -
Usages of the Secondary Screen in an Interactive Television Environment: control, enrich, share, and transfer television content In Proceedings
July 2008 -
Composer: Authoring Tool for iTV Programs In Proceedings
July 2008 -
July 2008
-
July 2008
-
The software invention cube: A classification scheme for software inventions Article
Journal of Intellectual Property Rights , 13(4), 293-300.July 2008 -
July 2008
-
July 2008
-
A Game-Theoretic Analysis of Updating Sets of Probabilities In Proceedings
July 2008 -
Agent Coordination with Regret Clearing In Proceedings
July 2008 -
Uniqueness, intractability and exact algorithms: reflections on level-k phylogenetic networks Tech Report
July 2008 -
Towards Formal Verification of Toolbus Scripts In Proceedings
July 2008 -
July 2008
-
The operator $\Psi$ for the Chromatic Number of a Graph Article
SIAM Journal on Optimization, 19(02), 572-591.July 2008 -
Computing semidefinite programming lower bounds for the (fractional) chromatic number via block-diagonalization Article
SIAM Journal on Optimization, 19(02), 592-615.July 2008 -
A note on stability of the integral-differential equation of the hyperbolic type in a Hilbert space Article
Numerical Functional Analysis and Optimization, 29(7-8), 750-769.July 2008 -
New upper bounds for kissing numbers from semidefinite programming Article
Journal of the American Mathematical Society, 909-924.July 2008 -
Depth map calculation for a variable number of moving objects using Markov sequential object processes Article
IEEE Transactions on Pattern Analysis and Machine Intelligence, 1308-1312.July 2008 -
July 2008
-
Accuracy in Rating and Recommending Item Features In Proceedings
July 2008 -
July 2008
-
Sound ranking algorithms for XML search in PF/Tijah In Proceedings
June 2008