Publications from 2013
-
The Langevin Limit of the Nosé-Hoover-Langevin Thermostat Article
Journal of Statistical Physics, 715-724.January 2011 -
Message Passing in a Dynamic Epistemic Logic Setting In Proceedings
January 2011 -
Message Generated Kripke Semantics In Proceedings
January 2011 -
Logic of Information Flow on Communication Channels Article
Lecture Notes in Computer ScienceJanuary 2011 -
January 2011
-
A peculiar streamer morphology created by a complex voltage pulse Article
IEEE Transactions on Plasma Science, 39(11), 2216-2217.January 2011 -
Simulated avalanche formation around streamers in an overvolted air gap Article
IEEE Transactions on Plasma Science, 39(11), 2256-2257.January 2011 -
Reflections on Vote Manipulation In Proceedings
January 2011 -
A URI-based approach for addressing fragments of media resources on the Web Article
International Journal on Multimedia Tools and ApplicationsJanuary 2011 -
The Future of Research Communication (Dagstuhl Perspectives Workshop 11331) Article
Dagstuhl Reports, 1(8), 29-52.January 2011 -
January 2011
-
January 2011
-
Learning from MyVideos user study Presentation
January 2011 -
Automatic and Manual Processes in End-User Multimedia Authoring Tools: Where is the Balance? Presentation
January 2011 -
Social Practices around Personal Videos using the Web In Proceedings
January 2011 -
Understanding Social TV: a survey In Proceedings
January 2011 -
Creating personalized memories from social events: community-based support for multi-camera recordings of school concerts In Proceedings
January 2011 -
Multimedia document processing in an HTML5 world In Proceedings
January 2011 -
Invasion from a cell aggregate: the roles of active cell motion and mechanical equilibrium Presentation
January 2011 -
January 2011
-
Automatic Generation of Video Narratives from Shared UGC In Proceedings
January 2011 -
January 2011
-
Accurate and Low-Delay Seeking Within and Across Mash-Ups of Highly-Compressed Videos In Proceedings
January 2011 -
From IPTV to Synchronous Shared Experiences: Challenges in Design: Distributed Media Synchronization Article
Elsevier Signal Processing: Image Communication, 28(4), 251-270.January 2011 -
Simulation Experiment Repository Unpublished
January 2011 -
Enabling Composition-Based Video-Conferencing for the Home Article
IEEE Transactions on Multimedia, 13(5), 869-881.January 2011 -
January 2011
-
January 2011
-
Mixability is Bayes Risk Curvature Relative to Log Loss In Proceedings
January 2011 -
January 2011
-
January 2011
-
January 2011
-
Dynamic Consistency in Process Algebra: From Paradigm to ACP Article
Science of Computer Programming, 76(8), 711-735.January 2011 -
January 2011
-
Parse Forest Diagnostics with Dr. Ambiguity In Proceedings
January 2011 -
Ambiguity Detection: Scaling to Scannerless In Proceedings
January 2011 -
January 2011
-
January 2011
-
January 2011
-
Language Convergence Infrastructure In Proceedings
January 2011 -
Complexity of Coalition Structure Generation Tech Report
January 2011 -
Complexity of Coalition Structure Generation In Proceedings
January 2011 -
Diffusion in Social Networks with Competing Products In Proceedings
January 2011 -
Direct Proofs of Order Independence Article
Economics Bulletin, 1(31), 106-115.January 2011 -
A Primer on Strategic Games Book Chapter
January 2011 -
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2011) Proceedings
January 2011 -
January 2011
-
January 2011
-
Polling models with multi-phase gated service Article
Annals of Operations ResearchJanuary 2011 -
Modeling Just-in-Time Communication On the Optimal Resource Utilization in Distributed Real-Time Multimedia Applications Article
Multimedia Tools and ApplicationsJanuary 2011 -
Applications of polling systems Article
Surveys in Operations Research and Management Science, 67-82.January 2011 -
Optimal resource allocation for time-reservation systems Article
Performance Evaluation, 414-428.January 2011 -
Queueing networks with a single shared server Article
ACM SIGMETRICS Performance Evaluation Review, 39(2), 44-46.January 2011 -
Context-free languages, coalgebraically. In Proceedings
January 2011 -
Optimal resource allocation in synchronized multi-tier Internet services Article
Performance Evaluation, 1072-1084.January 2011 -
Structural properties of the optimal resource allocation for single-queue systems Article
Annals of Operations ResearchJanuary 2011 -
Optimal resource allocation for multi-queue systems with a shared server pool Article
Queueing Systems, 133-163.January 2011 -
January 2011
-
Limitations of NOx removal by pulsed corona reactors In Proceedings
January 2011 -
January 2011
-
Modeling the evolution of halos and sprites In Proceedings
January 2011 -
January 2011
-
Sprite discharges on Venus, Jupiter and Saturn: a laboratory investigation in planetary gas mixtures In Proceedings
January 2011 -
January 2011
-
Laboratory experiments on the interaction of streamers In Proceedings
January 2011 -
January 2011
-
January 2011
-
On the Lasserre hierarchy of semidefinite programming relaxations of convex polynomial optimization problems Article
SIAM Journal on Optimization, 824-832.January 2011 -
Streamer simulations with highly accurate transport data In Proceedings
January 2011 -
January 2011
-
Experiments on how photo- and background ionization affect positive streamers: oxygen concentration, repetition and radioactivity In Proceedings
January 2011 -
On the chromatic number of random geometric graphs Article
Combinatorica, 31(4), 423-488.January 2011 -
Sphere and dot product representations of graphs In Proceedings
January 2011 -
January 2011
-
Frugal, acyclic and star colourings of graphs Article
Discrete Applied Mathematics, 159(16), 1806-1814.January 2011 -
Acyclic edge-colorings of planar graphs Article
SIAM Journal on Discrete Mathematics, 24(2), 463-478.January 2011 -
Disjoint Hamilton cycles in random geometric graphs Article
Journal of Graph Theory, 68(4), 299-322.January 2011 -
Hamilton cycles in random geometric graphs Article
Annals of Applied Probability, 21(3), 1053-1072.January 2011 -
The Nature of Prediction (and the Prediction of Nature) Inaugural Lecture
January 2011 -
The Researcher’s Guide to the Data Deluge: Querying a Scientific Database in Just a Few Seconds In Proceedings
January 2011 -
Merging What’s Cracked, Cracking What’s Merged: Adaptive Indexing in Main-Memory Column-Stores In Proceedings
January 2011 -
On the Heston model with stochastic interest rates Article
SIAM Journal on Financial Mathematics, 255-286.January 2011 -
A local Fourier analysis framework for finite-element discretizations of systems of PDEs Article
Numerical Linear Algebra with Applications, 751-774.January 2011 -
A Fourier-based valuation method for Bermudan and barrier options under Heston's model Article
SIAM Journal on Financial Mathematics, 439-463.January 2011 -
Recent Developments in Social Signal Processing In Proceedings
January 2011 -
Basic Methods for Computing Special Functions Book Chapter
January 2011 -
January 2011
-
January 2011
-
Presentation Evaluation Committee PNA Presentation
January 2011 -
Presentation Evaluation Committee SEN5 Presentation
January 2011 -
Presentation Evaluation Committee SEN4 Presentation
January 2011 -
Presentation Evaluation Committee SEN3 Presentation
January 2011 -
Presentation Evaluation Committee SEN1 Presentation
January 2011 -
Presentation Evaluation Committee SEN Presentation
January 2011 -
Presentation Evaluation Committee PNA Presentation
January 2011 -
Presentation Evaluation Committee PNA6 Presentation
January 2011 -
Presentation Evaluation Committee PNA5 Presentation
January 2011 -
Presentation Evaluation Committee PNA2 Presentation
January 2011 -
Presentation Evaluation Committee PNA1 Presentation
January 2011 -
Presentation Evaluation Committee MAC4 Presentation
January 2011