Publications related to Well-founded relation

Enhanced measurement equations for latent class choice models

Michel Bierlaire, Ricardo Daniel Hurtubia González, Aurélie Glerum, My Hang Nguyen

Integrating psychometric indicators in latent class choice models allows to enhance the characterization of the latent classes. In this research, we consider measurement equations that include socio-economic indicators of the decision-makers. We show that ...

2013

Decision Procedures for Automating Termination Proofs

Ruzica Piskac

Automated termination provers often use the following schema to prove that a program terminates: construct a relational abstraction of the program's transition relation and then show that the relational abstraction is well-founded. The focus of current too ...

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

Single crystal nuclear magnetic resonance in spinning powders

David Lyndon Emsley

We present a method for selectively exciting nuclear magnetic resonances (NMRs) from well-defined subsets of crystallites from a powdered sample under magic angle spinning. Magic angle spinning induces a time dependence in the anisotropic interactions, whi ...

AMER INST PHYSICS2011

Comfusy: A Tool for Complete Functional Synthesis

Viktor Kuncak, Mikaël Mayer, Philippe Paul Henri Suter, Ruzica Piskac

Synthesis of program fragments from specifications can make programs easier to write and easier to reason about. We present Comfusy, a tool that extends the compiler for the general-purpose programming language Scala with (non-reactive) functional synthesi ...

Springer2010

The Emancipation of Destruction – Transforming Gällivare (Suède)

Linus Godet

Gällivare is a remote city in the middle of the northern Swedish wilderness. The city was established as iron ore was found in the ground just over a century ago. Until the 60's the mining industry and the city grew together in what seemed to be a perfect ...

2009

Secrecy for bounded security protocols with freshness check is NEXPTIME-complete

The secrecy problem for security protocols is the problem to decide whether or not a given security protocol has leaky runs. In this paper, the (initial) secrecy problem for bounded protocols with freshness check is shown to be NEXPTIME-complete. Relating ...

2008

Management of Technology in a Learning Center Project

The learning center concept is based on a new vision centered on the need for a convergence of human, information, knowledge, educational resources and a relevant part of information and collaborative technologies. This vision is founded on the new student ...

2005

A Note on the Stochastic Bias of Some Increase-Decrease Congestion Cont rols: HighSpeed TCP Case Study

Jean-Yves Le Boudec, Milan Vojnovic

We consider increase-decrease congestion controls, a formulation that accommodates many known congestion controls. There have been many works that aim to obtain relation between the loss-event rate

\fpp

and time-average window

\taw

for some known parti ...

2003

A Note on the Stochastic Bias of Some Increase-Decrease Congestion Controls: HighSpeed TCP Case Study

Jean-Yves Le Boudec, Milan Vojnovic

We consider increase-decrease congestion controls, a formulation that accommodates many known congestion controls. There have been many works that aim to obtain relation between the loss-event rate

\fpp

and time-average window

\taw

for some known parti ...

2002

First-principles study of NH3 exposed Si(001)2x1: Relation between N 1s core-level shifts and atomic structure

Alfredo Pasquarello

Using a first-principles approach, we assign N 1s core-level shifts at ammonium exposed Si(001)2x1 surfaces to definite bonding configurations of N atoms. Model structures are obtained by fully relaxing the atomic positions of N atoms in different bonding ...

2000

Well-founded relation

Graph Chatbot

Chat with Graph Search

Enhanced measurement equations for latent class choice models

Decision Procedures for Automating Termination Proofs

Single crystal nuclear magnetic resonance in spinning powders

Comfusy: A Tool for Complete Functional Synthesis

The Emancipation of Destruction – Transforming Gällivare (Suède)

Secrecy for bounded security protocols with freshness check is NEXPTIME-complete

Management of Technology in a Learning Center Project

A Note on the Stochastic Bias of Some Increase-Decrease Congestion Cont rols: HighSpeed TCP Case Study

A Note on the Stochastic Bias of Some Increase-Decrease Congestion Controls: HighSpeed TCP Case Study

First-principles study of NH3 exposed Si(001)2x1: Relation between N 1s core-level shifts and atomic structure

Management of Technology in a Learning Center Project

Comfusy: A Tool for Complete Functional Synthesis

The Emancipation of Destruction – Transforming Gällivare (Suède)

First-principles study of NH3 exposed Si(001)2x1: Relation between N 1s core-level shifts and atomic structure

A Note on the Stochastic Bias of Some Increase-Decrease Congestion Controls: HighSpeed TCP Case Study

Enhanced measurement equations for latent class choice models

Secrecy for bounded security protocols with freshness check is NEXPTIME-complete

Single crystal nuclear magnetic resonance in spinning powders

Decision Procedures for Automating Termination Proofs

A Note on the Stochastic Bias of Some Increase-Decrease Congestion Cont rols: HighSpeed TCP Case Study