Revealing the vectors of cellular identity with single-cell genomics
Single-cell genomics has now made it possible to create a comprehensive atlas of human
cells. At the same time, it has reopened definitions of a cell's identity and of the ways in …
cells. At the same time, it has reopened definitions of a cell's identity and of the ways in …
Executable cancer models: successes and challenges
Making decisions on how best to treat cancer patients requires the integration of different
data sets, including genomic profiles, tumour histopathology, radiological images, proteomic …
data sets, including genomic profiles, tumour histopathology, radiological images, proteomic …
Flashmeta: A framework for inductive program synthesis
Inductive synthesis, or programming-by-examples (PBE) is gaining prominence with
disruptive applications for automating repetitive tasks in end-user programming. However …
disruptive applications for automating repetitive tasks in end-user programming. However …
Decoding the regulatory network of early blood development from single-cell gene expression measurements
V Moignard, S Woodhouse, L Haghverdi, AJ Lilly… - Nature …, 2015 - nature.com
Reconstruction of the molecular pathways controlling organ development has been
hampered by a lack of methods to resolve embryonic progenitor cells. Here we describe a …
hampered by a lack of methods to resolve embryonic progenitor cells. Here we describe a …
Inversecsg: Automatic conversion of 3d models to csg trees
While computer-aided design is a major part of many modern manufacturing pipelines, the
design files typically generated describe raw geometry. Lost in this representation is the …
design files typically generated describe raw geometry. Lost in this representation is the …
A lightweight symbolic virtual machine for solver-aided host languages
Solver-aided domain-specific languages (SDSLs) are an emerging class of computer-aided
programming systems. They ease the construction of programs by using satisfiability solvers …
programming systems. They ease the construction of programs by using satisfiability solvers …
Optimizing synthesis with metasketches
Many advanced programming tools---for both end-users and expert developers---rely on
program synthesis to automatically generate implementations from high-level specifications …
program synthesis to automatically generate implementations from high-level specifications …
Precise parameter synthesis for stochastic biochemical systems
We consider the problem of synthesising rate parameters for stochastic biochemical
networks so that a given time-bounded CSL property is guaranteed to hold, or, in the case of …
networks so that a given time-bounded CSL property is guaranteed to hold, or, in the case of …
Scalable verification of border gateway protocol configurations with an SMT solver
Internet Service Providers (ISPs) use the Border Gateway Protocol (BGP) to announce and
exchange routes for de-livering packets through the internet. ISPs must carefully configure …
exchange routes for de-livering packets through the internet. ISPs must carefully configure …
Neurosymbolic programming for science
Neurosymbolic Programming (NP) techniques have the potential to accelerate scientific
discovery. These models combine neural and symbolic components to learn complex …
discovery. These models combine neural and symbolic components to learn complex …