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

Amsterdam2023

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

New York2023

A Dynamic Multi-Region MFD Model for Ride-Sourcing Systems with Ridesplitting

Nikolaos Geroliminis, Caio Vitor Beojone

Dynamic network-level models directly addressing ride-sourcing services can be useful for the development of efficient traffic management strategies both for city and company operators. Recent developments presented models under equilibrium situations for ...

2022

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

AMER CHEMICAL SOC2021

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

BMC2021

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

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.

Free variables and bound variables

Reducibility bounds of objective functions over the integers

Decision Procedures for Power Structures

Capturing Types

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

A Dynamic Multi-Region MFD Model for Ride-Sourcing Systems with Ridesplitting

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

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

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

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

Unifying Analytic and Statically-Typed Quasiquotes

Graph Chatbot

Chattez avec Graph Search

Reducibility bounds of objective functions over the integers

Decision Procedures for Power Structures

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

Capturing Types

Unifying Analytic and Statically-Typed Quasiquotes

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

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

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

A Dynamic Multi-Region MFD Model for Ride-Sourcing Systems with Ridesplitting

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