Miracle-dz/UniFAR-FTUs huggingface dataset:
Eixos convergentes na aprendizagem matemática de alunos com Síndrome de Down Convergent axes in the learning of math by students with down syndrome

This article presents the results of a qualitative research project that was mediated by learning the software called Intelligent Tutorial System (ITS). This software generates sequences of activities that reinforce the logical-mathematical knowledge of students of the initial grades of elementary school. The research project was conducted with students who have Down syndrome. A comparison was made between two students with Down syndrome, one from the state of Rio Grande do Sul (student A) and one from the state of Bahia (student B). The goal was to identify the convergent axes in the learning of math by students with Down syndrome. The results show that both students have similar difficulties with mathematical logical concepts and need individual assistance outside of the classroom in order to cope better with daily situations that require the use of math. It was also found that the ITS software is an important teaching resource to be used when working with students who have Down syndrome, as it reinforces their learning. The project is a result of the agreement that exists between the GECEM group of ULBRA in Canoas, Brazil, and the group of Educational Technologies of the ULL in Tenerife, Spain. The TEIAS group of the USC in Bahia also participates in that agreement.
In-Memory Database Support for Source Code Search and Analytics

Software engineers are coerced to deal with a large amount of information about source code. Appropriate tools could assist to handle it, but existing tools are not capable of processing and presenting such a large amount of information sufficiently. With the advent of in-memory column-oriented databases the performance of some data-intensive applications could be significantly improved. This has resulted in a completely new user experience of those applications and enabled new use-cases. This PhD thesis investigates the applicability of in-memory column-oriented databases for supporting daily software engineering activities. The major research question addressed in this thesis is as follows: does in-memory column-oriented database technology provide the necessary performance advantages for working interactively with large amounts of fine-grained structural information about source code? To investigate this research question two scenarios have been selected that particularly suffer from low performance. The first selected scenario is source code search. Existing source code repositories contain a large amount of structural data. Interface definitions, abstract syntax trees, and call graphs are examples of such structural data. Existing tools have solved the performance problems either by reducing the amount of data because of using a coarse-grained representation, or by preparing answers to developers' questions in advance, or by reducing the scope of search. All currently existing alternatives result in the loss of developers' productivity. The second scenario is source code analytics. To complete reverse engineering tasks software engineers often are required to analyze a number of atomic facts that have been extracted from source code. Examples of such atomic facts are occurrences of certain syntactic patterns in code, software product metrics or violations of development guidelines. Each fact typically has several characteristics, such as the type of the fact, the location in code where found, and some attributes. Particularly, analysis of large software systems requires the ability to process a large amount of such facts efficiently. During industrial experiments conducted for this thesis it was evidenced that in-memory technology provides performance gains that improve developers' productivity and enable scenarios previously not possible. This thesis overlaps both software engineering and database technology. From the viewpoint of software engineering, it seeks to find a way to support developers in dealing with a large amount of structural data. From the viewpoint of database technology, source code search and analytics are domains for studying fundamental issues of storing and querying structural data.
Linking Virtual Identities across Service Domains: An Online Behavior Modeling Approach

In the era of the Internet, people are active in multiple online services, and they usually have accounts on more than one online service. Each account is a virtual identity of the user. In order to trace individual's online behavior at any time and any places, linking virtual identities belonging to the same natural person across different online service domains is very important. Existing methods usually tackle this problem by estimating the profile content similarity between identities under two different online services. However, the profile contents in various online services are unreliable or misaligned, and the proposed methods are always limited to services in a specific domain. In this paper, we propose VISD (Virtual Identity linkage cross Service Domain), a novel probability-based model, to link virtual identities across online services in various service domains. It derives several significant attributes from users' online behaviors, such as IP address usage, various fingerprints of terminals, and leverages a supervised classification method to discover the relationship between two identities. By using real-world network traffic collected from a large province of southern China, we evaluate the VISD model and the linkage precision achieves 88.31%. The result demonstrates the effectiveness of our proposed model, which is helpful for social recommendations, information security and privacy protection.
Fast Neural Style Transfer for Motion Data

Automating motion style transfer can help save animators time by allowing them to produce a single set of motions, which can then be automatically adapted for use with different characters. The proposed fast, efficient technique for performing neural style transfer of human motion data uses a feed-forward neural network trained on a large motion database. The proposed framework can transform the style of motion thousands of times faster than previous approaches that use optimization.
Evening Expression of Arabidopsis GIGANTEA Is Controlled by Combinatorial Interactions among Evolutionarily Conserved Regulatory Motifs[C][W][OPEN]

