26. Theorietag Automaten und Formale Sprachen 23. Jahrestagung Logik in der Informatik: Tagungsband

Der Theorietag ist die Jahrestagung der Fachgruppe Automaten und Formale Sprachen der Gesellschaft für Informatik und fand erstmals 1991 in Magdeburg statt. Seit dem Jahr 1996 wird der Theorietag von einem eintägigen Workshop mit eingeladenen Vorträgen begleitet. Die Jahrestagung der Fachgruppe Logik in der Informatik der Gesellschaft für Informatik fand erstmals 1993 in Leipzig statt. Im Laufe beider Jahrestagungen finden auch die jährliche Fachgruppensitzungen statt. In diesem Jahr wird der Theorietag der Fachgruppe Automaten und Formale Sprachen erstmalig zusammen mit der Jahrestagung der Fachgruppe Logik in der Informatik abgehalten. Organisiert wurde die gemeinsame Veranstaltung von der Arbeitsgruppe Zuverlässige Systeme des Instituts für Informatik an der Christian-Albrechts-Universität Kiel vom 4. bis 7. Oktober im Tagungshotel Tannenfelde bei Neumünster. Während des Tre↵ens wird ein Workshop für alle Interessierten statt finden. In Tannenfelde werden • Christoph Löding (Aachen) • Tomás Masopust (Dresden) • Henning Schnoor (Kiel) • Nicole Schweikardt (Berlin) • Georg Zetzsche (Paris) eingeladene Vorträge zu ihrer aktuellen Arbeit halten. Darüber hinaus werden 26 Vorträge von Teilnehmern und Teilnehmerinnen gehalten, 17 auf dem Theorietag Automaten und formale Sprachen und neun auf der Jahrestagung Logik in der Informatik. Der vorliegende Band enthält Kurzfassungen aller Beiträge. Wir danken der Gesellschaft für Informatik, der Christian-Albrechts-Universität zu Kiel und dem Tagungshotel Tannenfelde für die Unterstützung dieses Theorietags. Ein besonderer Dank geht an das Organisationsteam: Maike Bradler, Philipp Sieweck, Joel Day. Kiel, Oktober 2016 Florin Manea, Dirk Nowotka und Thomas Wilk

Computer program system for dynamic simulation and stability analysis of passive and actively controlled spacecraft. Volume 2: Program user's guide

For abstract, see N76-25319

The blob complex

Given an n-manifold M and an n-category C, we define a chain complex (the "blob complex") B_*(M;C). The blob complex can be thought of as a derived category analogue of the Hilbert space of a TQFT, and as a generalization of Hochschild homology to n-categories and n-manifolds. It enjoys a number of nice formal properties, including a higher dimensional generalization of Deligne's conjecture about the action of the little disks operad on Hochschild cochains. Along the way, we give a definition of a weak n-category with strong duality which is particularly well suited for work with TQFTs.Comment: 106 pages. Version 3 contains many improvements following suggestions from the referee and others, and some additional materia

Asteroseismology in Binary Stars with Applications of Bayesian Inference Tools

Space missions like Kepler have revolutionized asteroseismology, the science that infers the stellar interiors by studying oscillation frequency spectra of pulsating stars. Great advancements have been made in understanding solar-like oscillators. However, this is not the case for variable stars of intermediate masses, such asScutiand Doradus variables. By studying these stars in eclipsing binaries (EBs), model independent funda- mental parameters such as mass and radius can be inferred. On one hand, this synergy constrains the parameter space and facilitates the asteroseismic modeling, and this is shown for the Scuti type pulsating EB KIC 9851944. On the other hand, studies of binary stars must address the complexities such as mass transfer. KIC 8262223 is such an example, which consists of a mass-gaining Scuti primary and a pre-He white dwarf secondary. Some of the eccentric binary systems, the ‘heartbeat’ stars, show tidally excited oscillations. After briefly reviewing the linear theory of tidally forced stellar oscillations, we study the tidal pulsating binary KIC 3230227 and demonstrate that both amplitude and phase can be used to identify the tidally excited pulsation modes. We also discuss the variability of a Slowly Pulsating B-star KOI-81 and a Cataclysmic variable KIC 9406652. In the second part of this dissertation, we apply Bayesian statistics to some problems in binaries and asteroseismology with the help of packages BUGS and JAGS. Special attention is paid to the inverse problems (tomography) encountered in studying the double-line spectroscopic binaries

Thermohydraulic analysis of U-tube steam generators

