Integration of beamforming and uncertainty-of-observation techniques for robust ASR in multi-source environments

This paper presents a new approach for increasing the robustness of multi-channel automatic speech recognition in noisy and reverberant multi-source environments. The proposed method uses uncertainty propagation techniques to dynamically compensate the speech features and the acoustic models for the observation uncertainty determined at the beamforming stage. We present and analyze two methods that allow integrating classical multi-channel signal processing approaches like delay and sum beamformers or Zelinski-type Wiener filters, with uncertainty-of-observation techniques like uncertainty decoding or modified imputation. An analysis of the results on the PASCAL-CHiME task shows that this approach consistently outperforms conventional beamformers with a minimal increase in computational complexity. The use of dynamic compensation based on observation uncertainty also outperforms conventional static adaptation with no need of adaptation data.     

Diterpene structure elucidation from 13cnmr spectra with inductive logic programming

We present a novel application ofInductive Logic Programming (ILP) to the problem of diterpene structure elucidation from 13 CNMR spectra. Diterpenes are organic compounds oflow molecular weight with a skeleton of 20 carbon atoms. They are of significant chemical and commercial interest because oftheir use as lead compounds in the search for new pharmaceutical effectors. The interpretation of diterpene 13 CNMR spectra normally requires specialists with detailed spectroscopic knowledge and substantial experience in natural products chemistry, specifically knowledge on peak patterns and chemical structures. Given a database ofpeak patterns for diterpenes with known structure, we apply several ILP approaches to discover correlations between peak patterns and chemical structure. The approaches used include first - order inductive learning, relational instance based learning, induction oflogical decision trees, and inductive constraint logic. Performance close to that of domain experts is achieved, which suffices for practical use.     

Geschichtliche Entwicklung und aktuelle Praxis der Probebelastung — Teil 2: Entwicklung von Normen und heutige Anwendung

Im Zuge des massenhaften Einsatzes von Probebelastungen im 19. und zu Beginn des 20. Jahrhunderts zeigte sich die Notwendigkeit, deren Planung, Durchführung und Auswertung durch allgemeine Richtlinien und Normen zu stützen. Im Beitrag wird das Ringen um erste zaghafte Festlegungen beschrieben, die im Laufe der Jahre immer konkreter zu einer verwendbaren Handlungsgrundlage ausgearbeitet wurden. Unter Kritikern blieb jedoch immer die Frage über die Sicherheit und vor allem die Aussagekraft von Belastungsversuchen auf der Grundlage der verwendeten Bewertungskriterien offen. Mit der Weiterentwicklung der Berechnungsverfahren auch durch den Einsatz von Computertechnik wurden Probebelastungen von Neubauten ab den 1970‐er Jahren entbehrlich. Für auffällig gewordene bestehende Tragwerke stellt die Probebelastung jedoch auch heute noch eine — und manchmal die einzige — Methode zum Nachweis einer ausreichenden Tragfähigkeit dar. Die hierfür angewendete moderne Belastungs‐ und Messtechnologie bietet jedoch im Unterschied zur traditionellen Vorgehensweise ein hohes Maß an Sicherheit und Informationsgewinn. Historical Development and current practise of load tests in situ — Part 2: Development of standards and current practise. Because of the large demand and use of load testing in the 19th and at the beginning of the 20th century, there was the necessity to standardise the planning, execution and analysis in general guidelines and codes. This article describes the struggling and first tentative specification, which were more and more specified to an useful basis in the following years. The used criterions for the assessment have often been a reason for critics on the value and the safety of loading tests. The further development of calculation methods especially the computer technology made the load testing of new structures superfluous in the 1970s. But for existing structures loading tests are today often a — and sometimes the only — method to proof a sufficient load bearing capacity. The today used modern loading‐ and measuring technology provides, in contrast to the traditional method, a high degree of safety and structural information.     

Decision support for AIDS control programmes in Eastern Africa

The Acquired Immune Deficiency Syndrome (AIDS) constitutes the worst hazard to health care systems in Eastern Africa. Misallocation of scarce resources of AIDS Control Programmes will unavoidably lead to additional infections and casualties. The following paper discusses a system dynamics model which allows to assess the impact of different interventions on a pattern population in Eastern Africa. It becomes obvious that short- and long-term consequences of these programmes differ significantly. The optimal allocation of resources, therefore, is highly complex and calls for decision support systems to sustain AIDS control programmes.     

A Nyström-based finite element method on polygonal elements

We consider families of finite elements on polygonal meshes, that are defined implicitly on each mesh cell as solutions of local Poisson problems with polynomial data. Functions in the local space on each mesh cell are evaluated via Nyström discretizations of associated integral equations, allowing for curvilinear polygons and non-polynomial boundary data. Several experiments demonstrate the approximation quality of interpolated functions in these spaces.     

