Miracle-dz/UniFAR-FTUs huggingface dataset:
Integration of photogrammetry and optical camera communication technologies for vehicle positioning

We propose an algorithm for vehicle positioning approach comparing the relative distance between street lights and forwarding vehicle. Rolling shutter CMOS (complementary metal-oxide-semiconductor) camera on the host vehicle detects the LED-ID (light-emitting diode-ID) from both the street LED lights and rear LED lights of the forwarding vehicles. The distance between vehicles can be measured by comparing the change of pixels on the image sensor of the camera. At the end of this paper, we provide simulation result to show the performance of our proposed scheme.
Iterative Classification in Relational Data

Relational data offer a unique opportunity for improving the c lassification accuracy o f statistical m odels. If two objects are related, inferring something about one object can aid inferences about the other. We present an iterative classification p rocedure that exploits this characteristic of relational data. This approach uses simple Bayesian classifiers in an iterative fashion, dynamically upd ating the attributes of some objects as inferences are made about related ob jects. Inferences made with h igh confidence in initial iterations are fed back into the data and are used to inform subsequent i nferences about related ob jects. We evaluate the performance of this approach on a binary classification task. Experiments indicate that it erative classification significantly increases accuracy when compared to a single-pass approach.
A novel low phase noise quadrature VCO for medical implantable transceivers

The proposed Quadrature Voltage Controlled Oscillator is aimed for the MICS (Medical Implant Communication Service) devices. The objectives of the designed VCO is to achieve a small size, low power consumption, and a low phase noise. This unique QVCO is designed on Cadence SpectreRF (TSMC 0.18 mum Technology) platform. The simulation results show that at 400 MHz oscillation frequency, the obtained phase noise for 37 degree centigrade at 160 KHz offset is -93.51 dBc/Hz. The VCO Constant (Kvco) of 7.5 MHz/V for 402-405 MHz range is achieved. The power consumption is at 1.05 mW with the supply voltage of 1.8 V.
Double-blind Trial of Propranolol (Inderal) in Angina of Effort

Blockade of adrenergic beta-receptors has a possible application in the management of angina of effort, presumably through reduction of exercise-induced tachycardia and thereby of total cardiac work. A clinical trial with pronethalol has shown encouraging results (Alleyne et al., 1963). Its further use has, however, been limited partly by frequent central-nervous-system side-effects and partly by its carcinogenic action on mice (Paget, 1963). Propranolol (I.C.I. 45520, Inderal), a newly developed agent with a similar mode of action, has been shown to have a therapeutic effect about 10 times greater than that of pronethalol but without demonstrable carcinogenic potential (Black et al., 1964). The results of its use in a double-blind trial in) cases of angina of effort are reported.
Churn Management Optimization via Partial Least Square (PLS) Model with Controllable Marketing Instruments and Associated Management Costs

In this paper, we use a partial least square (PLS) optimization method as a prediction model to estimate the churn probabilities of customers and as a control model after configuring optimization objective and constraints with relative management costs of controllable variables. In our experiment, we observe that while the training and test data sets are dramatically different in terms of churner distributions (50% vs. 1.8%), four controllable variables in three marketing strategies played a key role in optimization process. We also observe that the most significant variable for prediction does not necessarily play an important role in optimization model because of the highest management cost. In addition, we show that marketing managers even further maximize financial outcomes of marketing campaigns by selecting customers based on churn probability or management cost.
Verification of the correctness of Real Time systems specified with timed Petri nets

This paper tackles the problem of the verification of the correctness of Real Time systems. In our approach a Real Time system is modeled as a timed Petri net. We specify requirements using another type of timed Petri net and the observation function that maps transitions in one net into another. The paper introduces both timed Petri net models, defines partial and total correctness and presents formal tools for their automatic verification.
Millimetre wave dielectric chartacterisation of multilayer LTCC substrate

