Concept

Peano axioms

Related publications (32)

On Linear Arithmetic with Stars

We consider an extension of integer linear arithmetic with a star operator that takes closure under vector addition of the set of solutions of linear arithmetic subformula. We show that the satisfiability problem for this language is in NP (and therefore N ...

2008

Weak metrics on Euclidean domains

Marc Troyanov

A weak metric on a set is a function that satisfies the axioms of a metric except the symmetry and the separation axioms. The aim of this paper is to present some interesting weak metrics and to study some of their properties. In particular, we introduce a ...

2007

Decision Procedures for Multisets with Cardinality Constraints

Viktor Kuncak, Ruzica Piskac

Applications in software verification and interactive theorem proving often involve reasoning about sets of objects. Cardinality constraints on such collections also arise in these applications. Multisets arise in these applications for analogous reasons a ...

2007

Discrete choice models with multiplicative error terms

Michel Bierlaire

The conditional indirect utility of many random utility maximization (RUM) discrete choice models is specified as a sum of an index V depending on observables and an independent random term P. In general, the universe of RUM consistent models is much large ...

2007

Circumventing the problem of the scale: discrete choice models with multiplicative error terms

Michel Bierlaire

We propose a multiplicative specification of a discrete choice model that renders choice probabilities independent of the scale of the utility. The scale can thus be random with unspecified distribution. The model mostly outperforms the classical additive ...

2007

Circumventing the problem of the scale: discrete choice models with multiplicative error terms

Michel Bierlaire

2007

Circumventing the problem of the scale: discrete choice models with multiplicative error terms

Michel Bierlaire

2006

Discrete choice models with multiplicative error terms

Michel Bierlaire

2006

Observational manifestations of anomaly inflow

Alexey Boyarsky, Oleg Ruchayskiy

In theories with chiral couplings, one of the important consistency requirements is that of the cancellation of a gauge anomaly. In particular, this is one of the conditions imposed on the hypercharges in the standard model. However, anomaly cancellation c ...

2005

Capillarity correction to periodic solutions of the shallow flow approximation

David Andrew Barry

The shallow flow expansion is used to derive equations describing the flow of fluid in an unconfined aquifer. The expansion, which is carried out to second order, is combined with an approximation accounting for the influence of the capillary fringe to giv ...

American Geophysical Union1996

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.