Miracle-dz/UniFAR-FTUs huggingface dataset:
Representing Multi-Parent Organizational Structures for Use in High Performance Computing Resource Scheduling Algorithms

Representing Multi-parent Organizational Structures for use in High-Performance Computing Resource Scheduling Algorithms Lloyd T. Brown School of Technology Master of Science Historically, organizational structures of many universities and corporations have followed a strictly tree-based, hierarchical model. These organizations are defined with no more than one parent organization, and typically resource requirements for the organization could be derived from the parent organization. In recent years, however, many institutions have created interdisciplinary research groups which incorporate multiple fields of research across multiple campus organizations. For example, at Brigham Young University, there exists a biophysics research group, a child organization of both the Department of Biology and the Department of Physics, making it unclear how to define its resource requirements in the context of multiple parents from diverse colleges. As computing resources are allocated to organizations, the requirements of those organizations must be taken into account. However, when organizations have multiple parent organizations, it is unclear which restrictions or allocations are appropriate for the organization, as shown with the biophysics research group described above. Extending the example, if a campus high-performance computing facility restricts resources on an organizational basis, and the Biology and Physics departments are allocated different resource levels, the newly formed biophysics group will need system administrators’ intervention to assure appropriate resource allocation. This document describes a versatile system for modeling organizational structure, including defining multiple parent organizations, the inheritance of arbitrary properties from parent to children, and, when inherited attributes conflict, includes an extensible mechanism for defining conflict resolution policies. This system allows for arbitrary parameters to be applied at any level of the organizational structure. This inherited information can then be used for resource allocation of the campus high performance computing facility.
Under Pressure. Influence of different types of feedback on decision making performance in stressful situations

People in emergency professions, such as firefighters or soldiers, often have to work and make decisions with life or death consequences in stressful conditions. To help people in emergency professions make better decisions while stressed, the ‘Cognitive Feedback System’ (CFSystem) has been developed. The CFSystem can support a stressed person while performing a task or making decisions by providing its users with three kinds of feedback: biofeedback, a prediction on their performance and a prediction of four types of cognitive errors stressed people have been found to make often when performing a task. The CFSystem can provide its users with more than one type of feedback at a time. The current experiment was set up to study which type of feedback or combination of types of feedback helps users improve their performance, reduces stress or is the most user-friendly. User-friendliness was measured using the System Usability Scale. Participants had to perform a fire-fighting computer simulation while they were supported by eight different combinations of feedback from the CFSystem. Although participants did not give the feedback provided by the CFSystem high usabilityscores, providing feedback did help participants improve their performance. The combination of biofeedback, performance-prediction and error-prediction was the only combination of feedback that helped participants improve their performance and was the best combination of feedback to help stressed users make better decisions. Because participants are expected to benefit more from feedback with better usability, usability of the feedback should be improved. Results also implied that feedback was processed implicitly. Implicitly processed feedback was shown to be more helpful to participants than explicitly processed feedback.
Bulk Operation and Data Coloring for Multiprocessor Programmability

With ubiquitous multi-core architectures, a major challenge is how to effectively use these machines. Writing parallel programs is usually very complex and error-prone. Hence, improving the programmability of parallel computer systems is a massive problem for much of our field. We believe that architecture support plays a key role in making parallel programming accessible to the masses. This thesis focuses on simple and flexible mechanisms that are used to improve the programmability of shared-memory multiprocessors. This thesis makes two main contributions. The first contribution is efficient coarsegrain operation of multiprocessors. This allows groups of dynamic instructions to behave as a unit in a multiprocessor system. The main idea in making coarse-grain operations efficient is to hash-encode a thread’s access information in a concise signature, and then support signature operations that efficiently process sets of addresses — in bulk. These operations are inexact but correct, and provide substantial conceptual and implementation simplicity. We show how to use these operations to simplify support for features that improve programmability. Specifically, we discuss designs for Transactional Memory, Thread-Level Speculation and high-performance sequential consistency. We also suggest other possible uses of bulk operations to illustrate its versatility. The second contribution of this thesis is architecture support and programming model for a data-centric approach to thread synchronization. In Data-Centric Synchronization (DCS), the programmer uses local reasoning to assign synchronization constraints to data. Based on these, the system automatically infers critical sections and inserts synchronization operations.
Second Language Interaction in Diverse Educational Contexts

