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...

Although a number of approaches have been taken to quality prediction for software, none have achieved widespread applicability. This paper describes a single model to combine the diverse forms of, often causal, evidence available in software development in a more natural and efficient way than done previously. We use Bayesian Networks as the appropriate formalism for representing defect introd...

a r t i c l e i n f o a b s t r a c t South Pacific subtropical density compensated temperature and salinity (spiciness) anomalies are known to be associated with decadal equatorial variability, however, the mechanisms by which such disturbances are generated, advect and the degree to which they modulate the equatorial thermocline remains controversial. During the late 1970's a climate regime t...

Low Frequency Oscillations (LFO) occur in power systems because of lack of the damping torque in order to dominance to power system disturbances as an example of change in mechanical input power. In the recent past Power System Stabilizer (PSS) was used to damp LFO. FACTs devices, such as Unified Power Flow Controller (UPFC), can control power flow, reduce sub-synchronous resonance and increase...

In this paper, we present the Philips large vocabulary continuous Mandarin speech recognition system developed for the 2000 Taiwan Speech Input Technology Assessment. We systematically integrated key Mandarin components with up-todate Western-language techniques to build up a state-of-the-art Mandarin speech recognition system. These technologies include robust pitch extraction/tone modeling, c...

This paper describes the Philips Large Vocabulary Continuous Mandarin speech recognition system for the 1999 Taiwan benchmark. The basic system architecture is based on the Philips LVCSR technology developed for Western languages. However, several modifications are made in order to better suitted processing Chinese spoken languages. In the paper, we present some experimental results on the two ...

LINKED CONTENT This article is linked to Nocerino et al and Philips & Abraham papers. To view these articles, visit https://doi.org/10.1111/apt.16404 https://doi.org/10.1111/apt.16474