Miracle-dz/UniFAR-FTUs huggingface dataset:
A kinematic comparison of the running A and B drills with sprinting

The A and B drills are two drills which are commonly used by sprinters as part of training. There is no scientifîc literature describing the biomechanics of these drills, nor are there any studies cornparing these drills to sprinting technique. The purpose of this study was to compare the biomechanics of the A and B drills to sprinting. Eight university level sprinters were recruited to participate in the study. The participants completed the A and B drills as fast and as technically perfectly as possible, followed by two 60 metre m s at maximum speed. While performing the drills and spnnting, the participants were videotaped fiom the frontal and sagittal views. These videotapes were then used for a kinematic cornparison of the drills and sprinting, based on select variables associated with sprint performance. One-way ANOVA was used to determine if significant differences existed among the three skills, with post-hoc tests determining where the differences were seen. There were significant differences in vertical displacemenr. vertical velocity. step frequency, support tirne, non-support time, shoulder range of motion (ROM), elbow flexion angular velocity (AV), tnink flexion, tnink rotation, pelvic rotation, hip flexion, hip extension AV, knee extension AV, ankle ROM, plantarflexion AV, and dorsiflexion AV. There were no significant differences in shoulder extension AV, elbow ROM, elbow extension AV, hip flexion AV, knee ROM, and knee flexion AV. Differences among the three skills were seen in the timing of peak angular velocity at the shoulder, hip, and knee. Differences among the three skills were also seen in the angle at which peak angular velocity occurred in the shoulder and ankle joint range of motion. From the resdts of this study, it was concluded that the kinematics in the A and B drills were not the same as sprinting. Coaches should be aware of these differences when incorporating the drills in training. 1 would like to thank the members of my thesis cornmittee. Dr. Kriellaan, Dr. Ready, and especially my advisor Dr. Alexander, for al1 the help and advice they provided me during the witing of rny thesis. Their assistance and patience was greatly appreciated and will not be forgonen. 1 would also like to thank Bob Nickel and Bill Gillespie for al1 their help with the organization of my project and the collection of my data. Without their help. this project never would have gone so smoothly. In addition, to Glenn Bruce for al1 the tirne we spent talking track. and for his help with my testing. 1 would especially like to thank my parents for their continued support throughout my schooling and the completion of my thesis. Knowing they were always there for me and had confidence in my abilities helped me accomplish my goals. Finally, I would like to thank Kim Summers for everything she has done for me. 1 will always be grateful for her patience and understanding. I could not have completed this thesis without her support.
The acquisition of information structure

Linguistic expressions of information structure, i.e., the formal reflexes of an utterance’s co(n)text integration, have recently gotten quite some attention in the study of first as well as second language acquisition. The primary dimensions of information structure that are often addressed in the acquisition literature include givenness (maintained vs. new information), aboutness (topic vs. comment) as well as emphasis and highlighting (e.g., contrastive topic, focus). Core questions that have been addressed in this area involve the following:
What effect will talk partners have in a primary writer’s workshop?

The intent of the research was to determine the effect of talk partners on student achievement in the content area of writing. The research study took place in a public elementary third grade classroom which consisted of twenty students. The four sources of data collection used in this research included two writing samples, an observation form to document the amount and duration of turn and talks, a survey for students and field notes recorded by both the teacher and coach. The data showed an overall increase in student achievement from the baseline to the summative writing samples. The students reported that using a talk partner was helpful during the writing workshop. The results of this research indicate that offering opportunities for students to turn and talk in a consistent manner can benefit their ability to write proficiently.
Social Media Data Mining: A Social Network Analysis of Tweets During the Australian 2010-2011 Floods

Using tweets extracted from Twitter during the Australian 2010-2011 floods, social network analysis techniques were used to generate and analyse the online networks that emerged at that time. The aim was to develop an understanding of the online communities for the Queensland, New South Wales and Victorian floods in order to identify active players and their effectiveness in disseminating critical information. A secondary goal was to identify important online resources disseminated by these communities. Important and effective players during the Queensland floods were found to be: local authorities (mainly the Queensland Police Services), political personalities (Queensland Premier, Prime Minister, Opposition Leader, Member of Parliament), social media volunteers, traditional media reporters, and people from not-for-profit, humanitarian, and community associations. A range of important resources were identified during the Queensland flood; however, they appeared to be of a more general information nature rather than vital information and updates on the disaster. Unlike Queensland, there was no evidence of Twitter activity from the part of local authorities and the government in the New South Wales and Victorian floods. Furthermore, the level of Twitter activity during the NSW floods was almost nil. Most of the active players during the NSW and Victorian floods were volunteers who were active during the Queensland floods. Given the positive results obtained by the active involvement of the local authorities and government officials in Queensland, and the increasing adoption of Twitter in other parts of the world for emergency situations, it seems reasonable to push for greater adoption of Twitter from local and federal authorities Australia-wide during periods of mass emergencies.
Examination of interactive experience: Construction of physical and social presence in virtual environments

