Miracle-dz/UniFAR-FTUs huggingface dataset:
Spectral Motion Synchronization in SE(3)

This paper addresses the problem of motion synchronization (or averaging) and describes a simple, closedform solution based on a spectral decomposition, which does not consider rotation and translation separately but works straight in SE(3), the manifold of rigid motions. Besides its theoretical interest, being the first closed form solution in SE(3), experimental results show that it compares favourably with the state of the art both in terms of precision and speed.
RANKING OF DECISION MAKING UNITS BY UTILIZING DEA AND AHP

Ranking of Decision Making Units (DMUs) by utilizing Data Envelopment Analysis (DEA) and Analytic Hierarchy Process (AHP) is discussed in this paper. We presented a two-stage method for ranking of decision making units. In the first stage, we evaluated each pair of Decision making units separately by using of a proposed DEA method, and in the second stage, the pairwise evaluation matrix generated by results of first stage is utilized for ranking of units via the Analytical Hierarchical Process (AHP).
The Prevalence of Femoroacetabular Impingement in Radiographs of Asymptomatic Subjects: A Cross-Sectional Study

Background There is a lack of uniformity in the diagnostic criteria for femoroacetabular impingement (FAI), and few studies discuss the prevalence of radiographic changes in asymptomatic individuals. These factors make it difficult to establish a natural history of this disease. The aim of this study was to assess the prevalence of radiographic signs of CAM and Pincer FAI in an asymptomatic population. Methods A cross-sectional study was performed from July 2013 to December 2013. A total of 185 subjects were analysed. Inclusion criteria: no history of hip pain or orthopedic disease; and being 20-60 years old. Exclusion criteria: athletically active; or patients who would not allow acquisition of appropriate radiographs for analysis. Radiographs were obtained in anteroposterior and Dünn 45° view to access: alpha angle (AA), triangular index (TI), crossover sign (CS), lateral-centre edge (LCE) angle and acetabular index (AI). Results Median age was 34 years (27-49.5) and FAI was present in 53% of all subjects. 32.44% (60) was the overall CAM-type prevalence and 42.7% (79) the overall Pincer-type prevalence. Only 2 subjects presented the 3 overcoverage signs (AI, LCE and CS). An association was noted between the presence of AI <0° and the LCE >40° (p = 0.05). Conclusions Our study established a higher prevalence of radiographic markers of FAI in an asymptomatic population.
1 Encoding of Boundaries is Critical for Sensorimotor Sequence Learning : An MEG study

1 Neurophysics Group, Department of Neurology, Campus Benjamin Franklin, Charité ± Universitätsmedizin Berlin, Berlin 12203, Germany 2 5HVHDUFK *URXS 30XOWLVHQVRU\ ,QWHJUDWLRQ ́ 'epartment of Psychiatry and Psychotherapy, St. Hedwig Hospital, Charité ± Universitätsmedizin Berlin, Berlin 10115, Germany 3 Department of Neurology, Max Planck Institute for Human Cognitive and Brain Sciences, Leipzig D-04103, Germany 4 Center for Cognition and Decision Making, National Research University Higher School of Economics, Russian Federation 5 5HVHDUFK *URXS 30(* DQG FRUWLFDO QHWZRUNV ́ Max Planck Institute for Human Cognitive and Brain Sciences, Leipzig D-04103, Germany 6 Department of Psychology, Whitehead Building, Goldsmiths, University of London, London SE14 6NW, United Kingdom
Translating Questions for Cross-Lingual QA

In this paper we investigate possibilities of the development of a task-specific translation component for cross-language question answering. We focus on the optimization of phrase-based SMT for models trained on very limited data resources. We also look at the combination of such systems with another approach based on example-based MT with proportional analogies. In our experiments we could improve a strong baseline of a general purpose MT engine with more than 5 BLEU points.
Automated-model-selection-based algorithm for tracking multiple nonlinear trajectories

