Miracle-dz/UniFAR-FTUs huggingface dataset:
A hybrid semantic-based Battlefield Information Services matching algorithm

As the number of Battlefield Information Services (BISs) published on the registration center is growing up, matching techniques must be improved so as to retrieve more desirable services. But most of the proposed service matching algorithms have unsatisfied performance on the precision of service matching result because of the limitation caused by the roughly dividing of matching levels and neglecting the semantic asymmetry in similarity computation. In order to overcome such problems, combining logical reasoning and similarity computation, this paper proposed a hybird service matching algorithm for BISs, which makes matching levels unrestrictedly divided and the result more accurate. The algorithm can filter out the pseudo-matching services effectively and offer considerable saving in the battlefield bandwidth resources. Compared to other service matching algorithms, the experiment results showed that the approach could increase recall and precision ratio.
Ethnic Differences in Prevalence of General Obesity and Abdominal Obesity among Low-Income Rural Kazakh and Uyghur Adults in Far Western China and Implications in Preventive Public Health

Background The global pandemic of obesity has become a disastrous public health issue that needs urgent attention. Previous studies have concentrated in high-income urban settings and few cover low-income rural settings especially nomadic residents in mountain areas. This study focused on low-income rural and nomadic minority people residing in China’s far west and investigated their prevalence and ethnic differences of obesity. Methods A questionnaire-based survey and physical examination of 8,036 individuals were conducted during 2009–2010, using stratified cluster random sampling method in nomadic Kazakhs and rural Uyghur residents (≥18 years old) in 18 villages, Xinjiang, China, about 4,407 km away from capital Beijing. Obesity was defined by BMI and WC. Results The overall prevalence of general and abdominal obesity in Kazakh adults were 18.3% and 60.0%, respectively and in Uyghur, 7.6% and 54.5%, respectively. Female’s prevalence of obesity was higher than male’s for general obesity (45–54 age group in Uyghur, P = 0.041) and abdominal obesity (≥55 years in Kazakhs, P55∼ = 0.010, P65∼ = 0.001; and ≥18 years in Uyghurs, P<0.001). Kazakh’s prevalence of obesity was higher than Uyghur’s (general obesity: ≥35 years, P<0.001; abdominal obesity: ≥25 years in males and ≥65 years in females, P<0.01). The prevalence of obesity increased after 18 years old and subsequently decreased after 55 years old. Meat consumption, older age, and female gender had a higher risk of obesity in these two minorities. Conclusions Both general and abdominal obesity were common in rural ethnic Kazakhs and Uyghurs. The prevalence rates were different in these two minorities depending on ethnicity, gender, and age. Kazakhs, females and elderly people may be prioritized in prevention of obesity in western China. Because of cost-effectiveness in measuring BMI and WC, we recommend that BMI and WC be integrated into local preventive policies in public health toward screening obesity and related diseases in low-income rural minorities.
Coping with Severe, Acute Psychological Trauma: the Killeen Shooting Incident

The present study examined the relationship between coping and psychological and psychosomatic distress of 25 individuals who experienced the same severe, acute traumatic event: the violent shooting that killed 23 people and severely injured 20 more in Luby's Cafeteria in Killeen, Texas, on October 16, 1991. Distress was assessed by one-month pre-event and post-event scores on the SCL-90R, Psychosomatic Questionnaire, and by a Life Event Questionnaire score for the year before the incident. Coping was measured by a modified version of the Ways of Coping Scale (Folkman et al., 1986) and Response Style Questionnaire (Nolen-Hoeksema & Morrow, 1991). All post-event distress scores, except the Psychosomatic score, significantly increased over their corresponding pre-event scores regardless of gender. Although female distress scores were consistently higher than male scores, gender was predictive of post-event distress only for the SCL-90R Anxiety, Somatization, and Global Severity Index scales. The only pre-event score found to be predictive of post-event distress was the Psychosomatic scale. Regression analysis, with demographic and pre-event variables controlled, found a significant positive relationship between Escape/Avoidance coping and one-month post-event levels of Anxiety and Psychosomatic distress. Findings were discussed in the context of the process-oriented stress-illness model and were compared to current disaster and crime victimization literature. Implications for helping professionals, methodological issues, and implications for future research were explored.
Some applications of propositional logic to cellular automata

In this paper we give a new proof of Richardson's theorem [31]: a global function G𝔸 of a cellular automaton 𝔸 is injective if and only if the inverse of G𝔸 is a global function of a cellular automaton. Moreover, we show a way how to construct the inverse cellular automaton using the method of feasible interpolation from [20]. We also solve two problems regarding complexity of cellular automata formulated by Durand [12] (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)
The deposition of iron and silver nanoparticles in graphene–polyelectrolyte brushes

