Miracle-dz/UniFAR-FTUs huggingface dataset:
Modeling occupancy grids using EDHMM for dynamic environments

Map generation of mobile robots over long periods of working suffers from inconsistencies because of gradually changes in the environment. These changes further cause hindrances in autonomous navigation of mobile robots. This paper presents a novel method to infer such gradual changes and incorporate them in map generation. We model the environment using an occupancy grid structure with the state of each grid cell is determined in an online fashion using an Explicit-state-Duration Hidden Markov Model (EDHMM). Our work presents filtering of occupancy grid into dynamic and static. We tested our method in simulation as well as on a real world dataset. Our results show robust detection of dynamic changes in the grid map, even in the presence of occlusion.
Data driven power optimization of sequential circuits

In this paper we present an efficient technique to reduce the power dissipation in a technology mapped CMOS sequential circuit based on logic and structural transformations. The power reduction is achieved by adding sequential redundancies from low switching activity gates to high switching activity gates (targets) such that the switching activities at the output of the targets are significantly reduced. We show that the power reducing transformations result in a circuit that is a valid replacement of the original. The notion of validity used here is that of a delay safe replacement. The potential transformations are found by direct logic implications applied to the circuit netlist. Therefore the complexity of the proposed transformation is polynomial in the size of the circuit, allowing the processing of large designs.
The Validity of MRI in Evaluation of Tumor Response to Neoadjuvant Chemotherapy in Locally Advanced Breast Cancer

Background Physical Examination (PE) and breast MRI are two of the currentmethods which have usually used in diagnosis of primary breast cancer. Their accuracy in detection of: either complete response or presence of residual tumor, however, has not yet been established in patients who have been received Neoadjuvant Chemotherapy (NAC). The purpose of this study was to evaluate the diagnostic accuracy of breast MRI in assessment of residual neoplastic tissue after NAC in patients with Locally Advanced Breast Cancer (LABC). Methods Twenty patients with LABC have undergone contrast-enhanced MRI before and after the NAC. Considering histology as the gold standard, the tumor sizes in MRI and PE have compared with the histology results. We have calculated for all below: the accuracy, sensitivity, specificity, Positive Predictive Value (PPV) and Negative Predictive Value (NPV) for each of MRI and physical examination, as well as Pearson's correlation coefficients between the results of MRI and PE, and their histology results. Results We have found an accuracy of 85% for MRI with a sensitivity of 100%, a specificity of 50%, a PPV of 83.3%, and an NPV of 100%. In addition, theaccuracy for PE was 70% with a sensitivity of 71.4%, a specificity of 66.6%, a PPV of 83.3%, and an NPV of 50%. In this study, the calculated Pearson's correlation coefficient for MRI and histology was 0.817 (p<0.0001) versus 0.26 (p=0.26) for correlation between PE and histology. Conclusion MRI has higher sensitivity but less specificity than PE for detection of residual tumor after NAC in locally advanced breast carcinoma. Also, the tumor size that has measured by MRI had highly correlation with the histology.
The Relevance of Peripheral Baroreceptors and Chemoreceptors to Regulation of Cerebral Blood Flow in the Cat

The contribution of neural vasomotor reflexes to the control of cerebral blood flow (CBF) was investigated in 30 cats lightly anesthetized with pentobarbital. CBF was measured both by kinetic analysis and by the initial slope technique of the washout curve of a bolus of 113Xe. Autoregulation (10 cats) and responsiveness to alteration in arterial Pcos (Paco2) (10 cats) and arterial Po2 (Pao2) (five cats) were assessed both before and after bilateral intracranial division of the 9th and 10th nerves. In an additional group (five cats), related changes in CBF to alteration of Paco2 were recorded before and after unilateral section of the 7th and 8th nerves. Autoregulation was preserved after division of the 9th and 10th nerves and there was no significant change in the Paco2 response curves. Section of the 7th and 8th cranial nerves did not produce conclusive results in the small number of cats studied. A conclusion that the facial nerves are not dominant in responses to hypercapnia seems justified, but a modulating role for these nerves is possible. These studies do not exclude a physiological role for these nerves in the autoregulation of CBF, but do indicate that the cerebral vascular bed apparently is capable of functioning normally after their division.
Implicit sampling for particle filters

We present a particle-based nonlinear filtering scheme, related to recent work on chainless Monte Carlo, designed to focus particle paths sharply so that fewer particles are required. The main features of the scheme are a representation of each new probability density function by means of a set of functions of Gaussian variables (a distinct function for each particle and step) and a resampling based on normalization factors and Jacobians. The construction is demonstrated on a standard, ill-conditioned test problem.
Fast Geometric Algorithm for Rigid Protein Docking

