Miracle-dz/UniFAR-FTUs huggingface dataset:
Kalman Filtering applied to Timing Recovery in Tracking Mode

This paper investigates the performance of the Kalman filter as a timing recovery system in tracking mode, subject to a wide range of operating conditions. Our simulation compares the Kalman filter and the phase-locked loop based on the number of divergences for various values of timing disturbance and SNR. They are shown to work equally well in low SNR and disturbance. However, the Kalman filter outperforms the phase-locked loop when both SNR and disturbance are high. The simulation also suggests that the Kalman filter is more robust to variations in operating conditions.
Experimental investigation of full bridge series resonant inverters for induction-heating cooking appliances

In this paper, a full-bridge resonant-type IGBT inverter suitable for heating magnetic and nonmagnetic materials at high frequency is experimentally described. A series arrangement of capacitors is adopted and an optimum mode of operation is proposed. The actual performance was tested on an experimental prototype of full bridge series resonance inverter for induction-heating cooking appliances. The low-cost developed hybrid inverter is characterized by simplicity of design and operation. Some analysis and detailed experimental results are presented.
Teleoperation of humanoid motion using 3G communication network

A small humanoid robot with a teleoperation system using 3G communication network is present in this paper. Considering the requirement of dynamic environment and hardware limitations of small humanoid, the teleoperation system was designed using 3G communication network, which has a good performance both on the long-distance operation and the communication speed. Then an improved walking planning method is explored on this robot. Most of conventional walking planning methods can not fit to the low computation performance of small humanoid nor the real-time teleoperation requirement. In order to solve this problem, an online walking planning method with has been presented in this paper. There are two primary advantages compared with conventional walking planning methods. First, the new online walking planning can realize walking based on real-time tasks due to its short control period. Secondly, the reduced computation and walking data can fit to the hardware limit of the small humanoid. The effectiveness of the proposed walking planning method was confirmed by experiments.
Optimization of Rule-Based Systems Using State Space Graphs

Embedded rule-based expert systems must satisfy stringent timing constraints when applied to real-time environments. The paper describes a novel approach to reduce the response time of rule-based expert systems. The optimization method is based on a construction of the reduced cycle-free finite state space graph. In contrast with traditional state space graph derivation, the optimization algorithm starts from the final states (fixed points) and gradually expands the state space graph until all of the states with a reachable fixed point are found. The new and optimized system is then synthesized from the constructed state space graph. The authors present several algorithms implementing the optimization method. They vary in complexity as well as in the usage of concurrency and state-equivalency-both targeted toward minimizing the size of the optimized state space graph. Though depending on the algorithm used, optimized rule-based systems: (1) in general have better response time in that they require fewer rule firings to reach the fixed point; (2) are stable, i.e., have no cycles that would result in the instability of execution; and (3) have no redundant rules. They also address the issue of deterministic execution and propose optimization algorithms that generate the rule-bases with single corresponding fixed points for every initial state. The synthesis method also determines the tight response time bound of the new system and can identify unstable states in the original rule-base.
Neuroinflammation and Brain Functional Disconnection in Alzheimer’s Disease

Neuroinflammation and brain functional disconnection result from β-amyloid (Aβ) accumulation and play fundamental roles in the pathogenesis of Alzheimer’s disease (AD). We investigated possible correlations between these two AD-associated phenomena using DTI-based tractography and immunologic analyses in people with amnestic mild cognitive impairment (aMCI) and AD. DTI-Analyses focused on corpus callosum (CC). We found that frontal CC regions were preserved with respect to the posterior ones in aMCI; in these individuals significant correlations were seen between DTI-derived metrics in frontal-parietal CC areas and Aβ42-stimulated BDNF-producing CD4+ T lymphocytes and PDL-1-expressing CD14+ cells. These associations were lost in AD where DTI data involving the same CC areas correlated instead with Aβ42-stimulated interleukin (IL)-21 producing CD4+ T lymphocytes. Higher susceptibility to PDL-1-mediated apoptosis of Aβ42-specific lymphocytes and BDNF-associated survival of existing neurons could contribute to the relative CC structure preservation seen in aMCI. These potentially protective mechanisms are lost in frank AD, when severe alterations in the CC are mirrored in peripheral blood by proinflammatory cytokines-producing T cells. Monitoring of immune cells in peripheral blood could have a prognostic value in AD.
PLIERS: a popularity-based recommender system for content dissemination in online social networks

