Miracle-dz/UniFAR-FTUs huggingface dataset:
Are adolescents chronically sleep-deprived? An investigation of sleep habits of adolescents in the Southwest of Germany.

BACKGROUND Adolescent sleep receives increasing attention. Several studies have shown that adolescents generally do not sleep enough. This survey assessed adolescents' sleep patterns, and results were compared with sleep logs. METHODS A total of 818 students aged 12-18 attending three different school types were asked to complete a questionnaire, adapted from the 'School Sleep Habits Survey', and filled in a sleep protocol over 2 weeks. Information on sleep patterns and demographic data were obtained additionally. RESULTS A total of 601 students completed the questionnaire (i.e. 73.5% return rate), 55.1% female and 44.9% male. Average sleep duration during the week amounted to 8.04+/-0.89 h and 9.51+/-1.65 h on weekends. Sleep duration times on school days decreased from an average 8.64+/-0.83 h for the age category 12-13 years to 7.83+/-0.72 h for students above 16 years. 91.6% of all students slept less than 9.2 h per night during the week. Data from the 153 returned sleep logs showed even lower sleep times (7.75+/-0.82 h for school nights). CONCLUSIONS The main hypothesis that students sleep on average considerably less than the recommended 9 h during weekdays was confirmed. Bedtimes changed throughout the week with the latest on Friday and Saturday nights and the least sleep around midweek. There were no significant group differences regarding school type and environment (rural vs. urban). Interestingly, the majority reported only little daytime sleepiness and no impaired performance. Results regarding the consequences of chronic sleep deprivation in the literature are inconclusive. The impact on physiological parameters, especially metabolic functions, requires further investigations.
Emotional Well-Being

Emotional wellbeing Wellbeing isn’t just about your physical health. It’s also about maintaining a healthy emotional balance so you have the resilience to take on life’s stressors and cope with any big changes that come your way. Learn more about the benefits Adobe offers to help you handle everyday challenges and ease your mind. On this page you will find information about: Employee Assistance Program (EAP) ● Headspace meditation app ● Teladoc video behavioral health sessions ● Aetna behavioral health support and treatment ● AbleTo support program ● Aetna Autism Spectrum Disorder (ASD) Support Program ● Bright Horizons support for children with special needs ● Kaiser mental health support and treatment ● Survivor Outreach Services ●
Neighborhood User Estimation fromWeb Access Log in EC Service

An aim of this paper is to find neighborhood users using customers' access logs in an Electric Commerce site. In general recommendation services neighborhood users usually are defined according to their order histories or their demographic information. Since a neighborhood user estimation algorithm does not define the neighborhood of users that have never bought any products in an EC site, a cold start problem happens in collaborative filtering. To overcome the cold start problem we make user profile from his/her access logs instead of order histories. We have to select access logs that show user's intent clearly since access logs include user's activities that are not related to product purchase. Hence, we focus on Web pages that many users who purchase the same products visited. We assume the Web pages affect user's purchase and use them as characteristic Web pages to predict users' intent. Since we think such the characteristic Web pages are different in product categories we define a set of Web pages in each category. After finding the characteristic Web pages in all categories, we make a feature vector which elements denote the characteristic Web pages and value denotes whether the user visited the Web pages or not. We calculate the similarities among product categories using sets of users buying a product included in a category to check a user profile discriminates categories. Carrying out evaluation experiments, we confirmed that there is high similarity among users who purchase products in the same category and the similarity is a discriminative criterion. And we estimate neighborhood of new users, which have never bought any products, and confirm that the neighborhood includes many users that have bought products in the same category.
A Multimodal and conversational application in natural language for information seeking on the World Wide Web : The HALPIN system

