| The paper deals with the formal speciication of a general-purpose multimedia synchronization mechanism, known as the conditional delivery mechanism capable of addressing both intra-and inter-stream synchronization issues. The proposed mechanism, initially introduced in 3, 11], is based on the identiication of causal relations among information units of one or several streams and has the purpo...

Two things are striking about this medieval definition. The first is that it is very close to the modern conception of formal consequence one finds in Bolzano and Tarski3. The second is that although Buridan and the other fourteenth-century logicians state these distinctions with a great deal of precision, they say almost nothing about the point of the distinctions. Why are these distinctions d...

Derived varieties were invented by P. Cohn in [4]. Derived varieties of a given type were invented by the authors in [10]. In the paper we deal with the derived variety Vσ of a given variety, by a fixed hypersubstitution σ. We introduce the notion of the dimension of a variety as the cardinality κ of the set of all proper derived varieties of V included in V. We examine dimensions of some varie...

This paper develops a probabilistic reconstruction of the No Miracles Argument (NMA) in the debate between scientific realists and anti-realists. The goal of the paper is to clarify and to sharpen the NMA by means of a probabilistic formalization. In particular, I demonstrate that the persuasive force of the NMA depends on the particular disciplinary context where it is applied, and the stabili...

Under a suitable sparsity condition on the exponents Λ = {λk = τk+ iσk}, it is shown that the individual terms cT = {ck ek} can be obtained from observation of the L function f(t) = ∑ ck e iλkt through the ‘window’ t ∈ [0, δ] — with an ` estimate (uniform for such Λ) asymptotically as T, δ → 0. Some applications are given to control theory for partial differential equations.

Let Ea : y 2 + xy = x + ax + 1/F2m be a Koblitz curve. The window τ -adic nonadjacent-form (window τNAF) is currently the standard representation system to perform scalar multiplications on Ea by utilizing the Frobenius map τ . Pre-computation is an important part for the window τNAF. In this paper, we first introduce μτ̄ -operations in lambda coordinates (μ = (−1)1−a and τ̄ is the complex conjug...

BACKGROUND Parental height data are essential in the assessment of linear growth in children. A number of studies have documented inaccuracy in self-reported adult height. AIMS To determine whether there is a tendency for men to overestimate and women to underestimate their height. METHODS Heights of parents of children attending outpatient clinics were measured (MHt) and compared with repo...

Even though real-time systems have the stringent constraint of completing tasks before their deadlines, many existing real-time operating systems do not implement fault tolerance capabilities. In this paper we summarize fault tolerant real-time scheduling policy for dynamic tasks with ready times and deadlines. Our focus in this paper is the implementation, which includes fault-tolerant schedul...

Background and Objective: The severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2) is still an ongoing challenge in health system worldwide. Molecular detection methods including reverse transcription loop-mediated isothermal amplification (RT-LAMP) can help cutting off the transmission chain of the virus. In this study, prompt setting up of the RT-LAMP assays were investigated using ge...