this is a comprehensive review of the recent progresses made in the field of zeolite membranes. it describes zeolitic materials and methods of membrane fabrication, followed by a summary of applications for gas separation, pervaporation and separation of liquid mixtures. special attention is called to polymer mixed matrix membranes (mmms) and membranes based on metal organic frame works (mofs)....

Background: Developing effective methods for the synthesis of bio-compatible and non-toxic nanoparticles is the main goal of nanotechnology. In the most chemical methods, a chemical reducing agent is used to reduce metal ions. But, in chemical methods, the stability of nanoparticles is controversial and synthesis in large sizes is much more difficult. Moreover, there is an incr...

We present an algorithm for synthesizing strategies for multiagent systems composed of homogeneous agents possessing incomplete information about the system as a whole. The algorithm finds all maximal strategies for such agents that enforce a certain property of the system. In contrast to other algorithms known from the literature, our algorithm can be used for automated program synthesis for s...

We present a technique for certifying domain-specific properties of code generated using program synthesis technology. Program synthesis is a maturing technology that generates code from high-level specifications in particular domains. For acceptance in safety-critical applications, the generated code must be thoroughly tested which is a costly process. We show how the program synthesis system ...

A trainable prosodic model called SFC (Superposition of Functional Contours), proposed by Holm and Bailly, is here confronted to German intonation. Training material is the publicly available Siemens Synthesis Corpus that provides spoken utterances for high-quality speech synthesis. We describe the labeling framework and first evaluation results that compares the original prosody of test senten...

Our presentation summarizes evidence showing that listeners chunk speech in terms of rhythm groups. We discuss previous work involving both behavioral and EEG observations, which suggest an on-line segmentation of speech in rhythmic groups. A brief experiment is presented that further supports the view that statistical learning effects operate by reference to rhythmic chunks.

Currently, a lot of research in the field of intelligent tutoring systems is concerned with recognising student’s emotions and affects. The recognition is done by extracting features from information sources like speech, typing and mouse clicking behaviour or physiological sensors. In former work we proposed some low-level speech features for perceived task difficulty recognition in intelligent...

Dysarthria is a motor speech disorder that is often associated with irregular phonation (e.g. vocal fry) and amplitude, incoordination of articulators, and restricted movement of articulators, among other problems. The present study is part of a project on voice transformation systems for dysarthria, with the goal of producing intelligibility-enhanced speech. We report on a procedure in which f...

Speech rhythms guide perception, especially in noise. We recently revealed that percussionists outperform non-musicians in speech-in-noise perception, with better speech-in-noise perception associated with better rhythm discrimination across a range of rhythmic expertise. Here, we consider rhythm production skills, specifically drumming to a beat (metronome or music) and to sequences (metrical ...