The high surface area of graphene nanosheets (GNs) enables them to load metal nanoparticles (NPs) for various applications such as catalysis, sensors and biomedicine. To optimize the performance, it is desired to establish an effective approach that can tune the morphology of metal nanoparticles (NPs) on GNs. We here demonstrate that GN–poly(acrylic acid) (GN/PAA) brushes can control the size and spatial distributions of iron and silver NPs. Results of Raman, Fourier transform infrared and x-ray photoelectron spectroscopy confirm the covalent bonding between PAA chains and GNs. Thermogravimetric analysis reveals a PAA grafting density of ∼0.055 chain nm−2. Transmission electron microscopy is used to study the effect of PAA chain length and precursor concentration on the morphology of the metal NPs deposited on PAA brushes and graphene oxide (GO). Short PAA brushes are found to be effective for controlling the spatial and size distributions of the NPs, resulting in small particle sizes and homogeneous distributions compared to those deposited on GO. The concentration of precursors has a limited effect on the dimension of the NPs in the brushes due to the key role that polyelectrolyte brushes play in controlling the growth of NPs.
Boosting Kernel Models for Regression

This paper proposes a general boosting framework for combining multiple kernel models in the context of both classification and regression problems. Our main approach is built on the idea of gradient boosting together with a new regularization scheme and aims at reducing the cubic complexity of training kernel models. We focus mainly on using the proposed boosting framework to combine kernel ridge regression (KRR) models for regression tasks. Numerical experiments on four large-scale data sets have shown that boosting multiple small KRR models is superior to training a single large KRR model on both improving generalization performance and reducing computational requirements.
160,000-r/min, 2.7-kW Electric Drive of Supercharger for Automobiles

This paper describes an ultra high-speed permanent-magnet synchronous motor drive for a supercharger of an automobile internal combustion engine. Conventional superchargers are mechanically linked to and driven by the engine to compress vaporized fuel/air mixture to the engine cylinder. This mechanical linkage does not allow using a high-speed centrifugal compressor, which features higher efficiency and higher boost pressure than a positive displacement compressor. However, an ultra high-speed electric drive makes it possible to use the centrifugal compressor and to improve total system efficiency and the boost pressure response because of no mechanical linkage to the engine. In addition, higher controllability of the boost pressure can be obtained by the electric drive of the supercharger, combining power electronics with the internal combustion engine system. In this paper, a 160,000-r/min, 2.7-kW permanent-magnet synchronous motor drive is discussed and its experimental test results are presented to show excellent performances of the proposed system
Physical Activity, Energy Expenditure, Nutritional Habits, Quality of Sleep and Stress Levels in Shift-Working Health Care Personnel

Background Among health care personnel working regular hours or rotating shifts can affect parameters of general health and nutrition. We have investigated physical activity, sleep quality, metabolic activity and stress levels in health care workers from both groups. Methods We prospectively recruited 46 volunteer participants from the workforce of a University Medical Department of which 23 worked in rotating shifts (all nursing) and 21 non-shift regular hours (10 nursing, 13 clerical staff). All were investigated over 7 days by multisensory accelerometer (SenseWear Bodymedia® armband) and kept a detailed food diary. Physical activity and resting energy expenditure (REE) were measured in metabolic equivalents of task (METs). Quality of sleep was assessed as Pittsburgh Sleeping Quality Index and stress load using the Trier Inventory for Chronic Stress questionnaire (TICS). Results No significant differences were found for overall physical activity, steps per minute, time of exceeding the 3 METs level or sleep quality. A significant difference for physical activity during working hours was found between shift-workers vs. non-shift-workers (p<0.01) and for shift-working nurses (median = 2.1 METs SE = 0.1) vs. non-shift-working clerical personnel (median = 1.5 METs SE = 0.07, p<0.05). Non-shift-working nurses had a significantly lower REE than the other groups (p<0.05). The proportion of fat in the diet was significantly higher (p<0.05) in the office worker group (median = 42% SE = 1.2) whereas shift-working nurses consumed significantly more carbohydrates (median = 46% SE = 1.4) than clerical staff (median = 41% SE = 1.7). Stress assessment by TICS confirmed a significantly higher level of social overload in the shift working group (p<0.05). Conclusion In this prospective cohort study shift-working had no influence on overall physical activity. Lower physical activity during working hours appears to be compensated for during off-hours. Differences in nutritional habits and stress load warrant larger scale trials to determine the effect on implicit health-associated conditions.
Incremental and Adaptive Multi-Robot Mapping for Human Scene Observation