1. List of contributors 2. Preface 3. Part I. Interactions in L2 classrooms 4. 1. Promoting attention to form through task repetition in a Korean EFL context (by Kim, You Jin) 5. 2. Language-related episodes during collaborative tasks: A comparison of CLIL and EFL learners (by Basterrechea, Maria) 6. 3. The impact of increasing task complexity on L2 pragmatic moves (by Gilabert, Roger) 7. 4. Tasks and traditional practice activities in a foreign language context (by Mackey, Alison) 8. 5. Building explicit L2 Spanish knowledge through guided induction in small group and whole class interaction (by Wagner, Elvis) 9. 6. Classroom interaction and learning opportunities across time and space (by Batstone, Rob) 10. Part II. Interactions involving technology 11. 7. The cyber language exchange: Cross-national computer-mediated interaction (by Sauro, Shannon) 12. 8. Using eye tracking as a measure of foreign language learners' noticing of recasts during computer-mediated writing conferences (by Smith, Bryan) 13. 9. A corpus approach to studying structural convergence in task-based Spanish L2 interactions (by Collentine, Joseph) 14. 10. Preemptive feedback in CALL (by Heift, Trude) 15. 11. Learner perceptions of clickers as a source of feedback in the classroom (by Serafini, Ellen Johnson) 16. Part III. Interactions in other educational settings 17. 12. International engineering graduate students' interactional patterns on a paired speaking test: Interlocutors' perspectives (by Isaacs, Talia) 18. 13. The effectiveness of interactive group orals for placement testing (by Winke, Paula) 19. 14. Interaction in conversation groups: The development of L2 conversational styles (by Ziegler, Nicole) 20. 15. Language production opportunities during whole-group interaction in conversation group settings (by McDonough, Kim) 21. Appendix 22. Index
Strategies for conformance testing

A new test generation method and algorithm for conformance testing is proposed. It is based on the interpretation of testing concepts from the ISO standard “Formal methods in conformance testing” in a game theory setting. A testing game is deﬁned with a speciﬁcation given as an Input/Output State Machine and a test purpose for test selection. A winning strategy for this game deﬁnes a tester for a class of implementations and a conformance relation.
Sondages à la Quina aval (Gardes-le-Pontaroux, Charente, France)

La station aval de la Quina a Gardes-le-Pontaroux (Charente) a livre par le passe de riches series attribuees a l'Aurignacien et au Châtelperronien. Entre 1994 et 1998, l'A. a ete amene a realiser une serie de tres petits sondages, dont le but etait de verifier la stratigraphie decrite par les fouilleurs precedents, le docteur Henri Martin et sa fille Germaine Henri-Martin, et de realiser un certain nombre de prelevements pour analyses (sedimentologie, palynologie, datation par le radiocarbone) avant de reboucher les sondages profonds realises lors de fouilles anciennes. Ces sondages ont permis de preciser que le niveau Châtelperronien est cryoturbe. Pour le niveau Aurignacien ancien, il a ete possible de montrer que les lames petites et moyennes sont produites sur place, alors que les tres grandes lames sont importees deja a l'etat fini sur le site. Une abondante production de lamelles, courtes et non torses, ignoree jusqu'a present a egalement ete mise en evidence. La parure et l'industrie osseuse sont riches et abondantes. Des etudes complementaires sont en cours. Deux datations ont pu etre obtenues, l'une au Châtelperronien et l'autre sur l'Aurignacien ancien.
Phonetic Transcription in Theory and Practice

