Publications from 2022
-
January 2014
-
January 2014
-
NatalieQ: a web server for protein-protein interaction network querying Article
BMC Systems Biology, 8(40)January 2014
-
eXamine: Exploring annotated modules in networks In Proceedings
January 2014
-
January 2014
-
Tip cell overtaking arises spontaneously in computational models of angiogenic sprouting Presentation
January 2014 -
Mechanical cell-ECM interactions amplifies response to substrate stretch and induces cell alignment Presentation
January 2014 -
Semidefinite Optimization Lecture
January 2014
-
Functional module search in protein networks based on semantic similarity improves the analysis of proteomics data Article
Molecular & Cellular Proteomics, 1877-1889.January 2014
-
Kugelblitz in freier Wildbahn Article
Physik Journal, 13(3), 22-34.January 2014
-
January 2014
-
Discrete representation of local orientation in grains using diffraction contrast tomography In Proceedings
January 2014
-
Adaptive Grid Refinement for Discrete Tomography In Proceedings
January 2014
-
A compositional model to reason about end-to-end QoS in Stochastic Reo Connectors Article
Science of Computer Programming, 80(A), 3-24.January 2014 -
Mechanisms for Hiring a Matroid Base Without Money In Proceedings
January 2014
-
Orchestrating web services using Reo: from circuits and behaviors to automatically generated code Article
Service Oriented Computing and Applications, 8(4), 277-297.January 2014 -
Partially-distributed coordination with Reo In Proceedings
January 2014 -
The Strong Price of Anarchy of Linear Bottleneck Congestion Games Article
Theory of Computing SystemsJanuary 2014
-
Automata-based optimization of interaction protocols for scalable multicore platforms In Proceedings
January 2014 -
January 2014
-
January 2014
-
Toward sequentializing overparallelized protocol code In Proceedings
January 2014 -
Efficient Cost-Sharing Mechanisms for Price-Collecting Problems Article
Mathematical ProgrammingJanuary 2014
-
High-level protocol engineering without performance penalty for multi-core Article
ERCIM NewsJanuary 2014 -
Altruism and its impact on the price of anarchy Article
ACM Transactions on Economics and Computation, 2(4)January 2014
-
Adaptive zooming in X-ray computed tomography Article
Journal of X-ray Science and Technology, 22(1), 77-89.January 2014
-
Aligning Projection Images from Binary Volumes Article
Fundamenta Informaticae, 135(1), 21-42.January 2014
-
Quality bounds for binary tomography with arbitrary projection matrices Article
Discrete Applied MathematicsJanuary 2014
-
Super-Resolution for Computed Tomography Based on Discrete Tomography Article
IEEE Transactions on Image Processing, 23(3), 1181-1193.January 2014
-
Dynamic angle selection in X-ray computed tomography Article
Nuclear Instruments and Methods in Physics Research B, 17-24.January 2014
-
Scheduling over Scenarios on Two Machines Tech Report
January 2014
-
A Multiresolution Approach to Discrete Tomography Using DART Article
PLoS ONEJanuary 2014
-
Polynomial time approximation schemes for the traveling repairman and other minimum latency problems In Proceedings
January 2014
-
The traveling salesman problem on cubic and subcubic graphs Article
Mathematical Programming, 227-245.January 2014
-
Material Profile Influences in Bulk-Heterojunctions Article
Journal of Polymer Science Part B: Polymer Physics, 52(19), 1291-1300.January 2014
-
The Generalized Work Function Algorithm Is Competitive for the Generalized 2-Server Problem Article
SIAM Journal on Computing, 43(1), 96-125.January 2014
-
Designing engines for data analysis Inaugural Lecture
January 2014
-
The properties of SIRT, TVM, and DART for 3D imaging of tubular domains in nanocomposite thin-films and sections Article
Ultramicroscopy, 137-148.January 2014
-
Turing in Quantumland Book Chapter
January 2014
-
Improving Filtered Backprojection Reconstruction by Data-Dependent Filtering Article
IEEE Transactions on Image Processing, 23(11), 4750-4762.January 2014
-
The reconstructed residual error: a novel segmentation evaluation measure for reconstructed images in tomography Article
Computer Vision and Image Understanding, 28-37.January 2014
-
Reductions to the set of random strings: The resource-bounded case Article
Logical Methods in Computer ScienceJanuary 2014
-
Region-Based Iterative Reconstruction of Structurally Changing Objects in CT Article
IEEE Transactions on Image Processing, 23(2), 909-919.January 2014
-
Position-Based Quantum Cryptography: Impossibility and Constructions Article
SIAM Journal on Computing, 43(1), 150-178.January 2014
-
Approximating algebraic tomography methods by filtered backprojection: a local filter approach Article
Fundamenta Informaticae, 135(1-2), 1-19.January 2014
-
Object Redundancy Profiling in Java Presentation
January 2014
-
January 2014
-
January 2014
-
Understanding fish behavior during typhoon events in real-life underwater environments Article
International Journal on Multimedia Tools and Applications, 70(1), 199-236.January 2014
-
Editorial — Special issue on multimedia in ecology Article
Ecological Informatics, 1-2.January 2014
-
January 2014
-
PumpKin: A tool to find principal pathways in plasma chemical models Article
Computer Physics Communications, 2697-2702.January 2014
-
A time scale for electrical screening in pulsed gas discharges Article
Journal of Physics D: Applied Physics, 0-7.January 2014
-
Impact of lightning on the lower ionosphere of Saturn and possible generation of halos and sprites Article
Icarus, 313-328.January 2014
-
The inception of pulsed discharges in air: simulations in background fields above and below breakdown Article
Journal of Physics D: Applied Physics, 0-9.January 2014
-
3D particle simulation of positive streamer inception from a needle electrode in supercritical nitrogen Article
IEEE Transactions on Plasma Science, 2416-2417.January 2014
-
Stroboscopic images of streamers through air and over dielectric surfaces Article
IEEE Transactions on Plasma Science, 2400-2401.January 2014
-
Propagation of a positive streamer towards a dielectric tip in pure nitrogen and in air Article
IEEE Transactions on Plasma Science, 2392-2393.January 2014
-
Streamer discharges can move perpendicularly to the electric field Article
New Journal of Physics, 0-9.January 2014
-
Coupling between atmospheric layers in gaseous giant planets due to lightning-generated electromagnetic pulses Article
Journal of Geophysical ResearchJanuary 2014 -
January 2014
-
January 2014
-
January 2014
-
January 2014
-
January 2014
-
Tracing the molecular basis of transcriptional dynamics in noisy data by using an experiment-based mathematical model Article
Nucleic acids researchJanuary 2014
-
'Geld is een bijverschijnsel' - Leeuwarder Courant Magazine Article
January 2014 -
A practical approximation algorithm for solving massive instances of hybridization number for binary and nonbinary trees Article
BMC BioinformaticsJanuary 2014
-
Approximation algorithms for nonbinary agreement forests Article
SIAM Journal on Discrete Mathematics, 28(1), 49-66.January 2014
-
Sterrenkundigen genomineerd voor Gordon Bell-prijs voor snelste computerberekeningen - Astroblogs Magazine Article
January 2014
-
Database Innovator Peter Boncz to Present on Expanded Actian Analytics Platform SQL-in-Hadoop Capabilities at Hadoop - Fort Mill Times Summit Magazine Article
January 2014
-
Wiskundigen kijken kat uit de boom miljoenenclaim - de Volkskrant Magazine Article
January 2014 -
Online monitoring van bosbranden - Technisch Weekblad Magazine Article
January 2014 -
Software helpt bij redigeren video - Automatisering Gids Magazine Article
January 2014
-
January 2014
-
Navraag: Paul Klint - Folia Magazine Article
January 2014 -
CWI-software maakt persoonlijke video - Computable Magazine Article
January 2014
-
January 2014
-
January 2014
-
Forbidden minor characterizations for low-rank optimal solutions to semidefinite programs over the elliptope Article
Journal of Combinatorial Theory - Series B, 40-80.January 2014
-
Optimization over polynomials: Selected topics In Proceedings
January 2014
-
January 2014
-
January 2014
-
January 2014
-
January 2014
-
Coupling as a trade-off in an Enterprise Service Bus Master Thesis
January 2014
-
Static, Lightweight Includes Resolution for PHP In Proceedings
January 2014
-
3D Frequency-Domain Seismic Inversion with Controlled Sloppiness. Article
SIAM Journal on Scientific Computing, 36(5), S192-S217.January 2014
-
Social networks with competing products Article
Fundamenta Informaticae, 129(3), 225-250.January 2014
-
Selfishness level of strategic games Article
Journal of Artificial Intelligence Research, 207-240.January 2014
-
Practice-Oriented Optimization of Distribution Network Planning Using Metaheuristic Algorithms In Proceedings
January 2014
-
January 2014
-
January 2014
-
Secure Identification and QKD in the Bounded-Quantum-Storage Model Article
Theoretical Computer Science, 12-26.January 2014
-
On the Conditional Rényi Entropy Article
IEEE Transactions on Information Theory, 60(11), 6801-6810.January 2014
-
January 2014
-
January 2014
-
January 2014
-
January 2014
-
January 2014