Open Access. Powered by Scholars. Published by Universities.®

Physical Sciences and Mathematics Commons™

Open Access. Powered by Scholars. Published by Universities.®

Programming Languages and Compilers

1995

Articles 1 - 14 of 14

Full-Text Articles in Physical Sciences and Mathematics

Test Of The Flavour Independence Of Αs, D. Buskulic, Manoj Thulasidas Jul 1995

Test Of The Flavour Independence Of Αs, D. Buskulic, Manoj Thulasidas

Research Collection School Of Computing and Information Systems

Using about 950 000 hadronic events collected during 1991 and 1992 with the ALEPH detector, the ratios r b = bs=udsc s and r uds = uds s =cbs have been measured in order to test the avour independence of the strong coupling constant s . The analysis is based on event{shape variables using the full hadronic sample, two b-quark samples enriched by lepton tagging and lifetime tagging, and a light-quark sample enriched by lifetime antitagging. The combined results are r b = 1:002 0:023 and r uds = 0:971 0:023.

Go to article

The Forward-Backward Asymmetry For Charm Quarks At The Z Pole, D. Buskulic, Manoj Thulasidas Jun 1995

The Forward-Backward Asymmetry For Charm Quarks At The Z Pole, D. Buskulic, Manoj Thulasidas

Research Collection School Of Computing and Information Systems

From 1.4 million hadronic Z decays collected by the ALEPH detector at LEP, an enriched sample of Z → cc̄ events is extracted by requiring the presence of a high momentum D∗±. The charm quark forward-backward charge asymmetry at the Z pole is measured to be AFB0.c = (8.0 ± 2.4) % corresponding to an effective electroweak mixing angle of sin2θWeff = 0.2302 ± 0.0054.

Go to article

Object-Oriented Concurrent Programming On The Connection Machine With Cool (Concurrent Object-Oriented Language), Maria Rosa Drake Apr 1995

Object-Oriented Concurrent Programming On The Connection Machine With Cool (Concurrent Object-Oriented Language), Maria Rosa Drake

FIU Electronic Theses and Dissertations

The quest for speed and the need to solve ever more complex problems has led to the development of powerful computer systems, such as the Connection Machine. Concurrent processing promises a solution to the problem. COOL (Concurrent Object-Oriented Language) has been developed in order to provide the Connection Machine with a subset of C" which includes several concurrent constructs. The Connection Machine has an inherently parallel architecture which can be taken advantage of with software.

Go to article

Search For Supersymmetric Particles With R-Parity Violation In Z Decays, D. Buskulic, Manoj Thulasidas Apr 1995

Search For Supersymmetric Particles With R-Parity Violation In Z Decays, D. Buskulic, Manoj Thulasidas

Research Collection School Of Computing and Information Systems

Searches for supersymmetric particles produced in e+e− interactions at the Z peak have been performed under the assumptions that R-parity is not conserved, that the dominant R-parity violating coupling involves only leptonic fields, and that the lifetime of the lightest supersymmetric particle can be neglected. In a data sample collected by the ALEPH detector at LEP up to 1993, and corresponding to almost two million hadronic Z decays, no signal was observed. As a result, supersymmetric particle masses and couplings are at least as well constrained as under the usual assumption of R-parity conservation.

Go to article

Michel Parameters And Τ Neutrino Helicity From Decay Correlations In Z → Τ+Τ-, D. Buskulic, Manoj Thulasidas Mar 1995

Michel Parameters And Τ Neutrino Helicity From Decay Correlations In Z → Τ+Τ-, D. Buskulic, Manoj Thulasidas

Research Collection School Of Computing and Information Systems

No abstract provided.

Go to article

Disseminatorik. Zur Dekonstruktion Der Techno-Logik, Rudolf Kaehr Jan 1995

Disseminatorik. Zur Dekonstruktion Der Techno-Logik, Rudolf Kaehr

Rudolf Kaehr

POLYKONTEXTURALE LOGIK. Zur Konzeption, Formalisierung und Validierung. PROÖMIK UND DISSEMINATORIK Abbreviaturen transklassischen Denkens. DISKONTEXTURALITATEN: WOZU NEUE FORMEN DES DENKENS? Zur Kritik der logischen Voraussetzungen der Second Order Cybernetics und der Systemtheorie DISSEMINATORIK: ZUR LOGIK DER 'SECOND ORDER CYBERNETICS' Von den 'Laws of Form' zur Logik der Reflexionsform VOM 'SELBST' IN DER SELBSTORGANISATION Reflexionen zu den Problemen der Konzeptionalisierung und Formalisierung selbstbezüglicher Strukturbildungen SUFI´S DRAI: WOZU DISKONTEXTURALITATEN IN DER AI ? KALKÜLE FÜR SELBSTREFERENTIALITAT ODER SELBSTREFERENTIELLE KALKÜLE? SKIZZE EINER GRAPHEMATISCHEN SYSTEMTHEORIE Zur Problematik der Heterarchie verteilter Systeme im Kontext der New „second-order“ Cybernetics EINÜBUNG IN EINE ANDERE LEKTÜRE. Diagramm einer Rekonstruktion …

Go to article

Objects, Interference, And The Yoneda Embedding, Peter W. O'Hearn, Uday S. Reddy Jan 1995

Objects, Interference, And The Yoneda Embedding, Peter W. O'Hearn, Uday S. Reddy

College of Engineering and Computer Science - Former Departments, Centers, Institutes and Projects

We present a new semantics for Algol-like languages that combines methods from two prior lines of development: [1] the object-based approach of [28,29], where the meaning of an imperative program is described in terms of sequences of observable actions, and [2] the functor-category approach initiated by Reynolds [31], where the varying nature of the run-time stack is explained using functors from a category of store shapes to a category of cpos. The semantics gives an account of both the phenomena of local state and irreversibility of state change. As an indication of the accuracy obtained, we present a full abstraction …

Go to article

Syntactic Control Of Interference Revisited, Peter W. O'Hearn, A. J. Power, M. Takeyama, R. D. Tennent Jan 1995

Syntactic Control Of Interference Revisited, Peter W. O'Hearn, A. J. Power, M. Takeyama, R. D. Tennent

College of Engineering and Computer Science - Former Departments, Centers, Institutes and Projects

In "Syntactic Control of Interference" (POPL, 1978), J. C. Reynolds proposes three design principles intended to constrain the scope of imperative state effects in Algol-like languages. The resulting linguistic framework seems to be a very satisfactory way of combining functional and imperative concepts, having the desirable attributes of both purely functional languages (such as pcf) and simple imperative languages (such as the language of while programs). However, Reynolds points out that the "obvious" syntax for interference control has the unfortunate property that fi-reductions do not always preserve typings. Reynolds has subsequently presented a solution to this problem (ICALP, 1989), but …

Go to article

Parametricity And Local Variables, Peter W. O'Hearn, R. D. Tennent Jan 1995

Parametricity And Local Variables, Peter W. O'Hearn, R. D. Tennent

College of Engineering and Computer Science - Former Departments, Centers, Institutes and Projects

We propose that the phenomenon of local state may be understood in terms of Strachey 's concept of parametric (i.e., uniform) polymorphism. The intuitive basis for our proposal is the following analogy: a non-local procedure is independent of locally-declared variables in the same way that a parametrically polymorphic function is independent of types to which it is instantiated. A connection between parametricity and representational abstraction was first suggested by J. C. Reynolds. Reynolds used logical relations to formalize this connection in languages with type variables and user-defined types. We use relational parametricity to construct a model for an Algol-like language …

Go to article

Note On Algol And Conservatively Extending Functional Programming, Peter W. O'Hearn Jan 1995

Note On Algol And Conservatively Extending Functional Programming, Peter W. O'Hearn

College of Engineering and Computer Science - Former Departments, Centers, Institutes and Projects

A simple Idealized Algol is considered, based on Reynolds's "essence of Algol." It is shown that observational equivalence in this language conservatively extends observational equivalence in its assignment-free functional sublanguage.

Go to article

Exploiting High Performance Fortran For Computational Fluid Dynamics, Volume 919, Ken Hawick, Geoffrey C. Fox Jan 1995

Exploiting High Performance Fortran For Computational Fluid Dynamics, Volume 919, Ken Hawick, Geoffrey C. Fox

Northeast Parallel Architecture Center

We discuss the High Performance Fortran data parallel programming language as an aid to software engineering and as a tool for exploiting High Performance Computing systems for computational uid dynamics applications. We discuss the use of intrinsic functions, data distribution directives and explicitly parallel constructs to optimize performance by minimizing communications requirements in a portable manner. In particular we use an implicit method such as the ADI algorithm to illustrate the major issues. We focus on regular mesh problems, since these can be efficiently represented by the existing HPF definition, but also discuss issues arising from the use of irregular …

Go to article

An Ada-Like Language To Facilitate Reliable Coding Of Low Cost Embedded Systems, Michael Collins Jan 1995

An Ada-Like Language To Facilitate Reliable Coding Of Low Cost Embedded Systems, Michael Collins

Theses : Honours

Due to a lack of operating system (0/S) support, it is more difficult to develop programs for embedded systems than for workstations. For those developing on a low budget, the problem is often further compounded by the necessity of using inappropriate, 0/S dependent, compilers. This study attempts to ascertain those elements of a High Level Language (HLL) which are absolutely necessary and implementable to produce reliable, efficient, embedded programs without the benefit of a large budget. The study is based upon the Ada philosophy as the Ada language incorporates many desirable features for modelling real-world problems in terms of embedded …

Go to article

Implementation And Evaluation Of Enhanced Areal Interpolation Using Mapinfo And Mapbasic, Gordon Wragg Jan 1995

Implementation And Evaluation Of Enhanced Areal Interpolation Using Mapinfo And Mapbasic, Gordon Wragg

Theses : Honours

Many researchers today have a need to analyse data in a spatial context. An inherent problem is the mismatch of boundaries between the geographic regions for which data is collected and those regions for which the data is required. Often the solution is to interpolate data from one set of regions to another. This project examines and implements a method of areal interpolation that enables the user to use extra information in areal interpolation to increase the "intelligence ' of the process. This method of Enhanced Areal Interpolation uses a conditional Poisson distribution and the EM algorithm to provide estimated …

Go to article

First Measurement Of The Quark-To-Photon Fragmentation Function, D. Buskulic, Manoj Thulasidas Jan 1995

First Measurement Of The Quark-To-Photon Fragmentation Function, D. Buskulic, Manoj Thulasidas

Research Collection School Of Computing and Information Systems

Earlier measurements at LEP of isolated hard photons in hadronic Z decays, attributed to radiation from primary quark pairs, have been extended in the ALEPH experiment to include hard photon production inside hadron jets. Events are selected where all particles combine democratically to form hadron jets, one of which contains a photon with a fractional energy z 0:7. After statistical subtraction of non-prompt photons, the quark-to-photon fragmentation function, D(z), is extracted directly from the measured 2-jet rate. By taking into account the perturbative contributions to D(z) obtained from an O(S ) QCD calculation, the unknown non-perturbative component of D(z) is …

Go to article