Our research
Content type
+
Downloads (438)
+
Events (395)
 
Groups (150)
+
News (2575)
 
People (824)
 
Projects (1056)
+
Publications (11958)
+
Videos (5184)
Labs
Research areas
Algorithms and theory47205 (265)
Communication and collaboration47188 (187)
Computational linguistics47189 (181)
Computational sciences47190 (185)
Computer systems and networking47191 (670)
Computer vision208594 (41)
Data mining and data management208595 (61)
Economics and computation47192 (94)
Education47193 (79)
Gaming47194 (68)
Graphics and multimedia47195 (199)
Hardware and devices47196 (195)
Health and well-being47197 (74)
Human-computer interaction47198 (773)
Machine learning and intelligence47200 (716)
Mobile computing208596 (29)
Quantum computing208597 (19)
Search, information retrieval, and knowledge management47199 (612)
Security and privacy47202 (265)
Social media208598 (20)
Social sciences47203 (239)
Software development, programming principles, tools, and languages47204 (547)
Speech recognition, synthesis, and dialog systems208599 (68)
Technology for emerging markets208600 (24)
1–25 of 185
Sort
Show 25 | 50 | 100
1234567Next 
Gian Marco Palamara, Dylan Z. Childs, Christopher F. Clements, Owen L. Petchey, Marco Plebani, and Matthew J. Smith
  1. Understanding and quantifying the temperature dependence of population parameters, such as intrinsic growth rate and carrying capacity, is critical for predicting the ecological responses to environmental change. Many studies provide empirical estimates of such temperature dependencies, but a thorough investigation of the methods used to infer them has not been performed yet.
  2. We created artificial population time series using a stochastic logistic model parameterized with the Arrhenius...
Publication details
Date: 1 October 2014
Type: Article
Sadia E. Ahmed

Roads have many and varied ecological impacts. This report outlines the key ecological implication of road transport networks.

Publication details
Date: 1 September 2014
Type: Technical report
Number: MSR-TR-2014-120
Martin Abadi, Philippa Gardner, Andrew D. Gordon, and Radu Mardare

Luca Cardelli has made exceptional contributions to the field of programming languages and beyond. Throughout his career, he has re-invented himself every decade or so, while continuing to make true innovations. His achievements span many areas: software; language design, including experimental languages; programming language foundations; and the interaction of programming languages and biology. These achievements form the basis of his lasting scientific leadership and his wide impact. A scientific...

Publication details
Date: 1 September 2014
Type: Technical report
Publisher: Microsoft Research
Number: MSR-TR-2014-104
Paul I. Palmer and Matthew J. Smith

We can no longer ignore feedbacks between global warming and how people respond, say Paul I. Palmer and Matthew J. Smith.

Publication details
Date: 28 August 2014
Type: Article
Cory Merow, Matthew J. Smith, Thomas C. Edwards, Antoine Guisan, Sean McMahon, Signe Normand, Wilfried Thuiller, Rafael O. Wuest, Niklaus E. Zimmerman, and Jane Elith

Species distribution models (SDMs) are widely used to explain and predict species ranges and environmental niches. They are most commonly constructed by inferring species’ occurrence-environment relationships using statistical and machine-learning methods. The variety of methods that can be used to construct SDMs (e.g., generalized linear/additive models, tree-based models, maximum entropy, etc.), and the variety of ways that such models can be implemented, permits substantial flexibility in SDM...

Publication details
Date: 1 August 2014
Type: Article
Publisher: Wiley
Publication details
Date: 1 July 2014
Type: Article
Boyan Yordanov, Jongmin Kim, Rasmus L. Petersen, Angelina Shudy, Vishwesh V. Kulkarni, and Andrew Phillips

The design of synthetic circuits for controlling molecular-scale processes is an important goal of synthetic biology, with potential applications in future in vitro and in vivo biotechnology. In this paper, we present a computational approach for designing feedback control circuits constructed from nucleic acids. Our approach relies on an existing methodology for expressing signal processing and control circuits as biomolecular reactions. We first extend the methodology so that circuits can be expressed...

Publication details
Date: 1 July 2014
Type: Article
Publisher: American Chemical Society (In Press)
Publication details
Date: 1 July 2014
Type: Article
Sean Sloan, Clinton N Jenkins, Lucas N Joppa, David LA Gaveau, and William F Laurance
Publication details
Date: 1 July 2014
Type: Article
Publisher: Elsevier
Nicola Paoletti, Boyan Yordanov, Youssef Hamadi, Christoph M. Wintersteiger, and Hillel Kugler

