Miracle-dz/UniFAR-FTUs huggingface dataset:
System Support for Energy Management in Mobile and Embedded Workloads: A White Paper

One of the major challenges of the post-PC environment in which mobile and embedded devices are ubiquitous is the need to reduce the energy consumed in using these devices, thereby extending the lifetime of the batteries that power them as well as reducing the impact of the heat and noise produced by their operation. Energy efficiency of computers is desirable in its own right from both the economic and environmental points of view, especially as computing equipment continues to rapidly proliferate throughout our society. In the near future, there will be broadband wireless coverage in many areas. Sustained exponential growth in processor performance and memory density means that embedded processors and handheld devices will have performance characteristics comparable to today’s workstations. We believe that the availability of a ubiquitous network infrastructure along with powerful processing elements distributed throughout our everyday environment will enable a number of interesting applications. However, the increased dependence on these devices and their increased capabilities comes with a potential cost: increased energy consumption, unless research actively addresses the issue of energy efficiency. To motivate our research, we discuss the vulnerability of one such application to power consumption:
Algorithms for Group Actions: Homomorphism Principle and Orderly Generation Applied to Graphs

The generation of discrete structures up to isomorphism is interesting as well for theoretical as for practical purposes. Mathematicians want to look at and analyse structures and for example chemical industry uses mathematical generators of isomers for structure elucidation. The example chosen in this paper for explaining general generation methods is a relatively far reaching and fast graph generator which should serve as a basis for the next more powerful version of MOLGEN, our generator of chemical isomers.
Draft Genome Sequence of Pseudomonas sp. Strain 2-92, a Biological Control Strain Isolated from a Field Plot Under Long-Term Mineral Fertilization

ABSTRACT Pseudomonas sp. strain 2-92, isolated from a Canadian field plot under long-term mineral fertilization, strongly inhibits the growth of Fusarium graminearum, Rhizoctonia solani, and Gaeumannomyces graminis. Here, we report the draft genome sequence of Pseudomonas sp. strain 2-92.
Altitude dependence of nightside Martian suprathermal electron depletions as revealed by MAVEN observations

The MAVEN (Mars Atmosphere and Volatile EvolutioN) spacecraft is providing new detailed observations of the Martian ionosphere thanks to its unique orbital coverage and instrument suite. During most periapsis passages on the nightside ionosphere suprathermal electron depletions were detected. A simple criterion was implemented to identify the 1742 depletions observed from 16 November 2014 to 28 February 2015. A statistical analysis reveals that the main ion and electron populations within the depletions are surprisingly constant in time and altitude. Absorption by CO2 is the main loss process for suprathermal electrons, and electrons that strongly peaked around 6 eV are resulting from this interaction. The observation of depletions appears however highly dependent on altitude. Depletions are mainly located above strong crustal magnetic sources above 170 km, whereas the depletions observed for the first time below 170 km are globally scattered onto the Martian surface with no particular dependence on crustal fields.
Exposure to Traumatic Events and PTSD in a Postconflict and Disaster-Prone Area

ABSTRACT The present study examines lifetime exposure to traumatic events and the rate of PTSD among university students living in a postconflict and disaster-prone area. Two self-report questionnaires, namely the Life Events Checklist and a PTSD screening tool, were used in the study. PTSD was found in 21% of respondents. Approximately 96% of the respondents have been exposed to traumatic events during their lifetime. Both genders have the same rate of PTSD (p = 0.9) and exposure to traumatic events (p = 0.327). Findings suggest that lifetime exposures to traumatic events are high among students living in this region.
Stro-1-positive BMSCs predict postoperative periprosthetic bone mineral density outcomes in uncemented total hip arthroplasty patients