This is the first book-length monograph to address all aspects of phonetic transcription. The aim of phonetic transcription is to represent the sounds of speech on paper. This book surveys the history of attempts to represent speech, considering the relationship of transcription to written language and includes a thorough analysis of the many different kinds of phonetic transcription. It then reviews contemporary uses of phonetic transcription in a range of situations including dictionaries, language teaching texts, phonetic and phonological studies, dialectology and sociolinguistics, speech pathology and therapy, and forensic phonetics. The author grounds his work in the philosophy of phenomenalism and defends his approach against the criticisms of experimental phoneticians and linguistic rationalists. It analyses broad, narrow, auditory, systematic, segmental, suprasegmental and parametric phonetic transcription. It includes a glossary of key terms. It demonstrates the comparison, classification and interpretation of phonetic transcriptions for different purposes through a series of examples. It includes an appendix of 5 phonetic notation charts. It features 58 illustrative figures.
Dynamic planning of fire and rescue services

We discuss decision support tools used for more efficient planning of fire and rescue services. The methodology considers small and flexible units and includes dynamic utilization of the existing resources. We develop a quantitative measure for preparedness and use it as a basis for decision support. By constantly accounting for the current situation and using intelligent strategies to locate and allocate resources that support good preparedness, response times can be shortened. The tools will be tested using an experimental setup that includes human-in-the-loop simulations, and the results will compare situations that occur when the decision makers have and do not have access to the developed tools.
PENGUASAAN KETERAMPILAN PROSES SAINS DASAR SISWA MADRASAH IBTIDAIYAH (STUDI PADA MADRASAH MITRA STAIN PONOROGO)

Prodi PGMI STAIN Ponorogo sejak berdirinya telah mengembangkan kerjasama dengan beberapa Madrasah Ibtidaiyah (MI) sebagai mitra dalam mengembangkan pembelajaran di MI. Kerjasama berupa fasilitasi pengembangan madrasah, peningkatan sumber daya manusia, penelitian ke-MI-an, dan peningkatan kualitas mahasiswa calon guru MI. Kerjasama yang telah berjalan sekitar satu dekade diharapkan dapat meningkatkan kualitas pembelajaran di kedua belah pihak. Penelitian ini bertujuan mengetahui tingkat penguasaan Keterampilan Proses Sains Dasar Kelas Atas (KPSDKA) siswa madrasah ibtidaiyah mitra STAIN Ponorogo serta membuktikan dan menganalisis ada tidaknya perbedaan dan pengaruh variabel jenis kelamin, tingkatan kelas, jenis sekolah dan interaksi di antaranya terhadap KPSDKA siswa. Melalui survey pada beberapa madrasah mitra sebagai sampel penelitian ditemukan bahwa rata-rata prosentase tingkat penguasaan KPSDKA siswa hanya 54,47%, sedangkan kategori penguasaan siswa mayoritas belum begitu tinggi/sedang. Setelah dilakukan uji perbedaan dengan three ways anova, dibuktikan bahwa tidak ada perbedaan KPSDKA siswa antara siswa laki-lak idan perempuan, dan antara siswa dari MI negeri atau swasta. Tetapi ada perbedaan KPSDKA untuk tingkatan kelas yang berbeda, yaitu siswa dari kelas lebih tinggi mempunyai tingket penguasaan KPSDKA yang lebih baik.
An intelligent personalized e-assessment tool developed and implemented for a Greek Lyric Poetry undergraduate course

The scope of this paper is to present the development of a web-based evaluation system that adjusts to the level of knowledge of each student. The underlying concept is to split the questions into pools (bins) of distinct difficulty at the same time assigning a different level of accuracy to each possible answer that the student may select. Given the weighted success score computed at each round, the system raises or lowers the level of the questions asked in the following round, thus adjusting the difficulty of the test according to the students’ performance. Once the score of the student improves or declines, the system again adjusts the difficulty of the questions accordingly until convergence is achieved and the students’ performance becomes stable. It is believed that the proposed evaluation system predicts the level of knowledge of the students in more correct ways compared with the traditional (non-adaptive) questionnaires, while giving the students the motivation to rerun the test until they become familiar with the course content. To illustrate the evaluation methodology proposed, an online system was developed and implemented for the evaluation of sixty-eight undergraduates attending a Greek Lyric Poetry course at the Department of Classics in Aristotle University of Thessaloniki, Greece. The results of the evaluation process, with the observations made, both about the operation of the system in real conditions and the performance of the students, are also discussed in the paper.
Methods of Analysis of Brain Electrical and Magnetic Signals

