Miracle-dz/UniFAR-FTUs huggingface dataset:
functional design

In this book, we chose to given particular emphasis to functionality because it exposes some of the most interesting aspects of a rigorous design methodology and because a deep analysis of the representation of the functionality of the design can expose design errors early. We will show that the mathematical foundations used in this chapter can be of use also in the representation of platforms and of their instances. The use of documents written in natural languages, such as English, has been traditionally adopted to hand over system specification from customers to developers. This approach has been the source of a number of problems for the supply chain because of the ambiguous nature of natural language specifications since they are not executable and a precise conformal test is impossible. We argued that for true system level design, we must be able to capture the functionality of the design at the highest possible level of abstraction without using implicit assumptions about an implementation choice. Since a most appealing feature of capturing the functionality of the design is to be able to execute it on a computer for verification and analysis, it is natural that designers and researchers cast the problem in terms of design languages.In this chapter, we first give a historical perspective on some of the approaches used in the hardware and software embedded system community to specify in executable forms complex designs. While this approach is certainly a step forward, we believe that specifying and handling concurrency and heterogeneous behaviors needs a more abstract point of view. The rest of the chapter is dedicated to abstract system behavior formalisms called Models of computation. A precise definition of these concepts is still open for debate. We simply say that a model of computation provides two essential features: a syntax to write structurally correct models and an associated semantics to given a meaning to them. A model of computation defines the way in which computation inside processes, communication among processes and coordination of concurrent actions are executed. These components define the set of possible behaviors of a model.
Dissociative methods in the study of frontal lobe function

In principle, the specialization of function within prefrontal cortex can be shown by double dissociation using any of a variety of neuroscientific methods, including functional imaging, comparison of lesion groups, and single-cell electrophysiology. In practice, full dissociation designs are rarely used, and when they are, clear dissociations are hard to obtain. Taken together, neuroimaging, lesion, and electrophysiological results suggest that well-defined regions of frontal cortex - middorsolateral, midventrolateral, and dorsal anterior cingulate - have somewhat dynamic functions, adapting themselves to solution of a broad range of cognitive problems. In neuroimaging, for example, these regions are activated by many different increases in cognitive demand, including response conflict, task novelty, working-memory load, and even perceptual difficulty. At the same time, these regions can be distinguished from much of medial and orbital frontal cortex, perhaps more concerned with affective and motivational processes. We suggest that refinement of this rather coarse subdivision of frontal functions will require a substantial strengthening of commitment to full-scale double-dissociation methodology.
Moderating effect of social interaction on enjoyment and perception of physical activity in young adults with autism spectrum disorders

Background: Young adults with autism spectrum disorder (ASD) are at increased risk for a sedentary lifestyle and its associated health problems. In neurotypical (NT) individuals, social participation and enjoyment are related to physical activity engagement. Exergaming has been shown to increase energy expenditure compared to traditional video games and is an effective option for community-based recreation. Methods: We measured physiological and psychological responses of young adults with ASD to exergaming under varying conditions and sought to determine whether playing alone versus with a partner influenced physical activity level and/or experience in NT young adults (n = 18) and those with ASD (n = 18). Results: Both ASD and NT groups experienced high enjoyment and perceived exertion while exergaming. Perceived exertion was moderated by enjoyment when young adults with ASD played with a partner, reporting less effort despite actually expending more energy. Conclusion: Social interaction may lead to increased intensity and duration of physical activity for individuals with ASD. Exergaming is a socially acceptable and age-appropriate exercise modality for this group and likely represents a cost-effective and accessible way to incorporate physical activity and social interaction into their daily lives.
THCHS-30 : A Free Chinese Speech Corpus

