Publications associées à S-expression

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, ...

2023

Zippy LL(1) Parsing with Derivatives

Viktor Kuncak, Romain Edelmann, Jad Hamza

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 MACHINERY2020

The 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 concrete2018

Indicators 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 Ag2016

Symbolic Resource Bound Inference

Viktor Kuncak, Ravichandhran Kandhadai Madhavan

We present an approach for inferring symbolic resource bounds for purely functional programs consisting of recursive functions, algebraic data types and nonlinear arithmetic operations. In our approach, the developer specifies the desired shape of the boun ...

2014

Cyme: A Library Maximizing SIMD Computation on User-Defined Containers

Felix Schürmann, Timothée Ewart

This paper presents Cyme, a C++ library aiming at abstracting the usage of SIMD instructions while maximizing the usage of the underlying hardware. Unlike similar efforts such as Boost.simd or VC, Cyme provides generic high level containers to the users wh ...

Springer International Publishing2014

On Repairing Ill-Typed Expressions

Ruzica Piskac, Tihomir Gvero, Ivan Kuraj

When developing code, a programmer typically knows the approximate structure of the desired expression. However, often the first attempt at writing it down results in an ill-typed code fragment. We propose an approach that automatically repairs code expres ...

2013

Scala-Virtualized: Linguistic Reuse for Deep Embeddings

Martin Odersky, Tiark Rompf, Philipp Haller, Nada Amin

Scala-Virtualized extends the Scala language to better support hosting embedded DSLs. Scala is an expressive language that provides a flexible syntax, type-level computation using implicits, and other features that facilitate the development of em- bedded ...

Springer Verlag2013

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

S-expression

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

Zippy LL(1) Parsing with Derivatives

ETFL: A Formulation of ME-Models Accounting for Expression and Thermodynamics in Constraint-Based Models

The theoretical principles of the critical shear crack theory for punching shear failures and derivation of consistent closed-form design expressions

Indicators of Evidence for Bioequivalence

Developing Verified Software Using Leon

Symbolic Resource Bound Inference

Cyme: A Library Maximizing SIMD Computation on User-Defined Containers

On Repairing Ill-Typed Expressions

Scala-Virtualized: Linguistic Reuse for Deep Embeddings

Graph Chatbot

Chattez avec Graph Search

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

Scala-Virtualized: Linguistic Reuse for Deep Embeddings

Symbolic Resource Bound Inference

ETFL: A Formulation of ME-Models Accounting for Expression and Thermodynamics in Constraint-Based Models

On Repairing Ill-Typed Expressions

Cyme: A Library Maximizing SIMD Computation on User-Defined Containers

Zippy LL(1) Parsing with Derivatives

Indicators of Evidence for Bioequivalence

Developing Verified Software Using Leon

The theoretical principles of the critical shear crack theory for punching shear failures and derivation of consistent closed-form design expressions