Serge Autexier1 and Dieter Hutter2 and Till Mossakowski3 and Axel S hairer2 1 FR 6.2 Informatik, Saarland University, P.O. Box 15 11 50, D 66041 Saarbr u ken, Autexier ags.uni-sb.de 2 DKFI GmbH, Stuhlsatzenhausweg 3, D 66123 Saarbr u ken, hutter dfki.de 3 FB 3, University of Bremen, P.O. Box 330 440, D 28334 Bremen, till tzi.de 1 Overview The use of formal methods is propagated to in rease th...

Damour and Mukhanov have recently devised circumstances in which in ation may continue during the oscillatory phase which ensues once the in aton eld reaches the minimum of its potential. We con rm the existence of this phenomenon by numerical integration. In such circumstances the quanti cation of the amount of in ation requires particular care. We use a de nition based on the decrease of the ...

Conventional wisdom is that in‡ation makes people spend their money faster, trying to get rid of it like a “hot potato.” Intuitively, this is one channel through which in‡ation increases velocity in theory (as in the data). Search-based monetary models seem ideal for studying this phenomenon. However, in the standard model, in‡ation acts like a tax, lowering the surplus associated with monetary...

The paper examines the transmission mechanism of monetary policy in an open economy with and without a binding zero bound on nominal interest rates. In particular, a foolproof way of escaping from a liquidity trap is suggested, consisting of a price-level target path, a devaluation of the currency and a temporary exchange rate peg, which is later abandoned in favor of price-level or in‡ation ta...

The general idea of this paper, Woodford [1], is to abandon the Phelps-Lucas model for the Phelps-Woodford model. We know that the Phelps-Lucas idea is that real e¤ects of nominal disturbances arise because of assumed imperfect information about these disturbances. But the standard Lucas formulation of this results in too little persistence of these real e¤ects. Mike suggests a more elaborate i...

The pinna, or ex ternal ear, has been shown experim entally to perform an acoustical tran sfo r­ m ation essential to localization in hum an hearing. The m athem atical form of th e tran sfo rm a­ tion is given, the inverse to the transform ation is shown to exist, and a theory of localization constructed from the evidence. The theory is extended to reverberation and o ther facets of hum an hea...

Context-aware systems use sensors in order to analyse their environment and to adapt their behaviour. We have designed and developed Sens-ation, an open and generic service-oriented platform, which provides powerful, yet easy-to-use, tools to software developers who want to develop context-aware, sensor-based infrastructures. The service-oriented paradigm of Sens-ation enables standardised comm...

This paper studies U.S. in‡ation adjustment speed to aggregate technology shocks and to monetary policy shocks in a medium size Bayesian VAR model. According to the model estimated on the 1959-2007 sample, in‡ation adjusts much faster to aggregate technology shocks than to monetary policy shocks. These results are robust to di¤erent identi…cation assumptions and measures of aggregate prices. Ho...

learners of English Sylvain Chevalier Saybot In . Shanghai, China sylvain saybot. om Abstra t Saybot is a software appli ation whi h uses spee h proessing te hnology to help users pra ti e spoken English. It is a ommer ial appli ation available sin e O tober 2005 in China with mu h ontent designed for learners of many different pro les. In this paper, we present the strategy used and dis uss it...

Although there have been a very limited number of cases of defl ation in a developed country, one such case occurred in the United States during the Great Depression in the 1930s, where an annualized 7% price plunge was observed. Compared to this, the present defl ation in Japan can be considered as a moderate price decline continuing over a very long period. The fact that defl ation has not be...