Deciphering the developmental program of an embryo is a fundamental question in biology. Landmark papers [9,10] have recently shown how computational models of gene regulatory networks provide system-level causal understanding of the developmental processes of the sea urchin, and enable powerful predictive capabilities. A crucial aspect of the work is empirically deriving plausible models that explain all the known experimental data, a task that becomes infeasible in practice due to the inherent...

Publication details
Date: 1 July 2014
Type: Inproceeding
Publisher: Springer
Sara-Jane Dunn, Graziano Martello, Boyan Yordanov, Stephen Emmott, and Austin Smith

The gene regulatory circuitry through which pluripotent embryonic stem (ES) cells choose between self-renewal and differentiation appears vast and has yet to be distilled into an executive molecular program. We developed a data-constrained, computational approach to reduce complexity and to derive a set of functionally validated components and interaction combinations sufficient to explain observed ES cell behavior. This minimal set, the simplest version of which comprises only 16 interactions, 12...

Publication details
Date: 6 June 2014
Type: Article
Number: 6188
Mindy M Syfert, Lucas N Joppa, Matthew J Smith, David A Coomes, Steven P Bachman, and Neil A Brummitt

Characterising a species' geographical extent is central to many conservation assessments, including those of the IUCN Red List of Threatened Species. The IUCN recommends that extent of occurrence (EOO) to be quantified by drawing a minimum convex polygon (MCP) around known or inferred presence localities. EOO calculated from verified specimens is commonly used in Red List assessments when other data are scarce, as is the case for many threatened plant species. Yet rarely do these estimates incorporate...

Publication details
Date: 1 June 2014
Type: Article
Publisher: Elsevier
Neil Dalchau, Georg Seelig, and Andrew Phillips

DNA self-assembly is a powerful technology for controlling matter at the nanometre to micron scale, with potential applications in high-precision organisation and positioning of molecular components. However, the ability to program DNA-only self-organisation beyond the microscopic scale is currently lacking. In this paper we propose a computational method for programming spatial organisation of DNA at the centimetre scale, by means of DNA strand displacement reaction diffusion systems. We use this...

Publication details
Date: 1 June 2014
Type: Article
Publisher: Springer
Scott, Mark, Boardman, Richard P., Reed, Philippa A.S., Austin, Tim, Johnston, Steven, Takeda, K, Cox, and Simon J

Scientists within the materials engineering community produce a wide variety of data, with datasets differing in size and complexity. Examples include large 3D volume densitometry files (voxel) generated by microfocus computer tomography (µCT) and simple text files containing results from a tensile test. Increasingly, there is a need to share this data as part of international collaborations. The design of a suitable database schema and the architecture of a system that can cope with the varying...

Publication details
Date: 1 June 2014
Type: Article
Publisher: Elsevier
Matthew R. Lakin, Rasmus Petersen, Kathryn E. Gray, and Andrew Phillips

Sequence-specific DNA interactions are a powerful means of programming nanoscale locomotion. These systems typically use a DNA track that is tethered to a surface, and molecular interactions enable a signal or cargo to traverse this track. Such low copy number systems are highly amenable to mechanized analyses such as probabilistic model checking, which requires a formal encoding. In this paper we present the first general encoding of tethered DNA species into a formal language, which allows the...

Publication details
Date: 1 June 2014
Type: Article
Publisher: Springer
Y.P. Wang, B.C. Chen, W.R. Weider, M. Leite, B.E. Medlyn, M. Rasmussen, M.J. Smith, F.B. Augusto, F. Hoffman, and Y.Q. Luo

A number of nonlinear models have recently been proposed for simulating soil carbon decomposition. Their predictions of soil carbon responses to fresh litter input and warming differ significantly from conventional linear models. Using both stability analysis and numerical simulations, we showed that two of those nonlinear models (a two-pool model and a three-pool model) exhibit damped oscillatory responses to small perturbations. Stability analysis showed the frequency of oscillation is proportional...

Publication details
Date: 7 April 2014
Type: Article
Publisher: European Geosciences Union
Isabel M. Rosa, Sadia E. Ahmed, and Robert M. Ewers

Land-use and land-cover (LULC) change is one of the largest ally. We use the tropical rainforests of the Amazon, the Congo gate spatial predictive models of LULC change. Current predictions variable and often poorly validated. We carried out a quantitative model spatio-temporal scales, inputs, calibration and validation from each of the models reviewed and carried out a quantitative predictions in the Brazilian Amazon. We highlight existing shortfalls that need addressing to improve the transparency,...

