Publications associées à Free variables and bound variables

Reducibility bounds of objective functions over the integers

We study the settings where we are given a separable objective function of n variables defined in a given box of integers. We show that in many cases we can replace the given objective function by a new function with a much smaller domain. Our results appl ...

Elsevier2023

Decision Procedures for Power Structures

Rodrigo Raya

We study the decision problem for the existential fragment of the theory of power structures. We prove complexity results that parallel the decidability results of Feferman-Vaught for the theories of product structures thereby showing that the construction ...

EPFL2023

Capturing Types

Martin Odersky, Aleksander Slawomir Boruch-Gruszecki, Ondrej Lhoták

Type systems usually characterize the shape of values but not their free variables. However, many desirable safety properties could be guaranteed if one knew the free variables captured by values. We describe CC

Assoc Computing Machinery2023

Keep Sensors in Check: Disentangling Country-Level Generalization Issues in Mobile Sensor-Based Models with Diversity Scores

Daniel Gatica-Perez, Lakmal Buddika Meegahapola

Machine learning models trained with passive sensor data from mobile devices can be used to perform various inferences pertaining to activity recognition, context awareness, and health and well-being. Prior work has improved inference performance through t ...

Assoc Computing Machinery2023

Global Free-Energy Landscapes as a Smoothly Joined Collection of Local Maps

Michele Ceriotti, Gareth Aneurin Tribello, Federico Giberti

Enhanced sampling techniques have become an essential tool in computational chemistry and physics, where they are applied to sample activated processes that occur on a time scale that is inaccessible to conventional simulations. Despite their popularity, i ...

2021

Review of control strategies for lower-limb exoskeletons to assist gait

Auke Ijspeert, Mohamed Bouri, Ali Reza Manzoori, Romain Pierre François Baud

Background Many lower-limb exoskeletons have been developed to assist gait, exhibiting a large range of control methods. The goal of this paper is to review and classify these control strategies, that determine how these devices interact with the user. Met ...

BioMed Central2021

Declarative Variables in Online Dating: A Mixed-Method Analysis of a Mimetic-Distinctive Mechanism

Daniel Gatica-Perez, Jessica Carolina Pidoux

Declarative variables of self-description have a long-standing tradition in matchmaking media. With the advent of online dating platforms and their brand positioning, the volume and semantics of variables vary greatly across apps. However, a variable lands ...

2021

On decoupling rate processes in chemical reaction systems - Methods and applications

Dominique Bonvin, Julien Léo Billeter, Michael Amrhein, Diogo Filipe Mateus Rodrigues

Models of chemical reaction systems can be complex as they need to include information regarding the reactions and the mass and heat transfers. The commonly used state variables, namely, concentrations and temperatures, express the interplay between many p ...

2018

Unifying Analytic and Statically-Typed Quasiquotes

Christoph Koch, Amir Shaikhha, Lionel Emile Vincent Parreaux

Metaprograms are programs that manipulate (generate, analyze and evaluate) other programs. These tasks are greatly facilitated by quasiquotation, a technique to construct and deconstruct program fragments using quoted code templates expressed in the syntax ...

2018

Higher-Order Subtyping with Type Intervals

Sandro Stucki

Modern, statically typed programming languages provide various abstraction facilities at both the term- and type-level. Common abstraction mechanisms for types include parametric polymorphism -- a hallmark of functional languages -- and subtyping -- which ...

EPFL2017

Big answers from small worlds: a user's guide for protist microcosms as a model system in ecology and evolution

Andrea Giometto, Florian Altermatt

Laboratory microcosm experiments using protists as model organisms have a long tradition and are widely used to investigate general concepts in population biology, community ecology and evolutionary biology. Many variables of interest are measured in order ...

Wiley-Blackwell2015

Data Reconciliation in Open Reaction Systems using the Concept of Extents

Dominique Bonvin, Julien Léo Billeter, Sriniketh Srinivasan

Kinetic models of chemical reaction systems are typically represented in terms of state variables, such as concentrations, temperature and partial pressures [1]. These state variables in turn depend on the underlying reactions, transfer phenomena, and tran ...

2015

Smooth Scan: Statistics-Oblivious Access Paths

Anastasia Ailamaki, Renata Borovica-Gajic

Query optimizers depend heavily on statistics representing column distributions to create efficient query plans. In many cases, though, statistics are outdated or non-existent, and the process of refreshing statistics is very expensive, especially for ad-h ...

2015

Measuring the Dynamics of Contrast & Daylight Variability in Architecture: A Proof of Concept Methodology

Marilyne Andersen, Siobhan Francois Rockcastle

Unlike artificial light sources, which can be calibrated to meet a desired luminous effect regardless of latitude, climate, or time of day, daylight is a dynamic light source, which produces variable shadow patterns and fluctuating levels of brightness. Wh ...

Elsevier2014

On the Use of Extents for Process Monitoring and Fault Diagnosis

Dominique Bonvin, Julien Léo Billeter, Sriniketh Srinivasan

Process monitoring and fault diagnosis are broadly used to control quality and enforce safety compliance in industrial processes. Processes are commonly monitored by online spectroscopy, with either PCA or calibration techniques such as PLS being used to p ...

2014

On the use of extents for process monitoring and fault diagnosis

Dominique Bonvin, Julien Léo Billeter, Sriniketh Srinivasan

Process monitoring and fault diagnosis are broadly used to control quality and enforce safety compliance in industrial processes. Processes are commonly monitored by online spectroscopy, with either PCA or calibration techniques such as PLS being used to p ...

2014

Sets with Cardinality Constraints in Satisfiability Modulo Theories

Viktor Kuncak, Philippe Paul Henri Suter, Robin Steiger

Boolean Algebra with Presburger Arithmetic (BAPA) is a decidable logic that can express constraints on sets of elements and their cardinalities. Problems from verification of complex properties of software often contain fragments that belong to quantifier- ...

Springer-Verlag New York, Ms Ingrid Cunningham, 175 Fifth Ave, New York, Ny 10010 Usa2011

Identifying important state variables for a blind controller

Nicolas Morel, David Daum

In literature many different blind controller have been proposed and it has been shown in most cases, that they can provide energy savings and better comfort. In the early approaches they where based only on one state variable, but over time more variables ...

Elsevier2010

ABC: Algebraic Bound Computation for Loops

Régis William Blanc, Laura Ildiko Kovacs, Thibaud Hottelier

We present ABC, a software tool for automatically computing symbolic upper bounds on the number of iterations of nested program loops. The system combines static analysis of programs with symbolic summation techniques to derive loop invariant relations bet ...

Springer Berlin Heidelberg2010

Decision Procedures for Algebraic Data Types with Abstractions

Viktor Kuncak, Philippe Paul Henri Suter, Mirco Dotta

We describe a family of decision procedures that extend the decision procedure for quantifier-free constraints on recursive algebraic data types (term algebras) to support recursive abstraction functions. Our abstraction functions are catamorphisms (term a ...

2010