Concept

Logical positivism

Related publications (32)

A Formal Developement and Validation Methodology for System Design

This paper presents first a formal development methodology that enables the validation of formal specifications as well as program codes wrt client's requirements. The methodology is based on the two languages framework: it advocates the joint use of a mod ...

1999

Sculpting of a fractal river basin

Andrea Rinaldo, Amos Maritan

The principle of reparametrization invariance is used to derive a dynamical equation for the erosion of the landscape of the drainage basin of river networks. The stationary solutions of the equation are found to have scaling behavior that is consistent wi ...

1997

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.