In the paper the Author describes the general concept of a Universal Maritime Data Model (UMDM) a common representation of all data objects and relationships occurring in the maritime domain. Implementation of IMO’s e-Navigation strategy leads to a larger variety and higher volume of information and increased information exchange due to globalization. Consequently there is a need to handle info...

A general strategy for proving completeness theorems for quantified modal logics is provided. Starting from free quantified modal logic K, with or without identity, extensions obtained either by adding the principle of universal instantiation or the converse of the Barcan formula or the Barcan formula are considered and proved complete in a uniform way. Completeness theorems are also shown for ...

We present a short introduction into general orthogonal polynomials in the complex plane, with special attention for the real line and the unit circle. Most of the material is classical and available in di®erent textbooks (see the references for relevant literature). This introduction brings together the analysis in the complex plane, the real line and the unit circle, which should be useful fo...

This paper addresses a robust control approach for a class of input-output linearizable nonlinear systems with uncertainties and modeling errors considered as unknown inputs. As known, the exact feedback linearization method can be applied to control input-output linearizable nonlinear systems, if all the states are available and modeling errors are negligible. The mentioned two prerequisites d...

We consider the parallel factorization of sparse finite element matrices on distributed memory machines. Our method is based on a nested dissection approach combined with a cyclic re-distribution of the interface Schur complements. We present a detailed definition of the parallel method, and the well-posedness and the complexity of the algorithm is analyzed. A lean and transparent functional in...

In this paper, we evaluate several Multi-User Detection (MUD) architectures for the reception of asynchronous beacon signals in the ARGOS satellite system. The case of synchronous signals is studied first. Though impractical, this case provides useful guidance on the second part of the study, i.e., the design of MUD receivers for asynchronous users. This paper focuses more particularly on Succe...

The cost of ensuring that information systems were prepared for the Year 2000 (Y2K) were enormous. The U.S. government spent an estimated $8.34 billion [1]. Once the cost borne by state and local governments, public utilities, and the commercial sector are included, the costs in the U.S. alone are staggering. When the Y2K costs from other countries are included, the estimated amount exceeds $3 ...

We present Hubble Space Telescope and ground{based data on the z abs = 0:8596 metal line absorption system along the line of sight to PKS 0454+0356. The system is a moderate redshift damped Lyman alpha system, with N(HI) = (5:7 0:3) 10 20 cm 2 as measured from the Faint Object Spectrograph spectrum. We also present ground{ based images which we use to identify the galaxy which most probably giv...

Background The measurement of health benefits is a key issue in health economic evaluations. There is very scarce empirical literature exploring the differences of using quality-adjusted life years (QALYs) or disability-adjusted life years (DALYs) as benefit metrics and their potential impact in decision-making.   Methods Two previously published models delivering outputs in QALYs, were adapted...