Online social networks (OSNs) allow users to generate items and tag or rate them in order to help others in the identification of useful content. In this paper, we propose a novel tag-based recommender system called PLIERS, able to identify useful contents based on users' interests. It relies on the assumption that users are mainly interested in items and tags with similar popularity to those they already own. It reaches a good tradeoff between algorithmic complexity and the level of personalization of recommended items. To evaluate PLIERS, we performed a set of experiments on real OSN datasets, demonstrating that it outperforms the state-of-the-art solutions in terms of personalization, relevance, and novelty of recommendations.
Contribution à l'étude des conséquences économiques des divulgations d'information en matière de franchissements de seuils de contrôle

La question du niveau optimal de transparence sur les marches financiers a trouve un terrain de debat exemplaire : celui de la propriete economique des societes cotees. La conception de nouveaux produits financiers et le developpement de strategies activistes ont provoque une remise en question des regles de declaration de franchissements de seuils de controle. Cette these analyse les consequences economiques des evolutions reglementaires, evalue la pertinence des declarations de l’acquereur, et propose un nouveau cadre conceptuel integrant la possibilite de comportements strategiques des acteurs concernes. Selon nos resultats empiriques, les informations contenues dans les annonces sont pertinentes, meme lorsque le blockholder s’engage a rester passif. Notre modele theorique suggere que les blockholders utilisent le delai de declaration de maniere strategique, et qu’un raccourcissement de ce delai serait favorable aux actionnaires minoritaires.
Dynamics of growth zone patterning in the milkweed bug Oncopeltus fasciatus

We describe the dynamic process of abdominal segment generation in the milkweed bug Oncopeltus fasciatus. We present detailed morphological measurements of the growing germband throughout segmentation. Our data are complemented by cell division profiles and expression patterns of key genes, including invected and even-skipped as markers for different stages of segment formation. We describe morphological and mechanistic changes in the growth zone and in nascent segments during the generation of individual segments and throughout segmentation, and examine the relative contribution of newly formed versus existing tissue to segment formation. Although abdominal segment addition is primarily generated through the rearrangement of a pool of undifferentiated cells, there is nonetheless proliferation in the posterior. By correlating proliferation with gene expression in the growth zone, we propose a model for growth zone dynamics during segmentation in which the growth zone is functionally subdivided into two distinct regions: a posterior region devoted to a slow rate of growth among undifferentiated cells, and an anterior region in which segmental differentiation is initiated and proliferation inhibited. Summary: A detailed analysis of posterior segment addition in an insect reveals that the growth zone is divided into two functional domains responsible for growth and differentiation.
Supervised Clustering in the Data Cube

We study a supervised clustering problem seeking to cluster either features, tasks or sample points using losses extracted from supervised learning problems. We formulate a unified optimization problem handling these three settings and derive algorithms whose core iteration complexity is concentrated in a k-means clustering step, which can be approximated efficiently. We test our methods on both artificial and realistic data sets extracted from movie reviews and 20NewsGroup.
Ideal Observer Analysis

Ideal Observer Analysis Wilson S. Geisler University of Texas at Austin (to appear in Visual Neurosciences, MIT press) 1.0 Introduction. 1 2.0 Basic concepts and formulas. 2 2.1 Bayesian ideal observers. 3 2.2 Constrained Bayesian ideal observers . 5 3.0 Detection, discrimination and identification. 7 3.1 Optimal discrimination given statistically independent sources of information . 8 3.2 Photon noise. 10 3.3 Optics and photoreceptors. 14 3.3 Neural factors in the retina and primary visual cortex. 18 3.4 Pixel noise, neural noise and central efficiency. 21 4.0 Natural scene statistics and natural selection. 23 4.1 Maximum fitness ideal observers . 25 4.2 Bayesian natural selection. 27 5.0 Conclusion . 29 6.0 References. 29
Transmembrane and Ubiquitin-Like Domain Containing 1 (Tmub1) Regulates Locomotor Activity and Wakefulness in Mice and Interacts with CAMLG

