Three particle states and t-exchanges

The multiple particle final states in modern data from $4 \pi$ detector experiments offer a wealth of information about higher hadronic resonances and hadron interactions. However, it requires careful analysis to extract model independent results from those data.Comment: 4 pages, 1 figure, Proceedings of Nstar, Pittsburgh, Oct. 200

Specifying Logic Programs in Controlled Natural Language

Writing specifications for computer programs is not easy since one has to take into account the disparate conceptual worlds of the application domain and of software development. To bridge this conceptual gap we propose controlled natural language as a declarative and application-specific specification language. Controlled natural language is a subset of natural language that can be accurately and efficiently processed by a computer, but is expressive enough to allow natural usage by non-specialists. Specifications in controlled natural language are automatically translated into Prolog clauses, hence become formal and executable. The translation uses a definite clause grammar (DCG) enhanced by feature structures. Inter-text references of the specification, e.g. anaphora, are resolved with the help of discourse representation theory (DRT). The generated Prolog clauses are added to a knowledge base. We have implemented a prototypical specification system that successfully processes the specification of a simple automated teller machine.Comment: 16 pages, compressed, uuencoded Postscript, published in Proceedings CLNLP 95, COMPULOGNET/ELSNET/EAGLES Workshop on Computational Logic for Natural Language Processing, Edinburgh, April 3-5, 199

Attempto - From Specifications in Controlled Natural Language towards Executable Specifications

Deriving formal specifications from informal requirements is difficult since one has to take into account the disparate conceptual worlds of the application domain and of software development. To bridge the conceptual gap we propose controlled natural language as a textual view on formal specifications in logic. The specification language Attempto Controlled English (ACE) is a subset of natural language that can be accurately and efficiently processed by a computer, but is expressive enough to allow natural usage. The Attempto system translates specifications in ACE into discourse representation structures and into Prolog. The resulting knowledge base can be queried in ACE for verification, and it can be executed for simulation, prototyping and validation of the specification.Comment: 15 pages, compressed, uuencoded Postscript, to be presented at EMISA Workshop 'Naturlichsprachlicher Entwurf von Informationssystemen - Grundlagen, Methoden, Werkzeuge, Anwendungen', May 28-30, 1996, Ev. Akademie Tutzin

Attempto Controlled English (ACE)

Attempto Controlled English (ACE) allows domain specialists to interactively formulate requirements specifications in domain concepts. ACE can be accurately and efficiently processed by a computer, but is expressive enough to allow natural usage. The Attempto system translates specification texts in ACE into discourse representation structures and optionally into Prolog. Translated specification texts are incrementally added to a knowledge base. This knowledge base can be queried in ACE for verification, and it can be executed for simulation, prototyping and validation of the specification.Comment: 13 pages, compressed, uuencoded Postscript, to be presented at CLAW 96, The First International Workshop on Controlled Language Applications, Katholieke Universiteit Leuven, 26-27 March 199

A Systems Theory Perspective

Aktualisierung: Am 12. Oktober 2018 wurde die digitale Version des Buchbeitrags um den fehlenden Teil (Seiten 53-66) ergänzt

Promoting Congregational Public Relations in Public Press and Parish Journalism

This study will seek to look at the church\u27s use of the public press and parish journalism in the light of good public relations

Rates and Equilibria for a Photoisomerizable Antagonist at the Acetylcholine Receptor of Electrophorus Electroplaques

Voltage-jump and light-flash experiments have been performed on isolated Electrophorus electroplaques exposed simultaneously to nicotinic agonists and to the photoisomerizable compound 2,2'-bis-[α-(trimethylammonium)methyl]-azobenzene (2BQ). Dose-response curves are shifted to the right in a nearly parallel fashion by 2BQ, which suggests competitive antagonism; dose-ratio analyses show apparent dissociation constants of 0.3 and 1 µM for the cis and trans isomers, respectively. Flash-induced trans → cis concentration jumps produce the expected decrease in agonist-induced conductance; the time constant is several tens of milliseconds. From the concentration dependence of these rates, we conclude that the association and dissociation rate constants for the cis-2BQ-receptor binding are approximately ~ 10^8 M^(-1) s^(-1) and 60 s^(-1) at 20ºC; the Q_(10) is 3. Flash-induced cis → trans photoisomerizations produce molecular rearrangements of the ligand-receptor complex, but the resulting relaxations probably reflect the kinetics of buffered diffusion rather than of the interaction between trans-2BQ and the receptor. Antagonists seem to bind about an order of magnitude more slowly than agonists at nicotinic receptors

The Oxygen Abundance of HE 1327-2326

From a newly obtained VLT/UVES spectrum we have determined the oxygen abundance of HE 1327-2326, the most iron-poor star known to date. UV-OH lines yield a 1D LTE abundance of [O/Fe]_OH = 3.7 (subgiant case) and [O/Fe]_OH = 3.4 (dwarf case). Using a correction of -1.0 dex to account for 3D effects on OH line formation, the abundances are lowered to [O/Fe] = 2.8 and [O/Fe] = 2.5, respectively, which we adopt. Without 3D corrections, the UV-OH based abundance would be in disagreement with the upper limits derived from the OI triplet lines: [O/Fe]_trip < 2.8 (subgiant) and [O/Fe]_trip < 3.0 (dwarf). We also correct the previously determined carbon and nitrogen abundances for 3D effects. Knowledge of the O abundance of HE 1327-2326 has implications for the interpretation of its abundance pattern. A large O abundance is in accordance with HE 1327-2326 being an early Population II star which formed from material chemically enriched by a first generation supernova. Our derived abundances, however, do not exclude other possibilities such as a Population III scenario.Comment: 13 pages, accepted for publication in ApJ