Y. Wang, P. K. Agarwal, P. Brown , H. Edelsbrunner and J. RudolphDuke University, Durham, North CarolinaAbstract. In this paper, we present an efﬁcient algorithm to generate a reasonably small butreliable set of coarse protein docking conﬁgurations by aligning meaningful features on proteinsurfaces. A protein is considered as a rigid body in our approach, and the output producedcan serve as input data for other local improvement methods that allow protein ﬂexibility. Wedemonstrate the performance of our algorithm by testing our algorithm on a diverse set ofprotein complexes from the Protein Data Bank.
The Formation of Ice Giants in a Packed Oligarchy: Instability and Aftermath

As many as five ice giants—Neptune-mass planets composed of ~90% ice and rock and ~10% hydrogen—are thought to form at heliocentric distances of ~10-25 AU on closely packed orbits spaced ~5 Hill radii apart. Such oligarchies are ultimately unstable. Once the parent disk of planetesimals is sufficiently depleted, oligarchs perturb one another onto crossing orbits. We explore both the onset and outcome of the instability through numerical integrations, including dynamical friction cooling of planets by a planetesimal disk whose properties are held fixed. To trigger instability and the ejection of the first ice giant in systems having an original surface density in oligarchs of Σ ~ 1 g cm-2, the disk surface density σ must fall below ~0.1 g cm-2. Ejections are predominantly by Jupiter and occur within ~107 yr. To eject more than one oligarch requires σ ≲ 0.03 g cm-2. For certain choices of σ and initial semimajor axes of planets, systems starting with up to four oligarchs in addition to Jupiter and Saturn can readily yield solar system-like outcomes in which two surviving ice giants lie inside 30 AU and have their orbits circularized by dynamical friction. Our findings support the idea that planetary systems begin in more crowded and compact configurations, like those of shear-dominated oligarchies. In contrast to previous studies, we identify σ ≲ 0.1Σ as the regime relevant for understanding the evolution of the outer solar system, and we encourage future studies to concentrate on this regime while relaxing our assumption of a fixed planetesimal disk. Whether evidence of the instability can be found in Kuiper Belt objects (KBOs) is unclear, since in none of our simulations do marauding oligarchs excite as large a proportion of KBOs having inclinations ≳20° as is observed.
Attachment and Interpersonal Relatedness as Models Predicting Somatization, Physical Health, and Utilization in Primary Care