The paper reports on the mm-wave characterization of a low temperature co-fired ceramic (LTCC) substrate. A substrate integrated resonator (SIW) method is presented for robust extraction of both permittivity and loss tangent of the substrate. The data obtained allow full characterization of the substrate in the 71 GHz - 95 GHz frequency range suitable for accurate modelling of E-and W-band printed circuits.
Le cadre discursif du développement: Des discours et actions politiques concrètes, aux répertoires d’action des associations de refoulés

Au tournant de l’annee 2006, les cotes senegalaises deviennent un des points de depart privilegies des « cayucos » a destination des iles Canaries. Tandis que les accords de readmission entre l’Espagne et le Senegal sont au centre des preoccupations diplomatiques, l’argument du developpement versus controle des flux migratoires est repris par le gouvernement senegalais pour negocier des contreparties aupres des autorites espagnoles. Au-dela de ces negociations politiques, ce papier s’attachera a montrer comment l’argumentaire du developpement constitue egalement un element central du repertoire d’argumentation des associations de refoules qui, au Senegal, cherchent a obtenir une visibilite dans l’arene sociale et a acquerir un certain nombre de ressources.
Relevanz von Studien-Blutdruckwerten für die Praxis

Relevance of blood pressure values obtained in studies for everyday practice. Apart from compliance with accepted standards of blood pressure measurement duration of quiet seated rest, number and intervals of serial measurements and their averaging, measuring by physicians, medical staff or the patient determine the height of the obtained value considerably. In comparison to daytime values by ambulatory blood pressure measurements doctors measure in the mean 15 mmHg higher systolic blood pressures and nurses 5 to 9 mmHg higher. Differences are smaller in low compared to high pressures, decrease with long quiet sitting and may vanish completely in the course of studies. All these limit comparability of study results and make them difficult to translate to everyday life, especially if blood pressure is not measured strictly standardized. Recently, several studies used fully automatic oscillometric devices and in the case of the SPRINT trial blood pressure was taken in the absence of medical staff. Since many years Canadian authors recommend this kind of automatic office blood pressure measurement by the patient in the office. When 3 to 5 measurements are taken after 5 minutes of quiet sitting values thus obtained equal those of home measurements and daytime values on ambulatory blood pressure monitoring. Desirably this method of taking blood pressure with fully automatic devices in the absence of medical staff should be broadly adopted in trials as well as in the office of physicians, since it minimizes white coat effects, decreases the tendency of rounding off readings to zero digits and allows study results to be translated to daily praxis in a 1 : 1 fashion. Until then, however, management of individual patients preferably is based on self-measurement or ambulatory blood pressure monitoring (ABPM) despite lack of confirmatory data. J Hypertonie 2016; 20 (2): 40–4.
Phonological Development of Korean: A Case Study

Studies on child phonology suggest that there exist phonological universals in the timing of phonological events and the order of acquiring phonological categories. According to Jakobson (1941/1968), voiceless (unaspirated) stops are acquired earlier than voiced or aspirated ones, and front consonants are acquired earlier than back consonants (i.e., bilabial > alveolar > velar). With regard to the manner of articulation, stops are claimed to be acquired before nasals, nasals before fricatives, fricatives before affricates, and affricates before liquids. These universals have been supported by data from many studies, but not always (see Vihman 1996, ch. 2). Studies on cross-linguistic data have found that the acquisition of speech sounds is influenced by the language-specific aspects of the ambient language and the frequency of the sound in child-directed speech (Macken 1980, Macken & Ferguson 1981, Lust, Flynn, Chien, & Clifford 1980, Vihman 1996, Vihman et al. 1998, Beckman et al. 2003; also see Zamuner et al. 2004 for phonotactic probability data arguing for the importance of considering the input in children’s acquisition of phonology). Though there are many studies on the acquisition of Korean, most of them are on the acquisition of morpho-syntax (e.g., acquisition of case markers, relative clauses, negation, word order, pronouns, wh-questions; see Y.-J. Kim 1997 for detailed reviews), and only a few are on the acquisition of phonology, especially the sound pattern of a child and the acquisition of phonological rules (e.g., Kang 1991, Cho 2002; see Yoko 1997 for detailed reviews). To my knowledge, no studies so far have examined the order of acquiring consonants and vowels and the acquisition of prosody based on instrumental investigations. The goal of this paper is to investigate the phonological development of a Korean child based on acoustic analysis of naturalistic data. Special attention is given to the acquisition of the Korean three-way manner contrast (tense, aspirated, lenis) and the acquisition of prosody.
Higher order minimum entropy approximations in radiative transfer

