Publications related to Variable (mathematics)

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

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

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 long time behavior of solutions to nonlinear dispersive equations

Stefano Francesco Burzio

In part I, we address the issue of existence of solutions for Cauchy problems involving nonlinear hyperbolic equations for initial data in Sobolev spaces with scaling subcritical regularity. In particular, we analyse nonlinear estimates for null-forms in t ...

EPFL2020

Cost for a controlled linear KdV equation

Joachim Krieger, Shengquan Xiang

The controllability of the linearized KdV equation with right Neumann control is studied in the pioneering work of Rosier [25]. However, the proof is by contradiction arguments and the value of the observability constant remains unknown, though rich mathem ...

2019

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

The Mutual Information in Random Linear Estimation Beyond i.i.d. Matrices

Nicolas Macris, Jean François Emmanuel Barbier, Florent Gérard Krzakala

There has been definite progress recently in proving the variational single-letter formula given by the heuristic replica method for various estimation problems. In particular, the replica formula for the mutual information in the case of noisy linear esti ...

IEEE2018

Spatial fringe analysis techniques for multiple phase and phase derivative estimation

Rishikesh Dilip Kulkarni

Analysis of fringe patterns for the accurate estimation of phase and phase derivatives is of crucial importance in optical interferometry as these quantities provide important information on the physical parameters under study. A wide range of applications ...

EPFL2016

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

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

Improving Bicyclic Peptide Phage Display and Development of Sortase A Inhibitors

Inmaculada Rentero Rebollo

Bicyclic peptide ligands are promising molecules for the development of new therapeutics. They combine advantages from large protein therapeutics and small molecule drugs. Large combinatorial libraries of bicyclic peptides can be generated and screened by ...

EPFL2014

Phage display libraries of differently sized bicyclic peptides

Christian Heinis, Inmaculada Rentero Rebollo, Alessandro Angelini

Phage selections with combinatorial libraries of uniformly sized bicyclic peptides have recently yielded potent and selective binders of several protein targets. In this work we varied in a combinatorial fashion the ring sizes of bicyclic peptides in phage ...

Royal Soc Chemistry2013

Method for multi-objective quality-driven service selection

Boi Faltings, Immanuel Trummer

This invention relates to the field of multi-objective workflow optimization. Certain exemplary embodiments of the invention are applicable in cases where workflow descriptions contain choice variables relating for instance to the selection of a specific s ...

2013

New Parametric Model of Medium-Frequency Single-Active-Bridge Converters

Alfred Rufer, Philippe Barrade, Asier Garcia Bediaga, Irma Villar, Alejandro Rujas

This paper presents a new parametric model of a single-active-bridge (SAB) converter with a variable number of phases. The soft-switching behavior and the design of snubbers are also analyzed. The analytical study is validated using PLECS simulation softwa ...

2013

ElimLin Algorithm Revisited

Serge Vaudenay, Pouyan Sepehrdad, Petr Susil

ElimLin is a simple algorithm for solving polynomial systems of multivariate equations over small finite fields. It was initially proposed as a single tool by Courtois to attack DES. It can reveal some hidden linear equations existing in the ideal generate ...

Springer2012

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

Algebraic, AIDA/Cube and Side Channel Analysis of KATAN Family of Block Ciphers

Pouyan Sepehrdad, Jorge Nakahara

This paper presents the first results on AIDA/cube, algebraic and side-channel attacks on variable number of rounds of all members of the KATAN family of block ciphers. Our cube attacks reach 60, 40 and 30 rounds of KATAN32, KATAN48 and KATAN64, respective ...

Springer2010

A New Locus for Congenital Cataract, Microcornea, Microphthalmia, and Atypical Iris Coloboma Maps to Chromosome 2

Objective: To report a novel phenotype of autosomal dominant atypical congenital cataract associated with variable expression of microcornea, microphthalmia, and iris coloboma linked to chromosome 2. Molecular analysis of this phenotype may improve our und ...

2009

Program Analysis with Dynamic Precision Adjustment

Grégory Théoduloz, Dirk Thilo Beyer

We present and evaluate a framework and tool for combining multiple program analyses which allows the dynamic (on-line) adjustment of the precision of each analysis depending on the accumulated results. For example, the explicit tracking of the values of a ...

IEEE2008