Miracle-dz/UniFAR-FTUs huggingface dataset:
Inhibition of tissue factor-mediated coagulation markedly attenuates stenosis after balloon-induced arterial injury in minipigs.

BACKGROUND Exposure and upregulation of tissue factor in the wall of balloon-injured arteries may result in prolonged activation of coagulation contributing to restenosis. This study was designed to determine whether brief or more prolonged inhibition of tissue factor-mediated coagulation with tissue factor pathway inhibitor (TFPI) attenuates neointimal formation and luminal stenosis after balloon-induced arterial injury. METHODS AND RESULTS The carotid artery of minipigs fed an atherogenic diet was injured by repetitive balloon hyperinflations, a procedure that rapidly yields complex, plaque-like neointimal lesions and high-grade luminal stenosis. Recombinant TFPI (rTFPI) was administered intravenously beginning 15 minutes before balloon injury as either a high dose (0.5 mg/kg bolus and 100 microg x kg(-1) x min(-1)) for 3 hours (n=7) or 24 hours (n=6) or as a low dose (0.5 mg/kg and 25 microg x kg(-1) x min(-1)) for 24 hours (n=6). Control animals received intravenous heparin (100 U x kg(-1) x h(-1)) for 3 hours (n=6) or 24 hours (n=7) or aspirin (5 mg/kg P.O.) followed by heparin for 24 hours (n=7). Luminal stenosis, assessed histologically 4 weeks after injury, was 73+/-17% and 76+/-18% (mean+/-SEM) in animals that received rTFPI or heparin for 3 hours, respectively. In contrast, luminal stenosis was only 11+/-12% and 6+/-3% in pigs given high and low doses, respectively, of rTFPI for 24 hours compared with 46+/-22% in pigs given heparin for 24 hours and 40+/-19% in those given both heparin and aspirin (P<.0002). CONCLUSIONS Inhibition of tissue factor-mediated coagulation during the first 24 hours after deep arterial injury appears to be particularly effective for attenuating subsequent neointimal formation and stenosis.
Short Paper: Fellowship in Mobile Ad hoc Networks

Security issues are paramount in mobile ad hoc networks even more so than in wired networks. Though there have been many works in the recent years on secure routing protocols for mobile ad hoc networks still ad hoc networks are prone to specific attacks such as packet drop attacks. In this paper, we bring out the vulnerabilities and seriousness of the packet drop attacks. We propose an obligation based enforcement approach called “fellowship” to defend the packet drop attacks in mobile ad hoc networks.
PII: S1063-5203(02)00006-4

A stationary subdivision scheme is a two-scale process, where values at the next level of refinement are computed from the values of the current level using a single given mask P = {pk}k∈Zd . Under a certain restriction on the mask it can be shown that there exists a distributional solution for the functional equationφ = ∑k∈Zd pkφ(2 · −k). It is well known that the limit of a convergent subdivision scheme initialized by data f 0 = {f 0 k }k∈Zd can be represented as ∑ k∈Zd f 0 k φ(x − k), where φ is a continuous solution of the functional equation. In this work we generalize this framework in the following sense. The (poly) M-scale subdivision scheme computes the next level of refinement from theM −1 scales of the previous level, using M −1 given masks, Pm = {pm,k}k∈Zd , m = 1, . ,M − 1. With a certain restriction on the masks there exists a distributional solution for the poly-scale functional equation φ =∑M−1 m=1 ∑ k∈Zd pm,kφ(2 · −k). We show that a convergent poly-scale subdivision process initialized by data f 0 = {f 0 k }k∈Zd converges to ∑ k∈Zd f 0 k φ(x − k), whereφ is a continuous solution of the poly-scale functional equation. In applications, the polyscale framework allows the design of subdivision schemes with features that are not possible in the standard two-scale case.  2002 Elsevier Science (USA). All rights reserved.
What Happened in my Home?: An End-User Development Approach for Smart Home Data Visualization

