Miracle-dz/UniFAR-FTUs huggingface dataset:
A generic type-and-effect system

Type-and-effect systems are a natural approach for statically reasoning about a program's execution. They have been used to track a variety of computational effects, for example memory manipulation, exceptions, and locking. However, each type-and-effect system is typically implemented as its own monolithic type system that hard-codes a particular syntax of effects along with particular rules to track and control those effects. We present a generic type-and-effect system, which is parameterized by the syntax of effects to track and by two functions that together specify the effect discipline to be statically enforced. We describe how a standard form of type soundness is ensured by requiring these two functions to obey a few natural monotonicity requirements. We demonstrate that several effect systems from the literature can be viewed as instantiations of our generic type system. Finally, we describe the implementation of our type-and-effect system and mechanically checked type soundness proof in the Twelf proof assistant.
High-mass star formation in the IRAS 17233-3606 region: a new nearby and bright hot core in the southern sky

Aims. We present molecular line observations of the massive star-forming region IRAS 17233-3606 aimed at studying the molecular core associated with the source. Methods. The observations were made using the Atacama Pathfinder Experiment telescope in the CO (3-2) and HCO + (4–3) transitions and in the CH 3 OH (6$_K{-}5_K$), (7$_K{-}6_K$), and CH 3 CN (16$_K{-}15_K$) bands. For the CO(3–2) and HCO + (4–3) transitions, we obtained maps with a size of $70''\times 70''$. The typical angular resolution of the data is ∼ $18\arcsec$. Results. Our observations reveal an exceptionally rich molecular spectrum, one signpost of hot core activity. Comparisons with two other prominent southern hot cores were made through observations in the same frequency setups. We also detected a bipolar outflow in CO (3–2) and HCO + (4–3) lines. Modelling reveals a hot core of size ∼ $3\arcsec$ and a temperature of 150 K in the IRAS 17233-3606 region. The parameters of the molecular outflow are derived through the analysis of the CO (3–2) emission, and are typical of outflows driven by high-mass young stellar objects.
Planets in Stellar Clusters Extensive Search. III. A Search for Transiting Planets in the Metal-rich Open Cluster NGC 6791

We have undertaken a long-term project, Planets in Stellar Clusters Extensive Search (PISCES), to search for transiting planets in open clusters. In this paper we present the results for NGC 6791, a very old, populous, metal-rich cluster. We have monitored the cluster for over 300 hr, spread over 84 nights. We have not detected any good transiting planet candidates. Given the photometric precision and temporal coverage of our observations and the current best estimates for the frequency and radii of short-period planets, the expected number of detectable transiting planets in our sample is 1.5. We have discovered 14 new variable stars in the cluster, most of which are eclipsing binaries, and present high-precision light curves spanning 2 years for these new variables and also the previously known variables.
Destination, Seen Unclearly: Relevance of Head-Up Display Information to Driving Is Unrelated to Its Processing

Studies have shown that secondary information presented in spatially commingled environments along with primary tasks can adversely affect the performance of that task, as might be the case for information delivered to drivers by a Heads-Up Display (HUD). However, it is unclear how that message’s relevance to the task at hand (e.g., driving) might impact either detection of that message, or performance of a primary task. In this study, participants were asked to enumerate cars on a screen in an experiment that sporadically presented them with semantically similar and dissimilar pieces of information in a spatially intermingled environment. The results indicate that when occupying the same spatial proximity as the primary stimuli, all secondary stimuli disrupt primary task performance, regardless of its relevance to the primary task.
Fostering Change from Within: Influencing Teaching Practices of Departmental Colleagues by Science Faculty with Education Specialties

Globally, calls for the improvement of science education are frequent and fervent. In parallel, the phenomenon of having Science Faculty with Education Specialties (SFES) within science departments appears to have grown in recent decades. In the context of an interview study of a randomized, stratified sample of SFES from across the United States, we discovered that most SFES interviewed (82%) perceived having professional impacts in the realm of improving undergraduate science education, more so than in research in science education or K-12 science education. While SFES reported a rich variety of efforts towards improving undergraduate science education, the most prevalent reported impact by far was influencing the teaching practices of their departmental colleagues. Since college and university science faculty continue to be hired with little to no training in effective science teaching, the seeding of science departments with science education specialists holds promise for fostering change in science education from within biology, chemistry, geoscience, and physics departments.
An Examination of Imagined Contexts: The Unreliability of Context-Dependent Memory Effects in Recall

