On the ambiguation of Polish notation

In this paper we study an alternative way of treating Polish notation. Instead of proving unique reading for a well-behaved set of terms, we interpret any string of the alphabet in a monoid that extends, in a specifiable sense, the given algebra of functions.     

A residualizing semantics for the partial evaluation of functional logic programs

Recent proposals for multi-paradigm declarative programming combine the most important features of functional, logic and concurrent programming into a single framework. The operational semantics of these languages is usually based on a combination of narrowing and residuation. In this paper, we introduce a non-standard, residualizing semantics for multi-paradigm declarative programs and prove its equivalence with a standard operational semantics. Our residualizing semantics is particularly relevant within the area of program transformation where it is useful, e.g., to perform computations during partial evaluation. Thus, the proof of equivalence is a crucial result to demonstrate the correctness of (existing) partial evaluation schemes.     

Prosody Evaluation as a Diagnostic Process: Subjective vs. Objective Measurements

A set of perception experiments, using reiterant and lexicalised speech, was designed to perform a diagnostic of the relative implication of prosody in the segmentation and hierarchisation of speech. Both natural and synthetic intonation were evaluated. Then, two distance measures—correlation and root-mean-square distance on the acoustic parameters (F0, syllabic duration and intensity)—were applied to match the perception results. This objective vs. subjective comparison underlines which acoustic cues are used by listeners to judge the adequacy of prosody in performing a given function such as demarcation. Results can be summarized by a scale of the perceptual distance between two demarcation functions. This study also points out the ability of listeners to retrieve pertinent information on the basis of pure prosodic stimuli.     

Dissymmetric warfare versus asymmetric warfare

This paper presents two concepts: asymmetric warfare and dissymmetric warfare. NATO and US Military operations in recent wars in Kosovo and Afghanistan are analysed by means of comparison with old Chinese strategic thinking. No‐Loss‐Strategy and virtual warfare as well as the transformation from asymmetric to dissymmetric and from dissymmetric to asymmetric warfare are reflected upon.     

Oil Spill Dispersant Effectiveness Protocol. II: Performance of Revised Protocol

The current U.S. Environmental Protection Agency (EPA) protocol for testing the effectiveness of dispersants for use in treating oil spills on the open water, the swirling flask test (SFT), has been found to give widely varying results in the hands of different testing laboratories. Part I addressed the sources of the ambiguities in the EPA SFT and the development of a new test referred to as the baffled flask test (BFT). In this part of the series, further experiments were conducted for estimating the repeatability of three operators in determining the effectiveness of 18 dispersants by both the EPA SFT and the BFT methods. Overall statistical analysis of the results indicated that the coefficient of variation by the BFT was only 7.8% compared to 21.9% for the EPA SFT. The mean percent effectiveness of the EPA SFT was only 19.7% as compared to 64.6% for the BFT. Proposed selection criteria for screening of dispersants for listing on the National Contingency Plan Product Schedule have been developed.     

One-Order-Statistic Conditional Estimators of Shape Parameters of Limited and Pareto Distributions and Scale Parameters of Type II Asymptotic Distributions of Smallest and Largest Values

One-order-statistic estimators are derived for the shape parameter K of the limited distribution function F1(x, ?, K) = 1 - (? - x)K and the Pareto distribution function F2(y, ?, K) = 1 - (y - ?)-K, given the location parameters ? and ?, respectively. Similar estimators are derived for the scale parameters v1 and Vn, of the Type II asymptotic distributions of smallest and largest values, F3(w, v1, K) = 1 - exp[-(w/v1)-K] and F4(z, vn K) = exp [-(z/vn)-K], given the shape parameter K and assuming the location parameter is zero. The one-order-statistic estimators are K?|? = -1/Cmn 1n(? - xmn) for the limited distribution, K?|? = 1/Cmn 1n(ymn - ?) for the Pareto distribution, ?1|K = Cmn-1/K Wmn and ?n|K = Cmn-1/K Zn-m+1,n for the Type II distributions of smallest and largest values, where Xmn, Ymn, Wmn, Zmn are the mth order statistics of samples of size n from the respective distributions and Cmn is the coefficient for a one-order-statistic estimator of the scale parameter of an exponential distribution, which has been tabled in an earlier paper. It is shown that exact confidence bounds can be easily derived for these parameters using exact confidence bounds for the scale parameter of the exponential distribution. Use of the estimators is illustrated by numerical examples.     

