Concept

Well-formed formula

Related publications (49)

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.

A computationally-efficient FIR MMSE-DFE for multi-user communications

Ali H. Sayed

A new theoretical framework is introduced for analyzing the performance of a finite-length minimum-mean-square-error decision feedback equalizer (MMSE-DFE) in a multi-input multi-output (MIMO) environment. The framework includes transmit and receive divers ...

1999

A closed form formula for valuing mortgages

Pierre Collin Dufresne

We develop a closed form formula for the value of a fixed-rate residential mortgage that includes the provision that the borrower can prepay at any time with no penalty. The value of the mortgage equals the expectation, under the risk neutral probability m ...

Springer Verlag1999

Vertical position control on COMPASS-D

Theoretical and experimental work on the vertical position control system on the COMPASS-D tokamak is described. An analog proportional + derivative (P + D) system is currently used, and two important sources of disturbance are observed in the system. One ...

1998

Formal testing of object-oriented software

Cécile Peraire

This thesis presents a method and a tool for test set selection, dedicated to object-oriented applications and based on formal specifications. Testing is one method to increase the quality of today's extraordinary complex software. The aim is to find progr ...

EPFL1998

Zeros of Continuous-time Linear Periodic Systems

Giancarlo Ferrari Trecate

Zeros of continuous-time linear periodic systems are defined and their properties investigated. Under the assumption that the system has uniform relative degree, the zero-dynamics of the system is characterized and a closed-form expression of the blocking ...

1998

Design guidelines for CMOS current steering logic

Maher Kayal, Michel Declercq

Closed-form expressions for static and dynamic parameters have been derived for the Current Steering Logic (CSL) inverter. Measurements and simulation results that validate these expressions are presented for a 2.5V power supply, Design guidelines are give ...

1997

On the zeros of discrete-time linear periodic systems

Giancarlo Ferrari Trecate

Discrete-time linear periodic SISO systems having uniform relative degree are considered. A closed-form expression of the blocking input is derived and exploited to obtain a computationally advantageous characterisation of the structural zeros. Indeed, it ...

1997

Zeros of Continuous-time Linear Periodic Systems

Giancarlo Ferrari Trecate

1996

Die Beeinflußbarkeit der syn-Stereoselektivität bei Carben-Additionen an Olefine

The syn-anti ratio of 7-(R-substituted)-norcaranes (I, R = Ph. F, Cl) formed in the cycloaddn. of cyclohexene (II) with PhCH2F, PhCH2Cl, PhCHBrF, PhCHBr2, FCHBr2, ClCHBr2, or CH2Cl and BuLi in various solvents under N was examd. with respect to influences ...

1970