Miracle-dz/UniFAR-FTUs huggingface dataset:
The Effect of Prior Knowledge, Reading and Mathematics Achievement, and Sex on Comprehending Mathematical Relationships Expressed in Graphs. Final Report.

The purpose of this study was to extend the schema-theoretic perspective of understanding general discourse to include graph comprehension. The sample included 204 fourtha 1 185 seventh-grade public school children. The data collection included achievement in reading and mathematics, sex, prior knowledge of topic, mathematical content, and graphical form, and graph comprehension. Separate correlation and regression analyses were performed to identify those factors which predict ability to comprehend graphs for fourthand seventh-graders. t-tests were calculated to determine the significance of the difference between the means with respect to sex. Also, descriptive data were-included in a supplemental analysis to highlight the statistical analysis. The results indicated that all the independent variables, except sex, are unique predictors of graph comprehension for fourth graders. The unique predictors of graph comprehension for seventh graders included mathematics achievement, reading achievement, and prior knowledge of mathematical content. There were no significant sex-related differences between fourth-grade girls and boys. A change in achievement patterns was observed for young adolescents: seventh-grade girls significa.itly outperformed boys in mathematics achievement. The results imply that fourth graders, who in general have a restricted global knowledge base, focus their attention upon the "surface structure" of the graph (i.e., the topic and graphical form). As highlighted in the interviews, this surface structure might distract them from attending to the message of the graph. Seventh graders can scan the graph more effectively and then become more concerned with the "deep structure" of the graph (i e., the mathematical content). The conclusion of this report contains implications for teachers.
Focus in Atlantic languages

This paper presents an overview of the formal markings characteristic of focus in Atlantic languages and reflection on some problematic uses of focused forms. A common (but not universal) feature of these languages is the use of verb morphology (in various ways) to express focus. What is most remarkable in several Atlantic languages (and apparently specific to this group) is that (1) verb forms indicate the syntactic status of the focused constituent; (2) these verb forms often merge focus, aspect, and voice features. This organization of the verb system has consequences for the range of uses of focused forms, in particular, for verb focus which is often used to express a mere statement in the case of verbs expressing a quality. These uses are accounted for through a renewed definition of the focused sentence as a "split assertion" involving a temporal presupposition and a qualitative designation.
Fast pedestrian detection using LBP-based patterns of oriented edges (パターン認識・メディア理解)

AbstraeThis paper introduces a simple yet efTicient algorithm for pedestrian detection on low resolution images. The main objective is to create a successfu1 means of achieving a real-time pedestrian detection flpplication. While the framework of the system consists of edge orientations combined with the LBP feature extractor, a novel way of selecting the threshold is introduced. With the objective being a" efficient car vision algorithm, it is assumed that the negative samples in this context are mainly uniformly textured objects such as trees, roads,
Topological arrangement of nodes in wireless networks suitable for the implementation of network coding

In this paper, we discuss the physical arrangement of wireless nodes to form topologies suitable for the implementation of Network Coding. We calculate the areas in which each node must be located for a specific Network coding suitable topology to be formed. We simulate these identified topologies in OPNET Modeler to analyze the practicality of implementing network coding in these topologies. We provide results indicating the trade-off between reduced network load and higher end-to-end delay. These results indicate that implementation of the simulated topologies will be valuable for future research.
A language for proving theorems in robots

PLANNER is a language for proving theorems and manipulating models in a robot. The language is built out of a number of problem solving primitives together with a hierarchical control structure. Statements can be asserted and perhaps later withdrawn as the state of the world changes. Conclusions can be drawn from these various changes in state. Goals can be established and dismissed when they are satisfied. The deductive system of PLANNER is subordinate to the hierarchical control structure in order to make the language efficient. The use of a general purpose matching language makes the deductive system more powerful.
Highlighting the essentials of the behaviour of reactive systems in test descriptions using the behavioural atomic element

The work described in this paper depicts an approach how to close the lack of structure for test specifications, test descriptions and test data representations. On the example of a test data representation with the eXtensible Markup Languange (XML), it will be shown how to form the structure using the behavioural atomic element and two testing patterns, i.e. for test stimuli and test reactions. The patterns are described using Petri net semantics. The scalability and flexibility of the approach, i.e. enabling the consideration of domain specific information, will also be shown on the example of the testing format. The pros and cons for using non-black box information in test descriptions and reference black box behaviour specification for reactive systems, like actions, tasks and processes as well as system states in addition to the interface events, will also be discussed in this paper.
Geographic Data Mining and Knowledge Discovery

