Miracle-dz/UniFAR-FTUs huggingface dataset:
THE PRIMEGAME: COMBINING SKILLS IN UNDERGRADUATE COMPUTER SCIENCE PROGRAMMES

Foundational software engineering skills such as numerical methods, algorithm design and programming are usually taught as disjunct courses in most undergraduate computer science programmes. While those and other skills have to be combined in order to develop suitable solutions, such integration usually only takes place in advanced courses where larger projects are then often subject to peer-based work. In this paper we are proposing the PrimeGame as a novel game-based programming tool which combines a wide variety of computer science skills in a small and manageable environment. The PrimeGame is a simple two-player board game which, however, is not fullyenumerable and thus can not be solved with pure computational power. Students are required to implement autonomous players for the game, in an attempt to model their own ideas on how to play the game best and to eventually beat the opponent. All submitted players will finally compete against each other in a tournament setting. As both, a simple player interface and a comfortable and fully functioning testing environment are provided, students don't have to care about the game engine, GUI components, or any other advanced aspects. They can instead focus on the design of suitable algorithms, as well as syntactically correct implementations thereof. The PrimeGame testing environment as well as the interactive graphical tournament framework including various on-line board presentations and ranking schemes are currently implemented as a Java project, thus student's players can easily be provided as Java classes. Common wrappers and interfaces for players developed in other programming languages are available as well. In developing PrimeGame players, students get early exposure to a combination of skills as necessary for all major computer science (CS) projects: from initial ideas and intuitive algorithms over studies of performance aspects, formal representations, implementation, up to evaluation and testing are all combined in a game project that can be individually completed within a few weeks time. Using the game in class, we witnessed an increased student interest in the subject matter, as well as a lot of fun among participating students. As the PrimeGame approach has so far been used and evaluated in undergraduate CS courses in not only European but also in African environments, it exposed different cultural attitudes towards competitive learning. While so far we have mainly focused on undergraduate aspects of the game, we are currently looking at advanced concepts which could be taught similarly well in graduate and post-graduate programmes. These include autonomous and co-operative agents, advanced data structures and algorithms, artificial intelligence and advanced numerical methods.
Analysis of H.264 Sensitivity to Packet Loss and Delay Variation

The number and popularity of multimedia services and applications on the Internet has increased greatly in recent years. Services employing real-time video, such as mobile TV, video-conferencing and tele-medicine are growing, and the users expectations of quality are increasing. This thesis analyses the impact on perceived quality of received videos sent across a network, emulation is used to emulate network characteris- tics with packet loss and delay variation for video sequences with different characteristics. This work aims to understand the user perception of video quality with packet loss and delay variation for videos encoded with H.264 on laptop computers and mobile phones. Further, it seeks to understand if users have different video quality expectations for laptops and mobile phones. The Mean Opinion Score (MOS) and statistical methods are used to evaluate the video quality perceived by users. It was found that packet loss and delay variation affects the perceived quality of video. In addition, it is shown that there is no significance difference between doing the experiment in the mobile phone or in the laptop displaying the same resolution.
Risk Assessment: Theory, Methods, and Applications

Part I. Introduction to Risk Assessment. 1. Introduction. 2. The Words of Risk Analysis. 3. Hazards and Threats. 4. How to Measures and Evaluate Risk? 5. Risk Management. 6. Accidents Models. 7. Data for Risk Analysis. Part II. Risk Assessment Methods and Applications. 8. Risk Assessment Process. 9. Hazard Identification. 10. Causal and Frequency Analysis. 11. Development of Accident Scenarios. 12. Barriers and Barrier Analysis. 13. Human Reliability Analysis. 14. Job Safety Analysis. 15. Common Cause Failures. 16. Uncertainty and Sensitivity. 17. Development and Applications of Risk Assessment. Part III. Appendices. Elements of Probability Theory. Acronyms. Glossary. References.
Leading with Passion: Change Management in the 21st-Century Museum

Foreword Preface Introduction Chapter 1: Catalysts for Change Chapter 2: Passion: Representing the Organization Chapter 3: Context: Creating a Place Chapter 4: Entrepreneurism: Selling Integrity Chapter 5: Trust: The Director/Trustee Interface Chapter 6: Realigning: Past and Present Leadership Requirements Chapter 7: Action: Principles into Practice References Appendices About the Author
Visual Object Recognition Using Deformable Models of Vehicles