Background Bone marrow cell profiles are variable after total hip arthroplasty (THA), including variable levels of Stro-1+ and bone morphogenetic protein receptor (BMPRs)+ cells. We investigated the impact of bone marrow cell profiles on changes in periprosthetic bone mineral density (BMD) in uncemented THA patients. Material/Methods Bone marrow aspirates were collected from the metaphyseal region of discarded femoral heads from 24 consecutive THA patients (12 men and 12 women; mean age 66.7±11.0 years; range 52–87 years) treated from March 2009 to March 2011 at a single facility. Perioperative proportions of Stro-1+ and BMPR+ cells in femoral heads were assessed by flow cytometry. Follow-up examined the proximal femur Gruen zones R1 and R7 at 1 week and at 3, 6, and 12 months after THA, using dual-energy X-ray absorptiometry. Associations between BMD loss and age, gender, BMPRs+, and Stro-1+ were analyzed. Results At 3 months, R1 and R7 BMD decreased by 4.4% and 6.4%, respectively (P<0.05). At 12 months, the overall BMD decreases in R1 and R7 were 10.2% and 1%, respectively (P<0.05). Higher Stro-1+ cells proportion predicted R7 BMD increases at all time points (P<0.05) and R1 BMD increases at 6 and 12 months (P<0.05). BMPR1a+ proportion was associated with BMD increases at 6 months in the R1 region. BMPR2+ was not significantly associated with BMD (P>0.05). Conclusions Elevated Stro-1+ bone marrow cell profile may be a useful prognostic indicator for uncemented THA patients.
Some Fixed Point Theorems in Generalized Probabilistic Metric Spaces

We introduce the concepts of -contraction and probabilistic -contraction mappings in generalized probabilistic metric spaces and prove some fixed point theorems for such two types of mappings in generalized probabilistic metric spaces. Our results generalize and extend many comparable results in existing literature. Some examples are also given to support our results. Finally, an application to the existence of solutions for a class of integral equations is presented by utilizing one of our main results.
Common Cause and Cerebrospinal Fluid Changes of Acute Bacterial Meningitis

Background and Objective: Bacterial meningitis is an important cause of mortality and longterm neural morbidity. Immediate diagnosis and treatment are necessary in appropriate time. This study was designed in Afzalipour Hospital in Kerman to evaluate meningitis causes, frequency and CSF laboratory changes. Patients and Methods: In this retrograde descriptive study from September 2003 to September 2005, documents of all the hospitalized patients with diagnosed meningitis in Afzalipour Hospital of Kerman, southeast of Iran were studied. Results: During this period, 126 patients were hospitalized . The age average was 15.2 ± 5.2 yr. Males were more than females (69% vs 31%) & 64% were children. Majority of patients were admitted in winter (42.9%) followed by spring (31%). 9.5% had viral meningitis. 89.5% of patients with bacterial meningitis had negative CSF culture . Positive culture included 6 cases of H.influenzae type B , 3 cases of pneumococcal and 3 cases of meningococcal. Average level of glucose in CSF in positive culture group was less than negative culture group (22.5mg/dl vs 53.5mg/dl) . All positive culture patients had pro>100mg/dl and WBC>1000/mm3. Conclusion: 10.5% of patients had positive culture, which might suggest that there were some errors in microbial cultures done in this hospital. More prevalence of meningitis in children was similar to other studies. The most common cause was H.influenzae , so Iranian children vaccination should be considered.
SparkCL: A Unified Programming Framework for Accelerators on Heterogeneous Clusters

We introduce SparkCL, an open source unified programming framework based on Java, OpenCL and the Apache Spark framework. The motivation behind this work is to bring unconventional compute cores such as FPGAs/GPUs/APUs/DSPs and future core types into mainstream programming use. The framework allows equal treatment of different computing devices under the Spark framework and introduces the ability to offload computations to acceleration devices. The new framework is seamlessly integrated into the standard Spark framework via a Java-OpenCL device programming layer which is based on Aparapi and a Spark programming layer that includes new kernel function types and modified Spark transformations and actions. The framework allows a single code base to target any type of compute core that supports OpenCL and easy integration of new core types into a Spark cluster.
The Open Journal of Occupational Therapy Visual-motor Skills Performance on the Beery- Vmi: a Study of Canadian Kindergarten Children Credentials Display Recommended Citation Visual-motor Skills Performance on the Beery-vmi: a Study of Canadian Kindergarten Children Complete Author List