In this paper we approximate the radiative transfer equations by the method of moments, constructing mesoscopic approximations of arbitrary order of the otherwise microscopic system. To define the necessary closure a minimum entropy approach is utilized. While in radiative transfer, the minimum entropy closure for moment systems up to the first-order moment is well known, higher-order minimum entropy closures have not been implemented. This is probably due to the fact that the closure cannot be expressed in analytical form. Our focus thus lies in developing some general results about the minimum entropy system and in deriving a numerical closure. By extending to higher order, among increasing the precision, we are able to overcome difficulties that arise for the first order minimum entropy method. Numerical experiments in a 1-dimensional domain irradiated by two beams or with internal source show the accuracy of this approach.
Motion Flow-Based Video Retrieval

In this paper, we propose the use of motion vectors embedded in MPEG bitstreams to generate so-called ldquomotion flowsrdquo, which are applied to perform video retrieval. By using the motion vectors directly, we do not need to consider the shape of a moving object and its corresponding trajectory. Instead, we simply ldquolinkrdquo the local motion vectors across consecutive video frames to form motion flows, which are then recorded and stored in a video database. In the video retrieval phase, we propose a new matching strategy to execute the video retrieval task. Motions that do not belong to the mainstream motion flows are filtered out by our proposed algorithm. The retrieval process can be triggered by query-by-sketch or query-by-example. The experiment results show that our method is indeed superb in the video retrieval process.
Sparse 3D convolutional neural networks

We have implemented a convolutional neural network designed for processing sparse three-dimensional input data. The world we live in is three dimensional so there are a large number of potential applications. In the quest for eciency, we experiment with CNNs on the 2D triangular-lattice and 3D tetrahedral-lattice.
Discrete-time composite nonlinear feedback control with an application in design of a hard disk drive servo system

In a typical disk drive servo system, two or more types of controllers are used for track seeking, track following, and track settling modes. This leads to the problem of mode switching among these controllers. We present in this paper a unified control scheme, the discrete-time composite nonlinear feedback control, which can perform all the above functions in hard disk drive (HDD) servo systems with actuator saturation. The proposed scheme is composed by combining a linear feedback law and a nonlinear feedback law. The linear feedback law is designed to yield a fast response, while the nonlinear feedback law is used to increase the damping ratio of the closed-loop system as the system output approaches the command input. In the face of actuator saturation, this control law not only increases the speed of closed-loop response, but also improves the settling performance. Implementation results show that the proposed method outperforms the conventional proximate time-optimal servomechanism by about 30% in settling time.
A New Approach for Examining q-Steiner Systems

One of the most intriguing problems in $q$-analogs of designs and codes is the existence question of an infinite family of $q$-analog of Steiner systems (spreads not included) in general, and the existence question for the $q$-analog of the Fano plane in particular. We exhibit a completely new method to attack this problem. In the process we define a new family of designs whose existence is implied by the existence of $q$-Steiner systems, but could exist even if the related $q$-Steiner systems do not exist. The method is based on a possible system obtained by puncturing all the subspaces of the $q$-Steiner system several times. We define the punctured system as a new type of design and enumerate the number of subspaces of various types that it might have. It will be evident that its existence does not imply the existence of the related $q$-Steiner system. On the other hand, this type of design demonstrates how close can we get to the related $q$-Steiner system. Necessary conditions for the existence of such designs are presented. These necessary conditions will be also necessary conditions for the existence of the related $q$-Steiner system. Trivial and nontrivial direct constructions and a nontrivial recursive construction for such designs are given. Some of the designs have a symmetric structure, which is uniform in the dimensions of the existing subspaces in the system. Most constructions are based on this uniform structure of the design or its punctured designs.
First Remark on a Ζ-analogue of the Stirling Numbers