Tmub1 (C7orf21/HOPS) encodes a protein containing a ubiquitin-like domain. Tmub1 is highly expressed in the nervous system. To study its physiological function, we generated mice with Tmub1 deleted by homologous recombination. The knockout mice were grossly normal and viable. In a comprehensive behavioral testing battery, the only knockout phenotype displayed was a strong increase in home cage locomotor activity during the dark phase (subjective day) of the light∶dark (L∶D) cycle. There were no changes in activity during the light period. There were no changes in locomotor activity observed in other assays, e.g. novel open-field. The increase in dark phase locomotor activity persisted during a seven day D∶D (complete darkness) challenge, and remained largely confined to the normally dark period. Telemetric recording in freely moving subjects for one 24 hr L∶D cycle, revealed the same increase in locomotor activity in the dark phase. In addition, EEG analysis showed that the knockout mice exhibited increased waking and decreased NREM & REM times during the dark phase, but the EEG was otherwise normal. Using lacZ as a reporter we found Tmub1 expression prominent in a few brain structures including the thalamus, a region known to drive wakefulness and arousal via its projections to the cortex. We identified calcium modulating cyclophilin ligand CAMLG/CAML as a binding partner by a yeast two-hybrid screen of a brain library. The interaction of Tmub1 and CAMLG was confirmed by co-immunoprecipitation assays in HEK cells. The two proteins were also found to be co-localized to the cytoplasm when expressed in HEK cells. Both Tmub1 and CAMLG have been recently described in the regulation of membrane trafficking of specific receptors. Taken together our results implicate Tmub1 in the regulation of locomotor activity and wakefulness and suggest that Tmub1 binds to and functions together with CAMLG.
A Prototype for Brazilian Bankcheck Recognition

This paper describes a prototype for Brazilian bankcheck recognition. The description is divided into three topics: bankcheck information extraction, digit amount recognition and signature verification. In bankcheck information extraction, our algorithms provide signature and digit amount images free of background patterns and bankcheck printed information. In digit amount recognition, we dealt with the digit amount segmentation and implementation of a complete numeral character recognition system involving image processing, feature extraction and neural classification. In signature verification, we designed and implemented a static signature verification system suitable for banking and commercial applications. Our signature verification algorithm is capable of detecting both simple, random and skilled forgeries. The proposed automatic bankcheck recognition prototype was intensively tested by real bankcheck data as well as simulated data providing the following performance results: for skilled forgeries, 4.7% equal error rate; for random forgeries, zero Type I error and 7.3% Type II error; for bankcheck numerals, 92.7% correct recognition rate.
Parametric Analysis of Hybrid Systems Using HyMITATOR

Hybrid automata are a powerful formalism for modeling and verifying hybrid systems, that combine continuous and discrete behavior. A common problem for hybrid systems is the good parameters problem, which consists in identifying a set of parameter valuations guaranteeing a certain good behavior of a system. We introduce here HyMITATOR, a tool for efficient parameter synthesis for hybrid automata, providing hybrid systems with a quantitative measure of their robustness.
Distribution of photoreceptor subtypes in the retina of diurnal and nocturnal primates

We have used antibodies specific to either the red/green-or blue- sensitive cones in order to compare their ratio and distributions to that of the rods in the retinae of 3 primate species that differ in their capacity for color vision. We have found that the monoclonal antibody CSA-1 (Johnson and Hageman, 1988) and the polyclonal antibody 4942A, specific to the red- and green-cone opsin (Lerea et al., 1989), applied to retinal whole-mounts labeled approximately 90% of all cones in the diurnal Old-World rhesus monkey (Macaca mulatta) and all of the cones in the nocturnal New-World owl monkey (Aotus trivirgatus) and nocturnal prosimian bushbaby (Galago garnetti). The polyclonal antibody 108B, specific to the blue-cone opsin (Lerea et al., 1989), labeled about 10% of the cones across the entire surface of the rhesus monkey retina, but failed to label any cones in the retina of the 2 nocturnal species. Only the retina of the rhesus monkey possessed an all-cone foveola in which the density of cone inner segments was 17-fold greater than that in the fovea of the owl monkey or bushbaby retina. Surprisingly, the density of cones per unit area outside of the fovea was comparable in all 3 species. Rod density in the dorsal retina was elevated in all animals examined, but was 2-3 times greater in the nocturnal species than in the rhesus monkey retina. Application of the photoreceptor-class-specific antibodies may provide further insights into the evolution and development of wavelength sensitivity in the retina, as well as enhance our understanding of normal and abnormal color vision in humans.
Teeth segmentation via semi-supervised learning

Efficient dental segmentation from volume data provides important assistance for orthodontic surgery and treatment. However, this task exits several major challenges due to the special dental anatomy and topological changes. This paper presents a robust interactive dental segmentation method, which treats this problem as a semi-supervised learning task. An initial classification of 3D mean shift is performed to partition the volume data into homogeneous blocks to guide the subsequent learning. It is easy to implement because only some simple operations are needed. It is accurate because a more general linear or nonlinear model can be learned by virtue of semi-supervised learning. Experimental results demonstrate the performance of the proposed scheme in extracting dental contours from complex background.
Reduced Polymorphism in Domains Involved in Protein-Protein Interactions