Smart home systems change the way we experience the home. While there are established research fields within HCI for visualizing specific use cases of a smart home, studies targeting user demands on visualizations spanning across multiple use cases are rare. Especially, individual data-related demands pose a challenge for usable visualizations. To investigate potentials of an end-user development (EUD) approach for flexibly supporting such demands, we developed a smart home system featuring both pre-defined visualizations and a visualization creation tool. To evaluate our concept, we installed our prototype in 12 households as part of a Living Lab study. Results are based on three interview studies, a design workshop and system log data. We identified eight overarching interests in home data and show how participants used pre-defined visualizations to get an overview and the creation tool to not only address specific use cases but also to answer questions by creating temporary visualizations.
UCP1-independent Thermogenesis in White Adipose Tissue of Cold-acclimated Ucp1-/- Mice*

Apart from UCP1-based nonshivering thermogenesis in brown adipocytes, the identity of thermogenic mechanisms that can be activated to reduce a positive energy balance is largely unknown. To identify potentially useful mechanisms, we have analyzed physiological and molecular mechanisms that enable mice, genetically deficient in UCP1 and sensitive to acute exposure to the cold at 4 °C, to adapt to long term exposure at 4 °C. UCP1-deficient mice that can adapt to the cold have increased oxygen consumption and show increased oxidation of both fat and glucose as indicated from serum metabolite levels and liver glycogen content. Enhanced energy metabolism in inguinal fat was also indicated by increased oxygen consumption and fat oxidation in tissue suspensions and increased AMP kinase activity in dissected tissues. Analysis of gene expression in skeletal muscle showed surprisingly little change between cold-adapted Ucp1+/+ and Ucp1-/- mice, whereas in inguinal fat a robust induction occurred for type 2 deiodinase, sarcoendoplasmic reticulum Ca2+-ATPase, mitochondrial glycerol 3-phosphate dehydrogenase, PGC1α, CoxII, and mitochondrial DNA content. Western blot analysis showed an induction of total phospholamban and its phosphorylated form in inguinal fat and other white fat depots, but no induction was apparent in muscle. We conclude that alternative thermogenic mechanisms, based in part upon the enhanced capacity for ion and substrate cycling associated with brown adipocytes in white fat depots, are induced in UCP1-deficient mice by gradual cold adaptation.
Whole body posture controller based on inertial forces

The goal of our research is to treat different humanoid locomotion modes (walking, running, etc.) with a unified approach. As a step towards this goal, we present a whole body posture controller which imposes the generalized inertial forces of the robot and the position and orientation of the extremities which are not in contact with the ground. The method, based on the Lagrangian dynamics equations, allows to treat the angular momentum, and zmp stability. To validate our approach we have carried out experiments of planar motions on the humanoid robot HRP-2.
Lack of association between dopamine-&bgr; hydroxylase gene and a history of suicide attempt in schizophrenia: comparison of molecular and statistical haplotype analyses

Objective(s) In the present study, we examined whether there was an association between dopamine-&bgr; hydroxylase (DBH) promoter polymorphisms (a 5′-ins/del and a GTn repeats) and a history of suicide attempt in 223 chronic schizophrenia individuals using statistical and molecular analyses. Within the genetic association study design, we compared the statistical haplotype phase with the molecular phase produced by the amplicon size analysis. Materials and methods The two DBH polymorphisms were analysed using the Applied Biosystem 3130 and the statistical analyses were carried out using UNPHASED v.3. 1.5 and PHASE v.2. 1.1 to determine the haplotype frequencies and infer the phase in each patient. Then, DBH polymorphisms were incorporated into the Haploscore analysis to test the association with a history of suicide attempt. Results In our sample, 62 individuals had a history of suicide attempt. There was no association between DBH polymorphisms and a history of suicide attempt across the different analytical strategies applied. There was no significant difference between the haplotype frequencies produced by the amplicon size analysis and statistical analytical strategies. However, some of the haplotype pairs inferred in the PHASE analysis were inconsistent with the molecular haplotype size measured by the ABI 3130. Conclusion The amplicon size analysis proved to be the most accurate method using the haplotype as a possible genetic marker for future testing. Although the results were not significant, further molecular analyses of the DBH gene and other candidate genes can clarify the utility of the molecular phase in psychiatric genetics and personalized medicine.
A Survey on Resource Management in IoT Operating Systems