It is generally accepted that the environmental context present during memory encoding serves as an effective cue for recall if reinstated during retrieval. Participants who perform a free recall test in the same context as that during which they learned a set of words, often remember more words than participants who experience a context mismatch from encoding to retrieval. This is referred to as the context-dependent memory effect and forgetting due to a change in context is referred to as context-dependent forgetting. Recent evidence suggests that contexts need not always be physical but can be mentally generated or imagined and still serve to produce a context-dependent memory effect. That is, participants who recall information in a reinstated imagined context remember more words than those that do not reinstate the imagined context at recall, even when in a physically different context. Four experiments were conducted in an attempt to replicate context-dependent memory effects using imagined contexts and mental reinstatement. Participants learned a list of words in one physical context (room) followed by a free recall test in either the same or different room. Some participants were given instructions to imagine a context (one from a picture or a self-relevant context) during encoding and to later reinstate this imagined context at recall while in a physically different room. Results showed that not only was there no difference in number of words recalled among groups who imagined a context and those that did not, but that there was no effect of physical context as well. This set of studies demonstrates that context effects, whether physical or mentally generated, are not as robust as currently conceptualized.
Protein Subcellular Localization Extraction and Prediction from PubMed Abstracts

Predicting protein subcellular localization is an essential step for annotating novel protein sequences. When protein sequences are deposited into UniProtKB, they are often associated with PubMed abstracts, and the abstracts can provide additional information to predict the protein subcellular localization. Our work focuses on extracting and predicting protein subcell labels from a query protein’s associated PubMed abstracts. We explore two categories of methods for this task: match-and-resolve and supervised classification. In the match-and-resolve approach, we first match the original PubMed abstracts as well as the recognized biomedical named entities with GeneOntology (GO) terms and synonyms; we then resolve the matched terms among the GO hierarchy to their corresponding subcell labels. In supervised classifications, we classify proteins based on features extracted from abstracts: bag-of-words and MeSH terms from abstracts, as well as GO terms extracted using the GOPubMed algorithm. In general, supervised classification outperforms the match-and-resolve approach. However, supervised classification is limited by the availability of training data as well as the size of the feature space, while matchand-resolve is always applicable to proteins annotated with PubMed abstracts.
The Effect of Performance Management System Implementation: The Case of a Malaysian Service Organisation

The objective of this research is to investigate the impact of employees‟ attitude derived from the usage of Balanced Scorecard (BSC) Customers‟ perspective as the Performance Management System (PMS) in ABC Service Organization (ABC). Other objectives include finding solutions to improve existing Performance Management System (PMS) practices and to identify issues and challenges in its implementation which merits further research. A total of 1000 respondents were surveyed and the data was analysed using Pearson Correlation Analysis and Regression Analysis. Analysis of results indicated that there is a positive relationship between the implementation of BSC Customer‟s perspective and Employee Attitude in ABC. The implication of this research benefits the organization in terms of employees‟ effectiveness and the pervasiveness of the performance metric implementation. Aus. J. Bus. Sco S. & IT. Vol 2(1), January 2016, P 51-61
The Comb Jelly Opsins and the Origins of Animal Phototransduction

Opsins mediate light detection in most animals, and understanding their evolution is key to clarify the origin of vision. Despite the public availability of a substantial collection of well-characterized opsins, early opsin evolution has yet to be fully understood, in large part because of the high level of divergence observed among opsins belonging to different subfamilies. As a result, different studies have investigated deep opsin evolution using alternative data sets and reached contradictory results. Here, we integrated the data and methods of three, key, recent studies to further clarify opsin evolution. We show that the opsin relationships are sensitive to outgroup choice; we generate new support for the existence of Rhabdomeric opsins in Cnidaria (e.g., corals and jellyfishes) and show that all comb jelly opsins belong to well-recognized opsin groups (the Go-coupled opsins or the Ciliary opsins), which are also known in Bilateria (e.g., humans, fruit flies, snails, and their allies) and Cnidaria. Our results are most parsimoniously interpreted assuming a traditional animal phylogeny where Ctenophora are not the sister group of all the other animals.
Parental involvement and Chinese elementary students’ achievement goals: the moderating role of parenting style