1. ABSTRACT While seeking a document or information, “some are looking for the ocean and some others for a grain of sand” [5]. We have developed the Halpin1 system to implement our multimodal conversational model for information retrieval. This dialogue-oriented interface allows the access to the INRIA's2 database, on the internet, in a natural language (NL) way, and gives its oral responses via usual browsers. The results of the first experiments show that the Halpin system provides some interesting dialogues (in particular with the beginners), according to the user’s goals and skills, that leads to information retrieval success, while searches with the original user interface (traditional web form) failed.
Venice unfolding: a tangible user interface for exploring faceted data in a geographical context

We introduce Venice Unfolding, a case study on tangible geo-visualization on an interactive tabletop to enable the exploration of architectural projects in Venice. Our tangible user interface consists of a large display showing projects on a map, and a polyhedral object to browse these data interactively by selecting and filtering various metadata facets. In this paper we describe a prototype employing new methods to communicate territorial data in visual and tangible ways. The object reduces the barrier between the physical world and virtual data, and eases the understanding of faceted geographical data, enabling urban planners and citizens alike to participate in the discovery and analysis of information referring to the physical world.
Opposing Activities of LIT-1/NLK and DAF-6/Patched-Related Direct Sensory Compartment Morphogenesis in C. elegans

Glial cells surround neuronal endings to create enclosed compartments required for neuronal function. This architecture is seen at excitatory synapses and at sensory neuron receptive endings. Despite the prevalence and importance of these compartments, how they form is not known. We used the main sensory organ of C. elegans, the amphid, to investigate this issue. daf-6/Patched-related is a glia-expressed gene previously implicated in amphid sensory compartment morphogenesis. By comparing time series of electron-microscopy (EM) reconstructions of wild-type and daf-6 mutant embryos, we show that daf-6 acts to restrict compartment size. From a genetic screen, we found that mutations in the gene lit-1/Nemo-like kinase (NLK) suppress daf-6. EM and genetic studies demonstrate that lit-1 acts within glia, in counterbalance to daf-6, to promote sensory compartment expansion. Although LIT-1 has been shown to regulate Wnt signaling, our genetic studies demonstrate a novel, Wnt-independent role for LIT-1 in sensory compartment size control. The LIT-1 activator MOM-4/TAK1 is also important for compartment morphogenesis and both proteins line the glial sensory compartment. LIT-1 compartment localization is important for its function and requires neuronal signals. Furthermore, the conserved LIT-1 C-terminus is necessary and sufficient for this localization. Two-hybrid and co-immunoprecipitation studies demonstrate that the LIT-1 C-terminus binds both actin and the Wiskott-Aldrich syndrome protein (WASP), an actin regulator. We use fluorescence light microscopy and fluorescence EM methodology to show that actin is highly enriched around the amphid sensory compartment. Finally, our genetic studies demonstrate that WASP is important for compartment expansion and functions in the same pathway as LIT-1. The studies presented here uncover a novel, Wnt-independent role for the conserved Nemo-like kinase LIT-1 in controlling cell morphogenesis in conjunction with the actin cytoskeleton. Our results suggest that the opposing daf-6 and lit-1 glial pathways act together to control sensory compartment size.
Dry Eye: an Inflammatory Ocular Disease

Keratoconjunctivitis sicca, or dry eye, is a common ocular disease prompting millions of individuals to seek ophthalmological care. Regardless of the underlying etiology, dry eye has been shown to be associated with abnormalities in the pre-corneal tear film and subsequent inflammatory changes in the entire ocular surface including the adnexa, conjunctiva and cornea. Since the recognition of the role of inflammation in dry eye, a number of novel treatments have been investigated designed to inhibit various inflammatory pathways. Current medications that are used, including cyclosporine A, corticosteroids, tacrolimus, tetracycline derivatives and autologous serum, have been effective for management of dry eye and lead to measurable clinical improvement.
The Pricing of Marked‐to‐Market Contingent Claims in a No‐Arbitrage Economy