Particle filtering is being investigated extensively due to its important feature of target tracking based on nonlinear and non-Gaussian model. It tracks a trajectory with a known model at a given time. It means that particle filter tracks an arbitrary trajectory only if the time instant when trajectory switches from one model to another model is known apriori. Because of this reason particle filter is not able to track any arbitrary trajectory where transition from one model to another model is not known. For real world application, trajectory is always random in nature and may follow more than one model. Another problem with multiple trajectories tracking using particle filter is the data association, i.e. observation to track fusion. In this paper we propose a novel method, which overcomes the above problems. In a proposed method an interacting multiple model based approach is used along with particle filtering, which automates the model selection process for tracking an arbitrary trajectory. We have utilized nearest neighbor (NN) method for data association, which is fast and easy to implement.
AP‐1 mediates trans‐synaptic induction of tyrosine hydroxylase gene expression in adrenal medulla but not in superior cervical ganglia

Reserpine treatment leads to a rapid trans‐synaptic increase of the tyrosine hydroxylase (TH) gene transcription rate and mRNA levels in catecholaminergic tissues including the adrenal medulla (AM) and the superior cervical ganglia (SCG). In the AM, the formation of a specific protein complex with the TPA‐responsive element located in the proximal region of the TH gene was enhanced between 30 min and 8 hr following the injection. This complex appears to contain a member of the Fos family and an antigenically related Jun protein. Moreover, the prolonged and enhanced expression of the c‐Fos protein in the AM and its phosphorylation are likely to contribute to the increased TH transcription following reserpine treatment. Most strikingly, in the SCG, the trans‐synaptic induction of TH transcription is transduced by totally different mechanisms, since no AP‐1 complex and only minute amounts of c‐Fos immunoreactivity were detected. Our study provides the first demonstration that, following the same stimulus, the induced expression of a single gene is mediated by different cis‐ and trans‐acting factors in two distinct tissues sharing the same embryonic origin. J. Neurosci. Res. 48:489–498, 1997. © 1997 Wiley‐Liss Inc.
Antisense Bcl2 oligonucleotide in cisplatin‐resistant bladder cancer cell lines

Objective To determine the change of expression of Bcl2 in cisplatin‐resistant bladder cancer cell lines and the reversibility of chemoresistance to cisplatin with antisense oligonucleotide against Bcl2, as higher expression of Bcl2 is associated with drug resistance in many different cancer cell lines.
Fuji Intelligent Chromo Endoscopy and staining technique for the diagnosis of colon tumor.

BACKGROUND Colon cancer is a common malignant tumor in the clinic with an incidence rate that is increasing in recent years. The key point for improving the survival rate is the diagnosis and treatment at an early stage. The purpose of this study was to compare the difference of the Fuji Intelligent Chromo Endoscopy (FICE) and staining technique for the diagnosis of colon tumors and non-tumor lesions. METHODS From March to November 2007, 654 patients were examined with ordinary colonoscopy. Among them 223 patients with colon neoplasm or polypoid lesion were included. The patients were examined with a magnifying ordinary colonoscopy, a magnifying FICE technique and magnifying staining technique. The pit pattern and blood capillary form of the lesion were examined, an endoscopic diagnosis was made and it was compared with the pathologic diagnosis. RESULTS Four hundred and fifty-one neoplasms were detected in the 223 patients, among those 91.1% (411/451) were detected with the magnifying ordinary endoscopy while 99.1% (447/451) were detected with the FICE technique; there was a significant difference between the two methods. FICE could clearly show the structure and form of mucosal blood capillaries (P < 0.01) but there was no significant difference between the two methods for showing the pit pattern. The coincident rate of FICE for the diagnosis of tumor and non-tumor lesions was 91.6% (413/451), that of the magnifying staining technique was 82.0% (370/451) (P < 0.05). CONCLUSIONS Magnifying FICE could show the mucosal microstructure and blood capillary form and it had a superiority of high coincident rate, high sensitivity and specificity when compared with ordinary magnifying colonoscopy and magnifying staining endoscopy. In addition, it was easy to operate and a biopsy could be taken from the target, so it has a satisfactory clinical practical value.
OEI: Operation Execution Integrity for Embedded Devices

