Concept
S-expression
Related publications (32)
Designing self-tracking experiences: A qualitative study of the perceptions of barriers and facilitators to adopting digital health technology for automatic urine analysis at home
Delphine Ribes Lemay, Nicolas Henchoz, Emily Clare Groves, Margherita Motta, Andrea Regula Schneider
Self-tracking technologies open new doors to previously unimaginable scenarios. The diagnosis of diseases years in advance, or supporting the health of astronauts on missions to Mars are just some of many example applications. During the COVID-19 pandemic, ...
2023On Polynomial Algorithms for Normalizing Formulas
Viktor Kuncak, Simon Guilloud, Mario Bucev
We propose a new approach for normalization and simplification of logical formulas. Our approach is based on algorithms for lattice-like structures. Specifically, we present two efficient algorithms for computing a normal form and deciding the word problem ...
2022Zippy LL(1) Parsing with Derivatives
Viktor Kuncak, Jad Hamza, Romain Edelmann
In this paper, we present an efficient, functional, and formally verified parsing algorithm for LL(1) context-free expressions based on the concept of derivatives of formal languages. Parsing with derivatives is an elegant parsing technique, which, in the ...
ASSOC COMPUTING MACHINERY2020Bits through Time
In any communication system, there exist two dimensions through which the information at the source becomes distorted before reaching the destination: the noisy channel and time. Messages transmitted through a noisy channel are susceptible to modification ...
EPFL2019ETFL: A Formulation of ME-Models Accounting for Expression and Thermodynamics in Constraint-Based Models
Since flux balance analysis (FBA) has been introduced in Systems Biology, several attempts have been made at supplementing it with expression data [1-3]. With the notable exception of O’Brien et al. [1], none of them account directly for the enzyme product ...
2018The theoretical principles of the critical shear crack theory for punching shear failures and derivation of consistent closed-form design expressions
Aurelio Muttoni, Miguel Fernández Ruiz, João Tiago Ramos Bernardo de Santa Rita Simões
The mechanical model of the critical shear crack theory (CSCT) has been used in the past to investigate a number of shear-related problems, such as punching of slab–column connections with and without transverse reinforcement. In this paper, a discussion o ...
Structural concrete2018A TASTY Alternative
Martin Odersky, Eugene Burmako, Dmytro Petrashko
This document proposes a new serialization format for typed syntax trees of Scala programs. It aims to be ● compact: All numbers and references are length encoded, trees are inlined by default but may be shared. ● lazy: Trees can be explored from the top, ...
2016Indicators of Evidence for Bioequivalence
Stephan Morgenthaler, Robert Staudte
Some equivalence tests are based on two one-sided tests, where in many applications the test statistics are approximately normal. We define and find evidence for equivalence in Z-tests and then one-and two-sample binomial tests as well as for t-tests. Mult ...
Mdpi Ag2016The Critical Shear Crack Theory for punching design: from a mechanical model to closed-form design expressions
Aurelio Muttoni, Miguel Fernández Ruiz
The Critical Shear Crack Theory (CSCT) is a consistent approach used for shear design of one- and two-way slabs failing in shear and punching shear respectively. The theory is based on a mechanical model allowing to determine the amount of shear force that ...
2016Developing Verified Software Using Leon
We present Leon, a system for developing functional Scala programs annotated with contracts. Contracts in Leon can themselves refer to recursively defined functions. Leon aims to find counterexamples when functions do not meet the specifications, and proof ...
Springer-Verlag Berlin2015