Recently, the Internet of Things (IoT) concept has attracted a lot of attention due to its capability to translate our physical world into a digital cyber world with meaningful information. The IoT devices are smaller in size, sheer in number, contain less memory, use less energy, and have more computational capabilities. These scarce resources for IoT devices are powered by small operating systems (OSs) that are specially designed to support the IoT devices’ diverse applications and operational requirements. These IoT OSs are responsible for managing the constrained resources of IoT devices efﬁciently and in a timely manner. In this paper, discussions on IoT devices and OS resource management are provided. In detail, the resource management mechanisms of the state-of-the-art IoT OSs, such as Contiki, TinyOS, and FreeRTOS, are investigated. The different dimensions of their resource management approaches (including process management, memory management, energy management, communication management, and ﬁle management) are studied, and their advantages and limitations are highlighted.
Identification of Novel Small Molecule Inhibitors of Amyloid Precursor Protein Synthesis as a Route to Lower Alzheimer's Disease Amyloid-β Peptide

A wealth of independent research with transgenic mice, antibodies, and vaccines has pointed to a causative role of the amyloid-β peptide (Aβ) in Alzheimer's disease (AD). Based on these and earlier associative studies, Aβ represents a promising target for development of therapeutics focused on AD disease progression. Interestingly, a cholinesterase inhibitor currently in clinical trials, phenserine, has been shown to inhibit production of both amyloid precursor protein (APP) and Aβ. We have shown that this inhibition occurs at the post-transcriptional level with a specific blocking of the synthesis of APP relative to total protein synthesis (Shaw et al., 2001). However, the dose of phenserine necessary to block APP production is far higher than that needed to elicit its anticholinesterase activity, and it is these latter actions that are dose limiting in vivo. The focus of this study was to screen 144 analogs of phenserine to identify additional small molecules that inhibit APP protein synthesis, and thereby Aβ production, without possessing potent acetylcholinesterase (AChE) inhibitory activity. An enzyme-linked immunosorbent assay was used to identify analogs capable of suppressing APP production following treatment of human neuroblastoma cells with 20 μM of compound. Eight analogs were capable of dose dependently reducing APP and Aβ production without causing cell toxicity in further studies. Several of these analogs had little to no AChE activities. Translation of APP and Aβ actions to mice was demonstrated with one agent. They thus represent interesting lead molecules for assessment in animal models, to define their tolerance and utility as potential AD therapeutics.
OWPA: An Ontology-Based Approach to Adaptable Workflow Participant Assignment

Adaptable workflow participant assignment (WPA) is crucial to the efficiency and quality of workflow execution. This paper proposes an ontology-based approach to adaptable WPA (OWPA). OWPA introduces domain ontology to organize the enterprise data and uses a well-defined OWPA rule to express an authorization constraint. OWPA can represent more complex authorization constraints by flexibly using the enterprise data, the workflow data, the user-input data, and the built-in functions. By a high-usability interactive interface, OWPA allows users to define and modify the OWPA rules easily without any programming work. Moreover, OWPA is bound to the workflow modeling tool and the workflow monitor respectively to adapt to dynamic workflow modification in workflow definitions and workflow instances. OWPA has been applied in three enterprises in China.
Análisis de sentimiento en eventos con contrincantes

En este trabajo consideramos el problema de la caracterizacion de mensajes y usuarios en las redes sociales, en este caso el servicio de microblogging Twitter. Para ello hemos descargado 13,3 millones de tweets utlizando como contexto las elecciones generales estadounidenses que tuvieron lugar en el mes de noviembre de 2016. A partir de los tweets descargados construimos un conjunto coherente mediante un proceso de limpieza de datos. Una vez construido, analizamos el conjunto utilizando la tecnica del analisis de sentimiento para asignar de forma automatica una etiqueta descriptiva a cada tweet que indica si el autor del tweet apoya a alguno de los candidatos o, por lo contrario, se opone activamente a alguno de los candidatos. Una vez compilados los datos obtenemos una serie de resultados, especialmente donde analizamos el comportamiento de los usuarios que apoyan a un candidato con respecto al oponente. Encontramos que los seguidores del candidato republicano Donald Trump fueron mas activos en Twitter y mas beligerantes contra la candidata Hillary Clinton que viceversa. Finalmente, comparamos nuestro conjunto de datos con un estudio similar en Twitter.
Friendship characteristics and activity patterns of adolescents with an autism spectrum disorder