Deterministic and stochastic assessment of the harmonic currents consumed by discharge lamps

The paper examines the deterministic and stochastic behavior of magnetic ballast discharge lamps. Expressions to deterministically calculate the harmonic currents of discharge lamps are provided and analytical expressions of the probability density functions of these harmonic currents are obtained. The results are validated with experimental measurements.     

Remote plasma etching of titanium nitride using NF3/argon and chlorine mixtures for chamber clean applications

To avoid plasma induced erosion of chamber hardware, the application of remote plasma sources to activate the etch gases was introduced. We present results on the etch behaviour of titanium nitride (TiN) using mixtures of NF₃, Cl₂ and argon. The gas mixture was excited in a remote plasma source and then routed through a reaction chamber to study the etch behaviour of TiN samples which simulate the situation at the chamber walls. The dependency of the TiN etch rate on temperature, gas flow, composition and pressure was examined. While the temperature (studied in the range 25-300 °C) turned out to be the most sensitive parameter, the general etch rate was mainly dependent on the availability of atomic fluorine. Etch products and NF₃/Cl₂ dissociation have been monitored by quadrupole mass spectrometry and infrared spectroscopy. While NF₃ showed a high decomposition up to 96%, chlorine decomposition was not observed. However the addition of chlorine increased the etch rates up to 260% in the low pressure/low temperature regime. Surface effects of chlorine addition are indicated by X-Ray Photoelectron Spectrometry and REM surface analysis.     

Public key cryptography based privacy preserving multi-context RFID infrastructure

In this paper, we propose a novel radio frequency identification (RFID) infrastructure enabling multi-purpose RFID tags realized by the use of privacy preserving public key cryptography (PKC) architecture. The infrastructure ensures that the access rights of the tags are preserved based on the spatial and temporal information collected from the RFID readers. We demonstrate that the proposed scheme is secure with respect to cryptanalytic, impersonation, tracking, replay, and relay attacks. We also analyze the feasibility of PKC implementation on passive class 2 RFID tags, and show that the requirements for PKC are comparable to those of other cryptographic implementations based on symmetric ciphers. Our numerical results indicate PKC based systems can outperform symmetric cipher based systems, since the back end servers can identify RFID tags with PKC based systems approximately 57 times faster than the best symmetric cipher based systems.     

DFC++ Processing Framework Concept

Development of modern Software Defined Radio (SDR) based communication systems can be accelerated significantly by the use of processing frameworks. The evolution of SDR and the involved departure from digital representations of classical radio architecture towards more abstract software systems raises new requirements of increased flexibility and versatility. The proposed Data Flow Control for C++ (DFC++) processing framework concept addresses those requirements by employing modern programming techniques and flow control mechanisms to allow for variable data rates, dynamic paths, and flexible component designs. Another important trend is the integration of various embedded platforms in the software radio domain. The rapidly increasing performance and efficiency of embedded processors enables the deployment of SDR systems in more space and power constrained environments. Therefore covering a heterogeneous hardware selection becomes increasingly important for processing frameworks. By relying exclusively on C++ and minimizing external dependencies, DFC++ is specifically aiming for excellent portability and adaptability to support a wide range of current and future software radio projects while maintaining high performance and ease of use. This paper introduces the key aspects of the DFC++ concept and implementation with focus on the reference pointer based data transport mechanisms responsible for the propagation of user data between different processing components.