1. Introduction (A.S. Gevins). 2. Modern computer systems (J.J. Vidal). 3. Overview of computer analysis (A.S. Gevins). 4. Spectral analysis of EEG background activity (G. Dumermuth and L. Molinari). 5. Analysis of event-related potentials (G.D. McGillem and J.I. Aunon). 6. Correlation analysis (A.S. Gevins). 7. Mimetic techniques (J.D. Frost, Jr.). 8. Automated spike and sharp wave (SSW) detection (P.Y. Ktonas). 9. Parametric methods in EEG analysis (F.H. Lopes da Silva and N.J.I. Mars). 10. Non-stationary multichannel time series analysis (W. Gersch). 11. EEG analysis methods based on information theory (N.J.I. Mars and F.H. Lopes da Silva). 12. Principles of spatial analysis (D. Lehmann). 13. Source localization of brain electrical activity (D.H. Fender). 14. Analysis of neuromagnetic signals (S.J. Williamson and L. Kaufman). 15. Normative data banks and neurometrics. Basic concepts, methods and results of norm constructions (E.R. John, L.S. Prichep and P. Easton). 16. The use of statistics in electrophysiology (E.R. John, T. Harmony and P. Valdes-Sosa). 17. Statistical pattern recognition (A.S. Gevins). 18. Analytic techniques used in the search for the physiological basis of the EEG (W.J. Freeman). 19. Obstacles to progress (A.S. Gevins).
Independent formant and pitch control applied to singing voice

A singing voice can be manipulated artificially by means of a digital computer for the purposes of creating new melodies or to correct existing ones. When the fundamental frequency of an audio signal that represents a human voice is changed by simple algorithms, the formants of the voice tend to move to new frequency locations, making it sound unnatural. The main purpose is to design a technique by which the pitch and formants of a singing voice can be controlled independently.
Islamic Art and the Museum. Approaches to Art and Archaeology of the Muslim World in the Twenty-First Century

ern secularism reasserted its spatial dominance on Siler City. The introduction and postscript make a strong case for the significance of regionalism on secularism and, more broadly, they convincingly show how useful the secular and secularism are for studies of American religion. However, I ended the book still a bit unclear on the difference between the religious and the secular. At times it seemed spatial; the religious happened in or near churches. And other times it seemed doctrinal; the religious might be in the world but was not of the world. More clarification on the distinction would have been helpful but might be impossible. Seales does inform us on page 1 that southern secularism is “elusive”. The book also could be strengthened by a clearer sense of chronology. Change over time is painted in fairly broad brushstrokes with flashpoints of detail. This might be due to lack of sources but it leaves gaps in the narrative. For all the emphasis on Confederate soldiers’ sacrifice in early iterations of the Fourth of July parade, the book’s lack of discussion of World War II or the Vietnam War is noticeable and could have offered some comparison. These complaints aside, The Secular Spectacle is theoretically insightful and full of interesting narrative. For his ethnographic research in particular and for the book as a whole, Seales should be commended. The book will be a helpful and important addition to the library of any historian of religion in America, those interested in religion and space, and scholars of lived religion.
Maximising microprocessor reliability through game theory and heuristics

