Concept

Gödel's completeness theorem

Related publications (33)

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.

Omnidirectional Light Field Analysis and Reconstruction

Luigi Bagnato

Digital photography exists since 1975, when Steven Sasson attempted to build the first digital camera. Since then the concept of digital camera did not evolve much: an optical lens concentrates light rays onto a focal plane where a planar photosensitive ar ...

EPFL2012

Frictionless electrostatic rotary stepper micromotor for microrobotic applications

Marc Stranczl

We present the modeling and experimental characterization of a monolithic 3-phase rotary stepper micromotor which employs a flexure suspension to guide the rotor. The monolithic structure avoids any frictional contact during operation, providing a precise, ...

2011

Cryptographic Hash Functions in Groups and Provable Properties

Juraj Sarinay

We consider several "provably secure" hash functions that compute simple sums in a well chosen group (G,*). Security properties of such functions provably translate in a natural way to computational problems in G that are simple to define and possibly also ...

EPFL2011

The Momentum Map Representation of Images

Tudor Ratiu, François Gay-Balmaz, Martins Bruveris

This paper discusses the mathematical framework for designing methods of Large Deformation Diffeomorphic Matching (LDM) for image registration in computational anatomy. After reviewing the geometrical framework of LDM image registration methods, we prove a ...

Springer Verlag2011

Using Life Cycle Approaches to Enhance the Value of Corporate Environmental Disclosures

Damien Antoine Friot

As the focus of environmental policy and management shifts from cleaner production at the process level towards greener products as a whole, stakeholders ask for transparency throughout the entire value chain. This article assesses the comprehensiveness an ...

2011

An important application of unique object references is safe and efficient message passing in concurrent object-oriented programming. However, to prevent the ill effects of aliasing, practical systems often severely restrict the shape of messages passed by ...

Springer2010

Recent Developments on the EPFL-High Voltage MOSFET Model (EPFL-HVMOS)

Jean-Michel Sallese, François Krummenacher, Antonios Bazigos

We present the latest developments and some preliminary results on High-Voltage MOSFET modelling at EPFL. A novel physics-based compact model is derived for the drift region. It includes velocity saturation and Poisson equation in a self consistent formali ...

2010

Sheath boundary conditions for plasma fluid models

Ambrogio Fasoli, Ivo Furno, Paolo Ricci, Christian Gabriel Theiler, Joaquim Loizu Cisquella

A new definition of the sheath edge is rigorously derived taking into account the kinetic properties of the plasma, and a consistent set of local sheath edge conditions is presented for the case of a magnetic field perpendicular to the wall. These local bo ...

2010

Capabilities for Uniqueness and Borrowing

Martin Odersky, Philipp Haller

2009

We propose a highly efficient framework for penalized likelihood kernel methods applied to multi-class models with a large, structured set of classes. As opposed to many previous approaches which try to decompose the fitting problem into many smaller ones, ...

Massachusetts Institute of Technology Press2008