Miracle-dz/UniFAR-FTUs huggingface dataset:
Nonholonomic Hamilton-Jacobi equation and integrability

We discuss an extension of the Hamilton-Jacobi theory to nonholonomic mechanics with a particular interest in its application to exactly integrating the equations of motion. We give an intrinsic proof of a nonholonomic analogue of the Hamilton-Jacobi theorem. Our intrinsic proof clarifies the difference from the conventional Hamilton-Jacobi theory for unconstrained systems. The proof also helps us identify a geometric meaning of the conditions on the solutions of the Hamilton-Jacobi equation that arise from nonholonomic constraints. The major advantage of our result is that it provides us with a method of integrating the equations of motion just as the unconstrained Hamilton-Jacobi theory does. In particular, we build on the work by Iglesias-Ponte, de Leon, and Martin de Diego [15] so that the conventional method of separation of variables applies to some nonholonomic mechanical systems. We also show a way to apply our result to systems to which separation of variables does not apply.
Overview of 3D registration techniques including loop minimization for the complete acquisition of large manufactured parts and complex environments

3D modelling is becoming an important research topic for visual inspection in automatic quality control. Through visual inspection it is possible to determine whether a product fulfills the required specifications or whether it contains surface or volume imperfections. Although some process such as color analysis can be achieved by 2D techniques, more challenging tasks such as volume inspection of large and complex objects/scenes may require the use of accurate 3D registration techniques. 3D Simultaneous Localization and Mapping has become a very important research topic not only in the computer vision community for quality control applications but also in the robotics field for solving problems such as robot navigation and registration of large surfaces. Although their techniques differ slightly depending on the application, both communities tend to solve similar problems by means of different approaches. This paper presents a survey of the techniques used by the robotics and computer vision communities in which every approach has been compared pointing out their pros and cons and their potential applications.
A novel management mobility framework for point to point radio communication in wireless network

In this paper the authors propose a novel mobility management framework with functions for built-in verification of configuration changes and for fault tolerance, which assures stability of the wireless network and a fair Quality of Service (QoS) level. The proposed framework will use the solution in network-based data distribution to the client. In case of the mobility of the wireless network, the goal is to update the network configuration against all unexpected changes that may occur and also to obtain a constant flow of data, so that even in a busy network environment or in case of a poor connection the speed at which data is transferred reaches fair values for all users/clients. The advantage of this approach is that in a dynamic and busy network this management mechanism saves time, increases the performance of the client and reduces the server load. The configuration planning with the prediction module and the fault tolerant algorithm are new concepts integrated in the proposed solution, which are meant to demonstrate the superiority of the new architecture when compared to the traditional peer-to-peer (P2P) model.
Estimation of the Lateral Ventricles Volumes from a 2D Image and Its Relationship with Cerebrospinal Fluid Flow

Purpose. This work suggests a fast estimation method of the lateral ventricles volume from a 2D image and then determines if this volume is correlated with the cerebrospinal fluid flow at the aqueductal and cerebral levels in neurodegenerative diseases. Materials and Methods. FForty-five elderly patients suffering from Alzheimer's disease (19), normal pressure hydrocephalus (13), and vascular dementia (13) were involved and underwent anatomical and phase contrast MRI scans. Lateral ventricles and stroke volumes were assessed on anatomical and phase contrast scans, respectively. A common reference plane was used to calculate the lateral ventricles' area on 2D images. Results. The largest volumes were observed in hydrocephalus patients. The linear regression between volumes and areas was computed, and a strong positive correlation was detected (R 2 = 0.9). A derived equation was determined to represent the volumes for any given area. On the other hand, no significant correlations were detected between ventricles and stroke volumes (R 2 ≤ 0.15). Conclusion. Lateral ventricles volumes are significantly proportional to the 2D reference section area and could be used for patients' follow-up even if 3D images are unavailable. The cerebrospinal fluid fluctuations in brain disorders may depend on many physiological parameters other than the ventricular morphology.
Antibiotics trigger initiation of SCCmec transfer by inducing SOS responses

Abstract The rise of antimicrobial resistance limits therapeutic options for infections by methicillin-resistant staphylococci. The staphylococcal cassette chromosome mec (SCCmec) is a mobile genetic element as the only carrier of the methicillin-resistance determinants, the mecA or mecC gene. The use of antibiotics increases the spread of antibiotic resistance, but the mechanism by which antibiotics promote horizontal dissemination of SCCmec is largely unknown. In this study, we demonstrate that many antibiotics, including β-lactams, can induce the expression of ccrC1 and SCCmec excision from the bacterial chromosome. In particular, three widely used antibiotics targeting DNA replication and repair (sulfamethoxazole, ciprofloxacin and trimethoprim) induced higher levels of ccrC1 expression and higher rates of SCCmec excision even at low concentrations (1/8 × minimum inhibitory concentration). LexA was identified as a repressor of ccrC1 and ccrAB by binding to the promoter regions of ccrC1 and ccrAB. The activation of RecA after antibiotic induction alleviated the repression by LexA and increased the expression of ccrC1 or ccrAB, consequently increasing the excision frequency of the SCCmec for SCCmec transfer. These findings lead us to propose a mechanism by which antimicrobial agents can promote horizontal gene transfer of the mecA gene and facilitate the spread of methicillin resistance.
Accuracy of joint entropy and mutual information estimates