We formulate a new security property, called "Operation Execution Integrity" or OEI, tailored for embedded devices. Inspired by the operation-oriented design of embedded programs and considering the limited hardware capabilities of embedded devices, OEI attestation enables selective and practical verification of both control-flow integrity and critical-variable integrity for an operation being executed. This attestation allows remote verifiers to detect control-flow hijacks as well as data-only attacks, including data-oriented programming, on an embedded device's capability needed for securing IoT but unachievable using existing methods. We design and build a system, called OAT, to realize and evaluate the idea of OEI attestation on ARM-based bare-metal devices. OAT features a highly efficient measurement collection mechanism, a control-flow measurement scheme designed for determinate verifiability, and a method for lightweight variable-integrity checking. When tested against real-world embedded programs on a development board, OAT incurred only a mild runtime overhead (2.7%).
development and mature motor function The splicing regulator Rbfox 2 is required for both cerebellar Material

Material Supplemental http://genesdev.cshlp. org/content/suppl/2012/02/14/gad.182477. 111.DC1. html References http://genesdev.cshlp. org/content/26/5/445.full. html#ref-list-1 This article cites 73 articles, 28 of which can be accessed free at: Open Access Freely available online through the Genes & Development Open Access option. service Email alerting click here top right corner of the article or Receive free email alerts when new articles cite this article sign up in the box at the
Hypernavigation in the physical space: adapting presentations to the user and to the situational context (Technical Note)

Abstract This paper describes a portable system lo support a new way of visiting cultural and tourist sites. The perspective is that the visitor moves in a physical space like a museum, while seeking information and guidance through the use of a hand-held electronic guide. Techniques are presented to adapt the content of the presentations to the particular visitor, place, and moment of visit (that is, taking into account the user model, knowledge of the physical location and the physical space around it, and the history of previous interactions).
The use of ontologies in peer reviews of Integrated Assessment Models

Integrated assessment models are used to analyze global change issues and they allow a better understanding of our complex environment. It is crucial to be able to relate these models to their scientific basis, both for interpretation and validation purposes. Current model evaluation procedures focus on model behavior analysis; the conceptual knowledge and assumptions embedded in integrated assessment models are hardly tested. As such, current model evaluation procedures do not contribute to the understanding of the structure of the models and the selected mechanisms and assumptions. We submit that evaluation of the scientific basis of integrated assessment models should follow the standard procedures for evaluation of scientific theories, which implies that these models should be subjected to critical peer reviews. However, much knowledge is hidden in the source code and therefore not accessible to peers. In this paper we propose to use ontologies – explicit specifications of shared conceptual knowledge – to represent the knowledge encoded in integrated assessment models in a clear and transparent way. We show the proposed peer review evaluation procedure in a case study concerning a system-dynamics model on residential energy use in India. We found that the ontology helped peers to obtain more information on the model and to gain more insight in its structure. However, a better balance between different types of model documentation and explicit links between them are needed to improve the understanding by the peers. We believe that ontologies can be exploited further in a computational sense in order to achieve model transparency.
A Dynamic Data Aggregation Scheme for Wireless Sensor Networks

Wireless sensor networks are formed of tiny, energy-constrained sensor nodes that could be mobile and may be deployed in unfamiliar environments in large numbers. Considering these unique characteristics, our network architecture is modelled around a data-centric approach that allows us to make use of in-network processing and data aggregation which in turn helps to maximize network lifetime. This paper suggests methods to improve network efficiency by combining Directed Diffusion [2] with clustering and by introducing a more elaborate data aggregation scheme. Our data aggregation scheme allows nodes to process data collected from sensors and subsequently aggregate the data even in completely unfamiliar environments by including entire query definitions within interest messages. We also describe certain novel design features such as interest transformation, layered data aggregation and dynamic data aggregation points all of which would improve overall system performance.
Appraisal of breast cancer symptoms by Iranian women: entangled cognitive, emotional and socio-cultural responses.

