Typestate reflects how the legal operations on imperative objects can change at runtime as their internal state changes. A typestate checker can statically ensure, for instance, that an object method is only called when the object is in a state for which the operation is welldefined. Prior work has shown how modular typestate checking can be achieved thanks to access permissions and state guara...

Over the past 20 years, programmers have embraced dynamically-typed programming languages. By now, they have also come to realize that programs in these languages lack reliable type information for software engineering purposes. Gradual typing addresses this problem; it empowers programmers to annotate an existing system with sound type information on a piecemeal basis. This paper presents an i...

A defining stylized fact associated with exchange-rate-based stabilization programs is that their initial phase is characterized by several years of continuous expansion in private consumption and a gradual appreciation of the real exchange rate. This paper shows that a large class of standard optimizing models is unable to account for this empirical regularity. In particular, models in this cl...

Speech recognition has received a less attention in Bengali literature due to the lack of a comprehensive dataset. In this paper, we describe the development process of the first comprehensive Bengali speech dataset on real numbers. It comprehends all the possible words that may arise in uttering any Bengali real number. The corpus has ten speakers from the different regions of Bengali native p...

Gradual patterns have been studied for many years as they contain precious information. They have been integrated in many expert systems and rule-based systems, for instance to reason on knowledge such as “the greater the number of turns, the greater the number of car crashes”. In many cases, this knowledge has been considered as a rule “the greater the number of turns → the greater the number ...

Background: Continuous positive airway pressure (CPAP) is used as respiratory support in preterm neonates; however, the best weaning method has not yet been determined. In this study, we compared sudden complete and gradual weaning from nasal CPAP (NCPAP) in preterm newborns. Methods: This randomized controlled trial was conducted on 62 prete...

Video-based fire detection is currently a fairly common application with the growth in the number of installed surveillance video systems. Moreover, the related processing units are becoming more powerful. Smoke is an early sign of most fires; therefore, selecting an appropriate smoke-detection method is essential. However, detecting smoke without creating a false alarm remains a challenging pr...