In practice, researchers often face the problem of being able to collect only one, possibly large, dataset, and they are forced to make inferences from a single sample. Based on the results of the polarisation operator technique of Bowman et al (1969), we computed the dependence of joint entropy and mutual information estimates on the sample size in terms of asymptotic series. These expressions enabled us to control the bias of the estimates caused by finite sample sizes and obtain an expression for the accuracies. The result is important in data mining when joint entropy and mutual information are used to find interdependences within large data sets with unknown underlying structures.
Prognostic value of microRNAs in cervical carcinoma: a systematic review and meta-analysis

This systematic review is written to investigate the outcome of cervical cancer. A comprehensive search of PubMed and EMBASE was performed to identify eligible studies. Nineteen studies from thirteen articles with a total of 1,310 participants were included in this meta-analysis. Overall survival (OS), disease-free survival (DFS), and recurrence-free survival (RFS) as a prognosis for cervical cancer were extracted and calculated, if available. Pooled hazard ratios (HRs) and 95% confidence intervals (CIs) were calculated using STATA (version 12.0), resulting in the pooled HRs 0.70 (95% CI: 0.51–0.97) for OS, 1.02 (95% CI: 0.53–1.98) for DFS, and 0.56 (95% CI: 0.40–0.77) for RFS. The results indicated that cervical cancer patients with decreased microRNA expression were associated with shorter OS and RFS. It suggested that microRNAs might be promising markers for predicting the survival rate of cervical cancer.
An opportunistic activity-sensing approach to save energy in office buildings

In this work, we recognised office worker activities that are relevant for energy-related control of appliances and building systems using sensors that are commonly installed in new or refurbished office buildings. We considered desk-related activities and people count in office rooms, structured into desk- and room-cells. Recognition was performed using finite state machines (FSMs) and probabilistic layered hidden Markov models (LHMMs). We evaluated our approach in a real living-lab office, including three private and multi-person office rooms. As example devices, we used different ceiling-mounted PIR sensors based on the EnOcean platform and plug-in power meters. In at least five days of study data per office room, including reference sensor data and occupant annotations, we confirmed that activities can be recognised using these sensors. For computer and desk work, an overall recognition accuracy of 95% was achieved. People count was estimated at 87% and 78% for the best-performing two office rooms. We furthermore present building simulation results that compare different control strategies. Compared to modern BEMS, our results show that 21.9% and 19.5% of electrical energy can be saved for controls based on recognised desk activity and estimated people count, respectively. These results confirm the relevance of building energy management based on activity sensing.
of structural ensembles Thoroughly sampling sequence space : Large-scale protein design

Modeling the inherent flexibility of the protein backbone as part of computational protein design is necessary to capture the behavior of real proteins and is a prerequisite for the accurate exploration of protein sequence space. We present the results of a broad exploration of sequence space, with backbone flexibility, through a novel approach: large-scale protein design to structural ensembles. A distributed computing architecture has allowed us to generate hundreds of thousands of diverse sequences for a set of 253 naturally occurring proteins, allowing exciting insights into the nature of protein sequence space. Designing to a structural ensemble produces a much greater diversity of sequences than previous studies have reported, and homology searches using profiles derived from the designed sequences against the Protein Data Bank show that the relevance and quality of the sequences is not diminished. The designed sequences have greater overall diversity than corresponding natural sequence alignments, and no direct correlations are seen between the diversity of natural sequence alignments and the diversity of the corresponding designed sequences. For structures in the same fold, the sequence entropies of the designed sequences cluster together tightly. This tight clustering of sequence entropies within a fold and the separation of sequence entropy distributions for different folds suggest that the diversity of designed sequences is primarily determined by a structure’s overall fold, and that the designability principle postulated from studies of simple models holds in real proteins. This has important implications for experimental protein design and engineering, as well as providing insight into protein evolution.
Cross-Language Source Code Re-Use Detection Using Latent Semantic Analysis

This work was partially supported by Universitat Polit`ecnica de Val`encia, WIQ-EI (IRSES grant n. 269180), and DIANA-APPLICATIONS (TIN2012- 38603-C02- 01) project. The work of the fourth author is also supported by VLC/CAMPUS Microcluster on Multimodal Interaction in Intelligent Systems.
Effectiveness of a treatment approach for comorbid major depressive disorder and borderline personality disorder: a case study