This study compared perceptions of adolescents’ friendships between adolescents with an autism spectrum disorder (ASD) and their parents, examined factors associated with friendship qualities, and investigated the adolescents’ reports on the activities they did with friends and how activity patterns differed by gender. Ninety-one adolescents with an ASD and their parents completed mail-based surveys during the summer months. Adolescents with an ASD identified more friends than did their parents, but they agreed on the friends’ characteristics. About half of the adolescents spent an average of 4 hours per day with friends during the summer months. Male adolescents with an ASD most frequently played video games with friends, whereas females most frequently had conversations with friends. The findings suggest that adolescents with an ASD and their parents identify different peers as the adolescent’s friends. The findings also reveal similarities and differences in friendships between adolescents with an ASD and typically developing adolescents.
Transformer tank vibration modeling as a method of detecting winding deformations-part II: experimental verification

In Part I of the paper, a tank vibration model was proposed as a method to detect the winding deformations in power transformers. This model is incorporated in a model-based monitoring system for power transformers. In this paper, the experimental verification of the proposed model that calculates vibration on the transformer tank is reported. The model was validated in a 1500-kVA experimental transformer constructed as a reduced scale model of a 60-MVA 220-kV unit. In order to load the test transformer, the opposition method described in IEC 60076-2 Standard was used allowing to vary the load and power factor over a wide range. Sensors to measure vibrations and temperature were installed in the test transformer. The model was validated under different test transformer operating conditions. In order to verify the model's ability to detect failures, a deformation was provoked in the test transformer winding. Model predictions were compared with the measured vibration in that situation. The model has also been applied to four (30-40 MVA) grid transformers. Some results of this field validation are presented in this paper.
Edentulism and dental caries in Victorian nursing homes.

OBJECTIVES The aim of this project was to investigate edentulism and dental caries in nursing home residents in Victoria, Australia. BACKGROUND The Australian population is ageing with a growing number of people living in nursing homes. These residents are at increased risk for dental caries, have more teeth present now than at any time in the past 50 years and often have difficulty maintaining adequate oral hygiene. MATERIALS AND METHODS Clinical dental examinations were conducted at 31 nursing homes in Melbourne and regional Victoria between May 2005 and June 2006. A total of 510 residents were examined out of 1345 eligible participants. Socio-demographic and medical history was collected via questionnaire. RESULTS Just over half of the residents were dentate (53.9%), and dentate residents had a mean of 14.4 teeth present and 2.66 untreated decayed teeth. Residents who required total assistance with oral hygiene had more decayed teeth and fewer filled teeth than residents who did not require assistance. CONCLUSIONS Nursing home residents in Victoria are retaining an increasing number of natural teeth and have more tooth surfaces at risk for dental caries. Untreated dental caries was a significant problem for residents, particularly for those who are dependent on others for their daily oral hygiene care.
Perceived Parental Support and Self-efficacy for Avoiding Sedentary Behaviors and Overweight Status among School Children

Overweight in childhood is a serious public health concern. Approximately 31% of 6-19-year-old children in the United States are obese, overweight or at risk of overweight. The sample (N=721) consisted of students between the ages of 9-14 years of age enrolled in grades 4th-8th in Leon and Gadsden Counties, Florida. Using a multinomial regression model, analyses revealed that students with increased perceived self-efficacy were approximately 1.4 times more likely to be overweight than their counterparts, and those who lived in Gadsden County were 1.7 times more likely to be overweight. Those enrolled in the free/reduced lunch program were 7% less likely to be overweight than their counterparts. The purpose of this study was to explore the relationship of weight with sedentary behavior, self-efficacy in sedentary behavior avoidance, perceived parental support and socio-environmental factors among African American children. The study findings contradict much of the literature in terms of perceptions about the relationship of perceived self-efficacy and behavior and underscore the need for additional research to better understand possible differences between African American and White children.
Regulation of "Momentary" Diversity by Dominant Species in Exceptionally Rich Ant Communities of the Australian Seasonal Tropics