Interactivity seems to be a familiar concept, which partially explains its frequent use in discussions about new communication technologies and what they can bring to communication studies. However, interactivity research has yet to reach a comprehensive and concrete consensus concerning the antecedents and consequences of interactive experiences. The main objective of this research is to determine the factors responsible for fostering the interactivity experience in the multiuser virtual environments and to observe how this variance in interactivity will affect the formation of physical and social presence. The study also examines the possible relationship between physical and social presence via correlation analysis and uses a one-way ANOVA with Post-Hoc Tests to designate the effects of interactivity on physical and social presence.
Analysis of the impact of papermaking variables on the structure and transport properties of paper samples by X-ray microtomography

Nous avons analyse l'effet des variables de la fabrication du papier sur les parametres de la structure et du transport des echantillons de papier. Divers echantillons de papier journal ont ete prepares sur une machine a papier pilote. Nous avons varie les parametres du procede et de la composition de fabrication, notamment la concentration de la pâte a la caisse d'arrivee, les sequestrants, et le calandrage. A l'Installation europeenne de rayonnement synchrotron de ESRF en France, nous avons obtenu par radiographie (rayons X) et scanographie (CA T) des images numeriques tridimensionnelles de la structure des echantillons. Nous avons alors determine des parametres de structure (porosite, surface specifique, dimensions des pores, tortuosite) et de transport (permeabilite, diffusivite) directement sur les images numeriques. Les resultats indiquent que le calandrage joue un role preponderant dans l'alteration de la structure et du transport des echantillons.
Scalable Optimization Algorithms for High-throughput Genomic Data

The problem of interpreting biological data is often cast into a mathematical optimization framework where a large body of existing computational theory and practical techniques can be leveraged. While this strategy has been particularly successful in the bioinformatics domain, the massive datasets generated by high-throughput genomic technologies are challenging the scalability of even the most advanced mathematical optimization algorithms. Indeed, as the cost per base of of DNA sequencing has dropped precipitously, even outpacing Moore's law, the size of many bioinformatics problems has grown beyond the limit of existing methods, necessitating new algorithms. This effect is felt even more acutely in the burgeoning field of single cell biology where advances in microfluidics has rapidly increased the ability of bench biologists to capture and sequence the genomes and transcriptomes of hundreds of cells per experiment. This dissertation presents novel computational method for answering three distinct biological questions: genome scaffolding, biomarker selection, and computational deconvolution of gene expression data from heterogeneous samples assisted by single-cell expression data. Each method strives to balance computational efficiency with the biological relevance of computed solutions. 2015 Preface Next-generation sequencing, microarrays and other high-throughput technologies have generated an enormous amount of biological data. Analysis of these large datasets poses significant bioinformatics challenges and requires novel algorithms that are accurate and scalable. Further compounding this challenge is the fact that new high-throughput technologies are often error prone. The following body of work explores the use of scalable optimization algorithms for three distinct bioinformatics problems. Genome scaffolding. At the core of modern genetics studies is availability of the genome sequence. There has been much work in developing scalable genome assembly algorithms that are both accurate and capable of working with high-throughput sequencing data. However it has been observed that extremely high-coverage, at a higher cost, is necessary to obtain contigs long enough to be biological useful. One key component of modern genome assembly pipelines is a scaffolding step whereby assembled contigs are ordered and oriented relative to each other. Integer linear programming (ILP) is a powerful combinatorial optimization technique that allows modeling and computing optimal solutions of complex real-world problems. One drawback of this approach is that in the worst-case ILP solvers can take exponential time. This work presents an ILP based solution to the scaffolding problem that is both accurate and scalable. Scalability is achieved through the use of Non-serial Dynamic Programming (NSDP), a technique which exploits the …
A Framework for GPU-accelerated Virtual Cardiac Intervention

Cardiovascular diseases is a major cause of deaths in many developed countries. To treat cardiovascular diseases, minimally invasive cardiac intervention is widely used as an effective yet complicated solution. Training of cardiac intervention thus plays a crucial role. This paper addresses the use of Virtual Reality (VR) technology for the simulated training of cardiac intervention. In particular, the paper describes the architecture of a simulation system for virtual cardiac intervention. The framework proposed consists of hardware component, software component and methodology component. As an enabling technology, Graphics Processing Unit (GPU) is applied in this work to enhance cardiac modeling, cardiac visualization, and cardiac interaction with the VR simulation environment.
Strategy Instruction in Writing in Academic Disciplines

