Algebraic logic

Related publications (98)

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.

Theory for the failure stress of a quasi-equilibrium, brittle polycrystal with a small void fraction

Aitor Luque Gomez

An equilibrated polycrystalline material is considered, containing a small fraction of void space (melt or vapor), for which the crystals are above their roughening transition against this medium. The grain boundaries are approximated to have equal free en ...

Elsevier2011

Sound Field Recording by Measuring Gradients

Martin Vetterli, Mihailo Kolundzija, Christof Faller

Gradient based microphone arrays, the horizontal sound field's plane wave decomposition, and the corresponding circular harmonics decomposition are reviewed. Further, a general relation between directivity patterns of the horizontal sound field gradients a ...

2010

Escola a Manresa / School in Manresa

Sergi Aguacil Moreno

The project is developed around a central courtyard in response to the site where it is located, while taking advantage of the existing slope to resolve the position of the singular buildings in relation to the system of grouping classrooms; the direct con ...

2010

Influence of the meso-structure in dynamic fracture simulation of concrete under tensile loading

Jean-François Molinari, Leonardo Snozzi

We investigate the dynamic behavior of concrete in relation to its composition within a computational framework (FEM). Concrete is modeled using a meso-mechanical approach in which aggregates and mortar are represented explicitly. Both continuum phases are ...

2010

Squatting the Sea

Harry Gugger

Chapter in the exhibition catalogue outlining the instigation and concept for the creation of the exhibition at the Biennale. The text focuses on the relation of urban development in Bahrain with the traditional and cultural connection to water and the sea ...

Kingdom of Bahrain2010

On Decision Procedures for Ordered Collections

Viktor Kuncak, Philippe Paul Henri Suter, Ruzica Piskac

We describe a decision procedure for a logic that supports 1) finite collections of elements (sets or multisets), 2) the cardinality operator, 3) a total order relation on elements, and 4) min and max operators on entire collections. Among the applications ...

2010

Universal Properties of Dark Matter Halos

Alexey Boyarsky, Oleg Ruchayskiy, Igor Tkachev

We discuss the universal relation between density and size of observed dark matter halos that was recently shown to hold on a wide range of scales, from dwarf galaxies to galaxy clusters. Predictions of cold dark matter (Lambda CDM) N-body simulations are ...

2010

Comparative study of ecohydrological streamflow probability distributions

Andrea Rinaldo, Enrico Bertuzzo, Serena Ceola, Gianluca Botter

We run a comparative study of ecohydrological models of streamflow probability distributions (pdfs), p(Q), derived by Botter et al. (2007a, 2009), against field data gathered in different hydrological contexts. Streamflows measured in several catchments ac ...

American Geophysical Union2010

3D Quality is More Than Just the Sum of 2D And Depth

Touradj Ebrahimi, Lutz Goldmann

The success of 3DTV, as one of the emerging multimedia formats, will largely depend on the quality of experience it provides to the viewer in relation to traditional media. Therefore reliable methods for quality assessment are crucial in order to optimize ...

2010

On the spectral estimates for Schrödinger type operators. The case of small local dimension

The behavior of the discrete spectrum of the Schr"odinger operator

-\D - V

, in quite a general setting, up to a large extent is determined by the behavior of the corresponding heat kernel

P(t;x,y)

t\to 0

and

t\to\infty

. If this behavior is powe ...

2010

On the spectral estimates for Schrödinger type operators. The case of small local dimension

The behavior of the discrete spectrum of the Schr"odinger operator

-\D - V

, in quite a general setting, up to a large extent is determined by the behavior of the corresponding heat kernel

P(t;x,y)

t\to 0

and

t\to\infty

. If this behavior is powe ...

2010