Concept

Determinacy

Related publications (15)

Nonlinear evolution of the centrifugal instability using a semilinear model

We study the nonlinear evolution of the axisymmetric centrifugal instability developing on a columnar anticyclone with a Gaussian angular velocity using a semilinear approach. The model consists of two coupled equations: one for the linear evolution of the ...

CAMBRIDGE UNIV PRESS2020

Search for D-0 decays to invisible final states at Belle

Olivier Schneider, Yiming Li, Mingkui Wang, Chao Wang, Tagir Aushev, Sun Hee Kim, Tara Nanut, Jun Yong Kim, Ji Hyun Kim, Donghyun Kim, Dipanwita Dutta

We report the result from the first search for D-0 decays to invisible final states. The analysis is performed on a data sample of 924 fb(-1) collected at and near the gamma(4S) and gamma(5S) resonances with the Belle detector at the KEKB asymmetric-energy ...

Amer Physical Soc2017

Introducing a preliminary Consists Selection in the Locomotive Assignment Problem

Michel Bierlaire, Francesco Piu, Prem Kumar

The Locomotive Assignment Problem (LAP) is a class of planning and scheduling problems solved by assigning a fleet of locomotives to a network of trains. In the planning versions of the LAP, the type of consist (a group of linked locomotives) assigned to e ...

Elsevier2015

A New Identity for the Least-square Solution of Overdetermined Set of Linear Equations

Afsaneh Asaei, Mohammadjavad Taghizadeh, Saeid Haghighatshoar

In this paper, we prove a new identity for the least-square solution of an over-determined set of linear equation

Ax=b

, where

A

is an

m\times n

full-rank matrix,

b

is a column-vector of dimension

m

, and

m

(the number of equations) is larger tha ...

2015

A New Identity for the Least-square Solution of Overdetermined Set of Linear Equations

Afsaneh Asaei, Mohammadjavad Taghizadeh, Saeid Haghighatshoar

In this paper, we prove a new identity for the least-square solution of an over-determined set of linear equation

Ax=b

, where

A

is an

m\times n

full-rank matrix,

b

is a column-vector of dimension

m

, and

m

(the number of equations) is larger tha ...

Idiap2015

Advantageous State Merging During Symbolic Analysis

George Candea, Johannes Kinder, Volodymyr Kuznetsov, Stefan Bucur

A determination is made regarding whether to merge two symbolic analysis states. A first state corresponds to a first path through a program to a program location and a second state corresponds to a second path through the program to the program location. ...

2013

Assessing the accuracy of hybrid functionals in the determination of defect levels: Application to the As antisite in GaAs

Alfredo Pasquarello, Hannu-Pekka Komsa

The accuracy of nonscreened and screened hybrid functionals for the calculation of defect levels within the band gap is assessed for the As antisite in GaAs, the nature of which is well characterized experimentally. A set of functionals differing by the fr ...

2011

Extending the aerolysin family: from bacteria to vertebrates

Françoise Gisou van der Goot Grunberg, Mircea Ioan Iacovache

A number of bacterial virulence factors have been observed to adopt structures similar to that of aerolysin, the principal toxin of Aeromonas species. However, a comprehensive description of architecture and structure of the aerolysin-like superfamily has ...

Public Library of Science2011

Strategy construction for parity games with imperfect information

Laurent Doyen

We consider two-player parity games with imperfect information in which strategies rely on observations that provide imperfect information about the history of a play. To solve such games, i.e., to determine the winning regions of players and corresponding ...

2010

Epitome - A Social Game for Photo Album Summarization

Touradj Ebrahimi, Jong Seok Lee, Ivan Ivanov, Péter Vajda

In this paper, we propose an approach for photo album summarization through a novel social game "Epitome" for mobile phones. Our approach to album summarization consists of two games: "Select the Best!" and "Split it!". The goal of the first game is to all ...

2010

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

A New Identity for the Least-square Solution of Overdetermined Set of Linear Equations

Afsaneh Asaei, Mohammadjavad Taghizadeh, Saeid Haghighatshoar

In this paper, we prove a new identity for the least-square solution of an over-determined set of linear equation

Ax=b

, where

A

is an

m\times n

full-rank matrix,

b

is a column-vector of dimension

m

, and

m

(the number of equations) is larger tha ...

2015

A New Identity for the Least-square Solution of Overdetermined Set of Linear Equations

Afsaneh Asaei, Mohammadjavad Taghizadeh, Saeid Haghighatshoar

In this paper, we prove a new identity for the least-square solution of an over-determined set of linear equation

Ax=b

, where

A

is an

m\times n

full-rank matrix,

b

is a column-vector of dimension

m

, and

m

(the number of equations) is larger tha ...

Idiap2015