Concept

Logical positivism

Related publications (32)

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.

Verso un'oggettività della bellezza. L'insegnamento dei Grigioni.

Stefano Zerbi, Luca Conti, Marco Svimbersky

Contemporary society is based on a perpetual evolution of personal opinions and likings. The transmission of knowledge is questioned, but if the education and teaching about a critical vision is considered an essential instrument, so the schools and the ma ...

2010

ProtoFlex: Towards Scalable, Full-System Multiprocessor Simulations Using FPGAs

Babak Falsafi

Functional full-system simulators are powerful and versatile research tools for accelerating architectural exploration and advanced software development. Their main shortcoming is limited throughput when simulating large multiprocessor systems with hundred ...

2009

Fast Non-Rigid Surface Detection, Registration and Realistic Augmentation

Pascal Fua, Vincent Lepetit, Julien Pilet

We present a real-time method for detecting deformable surfaces, with no need whatsoever for a priori pose knowledge. Our method starts from a set of wide baseline point matches between an undeformed image of the object and the image in which it is to be d ...

2008

A modeling framework for product development process considering its characteristics

Product development (PD) processes are complex and unstructured compared to business or manufacturing processes, as they have iterative, evolutionary, uncertain, and cooperative features. In order to effectively manage and control a complex PD process, app ...

2008

Probabilistic structure of the distance between tributaries of given size in river networks

Andrea Rinaldo, Amos Maritan

We analyze the distribution of the distances between tributaries of a given size (or of sizes larger than a given area) draining along either an open boundary or the mainstream of a river network. By proposing a description of the distance separating presc ...

2007

Lazy Shape Analysis

Dirk Thilo Beyer, Grégory Théoduloz

Many software model checkers are based on predicate abstraction. If the verification goal depends on pointer structures, the approach does not work well, because it is difficult to find adequate predicate abstractions for the heap. In contrast, shape analy ...

Springer2006

Real-Time Non-Rigid Surface Detection

Pascal Fua, Vincent Lepetit, Julien Pilet

2005

Real-time non-rigid surface detection

Pascal Fua, Vincent Lepetit, Julien Pilet

2004

Hybrid Modeling and Control of a Hydroelectric Power Plant

Giancarlo Ferrari Trecate

In this work we present the model of a hydroelectric power plant in the framework of Mixed Logic Dynamical (MLD) systems. Each outflow unit exhibits a hybrid behaviour since flaps, gates and turbines are controlled with logical inputs and the outflow dynam ...

2000

Mixed Logic Dynamical Model of a Hydroelectric Power Plant

Giancarlo Ferrari Trecate

In this work we present the model of a hydroelectric power plant in the framework of Mixed Logic Dynamical (MLD) systems. Each outflow unit exhibits a hybrid behavior since flaps, gates and turbines are controlled with logical inputs and the outflow dynami ...

2000