400 research outputs found
Strassburger Münsterblatt : Organ des Strassburger Münster-Vereins
No full textVariante(s) de titre : Strassburger Münster-BlattAppartient à l’ensemble documentaire : BNUStrSocAppartient à l’ensemble documentaire : Alsace1Appartient à l’ensemble documentaire : BNUStr00
Strassburger Correspondenz
No full textVariante(s) de titre : Strassburger KorrespondenzAppartient à l’ensemble documentaire : Alsace1Appartient à l’ensemble documentaire : BNUStr000Appartient à l’ensemble documentaire : BNUStr014Appartient à l’ensemble documentaire : BNUStr01
A Graphical Proof Theory of Logical Time
No full textLogical time is a partial order over events in distributed systems, constraining which events precede others. Special interest has been given to series-parallel orders since they correspond to formulas constructed via the two operations for “series” and “parallel” composition. For this reason, series-parallel orders have received attention from proof theory, leading to pomset logic, the logic BV, and their extensions. However, logical time does not always form a series-parallel order; indeed, ubiquitous structures in distributed systems are beyond current proof theoretic methods. In this paper, we explore how this restriction can be lifted. We design new logics that work directly on graphs instead of formulas, we develop their proof theory, and we show that our logics are conservative extensions of the logic BV
Clarifying interoperability: The SISO CSPI PDG standard for commercial off-the-shelf simulation package interoperability reference models
No full textCommercial-off-the-shelf simulation packages (CSPs), visual interactive modelling environments such as Arena, Anylogic, Flexsim, Simul8, Witness, etc., are important "black box" software tools that support the development, experimentation and visualization of simulation models. They are widely used in commerce, defence, health, manufacturing and logistics. There is a growing need to link together, or to interoperate, models developed in these CSPs across computer networks. The motivation for this includes data sensitivity, difficult to move resources and speed up
Die Strassburger Chronik
No full textDIE STRASSBURGER CHRONIK
Die Strassburger Chronik ( - )
Cover ( - )
Endsheet ( - )
Prepage ( - )
Title page ( - )
Dedication ( - )
Vorwort. ([VII])
Inhaltsverzeichnis. ([X])
Einleitung ([XI])
I. [Kapitel] (1)
II. [Kapitel] (5)
III. [Kapitel] (21)
IV. [Kapitel] (31)
V. [Kapitel] (34)
VI. [Kapitel] (37)
Straßburger Chronik von Hieronymus Gebwiler. Text ([45])
Erstes Buch. (48)
Cap. 1. Wie die löblich Stadt Straßburg vor uralten ziten ist gebawen worden und wo sie ire namen erobert habe. (48)
Cap. III. Von der gelegenheit der stat Straßburg, auch von den wassern, so zu diser stadt fließen. (49)
Cap. IV. Woher das Elsaß sey genennet, wie wit, lang und breit es seye, von den wassern des Elsaß, wie vil städt, schlösster, stifft etc. (51)
Cap. V. Wie die Stadt Straßburg under dem Trierischen rich und darnoch unter den Römern, darnoch unter den Tütschen Francken, aber zu letzten unter einem bischoff von Straßburg und das Römisch rich kummen ist. (53)
Cap. VI. Ob die Straßburger und Elsasser Tütsch oder Gallier und welsche lewt sollen genant werden. (54)
Cap. VII. Wie abgotterey angefangen habe und was abgott Straßburg und das Elsaß haben angebetten. (54)
Cap. VIII. Wie S. Maternus der h. bischoff das Elsaß und Straßburg mit siner predig und ufferstendnus zu dem christenglauben bekert hat. (55)
Cap. XI. Von den thumherren und vicarien deß löblichen hohen stifftes zu Straßburg und dem gottesdienst, so in disem stifft täglich beschicht. (55)
Cap. XII. Von dem heiltum, zirde, goldt und silber tücher, wappen meßgewandt und anders in diesem münster. (58)
Cap. XIII. Von wem darzu in welchen jaren das münster zu Straßburg ist gebuwen worden etc. (59)
Cap. XIV et sequentia. Von S. Thomans stiffte und andern, auch clöstern, capellen etc. (59)
Cap. XVI. Von dem stifft Jungren S. Peter. (59)
[Cap. XVII. Von dem stifft Alten S. Peter.] (60)
[Cap. XVIII.] (63)
[Cap. XXII] (63)
Cap. XXVIII. Wan und durch wen unser frawen lewt hus, die Elende Herberg und das Bloterhuß zu Straßburg haben ein anfang gehabt. (64)
Zweites Buch. (66)
Cap. I. Von dem regiment der löblichen stadt Straßburg, wie und durch was oberkeit dasselbig volfiert worden. (66)
[Cap. II-VII.] (66)
[Cap. VIII.] (67)
[Cap.IX ff.] (67)
[Cap. XI. [Kriege der Stadt: mit Bischof Friedrich von Blankenheim, mit Bischof Wilhelm von Diest. Geckenkrieg.] (68)
[Cap. XIII.] [Burgunderkrieg.] (69)
Cap. XIV. Krieg der stadt. (69)
Cap. XV. Feur ordnung und brunsten in der stadt Straßburg. (70)
[Cap. XVIII.] (72)
[Cap. XIX.] (73)
Cap. XXIII. (73)
Drittes Buch. (75)
[Cap. I-III] (75)
[Cap. IV.] [Bischof Wernharius I.] (76)
[Cap. V.]. [Bischof Heinrich I.] (76)
[Cap. VI.]. [Bischof Friedrich von Lichtenberg.] (77)
[Cap. VIII.]. [Johann I - Friedrich von Blankenheim?] (77)
[Cap. ?, Schluß des 3. Buches.]. [u. a. Sickingische Händel.] (77)
Viertes Buch. (79)
Endsheet ( - )
Cover ( -
The SISO CSPI PDG standard for commercial off-the-shelf simulation package interoperability reference models
No full textFor many years discrete-event simulation has been used to analyze production and logistics problems in manufactur-ing and defense. Commercial-off-the-shelf Simulation Packages (CSPs), visual interactive modelling environ-ments such as Arena, Anylogic, Flexsim, Simul8, Witness, etc., support the development, experimentation and visua-lization of simulation models. There have been various attempts to create distributed simulations with these CSPs and their tools, some with the High Level Architecture (HLA). These are complex and it is quite difficult to assess how a set of models/CSP are actually interoperating. As the first in a series of standards aimed at standardizing how the HLA is used to support CSP distributed simula-tions, the Simulation Interoperability Standards Organiza-tion’s (SISO) CSP Interoperability Product Development Group (CSPI PDG) has developed and standardized a set of Interoperability Reference Models (IRM) that are in-tended to clearly identify the interoperability capabilities of CSP distributed simulations
Die elterliche Sorge – die Sicht des Rechts von aussen auf das Innen
Get PDFAnhand der Wertungen im Rahmen der elterlichen Sorge untersucht der vorliegende Beitrag das Verhältnis zwischen Humanwissenschaften und Jurisprudenz, wobei besonderes Augenmerk auf die Rezeption humanwissenschaftlichen Gedankengutes durch die Jurisprudenz in den letzten Jahrzehnten gelegt wird. Neben der historischen Entwicklung der elterlichen Sorge befasst sich der Beitrag vor allem auch mit der aktuellen Situation, wo die gemeinsame elterliche Sorge ganz im Vordergrund steht. Unübersehbar sind jedoch auch die aus dem Dogma «Recht des Kindes auf beide Eltern» entspringenden negativen Konsequenzen im Bereich der internationalen Kindesentführung und der konfiikthaften Sorge- und Besuchsrechtssituationen. Die Verwirklichung des Kindeswohls in der gerzchtlichen Sorgerechtspraxis kann letztendlich nur durch den interdisziplinären Dialog aller mit Kindeswohl befassten Professionen verwirklicht werden
J.-M. Pfaettisch, O. S. B., Die Rede Constantins der Grossen an die Versammlung der heiligen auf ihre Echtheit untersucht. (Fait partie des Strassburger Theologische Studien, dirigés par A. Ehrhard et Ε. Müller, t. IX, fasc. IV.)
No full textSalaville Sévérien. J.-M. Pfaettisch, O. S. B., Die Rede Constantins der Grossen an die Versammlung der heiligen auf ihre Echtheit untersucht. (Fait partie des Strassburger Theologische Studien, dirigés par A. Ehrhard et Ε. Müller, t. IX, fasc. IV.). In: Échos d'Orient, tome 12, n°77, 1909. pp. 255-256
Commercial-off-the-shelf simulation package interoperability: Issues and futures
No full textCommercial-Off-The-Shelf Simulation Packages (CSPs) are widely used in industry to simulate discrete-event models. Interoperability of CSPs requires the use of distributed simulation techniques. Literature presents us with many examples of achieving CSP interoperability using bespoke solutions. However, for the wider adoption of CSP-based distributed simulation it is essential that, first and foremost, a standard for CSP interoperability be created, and secondly, these standards are adhered to by the CSP vendors. This advanced tutorial is on an emerging standard relating to CSP interoperability. It gives an overview of this standard and presents case studies that implement some of the proposed standards. Furthermore, interoperability is discussed in relation to large and complex models developed using CSPs that require large amount of computing resources. It is hoped that this tutorial will inform the simulation community of the issues associated with CSP interoperability, the importance of these standards and its future
Volkstümliche Bräuche und Aberglauben in Aschersleben
Get PDF.Die "Mitteilungen des Vereins für Erdkunde zu Halle an der Saale" wurden als Publikationsorgan des im Jahr 1873 gegründeten Vereins für Erdkunde zu Halle begründet und erschienen von 1877 an bis zum Jahr 1907, sowie von 1908 bis 1940 unter dem Nachfolgetitel "Mitteilungen des Sächsisch-Thüringischen Vereins für Erdkunde zu Halle a.S"
- …
