We propose a (limited) solution to the problem of constructing stream values defined by recursive equations that do not respect the guardedness condition. The guardedness condition is imposed on definitions of corecursive functions in Coq, AGDA, and other higher-order proof assistants. In this paper, we concentrate in particular on those nonguarded equations where recursive calls appear under f...

We present a study on the effect of reverberation on acousticlinguistic recognition of non-prototypical emotions during child-robot interaction. Investigating the well-defined Interspeech 2009 Emotion Challenge task of recognizing negative emotions in children’s speech, we focus on the impact of artificial and real reverberation conditions on the quality of linguistic features and on emotion re...

High-level visual neurons in the ventral stream typically have large receptive fields, supporting position-invariant object recognition but entailing poor spatial resolution. Consequently, when multiple objects fall within their large receptive fields, unless selective attention is deployed, their responses are averages of responses to the individual objects. We investigated a behavioral conseq...

The concepts studied during Offset Stream Technology (OST) test were all designed to produce directional jet noise reduction in a separate flow engine configuration by redirecting the fan stream relative to the core stream, creating a thicker fan flow on one side of the jet. Previous studies, conducted at bypass ratios of five or less showed that lower noise levels would result on the thickened...

Congenital anterior urethral diverticulum (CAUD) may be found all along the anterior urethra and may present itself at any age, from infant to adult. Most children with this condition present with difficulty in initiating micturition, dribbling of urine, poor urinary stream, or urinary tract infection. A careful history will reveal that these children never had a good urinary stream since birth...