The so-called ζ-analogues of the Stirling numbers of the first and second kind are considered. These numbers cover ordinary binomial and Gaussian coefficients, p, q-Stirling numbers and other combinatorial numbers studied with the help of object selection, Ferrers diagrams and rook theory. Our generalization includes these and now also the p, q-binomial coefficients. This special subfamily of F-nomial coefficients encompasses among others, Fibonomial ones. The recurrence relations with generating functions of the ζ-analogues are delivered here. A few examples of ζ-analogues are presented.
Enhancement of noisy speech for noise robust front-end and speech reconstruction at back-end of DSR system

This paper presents a speech enhancement method for noise robust front-end and speech reconstruction at the back-end of Distributed Speech Recognition (DSR). The speech noise removal algorithm is based on a two stage noise filtering LSAHT by log spectral amplitude speech estimator (LSA) and harmonic tunneling (HT) prior to feature extraction. The noise reduced features are transmitted with some parameters, viz., pitch period, the number of harmonic peaks from the mobile terminal to the server along noise-robust mel-frequency cepstral coefficients. Speech reconstruction at the back end is achieved by sinusoidal speech representation. Finally, the performance of the system is measured by the segmental signal-noise ratio, MOS tests, and the recognition accuracy of an Automatic Speech Recognition (ASR) in comparison to other noise reduction methods.
Bovine-Specific Nucleotide Polymorphisms and mRNA Expression of the Growth Hormone Secretagogue Receptor 1a (GHSR1a) Gene and its Genetic Association with Growth and Carcass Traits

The growth hormone secretagogue receptor 1a (GHSR1a) is involved in many important functions including growth hormone (GH) secretion and appetite regulation and other important functions. We reveal herein, the unravelling of bovine-specific 5’untranslated region (5’UTR) microsatellite polymorphisms, a 3bp-indel in exon 1 (DelR242) and two different kinds of transcripts of the GHSR1a gene (spliced, without a microsatellite with in the 5’UTR (GHSR1a); and non-spliced, with the microsatellite (GHSR1b)). A number of 17 alleles ((TG)10~33 ) in the 5’UTR microsatellite was found in 11 cattle breeds. Furthermore, we found the DelR242 (3R) allele, a truncated 3- arginine residue (3R) (major type: 4 arginine residues (4R)) within the intracellular loop 3 of GHSR1a protein in Japanese Shorthorn with a high frequency of 0.43 compared to the low frequency of 0.00~0.09 in other cattle breeds. We carried out a genetic association study between the 5’UTR microsatellite and growth and carcass traits in 1,285 steers. Statistical analysis revealed that the 5’UTR microsatellite locus had a significant additive effect on carcass weight (CW) and average daily gain (ADG). The 19-TG allele had a significantly desirable effect on these traits. We proposed a translational hypothesis that the association is due to differences in the secondary structure of GHSR1b mRNA among the GHSR1a gene haplotypes. We also examined age-related changes in the expressions of GHSR1a and GHSR1b in many cattle tissues. The GHSR1a mRNA expression in the arcuate nucleus of postweaning calves was more than 10-fold higher than those of pre-weaning calves and cows. In peripheral tissues, there were 3 marked differences in mRNA expression between cattle, humans and mice, as follows: (1) the GHSR1a mRNA expression in the liver is high in cattle and very low in humans and mice; (2) the GHSR1b mRNA expression in the liver is low in cattle and high in humans; (3) the GHSR1b mRNA expression in the pancreas is very high in cattle.
Building performance measurement tools for wireless sensor network operating systems