Publication details
Date: 1 April 2014
Type: Article
Publisher: Wiley
Maria Bruna, Jonathan Chapman, and Matthew J Smith

The quasi-steady-state approximation (or stochastic averaging principle) is a useful tool in the study of multiscale stochastic systems, giving a practical method by which to reduce the number of degrees of freedom in a model. The method is extended here to slow–fast systems in which the fast variables exhibit metastable behaviour. The key parameter that determines the form of the reduced model is the ratio of the timescale for the switching of the fast variables between metastable states to the...

Publication details
Date: 1 April 2014
Type: Article
Publisher: American Institute of Physics
Boyan Yordanov, Neil Dalchau, Paul Grant, Michael Pedersen, Stephen Emmott, Jim Haseloff, and Andrew Phillips

The ability to design and construct synthetic biological systems with predictable behavior could enable significant advances in medical treatment, agricultural sustainability, and bioenergy production. However, to reach a stage where such systems can be reliably designed from biological components, integrated experimental and computational techniques that enable robust component characterization are needed. In this paper we present a computational method for the automated characterization of genetic...

Publication details
Date: 14 March 2014
Type: Article
Publisher: American Chemical Society
Rakesh Agrawal, Behzad Golshan, and Evimaria Terzi

Given a class of large number of students, each exhibiting a different ability level, how can we form teams of students so that the expected performance of team members improves due to team participation? We take a computational perspective and formally define two versions of such team-formation problem: the MaxTeam and the MaxPartition problems. The first asks for the identification of a single team of students that improves the performance of most of the participating team members. The second asks for...

Publication details
Date: 1 March 2014
Type: Inproceeding
Publisher: ACM
James Osborne, Miguel Bernabeu, Maria Bruna, Ben Calderhead, Jonathan Cooper, Neil Dalchau, Sara-Jane Dunn, Alexander Fletcher, Robin Freeman, Derek Groen, Bernhard Knapp, Greg McInerny, Gary Mirams, Joe Pitt-Francis, Biswa Sengupta, David Wright, Christian Yates, David Gavaghan, Stephen Emmott, and Charlotte Deane
Publication details
Date: 1 March 2014
Type: Article
Publisher: PLoS Computational Biology (Public Library of Science Computational Biology),
Number: 3
Matthew J. Smith, Paul I. Palmer, Drew W. Purves, Mark C. Vanderwel, Vassily Lyutsarev, Ben Calderhead, Lucas N. Joppa, Christopher M. Bishop, and Stephen Emmott

New details about natural and anthropogenic processes are continually added to models of the Earth System, anticipating that the increased realism will increase the accuracy of their predictions. However perspectives differ about whether this approach will improve the value of the information the models provide to decision makers, scientists and societies. The present bias towards increasing realism leads to a range of updated projections, but at the expense of uncertainty quantification and model...

Publication details
Date: 1 February 2014
Type: Article
Publisher: American Meteorological Society
Joppe W. Bos, Craig Costello, Patrick Longa, and Michael Naehrig

We select a set of elliptic curves for cryptography and analyze our selection from a performance and security perspective. This analysis complements recent curve proposals that suggest (twisted) Edwards curves by also considering the Weierstrass model. Working with both Montgomery-friendly and pseudo-Mersenne primes allows us to consider more possibilities which improves the overall efficiency of base field arithmetic. Our Weierstrass curves are backwards compatible with current implementations of prime...

Publication details
Date: 1 February 2014
Type: Technical report
Number: MSR-TR-2014-19
Michael Pedersen, Nicolas Oury, Colin Gravill, and Andrew Phillips

A host of formal, textual languages for modeling cellular processes have recently emerged, but their simulation tools often require an installation process which can pose a barrier for use. Bio Simulators is a framework for easy online deployment of simulators, providing a uniform web-based user interface to a diverse pool of tools. The framework is demonstrated through two plugins based on the KaSim Kappa simulator, one running directly in the browser and another running in the cloud.Web tool:...

Publication details
Date: 1 February 2014
Type: Article
Publisher: Oxford University Press
SL Pimm, CN Jenkins, R Abell, TM Brooks, JL Gittleman, LN Joppa, PH Raven, CM Roberts, and JO Sexton
Publication details
Date: 1 January 2014
Type: Article
Publisher: American Association for the Advancement of Science
Number: 6187
1–25 of 185
Sort
Show 25 | 50 | 100
1234567Next 
> Our research