Any books that you read, no matter how you got the sentences that have been read from the books, surely they will give you goodness. But, we will show you one of recommendation of the book that you need to read. This geographic data mining and knowledge discovery is what we surely mean. We will show you the reasonable reasons why you need to read this book. This book is a kind of precious book written by an experienced author.
Improving the forward model for electrical impedance tomography of brain function through rapid generation of subject specific finite element models

Electrical Impedance Tomography (EIT) is a non-invasive imaging method which allows internal electrical impedance of any conductive object to be imaged by means of current injection and surface voltage measurements through an array of externally applied electrodes. The successful generation of the image requires the simulation of the current injection patterns on either an analytical or a numerical model of the domain under examination, known as the forward model, and using the resulting voltage data in the inverse solution from which images of conductivity changes can be constructed. Recent research strongly indicates that geometric and anatomical conformance of the forward model to the subject under investigation significantly affects the quality of the images. This thesis focuses mainly on EIT of brain function and describes a novel approach for the rapid generation of patient or subject specific finite element models for use as the forward model. After introduction of the topic, methods of generating accurate finite element (FE) models using commercially available Computer-Aided Design (CAD) tools are described and show that such methods, though effective and successful, are inappropriate for time critical clinical use. The feasibility of warping or morphing a finite element mesh as a means of reducing the lead time for model generation is then presented and demonstrated. This leads on to the description of methods of acquiring and utilising known system geometry, namely the positions of electrodes and registration landmarks, to construct an accurate surface of the subject, the results of which are successfully validated. The outcome of this procedure is then used to specify boundary conditions to a mesh warping algorithm based on elastic deformation using well-established continuum mechanics procedures. The algorithm is applied to a range of source models to empirically establish optimum values for the parameters defining the problem which can successfully generate meshes of acceptable quality in terms of discretization errors and which more accurately define the geometry of the target subject. Further validation of the algorithm is performed by comparison of boundary voltages and image reconstructions from simulated and laboratory data to demonstrate that benefits in terms of image artefact reduction and localisation of conductivity changes can be gained. The processes described in the thesis are evaluated and discussed and topics of further work and application are described.
The Use of XML to Describe Function and Taxonomies in Computer-based Design

A standardized representation of engineering function has been developed, consisting of schemata for functions and associated flows along with taxonomies of generic functions and flows. This paper presents a mapping of this representation into the Extensible Markup Language (XML), a language similar in appearance to HTML but which allows the development of user-defined tags, various kinds of references, and other mechanisms. The formal representation provides the means for representing functions that have multiple input and output flows, properties and parameters associated with these flows, and the decomposition of functions into subfunctions each potentially having its own distinct flows. This mapping has been developed in order to support representation of artifact function models in software systems, as well as to provide a neutral format for exchange of function-based information among software systems.
Numerical Platon: a unified linear equation solver interface for industrial softwares

This paper describes a tool called Numerical Platon developed by the French Atomic Energy Commission (CEA). It provides an interface to a set of parallel linear equation solvers for high-performance computers that may be used in industrial software written in various programming languages. This tool was developed as part of considerable efforts by the CEA Nuclear Energy Division in the past years to promote massively parallel software and on-shelf parallel tools to help develop new generation simulation codes. After the presentation of the package architecture and the available algori thms, we show examples of how Numerical Platon is used in CEA codes.
Learning Theory and Online Technologies

Learning Theory and Online Technologies offers a powerful overview of the current state of elearning, a foundation of its historical roots and growth, and a framework for distinguishing among the major approaches to elearning. It effectively addresses pedagogy (how to design an effective online environment for learning), evaluation (how to know that students are learning), and history (how past research can guide successful online teaching and learning outcomes). An ideal textbook for undergraduate education and communication programs, and Educational Technology Masters, PhD, and Certificate programs, readers will find Learning Theory and Online Technologies provides a synthesis of the key advances in elearning theory, the key frameworks of research, and clearly links theory and research to successful learning practice.
Insight into Images: Principles and Practice for Segmentation, Registration, and Image Analysis

