We discuss the implementation of an off-line air quality model (AQM). More precisely, how to design a code for an AQM that runs efficiently on a variety of computer platforms. We implemented our ideas in an AQM benchmark and we show the performance of this benchmark on the different architectural paradigms. A second subject of the paper is the I/O performance of the Cray T3E for an off-line mod...

Given a set of n points S in the plane, a triangulation T of S is a maximal set of non-crossing segments with endpoints in S. We present an algorithm that computes the number of triangulations on a given set of n points in time n √ , significantly improving the previous best running time of O(2n) by Alvarez and Seidel [SoCG 2013]. Our main tool is identifying separators of size O( √ n) of a tri...

In the oil industry, huge saving may be made if suitable multi-interface level measurement systems are employed for effectively monitoring crude oil separators and efficient control of their operation. A number of techniques, e.g. externally mounted displacers, differential pressure transmitters and capacitance rod devices, have been developed to measure the separation process with gas, oil, wa...

The study provides a statistical trend analysis of different air pollutants using Mann-Kendall and Sen’s slope estimator approach on past pollutants statistics from air quality index station of Varanasi, India. Further, using autoregressive integrated moving average model, future values of air pollutant levels are predicted. Carbon monoxide, nitrogen dioxide, sulphur dioxide, particu...

This paper presents a novel implementation of an electromagnetically coupled patch antenna using air gap filled substrates to achieve the maximum bandwidth. We also propose an efficient modeling technique using the FDTD method which can substantially reduce the simulation cost for modeling the structure. The simulated results have been compared with measurement to show the broadband behavio...

Deficient safety occurrence reporting by air traffic controllers is an important issue in many air traffic organizations. To understand the reasons for not reporting, practitioners formulated a number of hypotheses, which are difficult to verify manually. To perform automated, formally-based verification of the hypotheses an agent-based modeling and simulation approach is proposed in this paper...

A scheme is presented for mapping the connectivity of a potential magnetic field arising from an arbitrary distribution of discrete sources. The field lines interconnecting the sources are classified into Nd domains, defining the field’s connectivity. The number of domains is shown to depend on the number of sources and on the numbers of nulls and separators according to a simple relation. A cl...

In this paper, we analyze ptolemaic graphs for its properties as chordal graphs. Firstly, two characterizations of ptolemaic graphs are proved. The first one is based on the reduced clique graph, a structure that was defined by Habib and Stacho [8]. In the second one, we simplify the characterization presented by Uehara and Uno [13] with a new proof. Then, known subclasses of ptolemaic graphs a...

The auditory system appears to begin listening to an input with a basis toward hearing the input as a single stream, but it gradually accumulates evidence over a period of seconds which may lead to the input's being split into substreams. Several seconds of silence or of unpatterned noise slowly remove the bias of the mechanism in favor of these streams. The effects were demonstrated in experim...