Lightweight coarse-grained coordination: a scalable system-level approach

In this paper, our solution to the problem of modelling functionally complex communication systems at the application level, based on lightweight coordination, is extended to seamlessly capture system-level testing as well. This extension could be realized simply by self-application: the bulk of the work for integrating system-level testing into our development environment, the ABC, concerned domain modelling, which can be done using the ABC. Therefore, the extension of the ABC to cover system-level testing was merely an application development on the basis of the ABC, illustrated here in the domain of Computer Telephony Integration. Here the adoption of a coarse-grained approach to test design, which is central to the scalability of the overall testing environment, is the enabling aspect for system-level test automation. Together with our lightweight coordination approach this induces an understandable modelling paradigm of system-wide test cases that is adequate for the needs and requirements of industrial test engineers. In particular, it enables test engineers to graphically design complex test cases that, in addition, can even be automatically checked for their intended purposes via model checking.     

In situ exploration of large dynamic networks

The analysis of large dynamic networks poses a challenge in many fields, ranging from large bot-nets to social networks. As dynamic networks exhibit different characteristics, e.g., being of sparse or dense structure, or having a continuous or discrete time line, a variety of visualization techniques have been specifically designed to handle these different aspects of network structure and time. This wide range of existing techniques is well justified, as rarely a single visualization is suitable to cover the entire visual analysis. Instead, visual representations are often switched in the course of the exploration of dynamic graphs as the focus of analysis shifts between the temporal and the structural aspects of the data. To support such a switching in a seamless and intuitive manner, we introduce the concept of in situ visualization--a novel strategy that tightly integrates existing visualization techniques for dynamic networks. It does so by allowing the user to interactively select in a base visualization a region for which a different visualization technique is then applied and embedded in the selection made. This permits to change the way a locally selected group of data items, such as nodes or time points, are shown--right in the place where they are positioned, thus supporting the user's overall mental map. Using this approach, a user can switch seamlessly between different visual representations to adapt a region of a base visualization to the specifics of the data within it or to the current analysis focus. This paper presents and discusses the in situ visualization strategy and its implications for dynamic graph visualization. Furthermore, it illustrates its usefulness by employing it for the visual exploration of dynamic networks from two different fields: model versioning and wireless mesh networks.     

Status,causes and controls of cyanobacterial blooms in Lake Erie

The Laurentian Great Lakes are among the most prominent sources of fresh water in the world. Lake Erie's infamous cyanobacterial blooms have, however, threatened the health of this valuable freshwater resource for decades. Toxic blooms dominated by the cyanobacterium Microcystis aeruginosa have most recently been one of primary ecological concerns for the lake. These toxic blooms impact the availability of potable water, as well as public health and revenues from the tourism and fishery industries. The socioeconomic effects of these blooms have spurred research efforts to pinpoint factors that drive bloom events. Despite decades of research and mitigation efforts, these blooms have expanded both in size and duration in recent years. However, through continued joint efforts between the Canadian and United States governments, scientists, and environmental managers, identification of the factors that drive bloom events is within reach. This review provides a summary of historical and contemporary research efforts in the realm of Lake Erie's harmful cyanobacterial blooms, both in terms of experimental and management achievements and insufficiencies, as well as future directions on the horizon for the lake's research community.     

Abiotic transformation of toxaphene by superreduced vitamin B12 and dicyanocobinamide

Toxaphene is a complex organochlorine pesticide mixture, residues of which are widespread in the environment. Previous studies with the isolated bacterium Sulfurospirillum (formerly Dehalospirillum) multivorans resulted in an effective anaerobic biotransformation of toxaphene. Since the bacterium contains a corrinoid derivative in the active center of the tetrachloroethene dehalogenase, we attempted to use superreduced corrinoids for abiotic transformation of toxaphene. The two corrinoids studied were dicyanocobinamide and cyanocobalamin (vitamin B12). Superreduced dicyanocobinamide mediated a rapid transformation of toxaphene. More than 90% of the initial pool was transformed within 6 h. The transformation was nonselective, and even the most persistent metabolite in environmental samples, the so-called dead-end metabolite 2-exo,3-endo,6-exo,8,9,10-hexachlorobornane (B6-923 or Hx-Sed) was transformed within hours. Superreduced cyanocobalamin was also able to transform toxaphene albeit at significantly lower velocity. The lack of transformation products detectable in gas chromatograms of hexanes-extracted fractions of the assays suggests rapid, sequential dehalogenation and/or destruction of the C10-hydrocarbon backbone of the compounds of technical toxaphene.