I report observations on exceptionally diverse ant communities in the seasonally arid tropics of northern Australia that indicate that interference competition from dominant species regulates the number of ant species foraging at rich food sources in a manner analogous to humped diversity models applicable to communities of plants and sessile marine invertebrates. I adopt two novel approaches to the study of humped diversity patterns. First, I look at the effect of temporal changes in the foraging abundance of dominant species, presumably linked to temporal changes in climatic favorability, on "momentary" diversity within a community. Second, I relate diversity directly to the abundance of dominant species rather than to some environmental variable that is assumed to control their abundance. Iridomyrmex spp. and Oecophylla smaragdina were dominant ants at the forest and savanna sites studied: they occurred at a large proportion (35%-85%) of tuna baits, they dominated and monopolized most (>80%) of the baits at which they occurred, they had the highest mean abundance scores at baits, and they were far more abundant at baits than expected from their representation in pitfall catches. The total abundance of nondominant ants, species richness, and species diversity at baits all exhibited humped relationships with the combined abundance of Iridomyrmex and Oecophylla, which indicates that dominant species suppressed the foraging abundances and diversity of other species under climatically favorable conditions. There were important site differences in the expression of this humped pattern: the abundance of dominant species was never low in the savanna, and here only the descending part of the hump was expressed. This study appears to be the first time that any humped diversity pattern caused by competitive exclusion has been documented in terrestrial animal communities.
Virtual Training Environment Providing Force Feedback for Motoric Improvement of Upper Extremity

We suggest a motor rehabilitation support system for upper extremity with force feedback. A client throws a ball underhanded using a force feedback device, and then the client can receive rehabilitation for an arm’s motion sensing feel of weight. Throwing motion is difficult, so we built training environment that the client can select challenge level that is suitable to his/her ability. Furthermore, the system can indicate movement of arm. We evaluated basic functions of our system. Participants of experiments could throw well by watching an indicator of moving the upper extremity and receiving force feedback.
Is three‐dimensional power Doppler ultrasound useful in the assessment of placental perfusion in normal and growth‐restricted pregnancies?

To investigate three‐dimensional (3D) power Doppler ultrasound indices in the assessment of placental perfusion and their relationship to gestational age (GA), placental position and umbilical artery Doppler flow velocity waveform (FVW) patterns in normal and intrauterine growth‐restricted (IUGR) pregnancies.
Dynamic Properties of Three-Terminal Tungsten CMOS-NEM Relays Under Nonlinear Tapping Mode

In this paper, we present the electrical characterization of the nonlinear tapping mode of the nanorelays capacitively transduced. Such a characterization is carried out utilizing three-terminal tungsten CMOS-NEM relays. Exciting electrostatically the switching devices near its resonance and detecting its movement by means of capacitive detection, we reveal double-side frequency dynamic-contact characteristics when the displacement is large and the tapping occur in the nonlinear regime. In this way, we take advantage of this periodic contact to evaluate the switching characteristics of the device. We report that the switch stands more than 10 billion of tapping cycles (in a cold switching scenario) without showing any failure. Moreover, we measure current-voltage (I-V) curves before and after the cycling test in order to evaluate the changes produced in the ON-state contact resistance and in the pull-in and pull-out voltages. This test reveals that the characterized switch has a consistent and repetitive pull-in voltage without changing its elastic properties. In addition, we observe that the pull-out voltage decreases slightly and the contact resistance diminishes (from an initial value of 2 GΩ to a minimum value of 735 MΩ. We eventually attribute this result to the fact that the superficial oxide is broken down due to the continuous tapping of the cantilever tip on the contact electrode.