A companion to the Insight Toolkit An introduction to the theory of modern medical image processing, including the analysis of data from - X-ray computer tomography, - magnetic resonance imaging, - nuclear medicine, - and ultrasound. Using an algorithmic approach, and providing the mathematical, statistical, or signal processing as needed for background, the authors describe the principles of all methods implemented in the Insight Toolkit (ITK), a freely available, open- source, object-oriented library. The emphasis is on providing intuitive descriptions of the principles and illustrative examples of results from the leading filtering, segmentation, and registration methods. This book covers the mathematical foundations of important techniques such as: - Statistical pattern recognition, - PDE-based nonlinear image filtering, - Markov random fields, - Level set methods, - Deformable models, - Mutual information, image-based registration - Non-rigid image data fusion With contributions from: Elsa Angelini, Brian Avants, Stephen Aylward, Ting Chen, Jeffrey Duda, Jim Gee, Luis Ibanez, Celina Imielinska, Yinpeng Jin, Jisung Kim, Bill Lorensen, Dimitris Metaxas, Lydia Ng, Punam Saha, George Stetten, Tessa Sundaram, Jay Udupa, Ross Whitaker, Terry Yoo, and Ying Zhuge. The Insight Toolkit is part of the Visible Human Project from the National Library of Medicine, with support from NIDCR, NINDS, NIMH, NEI, NSF, TATRC, NCI, and NIDCD.
AcQuire-macros: An Algorithm for Automatically Learning Macro-actions

We present part of a new algorithm for automatically growing macro-actions online in a reinforcement learning framework. We call this algorithm acQuire-macros. We present preliminary empirical results of using acQuire-macros in a simulated dynamical robot task where acQuire-macros enables the robot to discover useful macro-actions during learning.
The Juicer LVCSR Decoder - User Manual for Juicer version 0.5.0

Juicer is a decoder for HMM-based large vocabulary speech recognition that uses a weighted finite state transducer (WFST) representation of the search space. The package consists of a number of command line utilities: the Juicer decoder itself, along with a number of tools and scripts that are used to combine the various ASR knowledge sources (language model, pronunciation dictionary, acoustic models) into a single, optimised WFST that is input to the decoder.
A meshing scheme for memory efficient adaptive rendering of subdivision surfaces

Adaptive subdivision of triangular meshes is the next step for surface generation algorithms like those used for displacement mapping, where a highly detailed model can be constructed from a coarse triangle mesh and a displacement map. In this case the communication requirements between the CPU and the graphics pipeline can be reduced if the displacement mapping projection is performed in an adaptive tessellation unit attached to the graphics pipeline. This paper presents an architecture for the implementation of the adaptive subdivision of triangular meshes in which the coarse triangle mesh is tessellated according to the surface complexity described by the displacement map. The mesh connectivity description we employ permits the reduction of the memory requirements while simultaneous allowing quick access to all the data required for each subdivision step. As a result, we obtain a regular architecture, characterized by an optimum data management that minimizes the data storage and avoids the waiting cycles associated with the multiple data accesses required for each subdivision step.
Demonstrations of Dialogue Design Tools in the CSLU Toolkit

The CSLU Toolkit and accompanying tutorials are designed to provide a platform for researching and developing language technologies and systems, and to engage naive users in using and experimenting with interactive language systems. We provide a set of demonstrations in this special session that illustrate capabilities. They include rapid prototyping of a spoken dialogue system that integrates an animated talking face, speech recognition and text-to-speech synthesis, and a variety of applications created by practitioners using the rapid application developer.
Identification of materials used in a wooden coffin lid covered with composite layers dating back to the Ptolemaic period in Egypt

A tampa de um sarcofago de madeira, de proveniencia desconhecida, com camadas de preparacao e cromatica e texteis antigos, foi encontrada na cave do Museu Egipcio, no Cairo (JE 36806). A informacao obtida permitiu a concluir que a tampa remonta ao periodo Ptolemaico do Egipto (332-30 a. C.), enquanto o textil nao pertence a tampa. Para avaliar a deterioracao e a estrutura da tampa do sarcofago e perceber como foi feita na oficina da necropole, foi usada radiografia de raios X, fotografia, microscopia optica, microscopia USB de luz reflectida, espectroscopia de infravermelho com transformada de Fourier com reflexao total atenuada (FTIR-ATR), espectroscopia de raios X dispersiva de energia (EDX), difraccao de raios X (XRD) e espectroscopia de Raman.
A method for knowledge discovery and development with health data