Integration of environmental cues and circadian clock control confers daily rhythms in gene expression. GIGANTEA regulates flowering as well as stress responses, and its transcription peaks in the evening. In this work, evolutionary comparisons, whole-genome data, and dissection of promoters were used to define combinations of motifs that confer evening expression and light induction of GIGANTEA. Diurnal patterns of gene transcription are often conferred by complex interactions between circadian clock control and acute responses to environmental cues. Arabidopsis thaliana GIGANTEA (GI) contributes to photoperiodic flowering, circadian clock control, and photoreceptor signaling, and its transcription is regulated by the circadian clock and light. We used phylogenetic shadowing to identify three evolutionarily constrained regions (conserved regulatory modules [CRMs]) within the GI promoter and show that CRM2 is sufficient to confer a similar transcriptional pattern as the full-length promoter. Dissection of CRM2 showed that one subfragment (CRM2-A) contributes light inducibility, while another (CRM2-B) exhibits a diurnal response. Mutational analysis showed that three ABA RESPONSE ELEMENT LIKE (ABREL) motifs in CRM2-A and three EVENING ELEMENTs (EEs) in CRM2-B are essential in combination to confer a high amplitude diurnal pattern of expression. Genome-wide analysis identified characteristic spacing patterns of EEs and 71 A. thaliana promoters containing three EEs. Among these promoters, that of FLAVIN BINDING KELCH REPEAT F-BOX1 was analyzed in detail and shown to harbor a CRM functionally related to GI CRM2. Thus, combinatorial interactions among EEs and ABRELs confer diurnal patterns of transcription via an evolutionarily conserved module present in GI and other evening-expressed genes.
Where does a flock end from an information perspective? A comparative experiment with live and robotic birds

Predator detection is improved when individuals join groups. Theory assumes that the transfer of social information about predators among individuals is immediate and accurate. However, animals in groups space themselves at different distances. Little is known about the shape of the social information transfer function over distance, which can affect group cohesion and ultimately the costs and benefits of group living. Our goal was to study the flow of social information in 3 bird species with different visual acuity (European starling, brown-headed cowbird, and house finch). We used robotic birds to manipulate the availability of social information. In a previous study, we demonstrated that birds react to robotic birds in the same way as they do to live birds. We measured the probability of 3 linearly placed live birds reacting to the flushing behavior of 2 robotic birds of the same species. Our study species were tested independently. We found a nonlinear decrease in social information flow with increasing distance between the robots and live birds; however, this decrease was more pronounced in species with lower visual acuity. Additionally, social information apparently degraded when flowing between closely spaced individuals, which could lead to false alarms. Our findings suggest that the benefits of social information flow are restricted to small neighbor distances and that larger species, with higher visual acuity, may have a greater spatial domain of collective detection. This mechanism may explain the spatial limits of flocks based on the transfer of social information. Copyright 2011, Oxford University Press.
The Union Wage Effect in Japan

Previous studies point to Japanese labor unions lack of bargaining power that results from their organization at an enterprise level. However, a detailed examination of the institutional setting backed by the Labor Standard Law and Trade Union Law reveals that unions have strong bargaining power against deteriorating work conditions. This paper examines the effect of unions on wages using the Japanese General Social Surveys 2000-2003, which cover a period of economic stagnation. We find a robust union wage premium for both males and females. A CottonNeumark decomposition reveals that about one-fifth of union workers higher wage is explained by the difference in the union and nonunion wage structures. We also can confirm the union wage compression effect using the DiNardo, Fortin, and Lemieux (1996) method. Union workers are likely to think that they will not find jobs with similar compensation packages if they leave their current jobs. In summary, unions in Japan contribute to an increase in the average wage and compress the wage distribution among their workers. This result is reconciled with previous findings by considering the uniqueness of the macroeconomic conditions of the sample period.
Non‐parametric estimation of gap time survival functions for ordered multivariate failure time data

Times between sequentially ordered events (gap times) are often of interest in biomedical studies. For example, in a cancer study, the gap times from incidence‐to‐remission and remission‐to‐recurrence may be examined. Such data are usually subject to right censoring, and within‐subject failure times are generally not independent. Statistical challenges in the analysis of the second and subsequent gap times include induced dependent censoring and non‐identifiability of the marginal distributions. We propose a non‐parametric method for constructing one‐sample estimators of conditional gap‐time specific survival functions. The estimators are uniformly consistent and, upon standardization, converge weakly to a zero‐mean Gaussian process, with a covariance function which can be consistently estimated. Simulation studies reveal that the asymptotic approximations are appropriate for finite samples. Methods for confidence bands are provided. The proposed methods are illustrated on a renal failure data set, where the probabilities of transplant wait‐listing and kidney transplantation are of interest. Copyright © 2004 John Wiley & Sons, Ltd.
The Effects of Population Growth on Economic Growth in Nigeria

