This work, part I in a two-part series, presents: (i) a simple and highly efficient algorithm for evaluation of quasi-periodic Green functions, as well as (ii) an associated boundary-integral equation method for the numerical solution of problems of scattering of waves by doubly periodic arrays of scatterers in three-dimensional space. Except for certain 'Wood frequencies' at which the quasi-pe...

A multi-set (ms) is a set where an element can occur more than once. ms hash functions (mshfs) map mss of arbitrary cardinality to fixed-length strings. This paper introduces a new rsa-based mshf. The new function is efficient and produces small hashes. We prove that the proposed mshf is collision-resistant under the assumption of unforgeability of deterministic rsa signatures. In many practica...

A simple and efficient homogenous liquid-liquid extraction method performed in a narrow tube combined with dispersive liquid-liquid microextraction method has been presented for the simultaneous determination of two antiepileptic drugs in urine followed by gas chromatography with flame ionization detection. In this method, a mixture of acetonitrile and urine sample (homogenous solution) is load...

A simple and efficient homogenous liquid-liquid extraction method performed in a narrow tube combined with dispersive liquid-liquid microextraction method has been presented for the simultaneous determination of two antiepileptic drugs in urine followed by gas chromatography with flame ionization detection. In this method, a mixture of acetonitrile and urine sample (homogenous solution) is load...

here‎, ‎we aim to develop a new algorithm for solving a multiobjective linear programming problem‎. ‎the algorithm is to obtain a solution which approximately meets the decision maker's preferences‎. ‎it is proved that the proposed algorithm always converges to a weak efficient solution and at times converges to an efficient solution‎. ‎numerical examples and a simulation study are used to...

Surface mesh parameterization is a fundamental tool in computer graphics, required for applications like e.g. texture mapping, remeshing and morphing. Linear parameterization methods are of particular interest. Their simplicity, efficiency and robustness, enables the processing of detailed, large meshes. In practice, however, the current linear schemes are limited to producing (quasi-)conformal...

In this paper algorithms for model checking CSL (continuous stochastic logic) against infinite-state continuous-time Markov chains of so-called quasi birth-death type are developed. In doing so we extend the applicability of CSL model checking beyond the recently proposed case for finite-state continuous-time Markov chains, to an important class of infinite-state Markov chains. We present synta...

Currently available application frameworks that target at the automatic design of real-time embedded software are poor in integrating functional and nonfunctional requirements for real-time embedded systems. In this work, we present the internal architecture and design flow of a newly proposed framework called Verifiable Embedded Real-Time Application Framework (VERTAF), which integrates three ...