This paper assumes that the underlying asset prices are lognormally distributed, and derives necessary and sufficient conditions for the valuation of options using a Black‐Scholes type methodology. It is shown that the price of a futures‐style, marked‐to‐market option is given by Black's for Mula if the pricing kernel is lognormally distributed. Assuming that this condition is fulfilled, it is then shown that the Black‐Scholes for Mula prices a spot‐settled contingent claim, if the interest‐rate accumulation factor is lognormally distributed. Otherwise, the Black‐Scholes for Mula holds if the product of the pricing kernel and the interest‐rate accumulation factor is lognormally distributed.
BEK: Modeling Imperative String Operations with Symbolic Transducers

Web applications must use special string-manipulating sanitization functions on untrusted user data, but writing these functions correctly is error prone and time consuming. We present a domain-specific imperative language, BEK, that is expressive enough to capture real web sanitizers used in the Internet Explorer XSS Filter and the Google AutoEscape framework. We exhibit a translation from the BEK language to symbolic finite state transducers (SFTs), a novel representation for transducers that annotates transitions with logical formulae. Symbolic finite state transducers give us a new way to marry the classic theory of finite state transducers with the recent progress in satisfiability modulo theories (SMT) solvers. We exhibit algorithms for checking equivalence of images of regular languages, idempotency, commutativity, and other properties of SFTs that scale quadratically in the number of states, and we show that BEK’s implementation of these algorithms scales near-linearly in practice. We then show how BEK can be applied to checking key security properties of web sanitizers, and how programs written in the BEK language can be compiled to traditional languages such as JavaScript. BEK makes it possible for web developers to write sanitizers supported by deep analysis, yet deploy the analyzed code directly to real applications. BEK: Modeling Imperative String Operations with Symbolic Transducers
Take a Deep Breath: How Yoga Postures and Breathing Techniques Can Impact PTSD Symptoms

Yoga postures (asana) and yoga breathing techniques (pranayama) could be an effective method of treating Post Traumatic Stress Disorder (PTSD). This study investigates the importance of the style of yoga treatment (pranayama, asana, or both) and the frequency with which these interventions are conducted (two or five times per week). The participants in this study will be military personnel with diagnosed PTSD who are currently receiving CBT and pharmaceutical treatment. All participants will have their PTSD symptoms assessed before the study begins, and then once a week each of the 12 weeks of the study. Structured interviews will be administered to both participants and loved ones of participants before and after the study in order to verify construct validity. It is proposed that all groups will show improvement in all three styles (asana, pranayama, and both) over the span of 12 weeks and the groups that practice five times a week will improve more than groups that practice twice a week. Therefore, participants who practice both pranayama and asana twice a week will have the most decrease in PTSD symptoms.
Powering LED from Wi-Fi: A qualitative assessment for rectenna design

With vast benefits across various market segments, active RFID tags have shown great potential in the healthcare sector. Battery replacement remains a deterrent towards mass implementation of active RFID tag technology. Within this context, rectenna architecture has been investigated as the RF power transfer mechanism for ultra low power on-body communication. A working prototype consisting of 7-stage Cockroft-Walton voltage multiplier integrated with band pass filter and lowpass filter has successfully been developed on 1.57 mm RT/Duroid 5880 laminate with the goal of prolonging battery lifespan. A qualitative assessment is proposed as means of evaluating rectenna performance with various antenna designs connected to optimized rectifier. Under non-controlled environment, powering an LED from a Wireless Access Point transmitter source can be used to gauge robustness of rectenna system. Antenna with 5 dBi gain was capable of powering LED at 10 cm distance from RF source.
JEAP Team Description

We present here the structure of our humanoid robot soccer team JEAP . We use a heterogenous set of commercial humanoid robots that are havily customized from their original design. For this RoboCup we are also ordering a new custo m designed humanoid whose speciﬁcations are already included in this paper. The task of controlling these robots is faced through the use of a uni-ﬁed software approach applicable for all types of humanoid robots. In this team description paper we focus on the hardware and the behavioral system.
SVM Classifier for Analog Fault Diagnosis Using Fractal Features

