Publication ThermalSense: Determining Dynamic Thermal Comfort Preferences Using Thermographic Imaging Juhi Ranjan, James Scott Proceedings of UbiComp 2016 | September 2016 Project
Publication BTR: training asynchronous Boolean models using single-cell expression data Chee Yee Lim, Huange Wang, Steven Woodhouse, Nir Piterman, Lorenz Wernisch, Jasmin Fisher, Berthold Göttgens BMC Bioinformatics | September 2016, Vol 17(355)
Publication A Generic Logic for Proving Linearizability (Extended Version) Artem Khyzha, Alexey Gotsman, Matthew J. Parkinson September 2016
Publication How computational models contribute to our understanding of the germ line Kathryn Atwell, Sara-Jane Dunn, James M. Osborne, Hillel Kugler, E. Jane Albert Hubbard Molecular Reproduction and Development | September 2016 Project
Publication Experimental and Causal View on Information Integration in Autonomous Agents Philipp Geiger, Katja Hofmann, Bernhard Schölkopf 6th International Workshop on Combinations of Intelligent Methods and Applications | August 2016 6th International Workshop on Combinations of Intelligent Methods and Applications Project
Publication A lambda-calculus foundation for universal probabilistic programming Johannes Borgström, Andy Gordon, Ugo Dal Lago, Marcin Szymczak International Conference on Functional Programming | August 2016
Publication Safe zero-cost coercions for Haskell Joachim Breitner, Richard Eisenberg, Simon Peyton Jones, Stephanie Weirich Journal of Functional Programming | July 2016, Vol 26
Publication Polylogarithmic-Time Leader Election in Population Protocols Dan Alistarh, Rati Gelashvili July 2016 Accepted to ICALP, track C.
Publication Time-Sensitive Bayesian Information Aggregation for Crowdsourcing Systems Matteo Venanzi, John Guiver, Pushmeet Kohli, Nicholas R. Jennings Journal of Artificial Intelligence Research – Special Track on Human Computation and AI | July 2016, Vol 56: pp. 517-545 Project
Publication Neu-IR: The SIGIR 2016 Workshop on Neural Information Retrieval Nick Craswell, W. Bruce Croft, Jiafeng Guo, Maarten de Rijke, Bhaskar Mitra Proceedings of the 39th International ACM SIGIR conference on Research and Development in Information Retrieval | July 2016