Jo Anne Esfahani EFFECTIVENESS OF A TREATMENT APPROACH FOR COMORBID MAJOR DEPRESSIVE DISORDER AND BORDERLINE PERSONALITY DISORDER: A CASE STUDY 2006/2007 Dr. Janet Cahill Masters of Arts in Counseling Psychology This case study evaluates the effectiveness of psychopharmacology and psychotherapy with a focus on Cognitive Behavioral Therapy in the treatment of an adult female diagnosed with Major Depressive Disorder and Comorbid Borderline Personality Disorder in a community based mental health agency. The client's psychosocial assessment is presented and the empirical treatment literature related to the client's diagnosis is reviewed. A variety of outcome measures were used. Results indicated the treatment was effective: the client experienced significant reduction in the severity of her symptoms. However, further treatment is needed to improve parenting skills, maintain healthy interpersonal relationships and to reduce residual symptoms of depression to prevent relapse. Comparison of the normative practices versus best practices is reviewed with a summary and suggestions for improvement of treatment.
On Performance Comparison of Wideband Multiple Primary User Detection Methods in Cognitive Radios

One of the key tasks in Cognitive Radio (CR) system is to dynamically explore the spectrum and reliably detect the presence of Primary Users (PU). In this paper, we revisit several classical spectrum analysis methods, such as, Weighted Overlapped Segment Averaging (WOSA) approach, Multi-Taper Spectral Estimator (MTSE) and MUltiple SIgnal Classification (MUSIC) algorithm into wideband multiple primary user sensing and detection. We propose to use the polyphase DFT Filter Banks (DFB) for the implementation of Multi-Taper Spectral Estimator which achieves a good tradeoff between complexity and performance. Detailed performance and computational complexity comparisons of these methods are provided.
A Generic Embedded Robot Platform for Real Time Navigation and Telepresence Abilities

This paper presents a generic embedded robot platform concept that meets functional and real time requirements. The described concept allows easy system extension with new components, simple configuration and implementation of advanced features. Design and development of such complex system poses significant challenges and requires knowledge from several scientific fields as: mechanics, electronics, software and computer engineering. Proposal for hardware control units of these robots is based on the modern families of microcontrollers and DSPs coprocessors which are relevant for autonomous mobile application regarding requirements for interfaces, processing power, memory and power consumption. Typical software for robots generally includes control/navigation and communication functions. In the last decade multimedia software technologies also took place in the robotic system architecture to improve robot capabilities. The concept is proposed after analysis of spatial, temporal, and functional requirements. It involves a generic architecture using modular hardware design and software component based approach. The concept is illustrated by typical use case -- wireless/wired controlled robot. Besides basic navigation commands set, it is able to transmit audio and video information. This provides telepresence impression to the remote operator. The presented approach offers a convenient/flexible platform for further development focused on specific areas such as: intelligent navigation, sensor arrays, wireless networking, human machine interaction, audio and video processing.
Slow-to-warm-up temperament in infancy as a predictor of concurrent and later child and maternal behaviors

Slow-to-Warm-Up Temperament in Infancy as a Predictor of Concurrent and Later Child and Maternal Behaviors Jessica B. Stoltzfus Little is known about the slow-to-warm-up infant temperament. The present study evaluated the usefulness of this temperament as conceptualized by Thomas and Chess in predicting child and maternal parenting behaviors, with a particular focus on its conceptual link to child inhibition. Participants were 1,072 mothers and their children in the NICHD Study of Early Child Care. Slow-to-warm-up temperament in infancy did predict later inhibition, p = . 000, but not as well as the difficult temperament or the individual temperament subscales of mood and approach. Including maternal sensitivity and stimulation and support increased the prediction of inhibition from the slow-to-warm-up temperament but only slightly, and only when very high or low levels of these parenting behaviors were considered. Findings suggest that the slow-towarm-up temperament may need to be redefined in order to identify children with a qualitatively different developmental trajectory from children with the difficult temperament. Future research considering the broader social context is needed to better understand the development of infants with slow-to-warm-up temperament.
Impulse Response Analysis with Long Run Restrictions on Error Correction Models

This paper investigates impulse response analysis with long-run restrictions on vector error-correction models (VECMs), where cointegrating vectors are not necessarily identified. Structural shocks are decomposed into permanent and transitory components. Long-run identifying restrictions are imposed on the long-run effects of permanent shocks. King, Plosser, Stock, and Watson (1991) discussed a method of identification by means of long-run restrictions on the VECM. This paper adopts an alternative approach with minimal assumptions; it shows that impulse response analysis can be investigated without identifying cointegrating vectors, and accordingly relaxes the assumptions. The method can generally be applied to many empirical studies, even when cointegrating vectors are barely identified. Moreover, this paper considers identification of a block recursive system, in which permanent shocks are partially identified using long-run restrictions. The block recursive system has been well discussed with respect to structural vector autoregressive models (VARs) and structural VECMs with short-run restrictions, yet it has not been thoroughly studied in structural VECMs with long-run restrictions.
An Exercise in Reuse of Resources: Adapting General Discourse Coreference Resolution for Detecting Lexical Chains in Patent Documentation