Recent trends in plant safety analysis reveal a need for benchmark analytical representations of the steam generators to aid in the improvement of system codes and of fast codes for operator assistance. A model for such applications should exhibit four characteristics. First, it should be capable of representing the entire unit. Second, it should be based on detailed physical models, supplemented by well-tested empirical correlations and utilize a reliable numerical method, while still allowing for the assessment of potentially simplifying assumptions. Third, it should be validated. Fourth, it should provide a basic framework for expansion to severe transient (accident) analysis.A model satisfying these characteristics has been developed. The downcomer, evaporator, and riser are treated by the twofluid, three-dimensional code THERMIT. A zero-dimensional calculation closes the natural circulation loop by linking the riser to the downcowaer. Effects included are: condensation, flashing, structure and liquid heat sinks and compressibility in the steam dome. The primary-side representation allows for any number of tubes per secondary-side computational cell. For each tube, four temperatures are calculated: primary fluid, primary wall, intermediate wall, and secondary wall.The capability for calculating paraoeter distributions in steady-state at full and half power has been verified. Results are in excellent agreement with measurements conducted at the Westinghouse Model Boiler No. 2, as well as with calculations by the ATHOS code. Global paraiaeter computations for both mild and severe operational transients have also been verified. Calculations compare well with plant start-up data gathered at the Arkansas Nuclear One-Unit 2 facility.The present research has produced the first integrated U-tube steam generator model which both utilizes the porous body two-fluid formulation and has validated capability of application to operating transients.Sponsored by: Northeast Utilities Service Company, Yankee Atomic Electric Company, under the MIT Energy Laboratory Electric Utility Program

Review of Particle Physics

The Review summarizes much of particle physics and cosmology. Using data from previous editions, plus 2,143 new measurements from 709 papers, we list, evaluate, and average measured properties of gauge bosons and the recently discovered Higgs boson, leptons, quarks, mesons, and baryons. We summarize searches for hypothetical particles such as supersymmetric particles, heavy bosons, axions, dark photons, etc. Particle properties and search limits are listed in Summary Tables. We give numerous tables, figures, formulae, and reviews of topics such as Higgs Boson Physics, Supersymmetry, Grand Unified Theories, Neutrino Mixing, Dark Energy, Dark Matter, Cosmology, Particle Detectors, Colliders, Probability and Statistics. Among the 120 reviews are many that are new or heavily revised, including a new review on Machine Learning, and one on Spectroscopy of Light Meson Resonances. The Review is divided into two volumes. Volume 1 includes the Summary Tables and 97 review articles. Volume 2 consists of the Particle Listings and contains also 23 reviews that address specific aspects of the data presented in the Listings

Review of Particle Physics

The Review summarizes much of particle physics and cosmology. Using data from previous editions, plus 2,143 new measurements from 709 papers, we list, evaluate, and average measured properties of gauge bosons and the recently discovered Higgs boson, leptons, quarks, mesons, and baryons. We summarize searches for hypothetical particles such as supersymmetric particles, heavy bosons, axions, dark photons, etc. Particle properties and search limits are listed in Summary Tables. We give numerous tables, figures, formulae, and reviews of topics such as Higgs Boson Physics, Supersymmetry, Grand Unified Theories, Neutrino Mixing, Dark Energy, Dark Matter, Cosmology, Particle Detectors, Colliders, Probability and Statistics. Among the 120 reviews are many that are new or heavily revised, including a new review on Machine Learning, and one on Spectroscopy of Light Meson Resonances. The Review is divided into two volumes. Volume 1 includes the Summary Tables and 97 review articles. Volume 2 consists of the Particle Listings and contains also 23 reviews that address specific aspects of the data presented in the Listings. The complete Review (both volumes) is published online on the website of the Particle Data Group (pdg.lbl.gov) and in a journal. Volume 1 is available in print as the PDG Book. A Particle Physics Booklet with the Summary Tables and essential tables, figures, and equations from selected review articles is available in print, as a web version optimized for use on phones, and as an Android app.United States Department of Energy (DOE) DE-AC02-05CH11231government of Japan (Ministry of Education, Culture, Sports, Science and Technology)Istituto Nazionale di Fisica Nucleare (INFN)Physical Society of Japan (JPS)European Laboratory for Particle Physics (CERN)United States Department of Energy (DOE

Review of Particle Physics

The Review summarizes much of particle physics and cosmology. Using data from previous editions, plus 2,143 new measurements from 709 papers, we list, evaluate, and average measured properties of gauge bosons and the recently discovered Higgs boson, leptons, quarks, mesons, and baryons. We summarize searches for hypothetical particles such as supersymmetric particles, heavy bosons, axions, dark photons, etc. Particle properties and search limits are listed in Summary Tables. We give numerous tables, figures, formulae, and reviews of topics such as Higgs Boson Physics, Supersymmetry, Grand Unified Theories, Neutrino Mixing, Dark Energy, Dark Matter, Cosmology, Particle Detectors, Colliders, Probability and Statistics. Among the 120 reviews are many that are new or heavily revised, including a new review on Machine Learning, and one on Spectroscopy of Light Meson Resonances. The Review is divided into two volumes. Volume 1 includes the Summary Tables and 97 review articles. Volume 2 consists of the Particle Listings and contains also 23 reviews that address specific aspects of the data presented in the Listings. The complete Review (both volumes) is published online on the website of the Particle Data Group (pdg.lbl.gov) and in a journal. Volume 1 is available in print as the PDG Book. A Particle Physics Booklet with the Summary Tables and essential tables, figures, and equations from selected review articles is available in print, as a web version optimized for use on phones, and as an Android app