---------------------------------------------------ABSTRACT------------------------------------------------------This study investigated the time series role of population growth on economic growth in Nigeria and how economic growth is effected through population growth. This study this extends the literature by employing a linear model to analyze economic growth fluctuations vis a vis population growth. The study employed annual secondary observation from 1960 to 2008. The empirical results were based on Augmented Dickey-Fuller (ADF) stationarity test combined with Granger Causality and Cointegration tests. Empirical results support that population growth has a significant impact on economic growth. The study also found that there is a sustainable long run equilibrium relationship between economic growth and population growth. There is also the evidence of unidirectional causality between population growth and economic growth. Policy implications of the study are provided. --------------------------------------------------------------------------------------------------------------------------------------Date of Submission: 16 August 2014 Date of Accepted: 10 November 2014 ---------------------------------------------------------------------------------------------------------------------------------------
Lower risk of liver cancer in patients with schizophrenia: a systematic review and meta-analysis of cohort studies

Previous studies regarding the association between schizophrenia and the subsequent risk of liver cancer have shown inconsistent results. We aimed to perform a systematic review and meta-analysis to evaluate the association between schizophrenia and liver cancer incidence. We systematically searched the PubMed and Embase electronic databases for cohort studies reporting the standardized incidence ratio (SIR) for the risk of liver cancer in patents with schizophrenia as compared with the general population. A random-effects model was used to analyze the data. Stratified analyses were performed according to the gender of the patients. Seven studies comprising 312,834 patients with schizophrenia were included. During follow-up, 581 liver cancer cases were confirmed. The meta-analysis results showed that schizophrenia was associated with a trend of a lower liver cancer incidence (SIR: 0.83, 95% confidence interval [CI]: 0.66–1.04, p = 0.10) with significant heterogeneity (I2 = 81%). Sensitivity analysis of five cohorts of patients with cancer events before the diagnosis of schizophrenia indicated that schizophrenia was associated with a significantly lower incidence of liver cancer (SIR: 0.76, 95% CI: 0.61–0.96, p = 0.02; I2 = 84%). The reduction of a subsequent incidence of liver cancer was significant in male patients with schizophrenia (SIR: 0.71, p = 0.005), and a trend of a reduced risk of liver cancer was also detected in female patients (SIR: 0.83, p = 0.12). Significant publication bias was detected. However, “trim and fill” analyses by including the imputed unpublished studies showed similar results. In summary, schizophrenia may be protective against the incidence of liver cancer.
Mobile Communication and Data Gathering Software for Autistic Children and Their Caregivers

Positive design leads to positive change in our society. In most cases, discussions focus on those who receive the design. However, positive design may also have a positive, but often overlooked, effect on the designers themselves. Learning about difficulties others face and developing solutions is a benefit that can contribute to individual designers’ education and general sense of well-being. Having a broader understanding of alternative views and lifestyles makes one a better person. In addition, positive design may benefit the entire field of information science by improving its ability to renew itself and attract new, young talent.
Charging and reversal currents in hydraulic liquids

This paper shows the dependence of the electrophysical characteristics for some hydraulic liquids on the level of purification. Commercial Hydraulic Liquids such as JI3-MΓ2, PMII and MΓE-10A (Russian designation) both in original state and after purification through the glass filters were studied by the conductometric measurements. Such important parameters as value of the volume resistivity ρ and mobility of charge carriers μ were calculated or measured.
Thiosulfinates Inhibit Platelet Aggregation and Microparticle Shedding at a Calpain-dependent Step

Summary Thiosulfinates (TSs) are sulfur compounds generated through the processing of different Allium species with antiplatelet property. To further define this platelet inhibitory effect we studied diallyl-TS (Al2TS), dipropyl-TS (Pr2TS), and dimethyl-TS (Me2TS) on platelet responses. The three TSs inhibited dose-dependent platelet aggregation, with IC50 values of 15 ± 2, 19 ± 2, and 9 ± 1 μM for Al2TS, Pr2TS and Me2TS, respectively. TSs had no effect on the expression of a platelet procoagulant surface, measured by flow cytometry as the binding of annexin V-FITC. They inhibited the microparticle shedding and clot retraction. Since the microparticle shedding is a calpain-activation dependent step, we assessed calpain activation by analysis of autoproteolysis in shorter active forms and by talin proteolysis in the presence of TSs. Calpain activation was inhibited by TSs independently of fibrinogen binding. Thus, TSs represent a new category of platelet inhibitors, acting on cal-pain-induced events.
Stabilizing Boolean Games by Sharing Information