BACKGROUND Breast cancer is the most common cancer in Iranian women and usually features delayed presentation and late diagnosis. Interpretation of symptoms, as the most important step, has a significant impact on patient delay in seeking treatment. There is a dearth of studies on symptom appraisal and the process leading to seeking help in breast cancer patients. This study explored the perceptions and experiences of Iranian women with self-detected possible breast cancer symptoms. MATERIALS AND METHODS A qualitative method was conducted involving in-depth semi-structured interviews with 27 Iranian women with self-discovered breast cancer symptoms. Participants were purposefully selected from women who attended Cancer Institute of Tehran University of Medical Sciences during June 2012 to August 2013. The audiotaped interviews were transcribed and analyzed using conventional content analysis with MAXQDA soft ware version 10. The trustworthiness of the study was verified by prolonged engagement, member validation of codes, and thick description. RESULTS The main concepts emerging from data analysis were categorized in four categories: symptom recognition, labeling of symptoms, interactive understanding, and confronting the fear of cancer. Symptom recognition through breast self-examination, symptom monitoring and employing prior knowledge distinguished normal from abnormal symptoms and accompanied with perception of being at risk of breast cancer led to symptom labeling. Social interaction by selective disclosure and receiving reassurance from a consultant led to confirmation or redefinition of the situation. Perceived seriousness of the situation and social meanings of breast cancer as a stigmatized and incurable illness associated with loss of femininity were reasons for patient worries and fear. CONCLUSIONS This study emphasized that entangled cognitive, emotional and socio-cultural responses affecting understanding of symptom seriousness require further investigation. It is suggested that programs aimed at shortening patient delay in breast cancer should be focused on improving women's knowledge and self-awareness of breast cancer, in addition to correcting their social beliefs.
Melnikov-Type Method for a Class of Discontinuous Planar Systems and Applications

In this paper, we extend the well-known Melnikov method for smooth systems to a class of periodic perturbed piecewise smooth planar system. We assume that the unperturbed system is a piecewise Hamiltonian system which possesses a piecewise smooth homoclinic solution transversally crossing the switching manifold. The Melnikov-type function is explicitly derived by using the Hamiltonian function to measure the distance of the perturbed stable and unstable manifolds. Finally, we apply the obtained results to study the chaotic dynamics of a concrete piecewise smooth system.
Immobilization and stretching of 5′‐pyrene‐terminated DNA on carbon film deposited on electron microscope grid

The immobilization and stretching of randomly coiled DNA molecules on hydrophobic carbon film is a challenging microscopic technique, which possess various applications, especially for genome sequencing. In this report the pyrenyl nucleus is used as an anchor moiety to acquire higher affinity of double stranded DNA to the graphite surface. DNA and pyrene are joined through a linker composed of four aliphatic methylene groups. For the preparation of pyrene‐terminated DNA a multifunctional phosphoramidite monomer compound was designed. It contains pyrenylbutoxy group as an anchor moiety for π‐stacking attachment to the carbon film, 2‐cyanoethyloxy, and diisopropylamino as coupling groups for conjugation to activated oligonucleotide chain or DNA molecule. This monomer derivative was suitable for incorporation into automated solid‐phase DNA synthesis and was attached to the 5′ terminus of the DNA chain through a phosphodiester linkage. The successful immobilization and stretching of pyrene‐terminated DNA was demonstrated by conventional 100 kV transmission electron microscope. The microscopic analysis confirmed the stretched shape of the negatively charged nucleic acid pieces on the hydrophobic carbon film. Microsc. Res. Tech. 78:994–1000, 2015. © 2015 Wiley Periodicals, Inc.
Interrelations between Three Fine Motor Skills in Young Adults