Although event-driven systems were assumed to generally perform better for embedded systems as opposed to thread-driven systems, tests have shown that event-driven systems tend to save more energy and space, while thread-driven systems provide more concurrency and predictability, hence creating a tradeoff. Performance analyzers are often used to accurately measure the performance of a certain system when such a tradeoff is evident. Performance analyzers can also locate deficiencies and bottlenecks in a certain system for future improvements. The ever increasing complexity of applications executed by Wireless Sensor Networks (WSNs) and the evolving nature of the underlying Embedded Operating Systems (EOSs) has led to the need for an accurate evaluation technique to guide practitioners in the field. This paper presents a novel approach towards providing a benchmarking and performance evaluation tool for comparing and analyzing the performance of WSN EOSs.
Shock waves in Eulerian cosmological simulations: main properties and acceleration of cosmic rays

Large-scale shocks are responsible for the heating of the intracluster medium and can be important sources of cosmic rays (CRs) in the Universe. However, the occurrence and properties of these shocks are still poorly constrained from both a theoretical and an observational side. In this work we analyse the properties of large-scale shocks in a (103 Mpc h−1)3 cosmological volume simulated with the public 1.0. 1 release of the enzo code. Different methods to identify and characterize shocks in post-processing are discussed together with their uncertainties. Re-ionization affects the properties of shocks in simulations, and we propose a fitting procedure to model accurately the effect of re-ionization in non-radiative simulations, with a post-processing procedure. We investigate the properties of shocks in our simulations by means of a procedure which uses jumps in the velocity variables across the cells in the simulations and this allows us to have a viable description of shocks also in relatively underdense cosmic regions. In particular we derive the distributions of the number of shocks and of the energy dissipated at these shocks as a function of their Mach number, and discuss the evolution of these distributions with cosmological time and across different cosmic environments (clusters, outskirts, filaments, voids). In line with previous numerical studies relatively weak shocks are found to dominate the process of energy dissipation in the simulated cosmic volume, although we find a larger ratio between weak and strong shocks with respect to previous studies. The bulk of energy is dissipated at shocks with Mach number M≈ 2 and the fraction of strong shocks decreases with increasing the density of the cosmic environments, in agreement with semi-analytical studies in the case of galaxy clusters. We estimate the rate of injection of CR at large-scale shocks by adopting injection efficiencies taken from previous numerical calculations. The bulk of the energy is dissipated in galaxy clusters and in filaments and the flux dissipated in the form of CR within the whole simulated volume at the present epoch is ≈0.2 of the thermal energy dissipated at shocks; this fraction is smaller within galaxy clusters. Finally, we discuss the properties of shocks in galaxy clusters in relation with their dynamical state. In these regions the bulk of the energy is dissipated at weak shocks, with Mach number ≈1.5, although slightly stronger shocks are found in the external regions of merging clusters.
Embedding into Bipartite Graphs

The conjecture of Bollobas and Komlos, recently proved by Bottcher, Schacht, and Taraz [Math. Ann., 343 (2009), pp. 175-205], implies that for any $\gamma>0$, every balanced bipartite graph on $2n$ vertices with bounded degree and sublinear bandwidth appears as a subgraph of any $2n$-vertex graph $G$ with minimum degree $(1+\gamma)n$, provided that $n$ is sufficiently large. We show that this threshold can be cut in half to an essentially best-possible minimum degree of $(\frac{1}{2}+\gamma)n$ when we have the additional structural information of the host graph $G$ being balanced bipartite. This complements results of Zhao [SIAM J. Discrete Math., 23 (2009), pp. 888-900], as well as Hladký and Schacht [SIAM J. Discrete Math., 24 (2010), pp. 357-362], who determined a corresponding minimum degree threshold for $K_{r,s}$-factors, with $r$ and $s$ fixed. Moreover, our result can be used to prove that in every balanced bipartite graph $G$ on $2n$ vertices with minimum degree $(\frac{1}{2}+\gamma)n$ and $n$ sufficiently large, the set of Hamilton cycles of $G$ is a generating system for its cycle space.