Attachment and Interpersonal Relatedness as Models Predicting Somatization, Physical Health and Utilization in Primary Care By Laura A. Richardson May 2015 Advisor: V. Barry Dauphin, Ph.D. Major: Psychology (Clinical) Degree: Doctor of Philosophy The present study examined the degree to which the self and other models of attachment and object relations can predict somatization, overall physical health and healthcare utilization in a primary care sample of men and women. Attachment and Object Relations theories provide valuable information regarding how one understands and communicates their symptoms, their mentalizing capacities, and how they experience relationships. There is a growing interest in merging primary care and mental health services to address patients’ psychosocial stressors, indicating the correlations between physical and psychological health-related concerns. One hypothesis states that attachment and object relations independently predict somatization, physical health, and healthcare utilization and that object relations and attachment may together better predict the degree of somatization, physical health, and healthcare utilization experienced among participants than either model alone. Participants (N=102) at a primary care clinic completed the Experiences In Close Relationships questionnaire-Short Form (ECR-S), the Relationship Questionnaire (RQ), Early Memory Narratives, Patient Health Questionnaire-15 (PHQ-15), Brief Symptom Inventory-7 (BSI-7), rating of physical health (Doctor’s
Oncotargets and Therapy Dovepress Open Access to Scientific and Medical Research Open Access Full Text Article Profile of Temsirolimus in the Treatment of Advanced Renal Cell Carcinoma

Temsirolimus is a potent inhibtor of the mammalian target of rapamycin (mTOR). In various clinical trials temsirolimus has shown an overall survival benefit for patients with metastatic renal cell carcinoma (mRCC). Thus it is approved for first-line therapy in high-risk mRCC patients. We discuss the indication, side effects and clinical implications of temsirolimus treatment.
A design method of robust optimal PI controller with saturation link for different processes

In this paper, a new design method of robust optimal proportional-integral (PI) controller with saturation characteristic is presented for different processes. Closed-loop feedback system is the nonlinear robust control system which can be equivalently transformed into robust linear switch system (RLSS) or robust autonomous switch system (RASS). The nonlinear robust optimal control problem can be equivalently transformed into nonlinear constraint optimization (NLCO) problem via the common Lyapunov functions (CLF) theorem, interval polynomial stable criterion and inference, and Lyapunov theorem. Therefore, robust optimal PI controller with saturation characteristic is obtained from solving the NLCO problem. Simulation results show the effectiveness and usefulness of the proposed design method.
How Sample Completeness Affects Gamma-Ray Burst Classification

Unsupervised pattern-recognition algorithms support the existence of three gamma-ray burst classes: class 1 (long, large-fluence bursts of intermediate spectral hardness), class 2 (short, small-fluence, hard bursts), and class 3 (soft bursts of intermediate durations and fluences). The algorithms surprisingly assign larger membership to class 3 than to either of the other two classes. A known systematic bias has been previously used to explain the existence of class 3 in terms of class 1; this bias allows the fluences and durations of some bursts to be underestimated, as recently shown by Hakkila et al. We show that this bias primarily affects only the longest bursts and cannot explain the bulk of the class 3 properties. We resolve the question of class 3's existence by demonstrating how samples obtained using standard trigger mechanisms fail to preserve the duration characteristics of small-peak flux bursts. Sample incompleteness is thus primarily responsible for the existence of class 3. In order to avoid this incompleteness, we show how a new, dual-timescale peak flux can be defined in terms of peak flux and fluence. The dual-timescale peak flux preserves the duration distribution of faint bursts and correlates better with spectral hardness (and presumably redshift) than either peak flux or fluence. The techniques presented here are generic and have applicability to the studies of other transient events. The results also indicate that pattern recognition algorithms are sensitive to sample completeness; this can influence the study of large astronomical databases, such as those found in a virtual observatory.
Designing event-driven systems by combining coordination and refinement

The coordination paradigm improves the development of concurrent/distributed solutions, because it provides a simple way to communicate between processes via a data structure called a tuple space. Coordination principles and event-driven system development principles can be fruitfully combined to develop systems and to analyse the development of different solutions of a given problem. Benefits are inherited from both frameworks : the B event-driven approach provides the refinement and the coordination framework provides a simple computation model. The sorting problem is redeveloped in the B event-driven method using coordination principles for algorithms and two programming paradigms are applied ie merging and splitting list to sort.
Aberrant Restoration of Spines and their Synapses in l-DOPA-Induced Dyskinesia: Involvement of Corticostriatal but Not Thalamostriatal Synapses

We examined the structural plasticity of excitatory synapses from corticostriatal and thalamostriatal pathways and their postsynaptic targets in adult Sprague-Dawley rats to understand how these striatal circuits change in l-DOPA-induced dyskinesias (LIDs). We present here detailed electron and light microscopic analyses that provide new insight into the nature of the structural and synaptic remodeling of medium spiny neurons in response to LIDs. Numerous studies have implicated enhanced glutamate signaling and persistent long-term potentiation as central to the behavioral sensitization phenomenon of LIDs. Moreover, experience-dependent alterations in behavior are thought to involve structural modifications, specifically alterations in patterns of synaptic connectivity. Thus, we hypothesized that in the striatum of rats with LIDs, one of two major glutamatergic pathways would form new or altered contacts, especially onto the spines of medium spiny neuron (MSNs). Our data provide compelling evidence for a dramatic rewiring of the striatum of dyskinetic rats and that this rewiring involves corticostriatal but not thalamostriatal contacts onto MSNs. There is a dramatic increase in corticostriatal contacts onto spines and dendrites that appear to be directly linked to dyskinetic behaviors, since they were not seen in the striatum of animals that did not develop dyskinesia. There is also an aberrant increase in spines receiving more than one excitatory contact(i.e., multisynaptic spines) in the dyskinetic animals compared with the 6-hydroxydopamine-treated and control rats. Such alterations could substantially impair the ability of striatal neurons to gate cortically driven signals and contribute to the loss of bidirectional synaptic plasticity.
A Configuration Crawler for Virtual Appliances in Compute Clouds

Compute clouds are pools of virtual machines that are shared in a multi-tenant environment by multiple users. The virtual machine images are stored in one or more repositories and are pre-configured with an operating system. Users of the compute cloud can upload their own images or install and configure additional software on top of existing basic virtual machines. Today, the Amazon Elastic Compute Cloud (EC2) counts more than 35,000 publicly available virtual machine images. We observe, however, that the meta-data that describes the virtual machine images is of poor quality and does not cover vital information such as operating system configurations or software package installations. The sprawl of poorly documented virtual machine images poses a hurdle to sharing and re-use among members of the compute cloud community. We present a method that allows collecting software-related meta-data in compute clouds through appliance introspection. Moreover, we show how applications in the domains of selection and configuration management benefit from rich meta-data and interact with the method. The method has been implemented as an automated tool, the crawler, that collects configuration data of virtual machine images in public compute clouds and evaluated our approach by crawling Amazon EC2.
Statut de cotation de l’acquéreur et ampleur de la prime d'acquisition

La convergence d’interets plus etroite entre actionnaires et dirigeants au sein des entreprises non cotees suggere que ces dernieres sont moins tentees d’offrir des primes elevees pour effectuer une acquisition. Nous testons cette hypothese a l’aide d’un echantillon de cibles francaises sur la periode de 1990 a 2014. Nos resultats empiriques montrent que les entreprises non cotees offrent en moyenne des primes nettement inferieures a celles proposees par les entreprises cotees. La difference se manifeste surtout pour les acquisitions dont la prime est elevee. Conformement aux enseignements de la theorie de l’agence, il ressort que les entreprises non cotees sont plus soucieuses de proteger leur valeur en evitant de surpayer pour prendre le controle de la cible.
A MAS security framework implementing reputation based policies and owners access control

Multi-agent systems expose users to risks related to lack of knowledge above interacting users. Such systems should provide tools to protect their own resources from illegal accesses by unauthorized users. This paper describes a security framework for multi-agent systems preventing a trusted agent to interact with malicious agents and granting agent and platform resources. This feature is obtained adding an access control mechanism that joins the benefits of credential based access control, role based access control and mandatory access control. Authorizations and access control policies are set by XML based policy files. A case study on a distributed document retrieval system is also illustrated.
Application of a Disturbance Rejection Method Based on Equivalent-Input-Disturbance on a Sealing Machine

This paper presents an unknown exotic disturbance rejection method and its application on speed control of a conveyor belt system. First, the general concept of the Equivalent-Input-Disturbance(EID) is introduced, Next, based on the description of the model of a practical mechanical device, the configuration of the servo system based on EID is given, Then the designing procedure is presented and simulation result shows the effectiveness of the proposed method.
Source number estimation algorithm based on wide-band compressed sensing

The signal acquisition systems based on Compressed Sensing is an important research direction of wideband signal processing. When it is used in communication re-connaissance or spectrum sensing, the received signal is a mixing of some narrow-band signals within wide range. Then the number of the mixed signals is the key to subsequent signal analysis. The paper proposed a source number estimation algorithm focus on the sparsity and distinctive features for modulated signal on the cyclic power level. The algorithm aimed at reconstructing the cyclic power spectrum by the Subspace Pursuit algorithm, and the source number could be estimated with symmetry. Simulation results show it has a good performance of resolution when the SNR is -13dB.
Confidence limits of evolutionary synthesis models. IV. Moving forward to a probabilistic formulation

Context. Synthesis models predict the integrated properties of stel lar populations. Several problems exist in this field, mostl y related to the fact that integrated properties are distributed. To date, this a spect has been either ignored (as in standard synthesis models, which are inherently deterministic) or interpreted phenomenologically (as in Monte Carlo simulations, which describe distributed properties rather than explain them). Aims. This paper presents a method of population synthesis that accounts for the distributed nature of stellar properties. Methods. We approach population synthesis as a problem in probability theory, in which stellar luminosities are random variables extracted from the stellar luminosity distribution function (sLDF). Results. With standard distribution theory, we derive the population LDF (pLDF) for clusters of any size from the sLDF, obtaining the scale relations that link the sLDF to the pLDF. We recover the predictions of standard synthesis models, which are shown to compute the mean of the luminosity function. We provide diagnostic diagrams and a simplified recipe for testing the statistical richness of observed clusters, thereby assessing whether standard synthesis models can be safely used or a statistical treatment is mandatory. We also recover the predictions of Monte Carlo simulations, with the additional bonus of being able to interpret them in mathematical and physical terms. We give examples of problems that can be addressed through our probabilistic formalism: calibrating the SBF method, determining the luminosity function of globular clusters, comparing different isochrone sets, tracing the sLDF by means of resolved data, including fuzzy stellar properties in population synthesis, among others. Additionally, the algorithmic nature of our method makes it suitable for developing analysis tools for the Virtual Observatory. Conclusions. Though still under development, ours is a powerful approach to population synthesis. In an era of resolved observations and pipelined analyses of large surveys, this paper is offered as a signpost in the field of stellar populations.
Measurement of respiratory rate with high-resolution accelerometer and emfit pressure sensor

Respiratory rate is an essential parameter in the clinical monitoring of hospital patients. It can be measured in various ways, such as by recording chest movements, breathing flow or heart rate variations. Current sensor technology allows the development of new kinds of convenient and portable respiratory rate recorders, including smart shirts, which enable more efficient healthcare processes in hospitals. This study carried out respiratory rate measurements using a sensor belt with a high-resolution accelerometer (capacitive MEMS) and an EMFit (electret film) pressure sensor. Results obtained from tests on 10 subjects showed that both sensors are feasible for respiratory rate measurement; the reliability of the MEMS was 90%, while that of the EMFit was 90- 100%. In addition, the results showed that the location of the sensor module on the chest is important.