Support Vector Machine (SVM) has advantages of strong generalization ability simple architecture as well as classification ability to a few samples. Fractal dimension can quantitatively describe the non-linear behavior of vibration signal and can be used as features for fault diagnosis. Combining SVM and fractal theory, a novel fault diagnosis method for analog circuits based on SVM using fractal dimension is developed in this paper. Firstly, output voltage signals are obtained from circuit under test (CUT) and corresponding fractal gridding dimensions are calculated which constitutes the fault feature vectors; Subsequently, after training the SVM by faulty feature vectors, the SVM model of the circuit fault diagnosis system is built; Finally, the trained SVM classifier and is used to recognize and classify the unknown faults. Simulation results of diagnosing the Sallen-Key band pass filter circuit have confirmed that the proposed approach increases the fault diagnosis accuracy, thereby it may be considered as an alternative for the analog fault diagnosis.
Stability of constant states and qualitative behavior of solutions to a one dimensional hyperbolic model of chemotaxis

We consider a general model of chemotaxis with finite speed of propagation in one space dimension. For this model we establish a general result of stability of some constant states both for the Cauchy problem on the whole real line and for the Neumann problem on a bounded interval. These results are obtained using the linearized operators and the accurate analysis of their nonlinear perturbations. Numerical schemes are proposed to approximate these equations, and the expected qualitative behavior for large times is compared to several numerical tests.
The Impact of Using Authentic Videos on Prosodic Ability among Foreign Language Learners

This study examined the effect of using authentic videos on Iranian EFL learners’ prosodic ability. To this end, the researcher selected 40 Iranian intermediate students and randomly assigned them in two equal groups; one experimental group and one control group. A pre-test was administered to both groups to make sure that they are homogeneous. Then, the control group was taught prosodic aspects of language using a traditional approach while the experimental group was taught through using authentic videos. The whole treatment lasted 12 sessions of 70 minutes. At the end of the study a post-test was administrated and the scores obtained from two groups were compared using paired samples and independent samples t-tests. The findings revealed that the experimental group significantly outperformed the control group (p < .05) on the post-test. In other words, teaching through authentic videos showed to have a significant impact on improving learners' prosodic ability. Implications of the study suggest that using authentic videos could be more effective than other techniques in teaching prosodic aspects of language to intermediate EFL learners.
The fibrin-derived γ377-395 peptide inhibits microglia activation and suppresses relapsing paralysis in central nervous system autoimmune disease

Perivascular microglia activation is a hallmark of inflammatory demyelination in multiple sclerosis (MS), but the mechanisms underlying microglia activation and specific strategies to attenuate their activation remain elusive. Here, we identify fibrinogen as a novel regulator of microglia activation and show that targeting of the interaction of fibrinogen with the microglia integrin receptor Mac-1 (αMβ2, CD11b/CD18) is sufficient to suppress experimental autoimmune encephalomyelitis in mice that retain full coagulation function. We show that fibrinogen, which is deposited perivascularly in MS plaques, signals through Mac-1 and induces the differentiation of microglia to phagocytes via activation of Akt and Rho. Genetic disruption of fibrinogen–Mac-1 interaction in fibrinogen-γ390-396A knock-in mice or pharmacologically impeding fibrinogen–Mac-1 interaction through intranasal delivery of a fibrinogen-derived inhibitory peptide (γ377-395) attenuates microglia activation and suppresses relapsing paralysis. Because blocking fibrinogen–Mac-1 interactions affects the proinflammatory but not the procoagulant properties of fibrinogen, targeting the γ377-395 fibrinogen epitope could represent a potential therapeutic strategy for MS and other neuroinflammatory diseases associated with blood-brain barrier disruption and microglia activation.
THE POLITICAL ECONOMY OF GROWTH IN DEVELOPING EAST ASIA: A THEMATIC PAPER

