We describe an object in the Hubble Deep Field North with very unusual near– infrared properties. It is readily visible in Hubble Space Telescope NICMOS images at 1.6μm and from the ground at 2.2μm, but is undetected (with signal–to–noise ∼< 2) in very deep WFPC2 and NICMOS data from 0.3 to 1.1μm. The fν flux density drops by a factor ∼> 8.3 (97.7% confidence) from 1.6 to 1.1μm. The object is c...

Object-Z and CSP are high level specification languages which offer powerful formal support for the design of distributed, communicating systems. Java is an ideal implementation language for such systems. But developing provably correct Java implementations from these specifications is notoriously difficult. To bridge this gap we suggest to use Jass, which extends Java with assertions, as an in...

UNJ1025−0040 is a quasar at z = 0.6344 that shows an extremely bright post starburst population of age ∼ 400 Myr (Brotherton et al. 1999). Images of UNJ1025−0040 show a nearly stellar object 4. 2 SSW of the quasar. We present imaging and spectroscopy that confirm that this object is a companion galaxy at redshift z = 0.6341. We estimate an age of ∼ 800 Myr for the dominant stellar population in...

c. ∃e∃e′∃e′′∃s [causation(e) ∧CAUSE(e, e′) ∧ EFFECT(e, e′′) ∧ activity(e′) ∧ EFFECTOR(e′, x) ∧ change-of-state(e′′) ∧ RESULT(e′′, s) ∧ broken-state(s) ∧ PATIENT(s, y)] Case study: the English dative alternation (1) a. John sent Mary the book. (double object, DO) b. John sent the book to Mary. (prepositional object, PO) Traditional decompositional analysis: (2) a. [ [x ACT] CAUSE [z HAVE y] ] (c...

The Carlson-Shaffer operator L(a, c)f = φ(a, c) ∗ f, where f(z) = z+ a2z + · · · is analytic in the unit disk E = {z : |z| < 1} and φ(a, c; z) is an incomplete beta function, is used to define the class T (a, c). An analytic function f belongs to T (a, c) if L(a, c)f is starlike in E. The object of the present paper is to derive some properties of functions f in the class T (a, c).

Note: Most SVRC technical reports are available via anonymous ftp, from svrc.it.uq.edu.au in the directory /pub/techreports. Abstract The speciication of a user-interface describes user-perceivable functions and information structures in an implementation-independent way. In this paper we specify part of the user-interface for the UQ? editor. The UQ? editor is part of an integrated programming ...

We classify n-point extensions of ergodic Z-actions up to relative orbit equivalence and establish criteria under which one n-point extension of an ergodic Z-action can be sped up to be relatively isomorphic to an n-point extension of another ergodic Z-action. Both results are characterized in terms of an algebraic object associated to each n-point extension which is a conjugacy class of subgro...

Note: Most SVRC technical reports are available via anonymous ftp, from svrc.it.uq.edu.au in the directory /pub/techreports. Abstract This article investigates the issue of structuring Z speciications. It uses examples from a large speciication (the production cell) to examine both conventions for using Z and notational extensions, including Object-Z. Because of the importance of good structure...

We report the discovery of four high-redshift objects (3.3 < z < 4) observed behind the rich cluster CL0939+4713 (Abell 851). One object (DG 433) has a redshift of z = 3.3453; the other three objects have redshifts of z ≈ 4: A0 at z = 3.9819, DG 353 and P1/P2 at z = 3.9822. It is possible that all four objects are being lensed in some way by the cluster, DG 433 being weakly sheared, A0 being st...