Concept
Counterexample
Related publications (8)
Positive Definite Completions and Continuous Graphical Models
This thesis concerns the theory of positive-definite completions and its mutually beneficial connections to the statistics of function-valued or continuously-indexed random processes, better known as functional data analysis. In particular, it dwells upon ...
EPFL2023Verified Functional Programming
In this thesis, we present Stainless, a verification system for an expressive subset of the Scala language.
Our system is based on a dependently-typed language and an algorithmic type checking procedure
which ensures total correctness. We rely on SMT solve ...
EPFL2019The role of atomistic simulations in probing hydrogen effects on plasticity and embrittlement in metals
Atomistic simulations are a powerful complement to experimental probes for understanding the nanoscale processes associated with the effects of hydrogen (H) on plasticity and fracture that are the underlying causes of hydrogen embrittlement (HE). Current e ...
PERGAMON-ELSEVIER SCIENCE LTD2019Inferring the Evolutionary History of Primate microRNA Binding Sites: Overcoming Motif Counting Biases
Jeffrey David Jensen, Feng Gao
The first microRNAs (miRNAs) were identified as essential, conserved regulators of gene expression, targeting the same genes across nearly all bilaterians. However, there are also prominent examples of conserved miRNAs whose functions appear to have shifte ...
Oxford Univ Press2014