Many studies on prophylactic immunization against pneumococcal pneumonia have been made, using a number of dBerent antigenic preparations. Almost all investigators have concluded that immunization exerts a beneficial effect. In most of the studies, however, certain variables have clouded interpretation of the results. Among the variables, the following appear to be of greatest moment: differenc...

Finding a balance between the time-to-market and quality of a delivered product is a daunting task. The optimal release moment is not easily found. We propose to use historical project data to monitor the progress of running projects. From the data we inferred a formula providing a rough indication of the number of defects given the effort spent thus far (effort-to-defect formula). Furthermore ...

During the last decade, several studies have argued that sticky information model proposed by Mankiw and Reis (2002), in which firms update their information occasionally rather than instantaneously, explains some stylized facts about the inflation dynamics. Sticky information pricing model successfully captures the sluggish movement of aggregate prices in response to monetary policy shocks. De...

The climate of the Murray-Darling Basin (MDB) has been simulated using the Weather Research and Forecasting (WRF) model. WRF was implemented using a 10km horizontal grid and integrated for 24 years from 1985 through 2008. The model simulated climate was evaluated against gridded precipitation and temperature observations from the Australian Water Availability Project (AWAP) and found to perform...

We introduce the real-time temporal logic BTATL p which is obtained by extending CTL with both past operators and timed automata constraints. Considering together past operators and automata constraints allows expressing timing requirements in a simple and natural way. Model-checking for full BTATL p is undecidable. Fortunately, there exist signiicant (both linear-time and branching-time) fragm...

In this paper, the modified linearized Phillips-Heffron model is utilized to theoretically analyze asingle-machine infinite-bus (SMIB) installed with SSSC. Then, the results of this analysis are used forassessing the potential of an SSSC supplementary controller to improve the dynamic stability of apower system. This is carried out by measuring the electromechanical controllability through sing...