Genome sequencing of various individuals or isolates of the same species allows studying the polymorphism level of specific proteins and protein domains. Here we ask whether domains that are known to be involved in mediating protein-protein interactions show lower polymorphism than other domains. To this end we take advantage of a recent genome sequence dataset of 39 Saccahromyces cerevisiae strains and the experimentally determined protein interaction network of the laboratory strain. We analyze the polymorphism in domain residues involved in interactions at various levels of resolution, depending on their likelihood to be interaction mediators. We find that domains involved in interactions are less polymorphic than other domains. Furthermore, as the likelihood of a residue to be involved in interaction increases, its polymorphism decreases. Our results suggest that purifying selection operates on domains capable of mediating protein interactions to maintain their function.
Evidence for a Supernova Associated with the X-Ray Flash 020903

We present ground-based and Hubble Space Telescope optical observations of the X-ray flash (XRF) 020903, covering 300 days. The afterglow showed a very rapid rise in the first day, followed by a relatively slow decay in the next few days. There was a clear bump in the light curve after ~25 days, accompanied by a drastic change in the spectral energy distribution. The light curve and the spectral energy distribution are naturally interpreted as describing the emergence and subsequent decay of a supernova (SN), similar to SN 1998bw. At peak luminosity, the SN is estimated to be 0.8 ± 0.1 mag fainter than SN 1998bw. This argues in favor of the existence of a SN associated with this XRF. A spectrum obtained 35 days after the burst shows emission lines from the host galaxy. We use this spectrum to put an upper limit on the oxygen abundance of the host at [O/H] ≤ -0.6 dex. We also discuss a possible trend between the softness of several bursts and the early behavior of the optical afterglow, in the sense that XRFs and X-ray-rich gamma-ray bursts (GRBs) seem to have a plateau phase or even a rising light curve. This can be naturally explained in models in which XRFs are similar to GRBs but are seen off the jet axis.
A novel hybrid analysis approach for subharmonic self-oscillating mixers combining volterra series and conversion matrix methods

In this paper, a novel analysis method for subharmonic self-oscillating mixers (SOMs) is presented. It suggests a hybrid approach that effectively combines a Volterra series analysis describing the oscillating steady-state condition and a conversion matrix method analysing the higher-order mixing phenomena. The proposed scheme eliminates the limitation of increasingly complex analytical description for high orders and is therefore an excellent choice for high-order subharmonic SOMs. This method is applied to a balanced subharmonic SOM circuit and yields an excellent performance prediction.
Is the incidence of heart attack still decreasing in Australia? Developing reliable methods for monitoring trends in myocardial infarction and coronary heart disease (AUS-MOCHA): a study protocol

Introduction Accurate monitoring of acute coronary heart disease (CHD) is essential for understanding the effects of primary and secondary prevention and for planning of healthcare services. The ability to reliably monitor acute CHD has been affected by new diagnostic tests for myocardial infarction (MI) and changing clinical classifications and management of CHD. Our study will develop new and reliable methods for monitoring population trends in incidence, outcomes and health service usage for acute CHD and chest pain. Methods and analysis The study cohort of all CHD will be identified from the Western Australian Data Linkage System using state-wide data sets for emergency department presentation, hospitalisations and mortality data for 2002–2014. This core linked data set will be supplemented with data from hospital medical record reviews, pathology data and hospital pharmacy dispensing databases. The consistency over time of the coding of the different subgroups of CHD/chest pain (ST-elevation MI, non-ST elevation MI, unstable angina, stable angina, other CHD, non-CHD chest pain) in linked data will be assessed using these data sources, and an algorithm developed detailing groups in which temporal trends can be reliably measured. This algorithm will be used for measurement of trends in incidence and outcomes of acute CHD, and to develop further methods for monitoring acute CHD using unlinked and linked data with varying availability of hospitalisation history. Ethics and dissemination Ethics approval has been obtained from the Human Research Ethics Committees of the WA Department of Health (#2016/23) and The University of Western Australia (RA/4/1/7230). Findings will be disseminated via publication in peer-reviewed journals, and presentation at national and international conferences. There will also be a strong platform for dissemination of new monitoring methods via collaboration with the Australian Institute of Health and Welfare which will assist with promotion of these methods at state and national levels.