One of the most overlooked problems in the field of knowledge discovery is the acquisition and incorporation of existing knowledge about the data being analysed (Fayyad, Piatetsky-Shapiro et al. 1996; Pohle 2003; Kotsifakos, Marketos et al. 2008; Marinica and Guillet 2009). Doing this efficiently and effectively can greatly improve the relevance and usefulness of the results discovered, particularly for complex domains with a large amount of existing knowledge (Adejuwon & Mosavi, 2010; C. Zhang, Yu, & Bell, 2009). This study applies the successful Multiple Classification Ripple Down Rules (MCRDR) knowledge acquisition method to build a knowledge base from a complex dataset of lung function data, and describes a method for utilising the dataset to provide additional knowledge validation. The method acquired knowledge successfully, but indicated that a focus on rule-driven knowledge acquisition may adversely affect the MCRDR process. Knowledge acquisition was performed with multiple domain experts, with separate knowledge bases successfully consolidated using an evidence-based method to quantify differences and resolve conflicts. This knowledge comparison method was also tested as a learning and assessment tool for a small group of medical students, with positive results. In addition, the consolidated expert knowledge base was applied to the analysis of the lung function data, with a set of common data mining techniques, to reproduce and expand on a group of published lung function studies. Results showed that new knowledge could be discovered effectively and efficiently in a complex domain, despite the user having little domain knowledge themselves. Results were supported by recent literature, and include findings that may be of interest in the respiratory field. Notably, newly discovered knowledge is automatically incorporated into the knowledge base, allowing incremental knowledge discovery and easy application of those discoveries.
Traffic generator software release notes

Apparatus for controlling the phase of a clock signal in a data transmission system is described. In the latter system the data signal is pulse amplitude modulated, routed to a receiver-demodulator over a transmission path, the data signal retrieved by means of a sampling circuit and coupled to a data sink. A difference signal is produced from the demodulated and the data signals; the amplitudes of the difference signal characterize the amplitude differences between the demodulated and the data signals at predetermined sampling instants. Using the demodulated signal a slope signal, which is indicative of the slope of the demodulated signal at the sampling instants is produced. The difference and slope signals are multiplied producing a product signal having amplitudes equal to the product of the latter two signals. The product signal forms a control signal for altering the phase of the clock signal by adding to or suppressing pulses emitted from a frequency divider.
Software Engineering using Typed Functional Programming

This thesis makes three distinct contributions to software engineering, using typed functional programming. First, we present a schema to reduce polymorphic properties to an equivalent monomorphic property, for the purpose of testing. Our proof uses parametricity and properties of initial algebras. Second, we compare haskell type classes with their counterpart in C++. We contribute to an improved understanding of language support for generic programming, and hope to facilitate discussion between maintsream and functional programming language communities. Third, we present a parsing library for incremental analysis of source code. This is an example of a non-trivial application of the principles of typed functional programming and lazy evaluation.
Development of an expert system-based experimental frame for modeling of manufacturing systems

Scope and method of study. The overall goal of this research was to develop a methodology that utilizes expert systems in the experimental frame module of an advanced modeling environment for manufacturing systems in order to provide timely assistance to the problem definition and solver selection decision making processes. Such an experimental frame expert system includes (1) a problem definition knowledge base which is capable of deriving a structured problem from a set of symptoms, and (2) a tool selection knowledge base which is capable of recommending the most suitable tools (analysis and/or optimization) to address the defined structured problem. In the construction of these two knowledge bases, knowledge acquired from multiple experts (from both industry and academia) is utilized. Findings and conclusions. The primary motivation for this research was the author's desire to contribute to the advancement of modeling of complex manufacturing systems by addressing some of the issues related to the shortcomings of traditional modeling methodologies including the lack of reusability and lack of accessibility. At the highest level, the outcome of this research effort is a new framework within which expert systems are combined with object oriented modeling paradigm to maximize the accessibility of models by non-modeling specialists. Lists of symptoms, problems, and what-if questions which can be commonly found in discrete part manufacturing systems are collected, organized, and presented. Mappings of the collected symptoms to structured problems and the structured problems to a set of tools are also collected, organized, and presented. A proof of concept implementation of this framework in which the experimental frame expert system (EFES) works with the advanced modeling environment (AME) under development in the Center for CIM at OSU was developed under the Smalltalk-80 based VisualWorks 2.0 development environment. This implementation demonstrates promising potential for further research and commercial application of this methodology.
TopicRank en domaines de spécialité : participation du LINA à DEFT 2016

Cet article presente la participation de l'equipe TALN du LINA au defi fouille de textes (DEFT) 2016. Developpe pour l'indexation de mots-cles, notre systeme reprend une methode a base de graphe etat de l'art dans le domaine (TopicRank) et l'etend afin de mieux repondre aux attentes d'une indexation professionnelle realisee dans le cadre d'une bibliotheque scientifique numerique. Notre systeme s'est classe a la troisieme place sur un total de cinq participants. ABSTRACT LINA at DEFT 2016 This article presents the participation of the TALN group at LINA to the defi fouille de textes (DEFT) 2016. Developed specifically for automatic keyphrase annotation, our system improves an existing method (TopicRank), mimicking professional indexers of Digital Libraries. Our system ranked third out of a total of five systems. MOTS-CLES : DEFT 2016, extraction de mots-cles, assignement de mots-cles, methode a base de graphe, domaine de specialite.