Motor skills are typically considered to be highly specific, although some researchers have attempted to identify evidence for general motor aptitude. The present study tested these contentions by assessing the extent of relationship between fine motor tasks, using correlations between selected performance measures for three fine motor skills. University students ages 18 to 35 years (N = 305; 147 men, 158 women) completed three fine motor tasks with both right and left hands (placing pegs, posting coins, and placing bricks). Performance was assessed by time to complete each individual task. The intercorrelations between the three tasks were generally low and at a level that can be expected by chance (r ≤ .3), indicating that performance was quite specific to the individual skills rather than attributable to a general ability. As a further test for evidence for a general motor ability, the dimensionality of the data set was analyzed using a principal component analysis on the correlation matrix. A three-factor solution explaining ~ 80% of the total variance in performance on the fine motor tasks was identified, where each factor could be associated with each fine motor task. These findings provide further support for the high specificity in fine motor skills and against the existence of a general aptitude for motor ability.
On the Formal Verification of ATM Switches

Because of the difficulty of adequately simulating large digital designs, there has been a surge of interest in formal verification, in which a mathematical model of the design is proved to satisfy a precise specification. Model Checking and Equivalence Checking , which have the advantage of automatic verification, are two main formal verification techniques that people are working on. The main problem of model checking and sequential equivalence checking is the state space explosion. Another drawback of model checking is lack of methods on establishing an environment and expressing a property. In this thesis, we propose Property Division techniques which avoid the state space explosion problem by deducing a property from several sub-properties. A number of methods on establishing an environment and expressing a property are illustrated. Although ATM hardware is hard to design due to its high speed and various features. the applications of model checking and equivalence checking on ATM hardware verification are few. In this thesis, Fairisle ATM switch fabric, Fairisle ATM null port controller, Input FIFO of RCMP-800 and Concentrator of Knockout ATM switch are developed. With the techniques we propose, all these ATM hardware designs are formally verified in the formal verification tools called Verification Interacting with Synthesis ( VIS )
Parallel composition of stabilizing algorithms

Worst case convergence time is primary measure of the complexity of a self-stabilizing algorithm. This aspect of complexity is not only theoretically interesting, but can be a practical limitation to stabilization's applicability in system design. Recently, a number of papers concentrated on conditional improvements in convergence time. Plausible conditions include rapid convergence for the most likely faulty initial states and accelerated convergence with respect to critical components of the global state, such as output variables. A general technique for speedup, used in many areas of computer science, is to exploit parallelism in the design of algorithms. The paper considers the explicit use of parallelism for self stabilization. A paradigm for composition based on parallel execution of several algorithms and an observer is proposed. Applications of parallel composition are shown in previously published research and for a new algorithm that is time adaptively stabilizing. Layered composition is, at present, a standard technique for designing stabilizing systems. The results of the paper go beyond the possibility of constructing stabilizing systems; attention is given to the issue of output convergence time in the compositional structure of the algorithm.
Screening Instruments for Use in a Complete Geriatric Assessment

The rapid population growth of individuals 65 years and older in the United States is predicted to continue through 2050. As people age, the complexity of their healthcare needs increase and can be attributed to the normal aging process as well as an increased frequency of chronic illness with associated morbidity. There are many geriatric assessment instruments that can be used to evaluate the complex health needs of the older adult, but there is a need for a geriatric screening assessment process that can address the domains of the aging individual in a practical, holistic, and cost-effective manner. There are multiple quality-of-life instruments that can be used for this screening of health needs in the aging population, and 3 will be discussed, the LEIPAD instrument, the Medical Short Form-36, and the WHOQOL-BREF. The rationale for introducing a screening assessment into the clinical practice of the clinical nurse specialist for positive patient outcomes will be examined.