323,196 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
Diffusive author(s), cohesive author: Analysis of S/N (1994)
No full textThis study indicates the ways in which various aspects of the author(s) are brought forth in Dumb type’s performance art, the S/N production. Previous research has suggested a non-hierarchical organization of Dumb type and the absence of a “privileged author” in Dumb type’s collaborative work, S/N. However, the results that I have investigated from member’s interviews on the creative process of S/N along with my analysis of the recorded images of S/N, indicate a different aspect of the author(s). First, S/N was created through, so to speak, the collective ideas of the members of Dumb type. Further, S/N has at least nine quotations from previous performances, installations, and printed writings, besides the work-in-progress technique. Explicating one of the “author functions” as given by Michel Foucault, each text has plural subjects of the author. However, it has been revealed from members’ interviews that Teiji Furuhashi had a decision-making role in selecting the members’ ideas within the performance. Since then, S/N has had plural subjects of creation; however, Furuhashi is one of the subjects of creation along with the “privileged author.” S/N has plural authors (diffusive authors) yet at the same time, it has a “privileged author,” Teiji Furuhashi (cohesive author)
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
Going Beyond Counting First Authors in Author Co-citation Analysis
No full textThe present study examines one of the fundamental aspects of author co-citation analysis (ACA) - the way co-citation
counts are defined. Co-citation counting provides the data on which all subsequent statistical analyses and mappings
are based, and we compare ACA results based on two different types of co-citation counting - the traditional type that
only counts the first one among a cited work's authors on the one hand and a non-traditional type that takes into
account the first 5 authors of a cited work on the other hand. Results indicate that the picture produced through this non-traditional author co-citation counting contains more coherent author groups and is therefore considerably clearer. However, this picture represents fewer specialties in the research field being studied than that produced through the traditional first-author co-citation counting when the same number of top-ranked authors is selected and analyzed. Reasons for these effects are discussed
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
No full textAnhand 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
- …