Different governments in different countries have different reasons to decide on different public policies. This much is obvious. What is not obvious, however, is the fact that these reasons can be conditioned or influenced by a complex set of criteria that reflects power relationships among various persons and/or institutions in those countries. Many of us are often puzzled by a certain government decision that is clearly inefficient or distortionary but pleases a certain group of people, or surprised by a certain decision that is really forward-looking although the immediate benefits of such a decision is not clear to see. Take, for example, a decision to prohibit a certain import or to impose high tariff to protect a local manufacturer, or a decision to unilaterally reduce tariff in a regional grouping like ASEAN or APEC. As growth of the economy is something most governments in most developing countries would like to have, the interplay between the politics and economics of such growth-oriented policies becomes all important. The political economy of growth in these countries has become an important issue of concern.
Arguments against the Troll ( position paper )

We envision an improved social Web, in which the Trolls’ disruptive power is inhibited or restricted, and the content produced by and shared among community members can gain authoritativeness. We believe that argumentation theories have the potential to give a key contribution to this vision. We sketch a research path in this direction and discuss some research questions. It can be argued that the Web 2.0’s key to success resides in participation. 500 million active FaceBook users exchange 30 billion content items every month.1 Wikipedia pages and registered users are counted by tens of millions, page edits by hundreds of millions.2 No doubt social computing is a hype. Probably it is over-hyped. But it is clearly changing the way people interact, business is run, services are provided, information is produced and shared, Internauts spend their virtual life, real people make friends and real ties are broken up. We could speak of a large scale cultural, social and technological revolution. Of the innumerous questions that come together with such a revolution, one is particularly interesting to us. That has to do with authoritativeness of social Web content, and ultimately with the survival of the social Web phenomenon itself as we know it today. The Web 2.0 may be the expression of freedom of speech and democratic participation. This is all very good and welcome, but: is it going to last? What will be the face of tomorrow’s social Web? Today’s Web 2.0 is participated by different groups of users with very different backgrounds and attitudes. We find many of those eager to share their family secrets, joys and pains with the rest of the world; the IT-savvy, wary about spilling their life to the social Web and about relying on information produced by it; those planning their holidays based on TripAdvisor ratings; the lovers of solitude, who finally found a peaceful beach and are going to give it very low marks on TripAdvisor, in the hope to lie there alone for a little while longer. These are the crowds that will elect the next president of the United States. Copyright c © 2010, The authors. All rights reserved. Source: http://www.facebook. com/press/info. php? statistics. Source: http://en.wikipedia. org/wiki/ Special:Statistics. Nice. And problems come along. The Web 2.0 has given rise to a good number of emerging phenomena such as social stalking, multiplication of junk sources and time sucks and gossip amplification. Privacy is probably at its historical minimum. One common reason, if not for all at least for many of these negative effects of the social Web, is the lack of authoritativeness in the Web content. In the social Web, everything could be equal to everything else. The very idea of grassroots and diffused democracy, that underlies the Web and its social version of today, is the reason of this lack of authoritativeness of the social Web contents. We can’t do anything about it!
Roofline measurement application

The roofline 2-axis method refers to the number of floating-point operations to be executed every second as a graph resulting from the difference between the floating-point operation speed between the CPU and the memory, corresponding to the intensity of operations for access to the main memory shown in the log graph. This tells us that the floating-point computation speeds of up to come out in the kernel that was randomly determined by developers. In addition, by presenting the guidelines on what can be pulled out floating-point performance of the best in the kernel that was given shall correct any part in terms of software, programming can be performed efficiently. In this paper, a method of to be realized in ARM mode of the roofline, to be used in general desktops, was designed by applying the calculation method of the other. Furthermore, by providing this through the Android application, the operating system most dominant in the environment, we used the roofline graph fabricated by applying the built environment performance, which was increased gradually and visually. This had the advantage of confirming the rate evaluation of the device users and many developers via the application easily in a portable manner. Then, using the application, different rooflines according to core type were provided, providing us with an intuitive graphical user interface.