Abstract Past research has revealed direct effects of parental involvement and parenting style on children’s achievement goals separately, however, it is necessary to investigate the interactive mechanism in an integrated way. This study examined the relations between children’s perception of different dimensions of parental involvement (i.e. home-based involvement, school-based involvement and academic socialisation) and their achievement goals, and the moderating role of parenting style (i.e. parental autonomy support vs. psychological control). Participants were 614 Chinese fourth and fifth grades students. Results showed that home-based involvement was positively associated with performance-approach goals, school-based involvement was positively associated with mastery goals, and academic socialisation was positively associated with both mastery and performance-approach goals. Parental psychological control moderated the relationships between performance-approach goals and two types of parental involvement: Academic socialisation and home-based involvement. These findings underscored the need of taking a multidimensional approach in conceptualising parental involvement, and that parental involvement should be expressed in an appropriate context of parenting style.
Australian TESOL Teachers’ Cultural Perceptions of Students

ABSTRACT Over the last decade, research in the field of Teaching English to Speakers of Other Languages (TESOL) has increasingly focused on the relationship between culture and learning. Researchers such as Kumaravadivelu (2003) have been vocal in their opposition to the practice of cultural stereotyping. In the current study, Holliday’s (2005) model of Culturism was used as a theoretical basis. Six Australian TESOL teachers were interviewed to determine the nature and extent of the cultural stereotypes that they held, particularly as they pertained to specific learning-related behaviours. A qualitative analysis of the data revealed that teachers most often grouped students in terms of national or regional cultures and believed that cultural background strongly influenced student learning behaviour, resulting in the formation of a number of stereotypes. Despite this, the findings also demonstrated that teachers were self-aware of the pitfalls of cultural stereotyping and took other factors influencing student behaviour into consideration.
Short Answer Assessment: Establishing Links Between Research Strands

A number of different research subfields are concerned with the automatic assessment of student answers to comprehension questions, from language learning contexts to computer science exams. They share the need to evaluate free-text answers but differ in task setting and grading/evaluation criteria, among others. This paper has the intention of fostering synergy between the different research strands. It discusses the different research strands, details the crucial differences, and explores under which circumstances systems can be compared given publicly available data. To that end, we present results with the CoMiC-EN Content Assessment system (Meurers et al., 2011a) on the dataset published by Mohler et al. (2011) and outline what was necessary to perform this comparison. We conclude with a general discussion on comparability and evaluation of short answer assessment systems.
Self-sewn identity: How female home sewers use garment sewing to control self-presentation

Garment sewing was once a necessity for women to present themselves and their families in a socially acceptable manner. Despite societal and economics changes, as well as, an abundance of readily available cheap clothing, there is a resurging interest in personal garment sewing by women. This qualitative study explored the control gained by women who sew their own clothing finding that among the women interviewed personal garment sewing allowed them control over their clothing’s style, fit, and quality, which was not found through purchasing ready-to-wear clothes. Garment sewing permitted these women to present themselves in clothing that they felt more accurately represented their personality and taste. These findings provide insights into the usage of garment sewing by women to control their appearance which allowed them more authority over their clothing selection than their non-sewing peers. Validation of the women’s time spent sewing was established as the findings postulate noteworthy benefits that include increased satisfaction with both their appearance and their presentation of self to others. The findings are explained using theories related to self-presentation and identity.
Understanding Local Level Conflict in Developing Countries Theory, Evidence and Implications from Indonesia

This paper reports results from a study that is attempting to provide a better understanding of the trajectories on local level conflicts in Indonesia. It develops a framework to answer key questions that current theoretical and research strands do not address. How and why, for example, do some local level conflicts escalate into large-scale violence, while others do not? How do societal structures (political, economic and institutional) affect the pathways of local conflict? How do these contexts interact with specific actors and issues in a particular setting? How does the development process create and interact with existing tensions, and how can they be managed? In addition to trying to provide a better understanding of the trajectories of local level conflicts, a second aim of the study was to evaluate the impact of the World Bank's Kecamatan Development Project (KDP, the largest social development project in Southeast Asia) on those trajectories and local conflict management capacity.
Testicular cancer in Europe and the USA: survival still rising among older patients.

BACKGROUND Despite high curability, some testicular cancer (TC) patient groups may have increased mortality. We provide a detailed age- and histology-specific comparison of population-based relative survival of TC patients in Europe and the USA. Design Using data from 12 European cancer registries and the USA Surveillance, Epidemiology and End Results 9 database, we report survival trends for patients diagnosed with testicular seminomas and nonseminomas between 1993-1997 and 2003-2007. Additionally, a model-based analysis was used to compare survival trends and relative excess risk (RER) of death between Europe and the USA adjusting for differences in age and histology. RESULTS In 2003-2007, the 5-year relative survival of patients with testicular seminoma was at least 98% among those aged <50 years, survival of patients with nonseminoma remained 3%-6% units lower. Despite improvements in the relative survival of nonseminoma patients aged ≥ 50 years by 13%-18% units, survival remained markedly lower than the survival of seminoma patients of the same age. Model-based analyses showed increased RERs for nonseminomas, older, and European patients. CONCLUSIONS There remains little room for survival improvement among testicular seminoma patients, especially for those aged <50 years. Older TC patients remain at increased risk of death, which seems mainly attributable to the lower survival among the nonseminoma patients.
The Effects of One Minute Warm Up Procedures on Addition One Minute Fluency Timings.