The Stanford Coreference Resolution System (StCR) is a multi-pass, rule-based system that scored best in the CoNLL 2011 shared task on general discourse coreference resolution. We describe how the StCR has been adapted to the specific domain of patents and give some cues on how it can be adapted to other domains. We present a linguistic analysis of the patent domain and how we were able to adapt the rules to the domain and to expand coreferences with some lexical chains. A comparative evaluation shows an improvement of the coreference resolution system, denoting that (i) StCR is a valuable tool across different text genres; (ii) specialized discourse NLP may significantly benefit from general discourse NLP research.
The Moth: An Unusual Circumstellar Structure Associated with HD 61005

We present the discovery of an unusual spatially resolved circumstellar structure associated with the ≈90 Myr, nearby, G dwarf star HD 61005. Observations from the FEPS Spitzer Legacy Science survey reveal thermal emission in excess of expected stellar photospheric levels. Follow-up 0.1″ resolution HST NICMOS coronagraphic images reveal scattered starlight ≤7″ (~240 AU) from the occulted star (1.1 μm flux density =18 ± 3.3 mJy; and 0.77% ± 0.16% of the starlight). The extremely high near-IR scattering fraction and IR excess luminosity f = LIR/L* ≈ 2 × 10−3 suggests scattering particle sizes of order a≲ 1.1 μm/2π ∼ 0.2 μm , comparable to the blowout size (a ≈ 0.3 μm) due to radiation pressure from the star. Dust-scattered starlight is traced inward to an instrumental limit of ~10 AU. The structure exhibits a strong asymmetry about its morphological major axis but is mirror-symmetric about its minor axis.
Nonword imitation by children with cochlear implants: consonant analyses.

OBJECTIVES To complete detailed linguistic analyses of archived recordings of pediatric cochlear implant users' imitations of nonwords; to gain insight into the children's developing phonological systems and the wide range of variability in nonword responses. DESIGN Nonword repetition: repetition of 20 auditory-only English-sounding nonwords. SETTING Central Institute for the Deaf "Education of the Deaf Child" research program, St Louis, Mo. PARTICIPANTS Eighty-eight 8- to 10-year-old experienced pediatric cochlear implant users. MAIN OUTCOME MEASURES Several different consonant accuracy scores based on the linguistic structure (voicing, place, and manner of articulation) of the consonants being imitated; analysis of the errors produced for all consonants imitated incorrectly. RESULTS Seventy-six children provided a response to at least 75% of the nonword stimuli. In these children's responses, 33% of the target consonants were imitated correctly, 25% of the target consonants were deleted, and substitutions were provided for 42% of the target consonants. The children tended to correctly reproduce target consonants with coronal place (which involve a mid-vocal tract constriction) more often than other consonants. Poorer performers tended to produce more deletions than the better performers, but their production errors tended to follow the same patterns as the better performers. CONCLUSIONS Poorer performance on labial consonants suggests that scores were affected by the lack of visual cues such as lip closure. Oral communication users tended to perform better than total communication users, indicating that oral communication methods are beneficial to the development of pediatric cochlear implant users' phonological processing skills.
An empirical study of work fragmentation in software evolution tasks

Information workers and software developers are exposed to work fragmentation, an interleaving of activities and interruptions during their normal work day. Small-scale observational studies have shown that this can be detrimental to their work. In this paper, we perform a large-scale study of this phenomenon for the particular case of software developers performing software evolution tasks. Our study is based on several thousands interaction traces collected by Mylyn, for dozens of developers. We observe that work fragmentation is correlated to lower observed productivity at both the macro level (for entire sessions), and at the micro level (around markers of work fragmentation); further, longer activity switches seem to strengthen the effect. These observations are basis for subsequent studies investigating the phenomenon of work fragmentation.
Focal plane approximation for near field interferometric radiometer imaging

Applying synthetic aperture interferometric radiometer (SAIR) in near field imaging has been receiving great interest in the recent years. Because the traditional far-field Fourier imaging theory is not valid in near-field condition, developing the proper near-field imaging techniques is the major desirable objective of near field SAIR applications. This work is devoted to establish an effective near field imaging method still with traditional far-field plane antenna array. The discrete numerical inversion method with focal plane approximation is developed. The regularization method is also introduced to deal with the ill condition and measurement errors.