This chapter reviews recent work that has attempted to apply understandings of domain-specific reading and writing processes to develop strategy instruction approaches in the disciplines of history and literature. The overall argument is that the principles and methods that have been developed in the field of cognitive strategy instruction helps us do a better job of teaching complex cognitive processes in disciplinary fields. The chapter reviews the basic components of cognitive strategy instruction together with their theoretical foundations. It briefly discusses variations in models of strategy instruction particularly with regard to self-regulation and social support. The chapter addresses applications of strategy instruction to writing-to-learn in history, briefly discussing research on cognitive processes in the discipline. It describes one study that applied strategy instruction to literary analysis. The chapter considers one approach to learning through writing in science that is consistent with strategy instruction principles. Keywords: cognitive strategy instruction; disciplinary fields; domain-specific writing process; domain-specific reading process; literary analysis; social support; strategy instruction principles
Knowledge Retrieval as Specialized Inference.

Abstract : Artificial intelligence reasoning systems commonly contain a large corpus of declarative knowledge, called a knowledge base (KB), and provide facilities with which the system's components can retrieve this knowledge. Formal specifications that capture certain informal intuitions about retrieval are developed, studied, and implemented by retrieval algorithms. Consistent with the necessity for fast retrieval is the guiding intuition that a retriever is, at least in simple cases, a pattern matcher, though in more complex cases it may perform selected inferences such as property inheritance. The entire process of retrieval can be reviewed as a form of inference and hence the KB as a representation, not merely a data structure. A retriever makes a limited attempt to prove that a queried sentence is a logical consequence of the KB. When constrained by the no-chaining-restriction, inference becomes indistinguishable from pattern matching. Imagining the KB divided into quanta, a retriever that respects this restriction cannot combine two quanta in order to derive a third. The techniques of model theory will build non-procedural specifications of retrievability relations, which determine what sentences are retrievable from what KBs. Model-theoretic specifications are presented for four retrievers, each extending the capabilities of the previous one. Each is accompanied by a rigorous investigation into its properties and a presentation of an efficient, terminating algorithm that provably meets the specification.
Theory and algorithms for cooperative systems

Over the past several years, cooperative control and optimization have increasingly played a larger and more important role in many aspects of military sciences, biology, communications, robotics, and decision making. At the same time, cooperative systems are notoriously difficult to model, analyze, and solve - while intuitively understood, they are not axiomatically defined in any commonly accepted manner. The works in this volume provide outstanding insights into this very complex area of research. They are the result of invited papers and selected presentations at the Fourth Annual Conference on Cooperative Control and Optimization held in Destin, Florida, November 2003.
Design and Analysis of Charge-Transfer Amplifiers for Low-Power Analog-to-Digital Converter Applications

DESIGN AND ANALYSIS OF CHARGE-TRANSFER AMPLIFIERS FOR LOW-POWER ANALOG-TO-DIGITAL CONVERTER APPLICATIONS William J. Marble Electrical and Computer Engineering Doctor of Philosophy The demand for low-power A/D conversion techniques has motivated the exploration of charge-transfer ampli ers (CTAs) to construct eAEcient, precise voltage comparators. Despite notable advantages over classical, continuous-time architectures, little is understood about the dynamic behavior of CTAs or their utility in precision A/D converters. Accordingly, this dissertation presents several advancements related to the design and analysis of charge-transfer ampli ers for low-power data conversion. First, an analysis methodology is proposed which leads to a deterministic model of the voltage transfer function. The model is generalized to any timing scheme and can be extended to account for nonlinear threshold modulation. The model is compared with simulation results and test chip measurements, and shows good agreement over a broad range of circuit parameters. Three new charge-transfer ampli er architectures are proposed to address the limitations of existing designs: rst, a truly di erential CTA which improves upon the pseudo-di erential con guration; second, a CTA which achieves more than 10x reduction in input capacitance with a moderate reduction in common mode range; third, a CTA which combines elements of the rst two but also operates without a precharge voltage and achieves nearly rail to rail input range. Results from test chips fabricated in 0.6 m CMOS are described. Power dissipation in CTAs is considered and an idealized power consumption model is compared with measured test chip results. Four gures of merit (FOMs) are also proposed, incorporating power dissipation, active area, input charging energy and accuracy. The FOMs are used to compare the relative bene ts and costs of particular charge-transfer ampli ers with respect to ash A/D converter applications. The rst 10-bit CTA-based A/D converter is reported. It consumes low dynamic power of 600 W/MSPS from a 2.1 V supply, 40% less than the current state of the art of 1 mW/MSPS. This subranging type converter incorporates capacitive interpolation to achieve a nearly ideal comparator count and power consumption. A distributed sample-and-hold (S/H) eliminates the need for a separate S/H ampli er. A test chip, fabricated in 0.6 m 2P/3M CMOS, occupies 2.7 mm and exhibits 8.2 e ective bits at 2 MSPS.
A Routing Protocol for Assuring Scalability and Energy Efficiency of Wireless Sensor Network