This paper aims to use a fleet of mobile robots, each embedding a camera, to optimize the observation of a human dynamic scene. The scene is defined as a sequence of activities, performed by a person in a same place. Mobile robots have to cooperate to find a spatial configuration around the scene that maximizes the joint observation of the human pose skeleton. It is assumed that the robots can communicate but have no map of the environment and no external localisation. This paper presents a concentric navigation topology allowing to keep easily each robot camera towards the scene. This topology is combined with an incremental mapping of the environment in order to limit the complexity of the exploration state space. We also introduce the marginal contribution of each robot observation, to facilitate stability in the search, while the exploration is guided by a meta-heuristics. We developped a simulator that uses skeleton data from real human pose captures. It allows to compare the variants of the approach and to show its features such as adaptation to the dynamic of the scene and robustness to the noise in the observations.
Attending to Objects as Outcomes of Design Research

The goal for this workshop is to provide a venue at CHI for research through design practitioners to materially share their work with each other. Conversation will largely be centered upon a discussion of objects produced through a research through design process. Bringing together researchers as well as their physical work is a means of gaining insight into the practices and outcomes of research through design. If research through design is to continue to develop as a research practice for generating knowledge within HCI, this requires developing ways of attending to its made, material outcomes. The premise of this workshop is simple: We need additional spaces for interacting with and reflecting upon material design outcomes at CHI. The goal of this workshop is to experiment with such a space, and to initially do so without a strong theoretical or conceptual framing.
A robot counseling system — What kinds of topics do we prefer to disclose to robots?

Our research goal was to develop a robot counseling system. It is important for a counselor to promote self-disclosure of clients to reduce their anxiety feelings. However, when a counselor is human, clients sometimes hesitate to disclose intrusive topics due to embarrassment and self-esteem issues. We hypothesized that a robot counselor, on account of its unique kind of agency, could remove mental barriers between the counselor and the client, and promote in-depth self-disclosure about negative topics. In this study, we prepared two robots (an android and a desktop robot) as robot counselors. First, we confirmed that subjects eagerly self-disclosed to these prepared robots from the numbers of spoken words about self-disclosure in preliminary experiment. And next, we conducted the experiment to verify whether it is possible to expose more of subjects' weakness to robots than humans. The experimental result suggested that robots can draw out subjects' self-disclosure about negative topics than the human counselor.
An Overview of Ten Italian Horse Breeds through Mitochondrial DNA

Background The climatic and cultural diversity of the Italian Peninsula triggered, over time, the development of a great variety of horse breeds, whose origin and history are still unclear. To clarify this issue, analyses on phenotypic traits and genealogical data were recently coupled with molecular screening. Methodology To provide a comprehensive overview of the horse genetic variability in Italy, we produced and phylogenetically analyzed 407 mitochondrial DNA (mtDNA) control-region sequences from ten of the most important Italian riding horse and pony breeds: Bardigiano, Esperia, Giara, Lipizzan, Maremmano, Monterufolino, Murgese, Sarcidano, Sardinian Anglo-Arab, and Tolfetano. A collection of 36 Arabian horses was also evaluated to assess the genetic consequences of their common use for the improvement of some local breeds. Conclusions In Italian horses, all previously described domestic mtDNA haplogroups were detected as well as a high haplotype diversity. These findings indicate that the ancestral local mares harbored an extensive genetic diversity. Moreover, the limited haplotype sharing (11%) with the Arabian horse reveals that its impact on the autochthonous mitochondrial gene pools during the final establishment of pure breeds was marginal, if any. The only significant signs of genetic structure and differentiation were detected in the geographically most isolated contexts (i.e. Monterufolino and Sardinian breeds). Such a geographic effect was also confirmed in a wider breed setting, where the Italian pool stands in an intermediate position together with most of the other Mediterranean stocks. However, some notable exceptions and peculiar genetic proximities lend genetic support to historical theories about the origin of specific Italian breeds.
Ritual as purposeful pedagogy

The practice which supported my most successful years teaching was the use of ritual activity with children. I did not know that then, however. It has been this research-the application of "experimental writing" to the question: what is the experience of ritual as pedagogy? -which has provided me with this clearer understanding of my teaching practice. Ritual, the making of ordinary experiences into extraordinary events, occurs in our daily lives often without much recognition yet with a profound effect upon relationships with others and things, memory and knowledge, and interpretation and understanding of lived experiences. Rituals are ordered around our use of symbols; objects, gestures, form and location. Objects-usually as innocuous as a special coffee mug or a grandparent's old fishing rod-are those meaningful, concrete, symbols, when made part of ritual activity become locations for interpretation. Gesture, the symbolic language used to express what is understood just beyond the use of words is the language our bodies use to express the form the ritual takes. The symbolic coming together of object, location, gesture, and form provides a context for the ritual to occur and is the connective tissue which creates a sense of spontaneous combustion; the puff of smoke and a flash of light which transforms the moment. The classroom is a place for completing written work one moment, and then, it is transformed by a story or song into a location for ritual to occur. This transformation, brought about by a hermeneutic understanding and reordering of the events, changes the ordinary into the extraordinary and allows us to see what previously we couldn't see. Ritual is easily expressed in the language of children. It is like a memory-box, when opened, each object rediscovered, holds particular memories and meaning still clear and strong even when so much else is forgotten. Each object is ordered and considered in the light of what we have experienced since last the box was opened. Ritual offers a framework, a language and a location for meaningful experience. And it is practiced by many teachers. It is this framework, language, location and practice that is the keynote of this research.
Phase II study of oxaliplatin for treatment of patients with mucosa-associated lymphoid tissue lymphoma.