We address the issue of manipulating games through communication. In the specific setting we consider (a variation of Boolean games), we assume there is some set of environment variables, the values of which are not directly accessible to players; the players have their own beliefs about these variables, and make decisions about what actions to perform based on these beliefs. The communication we consider takes the form of (truthful) announcements about the values of some environment variables; the effect of an announcement is the modification of the beliefs of the players who hear the announcement so that they accurately reflect the values of the announced variables. By choosing announcements appropriately, it is possible to perturb the game away from certain outcomes and towards others. We specifically focus on the issue of stabilisation: making announcements that transform a game from having no stable states to one that has stable configurations.
Wisconsin Card Sorting Test manual

Inevitably, reading is one of the requirements to be undergone. To improve the performance and quality, someone needs to have something new every day. It will suggest you to have more inspirations, then. However, the needs of inspirations will make you searching for some sources. Even from the other people experience, internet, and many books. Books and internet are the recommended media to help you improving your quality and performance.
A highly efficient, thread-safe software cache implementation for tightly-coupled multicore clusters

A widely adopted design paradigm for many-core accelerators features processing elements grouped in clusters. Due to area, power and design simplicity, processors in the same clusters are often not equipped with data-caches but rather share a tightly coupled data memory (TCDM). Even if the use of a TCDM is more energy and area efficient than a cache it requires a higher programming effort because memory needs to be explicitly managed with DMA-based L3 to TCDM copies. In this context Software Caches can be used to automatically transfer data between the local TCDM and the external memory, simplifying the task of the programmer. In this paper we present an implementation of Software Cache for the STMicroelectronics STHORM many-core accelerator, featuring a L1 TCDM shared by 16 processors in a cluster. Our main contribution is the design of a fast and thread-safe cache allowing parallel access from different processing elements inside the same cluster. We evaluate our implementation with micro-benchmarks as well as a real world application from the computer vision domain. Results show that a software cache provides major performance improvements with respect to L3 allocation of large data structures even when it is aggressively shared among many parallel threads.
Evaluating Emerging Software Development Technologies: Lessons Learned from Assessing Aspect-Oriented Programming

Determining whether a new software development technique is useful and usable is a challenging taste. Various flavors of empirical study may be used to help with this task, including surveys, case studies, and experiments. Little guidance is available within the software engineering community to help choose among these alternatives when assessing a new and evolving software development technique within some cost bounds. We faced this challenge when assessing a new programming technique called aspect-oriented programming. To assess the technique, we chose to apply both a case study approach and a series of four experiments because we wanted to understand and characterize the kinds of information that each approach might provide. We describe and critique the evaluation methods we employed, and discuss the lessons we have learned. These lessons are applicable to other researchers attempting to assess new programming techniques that are in an early stage of development.
3,3′-Diethylthiatricarbocyanine Iodide: A Highly Sensitive Chiroptical Reporter of DNA Helicity and Sequence

Using UV-vis absorption and circular dichroism (CD) spectroscopies, we explored the binding interactions of 3,3′-diethylthiatricarbocyanine iodide (Cy7) with polynucleotides of different sequences and helicity. CD showed to be a very diagnostic tool giving different spectroscopic chiroptical signatures for all explored DNA sequences upon Cy7 binding. Cy7 was able to spectroscopically discriminate between the right handed B-DNA of poly(dG-dC)2 and its left handed Z-DNA counterpart induced by spermine or Co(III)hexamine via nearly opposite induced circular dichroic signal.
A Limited Repertoire of Emotion Regulation Strategies is Associated with Internalizing Problems in Adolescence

The present study was designed to test whether the beneficial effects of emotion regulation (ER) have less to do with the use of singular, ‘adaptive’ strategies and more to do with using a range of strategies. Using a community sample of adolescents (N = 177, M = 13.6 years), groups based on five measures of ER (reappraisal, suppression, concealing, emotional engagement, and adjusting) were created through latent profile analysis. A six-group model was the best fit. As hypothesized, ER profiles with high scores on one or two indicators were associated with higher levels of internalizing problems, whereas profiles with average to high scores on several indicators and high scores on adjusting were associated with lower levels of internalizing problems (depression, general anxiety, and social anxiety). Results highlight the importance of having different ER strategies to use and that a limited ER repertoire in adolescence may be associated with internalizing problems.