Knight, B., Moller, H., Bradley, S. & Davies, M. 2008 (31 :xi): Austral seabirds: challenges and opportunities for research and conservation. Papers andProceedings ofthe Royal Society ofTasmania 142(1): 1-8. ISSN 0080-4703. Centre for the Study ofAgriculture, Food and Environment, University ofOtago, PO Box 56, Dunedin 9054, New Zealand (BK, HM*), Department of Biological Sciences and Biotechno...

A multitude of schema language models and formalisms have been proposed to enrich documents with some kind of semantics. From a theoretical point of view, there are two kinds of schema languages referring to different levels of abstraction: data modeling (naming) languages and domain modeling (ontology) languages. According to Lee and Chu (2000) ’noteworthy’ data modeling languages are XML DTD,...

The term ‘homing’ refers to the ability of an agent – either animal or robot to find a known goal location. It is often used in the context of animal behaviour, for example when a bird or mammal returns ‘home’ after foraging for food, or when a bee returns to its hive. Visual homing, as the expression suggests, is the act of finding a home location using vision. Generally it is performed by com...

It has been recently suggested by Arkani-Hamed, Dimopoulos and Dvali that gravity may become strong at energies not far above the electroweak scale and thus remove the hierarchy problem. Such a scenario can be tested at both present and future accelerators since towers of Kaluza-Klein gravitons and associated scalar fields now play an important phenomenological role. In this paper we examine se...

Mimer, R. and F. Moller, Unique decomposition of processes, Theoretical Computer Science 107 (1993) 357-363. In this paper, we examine questions about the prime decomposability of processes, where we define a process to be prime whenever it cannot be decomposed into nontrivial components. We show that any finite process can be uniquely decomposed into prime processes with respect to bisimulatio...

Recently there has been a spurt of activity in concurrency theory centered on the analysis of innnite-state systems. The following two problems have been intensely investigated: (1) given two innnite-state systems, are they equal with respect to a certain equivalence notion?, and (2) given an innnite-state system and a property expressed in a certain temporal logic, does the system satisfy the ...

The infrared (IR) and Raman spectra of triphenylene with intensities were calculated using both density functional theory (DFT, B3LYP method) and Moller-Plesset perturbation method of second order (MP2) with ccpVDZ basis set. Spectra were compared with experimentally measured; the agreement between the observed and calculated spectra is good in case of IR spectroscopy, MP2 simulated spectra wer...

A systematic method for approximating the ab initio electronic energy of molecules from the energies of molecular fragments has been adapted to estimate the total electronic energy of crystal lattices. The fragmentation method can be employed with any ab initio electronic structure method and allows optimization of the crystal structure based on ab initio gradients. The method is demonstrated o...