Publications related to Determinacy

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

Mingkui Wang, Olivier Schneider, Chao Wang, Yiming Li, Sun Hee Kim, Tara Nanut, Jun Yong Kim

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

American Physical Society2017

Introducing a preliminary Consists Selection in the Locomotive Assignment Problem

Michel Bierlaire, Francesco Piu

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

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

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, Péter Vajda, Ivan Ivanov

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