Der Einfluß der Silikatphase auf die Eigenschaften von Eisenerzsintern

Schrifttumsübersicht. Herstellung synthetischer Olivine. Ermittlung des kristallchemischen Aufbaues. Thermo-Differentialanalyse. Eigenschaften der synthetischen Kalziumolivine. Auftreten von Kalziumolivinen in Sintern. Einfluß der Silikatphase auf die Sintereigenschaften.     

Probabilistic symbolic model checking with PRISM: a hybrid approach

In this paper we present efficient symbolic techniques for probabilistic model checking. These have been implemented in PRISM, a tool for the analysis of probabilistic models such as discrete-time Markov chains, continuous-time Markov chains and Markov decision processes using specifications in the probabilistic temporal logics PCTL and CSL. Motivated by the success of model checkers such as SMV which use BDDs (binary decision diagrams), we have developed an implementation of PCTL and CSL model checking based on MTBDDs (multi-terminal BDDs) and BDDs. Existing work in this direction has been hindered by the generally poor performance of MTBDD-based numerical computation, which is often substantially slower than explicit methods using sparse matrices. The focus of this paper is a novel hybrid technique which combines aspects of symbolic and explicit approaches to overcome these performance problems. For typical examples, we achieve a dramatic improvement over the purely symbolic approach. In addition, thanks to the compact model representation using MTBDDs, we can verify systems an order of magnitude larger than with sparse matrices, while almost matching or even beating them for speed.     

A simulation-based embedded probe technique for human-computer interaction evaluation

There is growing interest in developing video-based methods to evaluate the usefulness and usability of computerised tools in healthcare. In this paper, we propose a human-computer interaction evaluation method that protects the confidentiality of patient information and reduces litigation risks for participants by embedding and analysing performance on probes in complex scenarios with high face validity in a simulated setting. We describe the application of the method to a series of three studies of bar code medication administration (BCMA) software, used to reduce medication errors in the Veterans Administration.     

Der Einfluß von Bariumoxid auf die Zähigkeit von Hochofenschlacken

Messung der Zähigkeit der Hochofenschlacken mit einem Massengehalt von 0 bis 14% BaO. Änderung der Aktivierungsenergie des viskosen Fließens mit steigendem Anteil an Bariumoxid. Veränderungen der Schlackenstruktur sowie Entmischungen und Abweichungen der chemischen Zusammensetzung in Mikrobereichen bei Erhöhung der Bariumoxidgehalte.     

High-performance diode-pumped Nd:YLF amplifier

We report on the performance of a multipass diode-pumped amplifier design to provide a combination of high gain and efficiency with high stability. A simple rod-cavity design and the establishment of quasi-steady-state operation resulted in a saturated gain of over 6000 at an average output intensity during the pulse train of 7 kW/cm2. The amplifier showed an output stability of 0.2% rms in the short-term and 0.7% rms in the long-term and an output intensity insensitive to input power changes. Zernike analysis of the measurements of pump distortion showed an almost pure astigmatic phase error that can be compensated up to high average power levels.     

Involvement of growth factors in thymic involution

The thymus undergoes an age-dependent degenerative process which is mainly characterized by a progressive loss of lymphoid tissue. Thymic involution is particularly important in relation to immunosenescence and its various associated diseases; this fact has prompted many studies aimed at understanding the causes and mechanisms of thymic degeneration which may, ultimately, lead to the possibility of manipulating it. In this sense, one of the aspects which has deserved most attention is the thymic microenvironment, and more precisely, the many growth factors to which the cells present in the organ are exposed. Thus, the levels of several of such factors have been reported to undergo age-dependent changes in the thymus, which may point at an influence on the regression of the organ. In this article we consider which growth factors and growth factor receptors occur in the vertebrate thymus. Then, focusing on those whose influences are better documented, i.e., neurotrophins, cytokines and IGFs, we discuss their potential role in the organ and the possibility of their being involved in thymic involution.     

Grid Data Management: Open Problems and New Issues

Initially developed for the scientific community, Grid computing is now gaining much interest in important areas such as enterprise information systems. This makes data management critical since the techniques must scale up while addressing the autonomy, dynamicity and heterogeneity of the data sources. In this paper, we discuss the main open problems and new issues related to Grid data management. We first recall the main principles behind data management in distributed systems and the basic techniques. Then we make precise the requirements for Grid data management. Finally, we introduce the main techniques needed to address these requirements. This implies revisiting distributed database techniques in major ways, in particular, using P2P techniques. Work partially funded by ARA “Massive Data” of the French ministry of research (project Respire), the European Strep Grid4All project, the CAPES–COFECUB Daad project and the CNPq–INRIA Gridata project.     

Compositional State Space Reduction Using Untangled Actions

We propose a compositional technique for efficient verification of networks of parallel processes. It is based on an automatic analysis of LTSs of individual processes (using a failure-based equivalence which preserves divergences) that determines their sets of “conflict-free” actions, called untangled actions. Untangled actions are compositional, i.e. synchronisation on untangled actions will not destroy their “conflict-freedom”. For networks of processes, using global untangled actions derived from local ones, efficient reduction algorithms have been devised for systems with a large number of small processes running in parallel.     

PHRASE AND NGRAM-BASED STATISTICAL MACHINE TRANSLATION SYSTEM COMBINATION

Multiples translations can be computed by one machine translation (MT) system or by different MT systems. We may assume that different MT systems make different errors due to using different models, generation strategies, or tweaks. An investigated technique, inherited from automatic speech recognition (ASR), is the so-called system combination that is based on combining the outputs of multiples MT systems. We combine the outputs of a phrase- and Ngram-based Statistical MT (SMT) systems using statistical criteria and additional rescoring features.