Speech data is crucially important for speech recognition research. There are quite some speech databases that can be purchased at prices that are reasonable for most research institutes. However, for young people who just start research activities or those who just gain initial interest in this direction, the cost for data is still an annoying barrier. We support the `free data' movement in speech recognition: research institutes (particularly supported by public funds) publish their data freely so that new researchers can obtain sufficient data to kick of their career. In this paper, we follow this trend and release a free Chinese speech database THCHS-30 that can be used to build a full- edged Chinese speech recognition system. We report the baseline system established with this database, including the performance under highly noisy conditions.
Reliability issues of flash memory cells

Reliability issues for flash electrically erasable programmable read-only memories are reviewed. The reliability of both the source-erase type (ETOX) flash memory and the NAND structure EEPROM are discussed. Disturbs during programming, write/erase endurance, charge loss of both devices are reviewed, and the reliability of the tunnel oxide and the interpoly dielectric are described. It is shown that bipolarity F-N programming/erase, which is used in the NAND EEPROM, improves the charge to breakdown and decreases the stress-induced leakage current. >
Understanding immigrant internal publics of organizations: Immigrant professionals’ adaptation and identity development

ABSTRACT Immigrant professionals (IPs) compose important internal publics in U.S. organizations. This study examined the processes of intercultural identity development through IPs’ stress, adaptation, and intercultural communication competence, as well as the outcomes of such identity development. Twenty-three interviews with Indian IPs in a major southern cosmopolitan area in the United States revealed three types of stressors: insufficiency in culture-specific knowledge and skills, ineffective expression, and imbalance in home and host social communication. Adaptation responses included active language and culture learning, perspective taking, compromising, ignoring, passive acceptance, and active initiating and participating in social interactions. Further, IPs demonstrated three major types of intercultural identities: integrated with both cultures, non-integrated (leaning more toward either home or host culture), and ambivalent (feeling rootless and uncertain about what culture to teach their children). In the context of intercultural identity development, the concepts of avowed and ascribed identities become even more nuanced. This study contributes to research in public relations by deepening the understanding of organizations’ immigrant internal publics and facilitating more effective relationship management with these publics.
Aspects of Game-Based Learning

How to design effective learning opportunities? Why is learning by experience often more efficient than learning by studying? How to provide the learning experiences needed to respond to current challenges? Using computer games and games in general for educational purposes offers a variety of knowledge presentations and creates opportunities to apply the knowledge within a virtual world, thus supporting and facilitating the learning process. An innovative education paradigm like game-based learning suitable for this purpose is described in this article. The connection of the collaborative social context of education with game-based learning is discussed.
One-loop effective potential on hyperbolic manifolds.

The one-loop effective potential for a scalar field defined on an ultrastatic space-time whose spatial part is a compact hyperbolic manifold is studied using [zeta]-function regularization for the one-loop effective action. Other possible regularizations are discussed in detail. The renormalization group equations are derived, and their connection with the conformal anomaly is pointed out. The symmetry breaking and the topological mass generation are also discussed.
Risk of Advanced Colorectal Neoplasia According to Age and Gender

Background Colorectal cancer (CRC) is one of the leading causes of cancer related morbidity and death. Despite the fact that the mean age at diagnosis of CRC is lower in men, screening by colonoscopy or fecal occult blood test (FOBT) is initiated at same age in both genders. The prevalence of the common CRC precursor lesion, advanced adenoma, is well documented only in the screening population. The purpose of this study was to assess the risk of advanced adenoma at ages below screening age. Methods and Findings We analyzed data from a census of 625,918 outpatient colonoscopies performed in adults in Bavaria between 2006 and 2008. A logistic regression model to determine gender- and age-specific risk of advanced neoplasia was developed. Advanced neoplasia was found in 16,740 women (4.6%) and 22,684 men (8.6%). Male sex was associated with an overall increased risk of advanced neoplasia (odds ratio 1.95; 95% confidence interval, CI, 1.91 to 2.00). At any age and in any indication group, more colonoscopies were needed in women than in men to detect advanced adenoma or cancer. At age 75 14.8 (95% CI, 14.4–15.2) screening, 18.2 (95% CI, 17.7–18.7) diagnostic, and 7.9 (95% CI, 7.6–8.2) colonoscopies to follow up on a positive FOBT (FOBT colonoscopies) were needed to find advanced adenoma in women. At age 50 39.0 (95% CI, 38.0–40.0) diagnostic, and 16.3 (95% CI, 15.7–16.9) FOBT colonoscopies were needed. Comparable numbers were reached 20 and 10 years earlier in men than in women, respectively. Conclusions At any age and independent of the indication for colonoscopy, men are at higher risk of having advanced neoplasia diagnosed upon colonoscopy than women. This suggests that starting screening earlier in life in men than in women might result in a relevant increase in the detection of asymptomatic preneoplastic and neoplastic colonic lesions.
Tazkiyatun Nafs as A Strength Base of Teacher Personality Competency

The teacher should have a steady, stable, adult, wise, and authoritative personality competence, be an example for learners, and have a noble character, but in reality, his personality competence is still low and still far from the personality that teachers should have. The authors offer an alternative solution with the Islamic psychology approach that is Tazkiyatun nafs that can be used as a basis of teacher personality strengthening. This research uses qualitative descriptive approach and literature or library research. The essence of tazkiyatun nafs tends to talk about the soul (an-nafs). It is a process of purification of the human soul from the impurities, both visible dirt and inner dirt. Therefore, the notion of tazkiyatun nafs is closely related to morals and psychology, and in Islam, it serves as a pattern of human formation of good character and cautious to Allah. In this study, the authors found some of the following findings. First, the growth of one's personality is influenced by factors from within that is the integration of elements of aql (mind), qalb (heart), lust and outside factors such as the process of interaction with the environment. Second, the soul is very functional to one's personality. A clean soul will produce good behavior while a dirty soul will result in a low or weak personality.
An Ironing Support System with Superimposed Information for Beginners

Ironing is one of the troublesome house works. A number of people do not like to iron. Based on a questionnaire survey with fifteen housewives, we found that the lack of skills and knowledge in beginners were the reason for dislikes. To lower the barrier, we investigated a system to support beginners of ironing shirts. The system recognizes the position of shirts on an ironing board and the user's operational states. Then, supportive information is presented by a video projector in a way that the information is projected on an appropriate position on the working surface. The result of a preliminary user study showed successful reduction of winkles and eye gaze movements compared with a traditional method, i.e. Displayed in a separate display and initiated by a manual input from a user. This suggests the effectiveness of the proposed approach. At the same time, we found issues in the recognition of ironing activities as well as in the completeness of wrinkle reduction.
A family support model for enhancing the well-being and work performance of Christians in managerial positions

This article is based on a PhD study entitled: ‘Wellbeing and work performance of Christians in managerial positions: A Namibian case study’. The main aim of the study was to find out if there is a correlation between the well-being and work performance of Christian managers and support from their families, which would culminate into a model for use by Christian managers, Christian managers’ families and Christian practitioners such as pastors, counsellors and other practitioners in the helping profession. The study was based on Don Browning’s revised correlational approach to practical theology and used a mixed methods research design (quantitative and qualitative). Thirty-two Christian managers in Ohangwena Region, Namibia, participated in the study, and six biblical examples and other key scriptures were selected to draw theological principles related to Christian managers’ well-being and work performance in relation to family support. The aim of this article is to present the model, which is based on the understanding that Christian managers’ well-being affects their work performance, that family support contributes significantly to Christian managers’ well-being, that Christian managers have a role to play if they are to receive family support, and that churches play an important part in encouraging family support for Christian managers.
Dynamic Dictionary for Combined EEG Compression and Seizure Detection

A novel technique for real-time electroencephalogram (EEG) compression is proposed in this paper. This technique makes use of the redundancy between the different frequency subbands present in EEG segments of one channel. It uses discrete wavelet transform (DWT) and dynamic reference lists to compute and send the decorrelated subband coefficients. Set partitioning in hierarchical trees (SPIHT) is also used as source coder. Experimental results showed that the proposed method can not only compress EEG channels in one dimension (1-D), but also detect seizure-like activity. A diagnostics-oriented performance assessment was performed to evaluate the performance of both the compression and detection capabilities of the proposed method. In this paper, we show that the algorithm can positively detect seizure sections in the recordings at bitrates down to 2 bits per sample.
An improved artificial immune system for seeking the Pareto front of land-use allocation problem in large areas

The Pareto front can provide valuable information on land-use planning decision by revealing the possible trade-offs among multiple, conflicting objectives. However, seeking the Pareto front of land-use allocation is much more difficult than finding a unique optimal solution, especially when dealing with large-area regions. This article proposes an improved artificial immune system for multi-objective land-use allocation (AIS-MOLA) to tackle this challenging task. The proposed AIS is equipped with three modified operators, namely (1) a heuristic hypermutation based on compromise programming, (2) a non-dominated neighbour-based proportional cloning and (3) a novel crossover operator that preserves connected patches. To validate the proposed algorithm, it was applied in a hypothetical land-use allocation problem. Compared with the Pareto Simulated Annealing (PSA) method, AIS-MOLA can generate solutions more approximate to the Pareto front, with computation time amounting to only 5.1% of PSA. In addition, AIS-MOLA was also applied in the case study of Panyu, Guangdong, PR China, a large area with cells. Experimental results indicate that this algorithm, even dealing with large-area land-use allocation problems, is capable of generating optimal alternative solutions approximate to the true Pareto front. Moreover, the distribution of these solutions can quantitatively demonstrate the complex trade-offs between the spatial suitability and the compactness in the study area. Software and supplementary materials are available at http://www.geosimulation. cn/AIS-MOLA/.
Fiscal Condition of Sumatra in Decentralization Era

Indonesia has been running a decentralized reform era since 1 January 2001. The goal of decentralization is to accelerate the realization of prosperity through the improvement of public services. Fiscal decentralization then became the main benchmark of the successful creation of indicators of regional autonomy in addressing various problems in the regions, especially inequality and poverty. According to government data, Sumatra recorded a major contributor to national GDP growth while facing poverty, inequality constraints and also the largest mining sector. By using the shared and growth analysis and quadrant method, this research tries to provide policy-making recommendations based on the characteristics of the regions in Sumatra. Based on shared analysis, the biggest region is Bengkalis Regency, Riau Province, Siak Regency, Rokan Hilir Regency, and Musi Banyuasin Regency. For the smallest region, it consists of West Nias Regency, North Nias, Toba Samosir, Gunung Sitoli and South Nias. From the growth analysis, it was found that Mesuji Regency, Southeast Aceh Padang Lawas Utara, Kota Padang Panjang and West Nias Regency have the highest growth in Indonesia. From the quadrant method, 20 regions are in quadrant I, about 54 other areas are in quadrant II, and 35 areas are in quadrant III. The largest part of the regional classification in the region of Sumatra is in quadrant IV. Based on these findings, fiscal policy in the future should be prioritized to develop on regional eradication in quadrant IV in terms of Transfer to Region.
The Baillon-Haddad Theorem Revisited

In 1977, Baillon and Haddad proved that if the gradient of a convex and continuously dierentiable function is nonexpansive, then it is actually firmly nonexpansive. This result, which has become known as the Baillon-Haddad theorem, has found many applications in optimization and numerical functional analysis. In this note, we propose short alternative proofs of this result and strengthen its conclusion.
Tracking Post-Hibernation Behavior and Early Migration Does Not Reveal the Expected Sex-Differences in a “Female-Migrating” Bat

Long-distance migration is a rare phenomenon in European bats. Genetic analyses and banding studies show that females can cover distances of up to 1,600 km, whereas males are sedentary or migrate only short distances. The onset of this sex-biased migration is supposed to occur shortly after rousing from hibernation and when the females are already pregnant. We therefore predicted that the sexes are exposed to different energetic pressures in early spring, and this should be reflected in their behavior and physiology. We investigated this in one of the three Central European long-distance migrants, the common noctule (Nyctalus noctula) in Southern Germany recording the first individual partial migration tracks of this species. In contrast to our predictions, we found no difference between male and female home range size, activity, habitat use or diet. Males and females emerged from hibernation in similar body condition and mass increase rate was the same in males and females. We followed the first migration steps, up to 475 km, of radio-tagged individuals from an airplane. All females, as well as some of the males, migrated away from the wintering area in the same northeasterly direction. Sex differences in long-distance migratory behavior were confirmed through stable isotope analysis of hair, which showed greater variation in females than in males. We hypothesize that both sexes faced similarly good conditions after hibernation and fattened at maximum rates, thus showing no differences in their local behavior. Interesting results that warrant further investigation are the better initial condition of the females and the highly consistent direction of the first migratory step in this population as summering habitats of the common noctule occur at a broad range in Northern Europe. Only research focused on individual strategies will allow us to fully understand the migratory behavior of European bats.
Spatial spillovers in emerging market spreads

We use novel spatial econometrics techniques to explore spillovers in the sovereign bond market for 24 emerging economies during 1995–2010. The article extends the previous literature focusing on spillover effects from advanced to emerging economies by analyzing transmission of shocks across emerging markets. After controlling for the impact of global factors, we find strong evidence of spillovers from both sovereign spreads and macroeconomic fundamentals in neighboring emerging economies. In addition to the geographical proximity, the channels of spatial transmission include trade and financial linkages. The results of the article highlight the importance of accounting not only for spillovers from advanced economies to emerging markets but also across emerging markets when analyzing sovereign spreads.
JOB CHARACTERISTICS AND INCENTIVES : AGENCY OR SEARCH CONCERNS ? Evidence from an On-line Job Board

The results, based on a novel and extensive data set of job positions posted on one of the largest on-line job boards, Monster.com, suggest that an employer is less likely to offer performance-based compensation when filling a position that requires: a) a worker to excel at multitasking, b) on-the-job quality provision, or c) a worker to be a good team player. The negative association between offered incentives and task characteristics is stronger at positions where monitoring worker’s effort is more costly. These findings are consistent with the view that in instances of contractual incompleteness it is optimal to reduce the link between the worker’s compensation and a measure of the worker’s performance so as to avoid distorting the worker’s allocation of effort across multiple tasks. An alternative explanation, that the indicated incentives and task characteristics reflect an employer’s attempt to affect the composition of the applicant pool or/and the applicant arrival rate, cannot account for these findings.
Summarizing Spoken and Written Conversations

In this paper we describe research on summarizing conversations in the meetings and emails domains. We introduce a conversation summarization system that works in multiple domains utilizing general conversational features, and compare our results with domain-dependent systems for meeting and email data. We find that by treating meetings and emails as conversations with general conversational features in common, we can achieve competitive results with state-of-the-art systems that rely on more domain-specific features.