While the wireless sensor network has a strong point which does not have effect on whole activities of network even though neighboring sensor nods fail activities of some sensor nod or make some functions disappear by the characteristic of similar information detection, it has problems which is slowing down of wireless medium, transfer character with severe error, limited power supply, the impossibility of change by optional arrangement of sensor nods etc. This paper proposes PRML techniques which performs the fittest course searching process to reduce power consumption of entire nods while guarantees the scalability of network organizing sensor nods hierarchically. The proposed technique can scatter the load of cluster head by considering the connectivity with surplus energy of nod and reduce the frequency of communication among the nods. As a result of the analysis in comparison with LEACH-C and HEED technique, PRML technique get efficiency of average 6.4% in energy consuming respect of cluster head, efficiency of average 8% in entire energy consuming respect, and more efficiency of average 7.5% in other energy consuming distribution of network scalability than LEACH-C and HEED technique.
Semantic Intersections between Artificial and Artistic Vision

En el presente articulo se ha desarrollado un sistema capaz de categorizar de forma automatica la base de datos de imagenes que sirven de punto de partida para la ideacion y diseno en la produccion artistica del escultor M. Planas. La metodologia utilizada esta basada en caracteristicas locales. Para la construccion de un vocabulario visual se sigue un procedimiento analogo al que se utiliza en el analisis automatico de textos (modelo "Bag-of-Words"-BOW) y en el ambito de las imagenes nos referiremos a representaciones "Bag-of-Visual Terms" (BOV). En este enfoque se analizan las imagenes como un conjunto de regiones, describiendo solamente su apariencia e ignorando su estructura espacial. Para superar los inconvenientes de polisemia y sinonimia que lleva asociados esta metodologia, se utiliza el analisis probabilistico de aspectos latentes (PLSA) que detecta aspectos subyacentes en las imagenes, patrones formales. Los resultados obtenidos son prometedores y, ademas de la utilidad intrinseca de la categorizacion automatica de imagenes, este metodo puede proporcionar al artista un punto de vista auxiliar muy interesante.
Handbook on Ontologies (International Handbooks on Information Systems)

In this article we look at how the use of ontologies can assist in analysing Handbook on Ontologies. International Handbooks on Information. Systems. Bibliographic content of International Handbooks on Information Systems. Handbook on Business Process Management 2015 Handbook on Ontologies. Ontologies are a fundamental component in many systems following this kind The information stored in the ontological links allows the devising of heuristics for Handbook on Ontologies. (Online) International Handbooks on Information.
Análisis de obstáculos en guía de onda rectangular bajo MATLAB para aplicaciones docentes

The aim of this work is to easily facilitate the student the knowledge of the electrical equivalent circuit of the different obstacles used to develop resonators inside a waveguide like: irises, posts, screws, etc. The software presented here OBSTAGUIA has been made under friendly user philosophy and is self-explicative. The able to simulate all types of obstacles, coupled with the graphical and mathematical capacities of MATLAB makes this software an interesting tool easy to use by users at any level. The second objective of this work is the use of the computing routines developed, into more ambitious software capable to design waveguide filters from the user specifications, this software called Wavefil is now under development.
A G-Learning Model of Interworking with Gameplay and Learning Play by Motivation Mechanisms

The learning by computer games, is in the spotlight as an effective education method for the game generation. The current design methods for educational games is to design all needed game elements and learning elements which should be included in. So to design an educational game for motivation and learning effects, is generally difficult. In this paper, we propose the G-learning model IGLM which is interworked with gameplay and learning play by motivation mechanism, in order to solve the difficult problem. The comparative analysis of the proposed model IGLM on the design difficulty with the current design methods for educational games or G-learning, shows the proposed method can be a solution of the design difficult problem and is the best on the difficulty of, the freedom of, and the scope of designing the component parts of educational games or G-learning.
Training and optimization of product unit neural networks

Product units in the hidden layer of multilayer neural networks provide a powerful mechanism for neural networks to efficiently learn higher-order combinations of inputs. Training prod­ uct unit neural networks using local optimization algorithms is difficult due to an increased number of local minima and increased chances of network paralysis . This thesis discusses the problems with using local optimization, especially gradient descent, to train product unit neural networks, and shows that particle swarm optimization, genetiC algorithms and leapfrog are efficient alternatives to successfully train product unit neural networks. Architecture se­ lection, i.e. pruning, of product unit neural networks is also studied and applied to determine near optimal neural network architectures that are used in the comparative studies.