This workshop paper reports recent developments to a vision system for traffic interpretation which relies extensively on the use of geometrical and scene context. Firstly, a new approach to pose refinement is reported, based on forces derived from prominent image derivatives found close to an initial hypothesis. Secondly, a parameterised vehicle model is reported, able to represent different vehicle classes. This general vehicle model has been fitted to sample data, and subjected to a Principal Component Analysis to create a deformable model of common car types having 6 parameters. We show that the new pose recovery technique is also able to operate on the PCA model, to allow the structure of an initial vehicle hypothesis to be adapted to fit the prevailing context. We report initial experiments with the model, which demonstrate significant improvements to pose recovery.
Intérêt de l'échographie hépato-splénique dans la surveillance de l'endémie à Schistosoma mansoni (à propos d'une étude réalisée dans la région de Richard Toll au Sénégal)

L'echographie abdominale est un moyen fiable et reproductible de suivre l'evolution de l'atteinte bilharzienne hepato-splenique. Cette technique a ete appliquee dans le cadre du programme «Espoir» de lutte contre l'endemie bilharzienne a Schistosoma mansoni dans la region du fleuve Senegal ou la prevalence des examens de selles positifs est de plus de 90 %. Une population de 166 malades repartis en tranches d'âge equivalentes, de sex-ratio egal a 1 et presentant tous des oeufs de Schistosoma mansoni a l'examen de selles, a ete etudiee par echographie avec realisation de mesures identiques sur chaque malade portant sur la taille du foie et le calibre des branches du systeme veineux porte. Cette etude a permis de constater une hypertrophie du lobe gauche du foie precoce, signe tres sensible puisqu'observe dans 100 % des cas chez les sujets âges de plus de 15 ans. Les modifications du systeme porte ont ete retrouvees chez 73 % des patients mais restaient moderees, de stade 1. Des lesions de grade III n'ont ete constatees que chez des sujets âges de plus de 24 ans. Elle representaient 4 % de l'ensemble des atteintes mais ce resultat doit inciter a la vigilance dans une region ou l'endemie a debute il y a moins de dix ans, faisant craindre un developpement important des hypertensions portales severes d'origine bilharzienne. Cela est un argument pour la mise en place d'un programme de surveillance echographique itinerant.
Ontology and the lexicon : a natural language processing perspective

Part I. Fundamental Aspects: 1. Ontology and the lexicon: a multi-disciplinary perspective Laurent Prevot, Chu-Ren Huang, Nicoletta Calzolari, Aldo Gangemi, Alessandro Lenci and Alessandro Oltramari 2. Formal ontology as interlingua: the SUMO and WordNet linking project and GlobalWordNet Adam Pease and Christiane Fellbaum 3. Interfacing WordNet with DOLCE: towards OntoWordNet Aldo Gangemi, Nicola Guarino, Claudio Masolo and Alessandro Oltramari 4. Reasoning over natural language text by means of FrameNet and ontologies Jan Scheffczyk, Collin F. Baker and Srini Narayanan 5. Synergizing ontologies and the lexicon: a roadmap Alessandro Oltramari, Aldo Gangemi, Chu-Ren Huang, Nicoletta Calzolari, Alessandro Lenci and Laurent Prevot Part II. Discovery and Representation of Conceptual Systems: 6. Experiments of ontology construction with formal concept analysis SuJian Li, Qin Lu and Wenjie Li 7. Ontology, lexicon, and fact repository as leveraged to interpret events of change Marjorie McShane, Sergei Nirenburg and Stephen Beale 8. Hantology: conceptual system discovery based on orthographic convention Ya-Min Chou and Chu-Ren Huang 9. What's in a schema? A formal metamodel for ECG and FrameNet Aldo Gangemi Part III. Interfacing Ontologies and Lexical Resources: 10. Interfacing ontologies and lexical resources Laurent Prevot, Stefano Borgo and Alessandro Oltramari 11. Sinica BOW (Bilingual Ontological WordNet): integration of BilingualWord-Net and SUMO Chu-Ren Huang, Ru-Yng Chang and Hsiang-bin Lee 12. Ontology-based semantic lexicons: mapping between terms and object descriptions Paul Buitelaar 13. Merging global and specialized linguistic ontologies Manuela Speranza and Bernardo Magnini Part IV. Learning and Using Ontological Knowledge: 14. The life cycle of knowledge Alessandro Lenci 15. The omega ontology Andrew Philpot, Eduard Hovy and Patrick Pantel 16. Automatic acquisition of lexico-semantic knowledge for question answering Lonneke van der Plas, Gosse Bouma and Jori Mur 17. Agricultural ontology construction and maintenance in Thai Asanee Kawtrakul and Aurawan Imsombut.
The effect of number codes in the comparison task of two-digit numbers

Three experiments were conducted to evaluate the influence of number format on the magnitude processing of two-digit numbers. The participants decided the larger of two presented numbers while the unit-decade compatibility was manipulated. A trial was compatible if both decades and units led to the same response (e.g., 24-67), while the trial was incompatible if decades and units led to different responses (e.g., 64-27). The compatibility effect depended on the format of presented numbers. The decade-unit compatibility facilitated the comparison of Arabic numbers (Experiment 1), but it hampered the performance when a verbal code was used, written code (Experiment 2) and spoken code (Experiment 3). The results are not consistent with a format-independent processing of number magnitude of two-digit numbers (e.g., McCloskey, 1992), on the contrary, this processing seems to depend on the superficial code in which they are presented (e.g., Campbell, 1994).
Spectral Analysis of Signals

1. Spectral Analysis – A Tutorial Introduction 2. Selected Applications (presented by instructors) 3. Basic Definitions and the Spectral Analysis Problem Chap. 1 4. Periodogram and Correlogram Methods Sect. 2.1 – 2.3 5. Improved Periodogram Based Methods Sect. 2.4 6. Parametric Methods for Rational Spectra Chapt. 3 7. Parametric Methods for Line Spectra Sect. 4.1 – 4.3 & 4.7 8. Filter Bank Methods Chap. 5 9. Spatial Methods Sect. 6.1 – 6.3 10. Selected Applications (presented by students)
Brain Computer Interfaces (BCIs) Based on the P300 Event Related Potential (ERP)

Research in Brain-Computer Interfaces (BCIs) ranges from applications for people with severe motor disorders such as amyotrophic lateral sclerosis (ALS), to applications for the consumer market such as games. During the last decades significant progress has been achieved in this field. BCIs can be based on different techniques that measure brain activity, the most used of them being electroencephalography (EEG). In turn, different EEG signals can be used to control a device via a BCI system, including event related potentials (ERPs) such as the P300. This ERP is particularly interesting for BCI control because it allows to communicate attendance to a choice stimulus with practically no training required. Multimodal presentation enhances P300 amplitude and it is hypothesized to be one way to improve BCI efficiency as attentional capacity for processing concurrent stimuli is larger across sensory modalities than within a single modality. This review focuses on current P300-based BCIs, especially those which use multimodal stimuli. We also cover the differences between P300s elicited in different modalities, suggestions of other ERPs and brain oscillations which might contribute to improve such BCI, and an overview of the neurobiology of multimodal integration. Finally, possible applications of this type of system and proposals for future research are discussed.
AN EXTERNAL CONTROL STUDY OF DIAGRAM DRAWING SKILLS FOR THE SOLUTION OF ALGEBRA WORD PROBLEMS BY NOVICE PROBLEM-SOLVERS (FIGURES, HEURISTICS, SPATIAL REPRESENTATIONS, METACOGNITION)

cn. CONTROL STUDY OF DIAGRAM DRAWING SKILLS FOR THE SOLUTION OF ALGEBRA WORD PROBLEMS BY NOVICE PROBLEM SOLVERS SEPTEMBER, 1986 MARTIN A. SIMON, B.A., NEW YORK UNIVERSITY M.A.T. , ST. MARY'S COLLEGE Ed.D. , UNIVERSITY OF MASSACHUSETTS Directed by: Dr. Portia Elliott Diagram drawing is generally accepted as an important heuristic strategy for solving mathematical problems. However, novice problem solvers do not frequently choose to use this strategy. Further, when asked to draw a diagram, their attempts often do not result in a useful representation of the problem. The exploratory study, which used individual interviews with remedial mathematics students at the University of Massachusetts, identified five factors that influence whether a diagram is used and whether its use is successful : 1. Understanding of the mathematics involved in the problem and of basic arithmetic concepts (i.e. fractions , ratio) 2. Diagram drawing skills and experience 3. Conceptions of mathematics 4. Self-concept in mathematics
La Conception et la réalisation d'un concordancier électronique pour l'arabe

In this thesis, we are approaching the realization of the electronic concordance for the Arabic language, from the point of view of the automatic treatment of the language. The organisation of the text in lists of words, the contexts and the frequencies which aroused the interest of the researchers in information sciences, in indexing, in lexicography, in didactic, in dictionaries, in stylistics…. The classical methods of surface search (KWIC) used for the realization of the concordance did not give satisfactory results for the Arabic language. Our Semitic language is highly inflected, aggluinative and not-vocalized, it contains complex graphic forms remains silent in the surfaces searches. Morpho-syntaxe analyse (MA) was used for the distinction of the words in their contexts and to offer new criteria for the organisation and the exploration of the index. But before that, we must define a lexicon for the Arabic ATL, the asymmetry between the generation and the analyses of Arabic words prohibit direct using of traditional dictionnaries ans makes it necessary to associate lexical entries with a set of morph-syntactics specifiers, which has been completed in DINAR. 1 “DIctionnaire INformatise de l’Arabe version 1” “Computerized Dictionary for Arabic version. 1” and in the analyzers and generators developped on the basis of the SAMIA model “Synthese et Analyse Morphologique Informatisees de l’Arabe” " Computerized Morphological Synthesis and Analyses for the Arabic" among with an AraMorph analyser. With the ambiguity in the Arab language, an automatic concordancer must answer several heuristics to reduce the multiplicity of solutions and must remain interactive and assist the inevitable expert intervention. This thesis consiss of a collection of original resources for the Arabic ATL ; a lists of the Arab particles and their matrix compatibilities, a list of frequent terms with roots for psycholinguistic and direct application of concordance for a corpus study of contemporary journalistic.
Literacy and Second Language Oracy

Learners who cannot decode alphabetic script have been left out of the SLA research enterprise, at considerable cost to our understanding of the human capacity for language learning. This book offers research evidence documenting the significant impact of low literacy skill on adolescents' processing of oral L2 input and acquisition. Together with a large body of closely related research in cognitive psychology, the findings lead to a startling conclusion: language processing skills that have been assumed to be universal human traits appear instead to be a product of learners' experience with alphabetic print literacy.
Dinàmica de la motilitat, la fosforil·lació de proteïnes i l'activitat mitocondrial de l'espermatozoide porcí durant la capacitació i reacció acrosòmica "in vitro"

L'objectiu principal d'aquesta tesi es contribuir a un millor coneixement dels mecanismes moleculars implicats en el correcte assoliment de la capacitacio "in vitro" (IVC) i posterior reaccio acrosomica "in vitro" (IVAR) dels espermatozoides porcins. Amb aquesta finalitat es va estudiar, per una banda, l'evolucio temporal de l'estructura subpoblacional en els espermatozoides porcins durant aquests processos i es va observar canvis espeifics en el percentatge de les diferents subpoblacions mobils sense que es perdes l'estructura de 4 subpoblacions descrita en l'ejaculat porci. Per altra banda, la IVC i la IVAR indueixen no sols canvis en la fosforil·lacio dels residus tirosina de les proteines sino que s'ha demostrat que la fosforil·lacio en els residus serina i treonina tambe esta relacionada amb la IVC i IVAR. Aixi, s'ha descrit, no tan sols l'aparicio de fosforil·lacio especifica en determinades proteines, sino tambe la induccio de canvis conformacionals en altres proteines i l'aparicio de senyal de fosforil·lacio en serina i treonina en l'acrosoma de l'espermatozoide relacionada amb IVC i IVAR. En tercer lloc, s'observa un augment de l'activitat mitocondrial durant la IVC i els primers minuts de IVAR. Nogensmenys, en aquest treball es descriu un patro concret d'activacio mitocondrial, des de nuclis concrets situats majoritariament a la part mes periferica de la peca intermitja de l'espermatozoide cap a la part central d'aquesta. Tanmateix l'actina i la mitofusina2 son dos proteines que podrien jugar un paper important en la modulacio de la funcio mitocondrial en l'espermatozoide porci.
Coding Effects on Performance in a Process Control Task with Uniparameter and Multiparameter Displays

Two experiments investigated the effectiveness of four methods for coding the operational states of targets in a process control task, under different levels of display density and inspection load, with search and identification tasks. In Experiment 1 subjects monitored one parameter (temperature) that could have four coded states. In Experiment 2 subjects monitored two parameters (temperature and oil level), each of which could have two coded states. Compared with partially redundant color coding or shape coding, color + shape coding and color coding led to quicker response time (RT) in a search task and mitigated the detrimental effects of increased display density. In addition, RT was faster with partially redundant color coding than with shape coding. Coding, however, had no effect on RT for the identification task. These findings held true across experiments. The effects of increased inspection load on RT were less pronounced with color + shape coding and color coding compared with the other coding conditions, but only when two parameters were monitored. Finally, RT was faster and responses were more accurate with one than with two parameters.
Analog VLSI Circuits for the Perception of Visual Motion

Foreword. Preface. 1 Introduction. 1.1 Artificial Autonomous Systems. 1.2 Neural Computation and Analog Integrated Circuits. 2 Visual Motion Perception. 2.1 Image Brightness. 2.2 Correspondence Problem. 2.3 Optical Flow. 2.4 Matching Models. 2.4.1 Explicit matching. 2.4.2 Implicit matching. 2.5 FlowModels. 2.5.1 Global motion. 2.5.2 Local motion. 2.5.3 Perceptual bias. 2.6 Outline for a Visual Motion Perception System. 2.7 Review of aVLSI Implementations. 3 Optimization Networks. 3.1 AssociativeMemory and Optimization. 3.2 Constraint Satisfaction Problems. 3.3 Winner-takes-all Networks. 3.3.1 Network architecture. 3.3.2 Global convergence and gain. 3.4 Resistive Network. 4 Visual Motion Perception Networks. 4.1 Model for Optical Flow Estimation. 4.1.1 Well-posed optimization problem. 4.1.2 Mechanical equivalent. 4.1. 3 Smoothness and sparse data. 4.1. 4 Probabilistic formulation. 4.2 Network Architecture. 4.2.1 Non-stationary optimization. 4.2.2 Network conductances. 4.3 Simulation Results for Natural Image Sequences. 4.4 Passive Non-linear Network Conductances. 4.5 Extended Recurrent Network Architectures. 4.5.1 Motion segmentation. 4.5.2 Attention and motion selection. 4.6 Remarks. 5 Analog VLSI Implementation. 5.1 Implementation Substrate. 5.2 Phototransduction. 5.2.1 Logarithmic adaptive photoreceptor. 5.2.2 Robust brightness constancy constraint. 5.3 Extraction of the Spatio-temporal Brightness Gradients. 5.3.1 Temporal derivative circuits. 5.3.2 Spatial sampling. 5.4 Single Optical Flow Unit. 5.4.1 Wide-linear-range multiplier. 5.4.2 Effective bias conductance. 5.4.3 Implementation of the smoothness constraint. 5.5 Layout. 6 Smooth Optical Flow Chip. 6.1 Response Characteristics. 6.1.1 Speed tuning. 6.1.2 Contrast dependence. 6.1. 3 Spatial frequency tuning. 6.1. 4 Orientation tuning. 6.2 Intersection-of-constraints Solution. 6.3 Flow Field Estimation. 6.4 DeviceMismatch. 6.4.1 Gradient offsets. 6.4.2 Variations across the array. 6.5 Processing Speed. 6.6 Applications. 6.6.1 Sensor modules for robotic applications. 6.6.2 Human-machine interface. 7 Extended Network Implementations. 7.1 Motion Segmentation Chip. 7.1.1 Schematics of the motion segmentation pixel. 7.1.2 Experiments and results. 7.2 Motion Selection Chip. 7.2.1 Pixel schematics. 7.2.2 Non-linear diffusion length. 7.2.3 Experiments and results. 8 Comparison to Human Motion Vision. 8.1 Human vs. Chip Perception. 8.1.1 Contrast-dependent speed perception. 8.1.2 Bias on perceived direction of motion. 8.1. 3 Perceptual dynamics. 8.2 Computational Architecture. 8.3 Remarks. Appendix. A Variational Calculus. B Simulation Methods. C Transistors and Basic Circuits. D Process Parameters and Chips Specifications. References. Index.
The RS-232 Character Repeater Refinement and Assurance Argument,

Abstract : Past experience in system security certification indicates the need for developers of high assurance systems to coherently integrate the evidence that their system satisfies its critical requirements. This document describes a method based on literate programming techniques to help developers present the evidence they gather in a manner that facilitates the certification effort. We demonstrate this method through the implementation and verification of a small but nontrivial, security-relevant example, an RS-232 character repeater. By addressing many of the important issues in system design, we expect that this example will provide a model for developing assurance arguments for full-scale composite systems with corresponding gains in the expediency of the system certification process.