PURPOSE Various chemotherapeutic regimens have been applied for treatment of mucosa-associated lymphoid tissue (MALT) lymphoma, but no standard regimen has been identified to date. In view of the activity of oxaliplatin (L-OHP) in various types of lymphoma, we performed a phase II study to evaluate the activity of L-OHP for treatment of MALT lymphoma. The primary objective of this study was to determine the objective response rate according to WHO standard criteria. PATIENTS AND METHODS A total of 16 patients with MALT lymphoma of various sites of origin (four of the ocular adnexa, five of the salivary glands, three of the stomach, two of the lung, and one of the colon and the breast) were administered L-OHP at a dose of 130 mg/m2 infused during 2 hours every 3 weeks. Restaging was performed every two cycles; treatment was continued until complete remission (CR) or for a maximum of six cycles in responders. RESULTS Sixty-five cycles were administered (median, four; range, two to six); toxicity consisted of transient sensory neuropathy in eight patients and nausea/emesis WHO grade 2 in two patients, whereas hematologic adverse effects (thrombocytopenia and leukocytopenia grade 2) occurred in only one patient each. Fifteen patients responded to chemotherapy, with nine achieving CR (56%), six (37.5%) achieving partial response, and one achieving stable disease; the median time to response was 4 months (range; 2 to 4 months). CONCLUSION These data suggest L-OHP is a highly active agent for treatment of MALT lymphoma. However, a longer follow-up is needed to judge whether these remissions are durable.
Radiation-hardened techniques for CMOS flash ADC

This work presents a rad-hard 4-bit 10MHz Flash ADC for space applications. The converter has been developed using rad-hardened techniques both at architecture and layout levels. The design takes into account the different effects of the radiation that could damage the circuits in harsh environments. The ADC has been integrated in a standard CMOS 0.18-μm technology by TowerJazz. The prototype has been tested with a custom methodology and showed a Total Dose immunity up to 300krad.
On the measurement of absolute cerebral blood volume (CBV) using vascular‐space‐occupancy (VASO) MRI

Recently, a vascular‐space‐occupancy (VASO) MRI technique was developed for quantitative assessment of cerebral blood volume (CBV). This method uses the T1‐shortening effect of gadolinium diethylenetriamine pentaacetic acid (Gd‐DTPA) with imaging parameters chosen that null the precontrast blood magnetization but allow the postcontrast blood magnetization to recover to equilibrium. A key advantage of VASO CBV estimation is that it provides a straightforward procedure for converting MR signals to absolute physiologic values. However, as with other T1‐based steady‐state approaches, several important factors need to be considered that influence the accuracy of CBV values obtained with VASO MRI. Here, the transverse relaxation (T2/T 2* ) effect in VASO MRI was investigated using multiecho spin‐echo and gradient‐echo experiments, resulting in underestimation of CBV by 14.9% ± 1.1% and 16.0% ± 2.5% for spin echo (TE = 10 ms) and gradient echo (TE = 6 ms), respectively. In addition, the influence of contrast agent clearance was studied by acquiring multiple postcontrast VASO images at 2.2‐min intervals, which showed that the concentration of Gd‐DTPA in the first 14 min (single dose) was sufficient for the blood magnetization to fully recover to equilibrium. Finally, the effect of vascular Gd‐DTPA leakage was assessed for scalp tissue, and signal extrapolation as a function of postinjection time was demonstrated to be useful in minimizing the associated errors. Specific recommendations for VASO MRI acquisition and processing strategies are provided. Magn Reson Med, 2009. © 2008 Wiley‐Liss, Inc.
Live API documentation

Application Programming Interfaces (APIs) provide powerful abstraction mechanisms that enable complex functionality to be used by client programs. However, this abstraction does not come for free: understanding how to use an API can be difficult. While API documentation can help, it is often insufficient on its own. Online sites like Stack Overflow and Github Gists have grown to fill the gap between traditional API documentation and more example-based resources. Unfortunately, these two important classes of documentation are independent. In this paper we describe an iterative, deductive method of linking source code examples to API documentation. We also present an implementation of this method, called Baker, that is highly precise (0.97) and supports both Java and JavaScript. Baker can be used to enhance traditional API documentation with up-to-date source code examples; it can also be used to incorporate links to the API documentation into the code snippets that use the API.