Tlus study exanlined the use of warm up timings with second and third grade special education students before addition one-minute madl probes to improve addition fluency. The target behavior was the number of correct single digit answers on the one-minute probe given directly after a wann up probe of the sane math problems. An A-B experimental design (Cooper, Heron. & Heward, 1987; Kazdin. 1982) was used to evaluate the frequency of correct answers witten across the timing periods. During baseline, 13 practice sessions were conducted to establish a means of daily performance on the one-minute timing. During intervention, data were collected across 14 sessions. During intervention students were given the same hvo single digit addition probes each day. The fist probe was used as a warm up procedure, while the second one-minute probe was used as a fluency assessment. During intervention, three of the students' data indicated slight level increases, one student's data accelerated at a ~1.75. atid two students data appeared to decelerate during intervention. AU but one student demonstrated higher frequency of correct answers during intervention indicating important performance changes in tlieir overall single digit addition computation. These data suggests that using a warm up cycle before one-minute addition math probes inay improve stndents' performance with the fluency of matb facts.
Distributed Abstract Optimization via Constraints Consensus: Theory and Applications

Distributed abstract programs are a novel class of distributed optimization problems where i) the number of variables is much smaller than the number of constraints and ii) each constraint is associated to a network node. Abstract optimization programs are a generalization of linear programs that captures numerous geometric optimization problems. We propose novel constraints consensus algorithms for distributed abstract programs with guaranteed finite-time convergence to a global optimum. The algorithms rely upon solving local abstract programs and exchanging the solutions among neighboring processors. The proposed algorithms are appropriate for networks with weak time-dependent connectivity requirements and tight memory constraints. We show how the constraints consensus algorithms may be applied to suitable target localization and formation control problems.
Pemahaman guru bimbingan dan konseling tingkat SMP tentang bimbingan dan konseling komprehensif

Abstrak Bimbingan dan konseling komprehensif sebagai bagian integral pendidikan memiliki peran penting dalam pengembangan potensi siswa guna menghadapi kehidupan MEA yang kompleks. Guru BK hendaknya memahami konsep teoritis dan praksis bimbingan dan konseling komprehensif di sekolah. Ironisnya, beberapa guru BK belum paham tentang hal tersebut. Penelitian ini bertujuan untuk mengetahui tingkat pemahaman guru BK SMP tentang program bimbingan dan konseling komprehensif. Metode yang digunakan adalah deskriptif kuantitatif dengan subjek guru BK SMP se-Kabupaten Gunungkidul, DIY sejumlah 44 orang. Instrumen yang digunakan berupa tes pemahaman jenis multiple choice, dengan teknik analisis deskriptif. Hasil penelitian menunjukkan bahwa rata-rata pemahaman guru bimbingan dan konseling tentang program bimbingan dan konseling sebesar 50 poin dan tertinggi sebesar 100 poin. Hal ini menunjukkan bahwa belum semua guru BK SMP di Kabupaten Gunungkidul memiliki pemahaman yang baik tentang program bimbingan dan konseling komprehensif. K ata kunci : bimbingan dan konseling, komprehensif, pemahaman Abstract Comprehensive guidance and counseling as an integral part of education has an important role to develop of student potential in order to face the complex life of AEC. Guidance and counseling teachers should understand the theoretical and practical concepts of guidance and counseling comprehensive in schools. Ironically, some of the guidance and counseling teachers do not understand about it. The purpose of this research is to determine the level of the guidance and counseling teacher’s understanding about comprehensive guidance and counseling program. The method used is quantitative descriptive which the subjects are guidance and counseling teacher in Junior High School in Gunungkidul District, DIY. The number of subject in this resserch are of 44 people. This research is multiple choice tests type , with descriptive analysis techniques. The results showed that the average of guidance and counseling teachers understanding about guidance and counseling program was 50 points and the highest was 100 points. This shows that not all guidance and counseling teachers in Junior High School in Gunungkidul have a good understanding of the comprehensive guidance and counseling program. Keywords : guidance and counseling, comprehensive, understanding