Embedded Systems are becoming ever more pervasive in our society, with most routine daily tasks now involving their use in some form and the market predicted to be worth USD 220 billion, a rise of 300%, by 2018. Consumers expect more functionality with each design iteration, but for no detriment in perceived performance. These devices can range from simple low-cost chips to expensive and complex systems and are a major cost driver in the equipment design phase. For more than 35 years, designers have kept pace with Moore’s Law, but as device size approaches the atomic limit, layouts are becoming so complicated that current scheduling techniques are also reaching their limit, meaning that more resource must be reserved to manage and deliver reliable operation. With the advent of many-core systems and further sources of unpredictability such as changeable power supplies and energy harvesting, this reservation of capability may become so large that systems will not be operating at their peak efficiency. These complex systems can be controlled through many techniques, with jobs scheduled either offline prior to execution beginning or online at each time or event change. Increased processing power and job types means that current online scheduling methods that employ exhaustive search techniques will not be suitable to define schedules for such enigmatic task lists and that new techniques using statistic-based methods must be investigated to preserve Quality of Service. A new paradigm of scheduling through complex heuristics is one way to administer these next levels of processor effectively and allow the use of more simple devices in complex systems; thus reducing unit cost while retaining reliability, a key goal identified by the International Technology Roadmap for Semiconductors for Embedded Systems in Critical Environments. These changes would be beneficial in terms of cost reduction and system flexibility within the next generation of device. This thesis investigates the use of heuristics and statistical methods in the operation of real-time systems, with the feasibility of Game Theory and Statistical Process Control for the successful supervision of high-load and critical jobs investigated. Heuristics are identified as an effective method of controlling complex real-time issues, with two-person non-cooperative games delivering Nash-optimal solutions where these exist. The simplified algorithms for creating and solving Game Theory events allow for its use within small embedded RISC devices and an increase in reliability for systems operating at the apex of their limits. Within this Thesis, Heuristic and Game Theoretic algorithms for a variety of real-time scenarios are postulated, investigated, refined and tested against existing schedule types; initially through MATLAB simulation before testing on an ARM Cortex M3 architecture functioning as a simplified automotive Electronic Control Unit. ”I don’t know anything, but I do know that everything is interesting if you go into it deeply enough. ” Richard P. Feynman
DONS: Computer Aided Design Of RegularService Timetables

In this paper the construction of periodic timetables as the dominant procedure in long term planning of railroad networks at Dutch Railways is briefly described. An efficient algorithm is outlined that generates periodic timetables for a given set of constraints. Also given is a short description of the way this algorithm has been embedded in the decision support system DONS and the way this system is being used to speed up the construction of periodic timetables and increase the flexibility of network designs.
Teaching Vocabulary Meaningfully With Language, Image, and Sound.

TEACHING VOCABULARY MEANINGFULLY WITH LANGUAGE, IMAGE, AND SOUND Doraina Diane Pyle Center for Language Studies Masters of Arts This study was an exploration of how an instructional technique that uses language, image, and sound—that of a meaningful presentation of language with image by gradual, step-by-step sequencing—affects vocabulary acquisition. Research was carried out with volunteers from the BYU language community, who were randomly assigned to one of two testing groups. The two groups viewed Arabic language presentations wherein the presentation for the experimental group received line drawings to indicate vocabulary meanings, and the other group received English translations. Following the treatment, learners completed an online vocabulary test, and one week later, the same online vocabulary test. Statistical analyses indicated that one method of presentation was not better than the other method of presentation. ACT English scores and testing times, however, were significant for their affect on learning outcomes.
Integrable achiral D5-brane reflections and asymptotic Bethe equations

We study the reflection of magnons from a D5-brane in the framework of the AdS/CFT correspondence. We consider two possible orientations of the D5-brane with respect to the reference vacuum state, namely vacuum states aligned along ‘vertical’ and ‘horizontal’ directions. We show that the reflections are of the achiral type. We also show that the reflection matrices satisfy the boundary Yang–Baxter equations for both orientations. In the horizontal case, the reflection matrix can be interpreted in terms of a bulk S-matrix, S(p, −p), and factorizability of boundary scattering therefore follows from that of bulk scattering. Finally, we solve the nested coordinate Bethe ansatz for the system in the vertical case to find the Bethe equations. In the horizontal case, the Bethe equations are of the same form as those for the closed string.