Part of the Occupational Therapy Commons Copyright transfer agreements are not obtained by The Open Journal of Occupational Therapy (OJOT). Reprint permission for this article should be obtained from the corresponding author(s). Click here to view our open access statement regarding user rights and distribution of this article. Abstract The Beery VMI is one of the standardized assessment tools most widely used by occupational therapists to assess visual-motor integration. Currently, no specific norms exist for Canadian children. This study was developed to assess whether kindergarten children in Canada compared similarly to the norms established in the U.S. sample of the Beery VMI in order to validate its use with Canadian children. Possible gender differences were also examined. The Beery VMI was administered to 151 kindergarten children, aged 5 to 6 years, at the end of the school year. The data collection took place in seven schools, where the participants were individually assessed. T-tests were used to compare the mean standard scores of the Canadian sample to those provided in the Beery VMI, as well as gender differences. Overall, the study sample showed a similar score (p = .997) compared to the U.S. norms, as well as a significant gender difference; girls obtained higher mean scores than boys (p = .003). These findings support the use of the Beery VMI reference norms to interpret performance results obtained by Canadian kindergarten children. However, the significant gender difference observed should be addressed in future studies. Cover Page Footnote We would like to thank all of the children who participated in this study. This population was followed in a larger study that was conducted by Marie-France Morin and Michèle Venet: Learn to Write in Kindergarten, I Like it! (Apprendre à écrire en maternelle, moi j'aime ça! ). Acquisition with Young Children (Chaire de recherche sur l'apprentissage de la lecture et de l'écriture chez le jeune enfant), directed by professor Marie-Visual-motor integration has been described as being multifaceted and influenced by a number of factors: visual receptive functions; visual cognitive functions; fine motor ability; and the integration of visual, cognitive, and motor processes Some authors consider the terms visual-motor integration and eye-hand coordination to have the same meaning, i.e., the ability to use vision to perform motor tasks accurately (Schneck, 2010b). This is how Beery and Beery (2004) also define this component, arguing that " visual-motor integration is the degree to which visual perception and finger-hand …
Ghosts in the Machine. Interoceptive Modeling for Chronic Pain Treatment

Pain is a complex and multidimensional perception, embodied in our daily experiences through interoceptive appraisal processes. The article reviews the recent literature about interoception along with predictive coding theories and tries to explain a missing link between the sense of the physiological condition of the entire body and the perception of pain in chronic conditions, which are characterized by interoceptive deficits. Understanding chronic pain from an interoceptive point of view allows us to better comprehend the multidimensional nature of this specific organic information, integrating the input of several sources from Gifford's Mature Organism Model to Melzack's neuromatrix. The article proposes the concept of residual interoceptive images (ghosts), to explain the diffuse multilevel nature of chronic pain perceptions. Lastly, we introduce a treatment concept, forged upon the possibility to modify the interoceptive chronic representation of pain through external input in a process that we call interoceptive modeling, with the ultimate goal of reducing pain in chronic subjects.
Mining Asociation Rules from Large Datasets

Extracting information from large datasets is a well-studied research problem. As larger and larger data sets become available (e.g., from human genome project, gene expression data, customer behavior data from organizations such as Wal-Mart) it is getting essential to find better ways to extract relations (inferences) from them. We plan to use clustering and mutual information based on entropy [1] to generate association rules from biological datasets as well as non-biological datasets.
FastBFS: Fast Breadth-First Graph Search on a Single Server

Big graph computing can be performed over a single node, using recent systems such as GraphChi and XStream. Breadth-first graph search (a.k.a., BFS) has a pattern of marking each vertex only once as “visited” and then not using them in further computations. Existing single-server graph computing systems fail to take advantage of such access pattern of BFS for performance optimization, hence suffering from a lot of extra I/O latencies due to accessing no longer useful data elements of a big graph as well as wasting plenty of computing resources for processing them. In this paper, we propose FastBFS, a new approach that accelerates breadth-first graph search on a single server by leverage of the preceding access pattern during the BFS iterations over a big graph. First, FastBFS uses an edgecentric graph processing model to obtain the high bandwidth of sequential disk accesses without expensive data preprocessing. Second, with a new asynchronous trimming mechanism, FastBFS can efficiently reduce the size of a big graph by eliminating useless edges in parallel with the computation. Third, FastBFS schedules I/O streams efficiently and can attain greater parallelism if an additional disk is available. We implement FastBFS by modifying the X-Stream system developed by EPFL. Our experimental results show that FastBFS can outperform X-stream and GraphChi in the computing speed by up to 2.1 and 3.9 times faster respectively. With an additional disk, FastBFS can even outperform them by up to 3.6 and 6.5 times faster respectively.
How to use MIGRATE or why are Markov chain Monte Carlo programs difficult to use

Population genetic analyses often require the estimation of parameters such as population size and migration rates. In the 1960s, enzyme electrophoresis was developed; it was the first method to gather co-dominant data from many individuals in many populations relatively easily. Summary statistics methods, such as allele-frequency based F -statistics (Wright 1951), were used to estimate population genetics parameters from these data sets. These methods matured and expanded into many variants that were enthusiastically accepted by many researchers. F-statistics are still a hallmark of any population genetic study, especially in conservation genetics, although over the years, limitations have become evident (Neigel 2002). Many of these methods use restrictive assumptions, for example, disallowing mutation. F -statistics, such as F ST methods, are often employed on pairs of populations; this can lead to biased parameter estimates (see Beerli 2004; Slatkin 2005) and the reuse of data in these pairwise methods is undesirable from a statistical viewpoint. In 1982, Sir John Kingman developed the coalescence theory (Kingman 1982a, b). His overview of the developments of this theory (Kingman 2000) gives an interesting insight into the development of new ideas. This new development opened the door to methods in population genetics that go beyond the F -statistics methods and have led to several theoretical breakthroughs (Hein et al . 2005; although inferences based on coalescence theory were not practicable until about 1995 because of computational constraints). In recent years, computer-intensive programs that can estimate parameters using genetic data under various coalescent models have been developed; for example, programs that estimate gene flow (Beerli and Felsenstein 1999, 2001; Bahlo and Griffiths 2000; Wilson et al . 2003; De Iorio and Griffiths 2004; Hey and Nielsen 2004; Beerli 2006; Ewing and Rodrigo 2006; Kuhner 2006). These programs use different models and different approaches, but in all of them, the quantities of interest are difficult to calculate. Very generally, the goal of these applications is to calculate the probability of the parameters of the chosen model given the data.
Bi-objective optimization for robust RGB-D visual odometry

This paper considers a new bi-objective optimization formulation for robust RGB-D visual odometry. We investigate two methods for solving the proposed bi-objective optimization problem: the weighted sum method (in which the objective functions are combined into a single objective function) and the bounded objective method (in which one of the objective functions is optimized and the value of the other objective function is bounded via a constraint). Our experimental results for the open source TUM RGB-D dataset show that the new bi-objective optimization formulation is superior to several existing RGB-D odometry methods. In particular, the new formulation yields more accurate motion estimates and is more robust when textural or structural features in the image sequence are lacking.
[Physical activity and mental health status among elderly people].

OBJECTIVE To evaluate the association between physical activity level and mental health status among elderly people. METHODS This was a population-based survey with a probabilistic sample of 875 elderly people from a city of Southern Brazil, in 2002. The International Physical Activity Questionnaire and the Brazil Old Age Schedule questionnaire were applied. The mental health problems evaluated were depressions and dementia. Total physical activity (leisure-time, occupation, transportation and housework). After descriptive and bivariate analyses, adjusted analyses were performed by means of logistic regression, with adjustment for the factors of total physical activity, leisure-time activity and depression and dementia scores. RESULTS There were statistically significant inverse associations between dementia and depression with total physical activity and leisure-time physical activity. The odds ratio for total physical activity adjusted for dementia among sedentary subjects in comparison with active subjects was 2.74 (95% CI: 1.85; 4.08), while the respective value adjusted for depression was 2.38 (95% CI: 1.70; 3.33). CONCLUSIONS The results reinforce the importance of active lifestyles for preventing mental health problems among elderly people. It is inferred that the physical activity was able to reduce and/or delay the risks of dementia, although it cannot be stated that dementia is avoided through physical activity.
Posterior Reversible Encephalopathy Syndrome with Bilateral Independent Epileptic Foci Precipitated By Guillain-Barrè Syndrome

We report the case of a 56-year-old woman who developed status epilepticus (SE) related to independent occipital foci as clinical manifestation of posterior reversible encephalopathy syndrome (PRES) in the background of Guillain-Barrè syndrome (GBS). SE resulted from a series of focal seizures clinically characterized by left- and rightward deviations of the head and consequent oculoclonic movements. Electroencephalography recorded independent seizure activity in both occipital regions with alternate involvement of the two cerebral hemispheres. The epileptic foci corresponded topographically to parenchymal abnormalities of PRES in the occipital lobes. The manifestation of bilateral, independent occipital seizures with alternate deviations of the head and oculoclonic movements, previously not reported in patients with PRES, highlights the acute epileptogenicity of the cerebral lesions in this syndrome. Despite the variable clinical expression of seizures due to occipital damage in PRES, the development of independent seizure activity in both occipital lobes might represent a distinctive epileptic phenomenon of this encephalopathy.
On Model Selection Consistency of the Elastic Net When p >> n

We study the model selection property of the Elastic Net. In the classical settings when p (the number of predictors) and q (the number of predictors with non-zero coefficients in the true linear model) are fixed, Yuan and Lin (2007) give a necessary and sufficient condition for the Elastic Net to consistently select the true model. They showed that it consistently selects the true model if and only if there exist suitable sequences ‚1(n) and ‚2(n) that satisfy EIC (which is defined later in the paper). Here we study the general case when p;q, and n all go to infinity. For general scalings of p;q, and n, when gaussian noise is assumed, sufficient conditions are given such that EIC guarantees the Elastic Net's model selection consistency. We show that to make these conditions hold, n should grow at a rate faster than q log(p −q). We compare the variable selection performance of the Elastic Net with that of the Lasso. Through theoretical results and simulation studies, we provide insights into when the Elastic Net can consistently select the true model even when the Lasso cannot. We also point out through examples that when the Lasso cannot select the true model, it is very likely that the Elastic Net cannot select the true model either.
Transcription factor TEAD4 specifies the trophectoderm lineage at the beginning of mammalian development

Specification of cell lineages in mammals begins shortly after fertilization with formation of a blastocyst consisting of trophectoderm, which contributes exclusively to the placenta, and inner cell mass (ICM), from which the embryo develops. Here we report that ablation of the mouse Tead4 gene results in a preimplantation lethal phenotype, and TEAD4 is one of two highly homologous TEAD transcription factors that are expressed during zygotic gene activation in mouse 2-cell embryos. Tead4-/- embryos do not express trophectoderm-specific genes, such as Cdx2, but do express ICM-specific genes, such as Oct4 (also known as Pou5f1). Consequently, Tead4-/- morulae do not produce trophoblast stem cells, trophectoderm or blastocoel cavities, and therefore do not implant into the uterine endometrium. However, Tead4-/- embryos can produce embryonic stem cells, a derivative of ICM, and if the Tead4 allele is not disrupted until after implantation, then Tead4-/- embryos complete development. Thus, Tead4 is the earliest gene shown to be uniquely required for specification of the trophectoderm lineage.