Miracle-dz/UniFAR-FTUs huggingface dataset:
Bases 2013 Abstracts

Previous literature has shown a small but positive effect of exercise on cognitive function in young people (Chang et al [2012]. Brain Research, 1453, 87-101), though this relationship is complicated by factors such as the mode, intensity and duration of exercise, the components of cognitive function examined and the timing of the cognitive tests relative to exercise. Specifically, bilateral coordinative exercise (exercise with a greater cognitive involvement) has been demonstrated to improve subsequent attention in adolescents (Budde et al [2008]. Neuroscience Letters, 441, 229-223). The aim of the present study was to examine the effects of a circuit of aerobic and coordinative exercises on Stroop test performance in adolescents. Following approval from the institutions ethical advisory committee, 34 adolescents (age: 13.2±0.3 years; height: 155.4±6.0 cm; body mass: 50.2±9.9 kg) completed a familiarisation session followed by two (exercise and resting) experimental trials. Sixty minutes following provision of an ad libitum breakfast (matched for subsequent experimental trial), participants completed the 15 min bout of exercise or continued to rest. The exercise consisted of a circuit of 10 exercises (alternate aerobic and coordinative exercises), each completed for 1 min with 30 s rest between stations. The Stroop test, measuring attention and executive function, was completed 30 min pre-, 5 min post- and 60 min post-exercise. Heart rate during the exercise was 158±15 beats.min-1. Response times were not different across the morning on the exercise and resting trials, between the baseline and complex levels of the Stroop test (trial by session time by test level interaction, P=0.408). However, there was a significant trial by session time by test level interaction for accuracy on the Stroop test (P=0.039). Upon further analysis, this was due to an improvement in accuracy 5 min post-exercise on the baseline level of the Stroop test (exercise + 2.1%, resting -1.8 %; trial by session time interaction, P=0.010), an effect which was not evident on the complex level (trial by session time interaction, P=0.543). The findings of the present study suggest that the accuracy of attention and executive function (as assessed by the Stroop test) is enhanced immediately following circuits based exercise in adolescents, but that this effect is not evident 60 min post-exercise. There was no effect of the circuits based exercise on response times on the Stroop test. These results have implications for school policy makers, given the importance of cognitive function (and in particular executive function) for academic performance.
Phenotypic selection and response to selection in Lobularia maritima: importance of direct and correlational components of natural selection

By using selection differentials, gradients and structural equation modelling (SEM), I have quantified the phenotypic selection acting on Lobularia maritima (Cruciferae) flower size, display, colour and density, using data on lifetime female fitness. Furthermore, by analysing the resulting F1 generation in field and greenhouse conditions, I estimated the actual intergenerational change in the value of these traits. Both pollinators preferred plants with many and large flowers. Strong directional selection for increased flower display was found in all years of the study, regardless of the technique used. Indirect selection due to a high significant correlation with flower display occurred on flower colour and size. SEM showed that pollinators played only a minor role in this observed phenotypic selection. The analysis of the phenotypes of F1 plants showed that flower display actually increased across generations. In addition, white flowers were significantly more frequent in the offspring population than in the parental one, mostly due to the association between flower display and white coloured flowers. This suggests that both direct and indirect selection can play a role in the evolution of correlated traits in this crucifer.
Weak lensing of intensity mapping: The cosmic infrared background

Author(s): Schaan, E; Ferraro, S; Spergel, DN | Abstract: © 2018 American Physical Society. Gravitational lensing deflects the paths of cosmic infrared background (CIB) photons, leaving a measurable imprint on CIB maps. The resulting statistical anisotropy can be used to reconstruct the matter distribution out to the redshifts of CIB sources. To this end, we generalize the cosmic microwave background (CMB) lensing quadratic estimator to any weakly non-Gaussian source field, by deriving the optimal lensing weights. We point out the additional noise and bias caused by the non-Gaussianity and the "self-lensing" of the source field. We propose methods to reduce, subtract, or model these non-Gaussianities. We show that CIB lensing should be detectable with Planck data and detectable at high significance for future CMB experiments like CCAT-Prime. The CIB thus constitutes a new source image for lensing studies, providing constraints on the amplitude of structure at intermediate redshifts between galaxies and the CMB. CIB lensing measurements will also give valuable information on the star-formation history in the Universe, constraining CIB halo models beyond the CIB power spectrum. By laying out a detailed treatment of lens reconstruction from a weakly non-Gaussian source field, this work constitutes a stepping stone toward lens reconstruction from continuum or line intensity mapping data, such as the Lyman-alpha emission, absorption, and the 21 cm radiation.
Moocs - a Force to BE Reckoned with or a Temporary Phenomenon

The digital revolution has dramatically changed our everyday life. Using the Internet has evolved into a key technology that became an indispensable information source. The expansion of Internet usage beyond mere information storage to a learning and communication tool sets new standards for the development of educational concepts. Digital textbooks, multimedia tutorials, elearning offers using learning management systems and massive open online courses (MOOCs) demonstrate the development phases of new strategies for knowledge transfer. Initially starting in the USA MOOC platforms like Udacity, Coursera or edX had gained an enormous media attention caused by the huge number of participants. Initially this new teaching method was welcomed euphorically; the didactic preparation of courses is however viewed with scepticism, particularly in Europe. This paper will review the status of MOOCs, with a particular emphasis on Photogrammetry, Remote Sensing, and Geomatics. A selection of these 'Geo-MOOCs' will be presented. The consideration of these free online learning resources will include a commentary on quality and perceived effectiveness. Finally it will be outlined if MOOCs are reasonable and promising in our fields.
Simulasi Filter Kalman untuk Estimasi Posisi dengan Menggunakan Sensor Accelerometer

Filtering is desirable in many situations in engineering and embedded system. A good filtering algorithm can remove the noise from signal and then the information can useful. The Kalman filter is a recursive solution to the process linear filtering problem. The process that use Kalman filter must be approximated as linear system. A linear system is simply a process that can be discribed by two equations, state equation and output equation. This filter has a set of mathematical equations that provides an effecient computational (recursive) means to estimate the state of the process. Computation of Kalman filter is minimizes the mean of the square error. This paper explore the basic concepts that known as design and implement a Kalman filter algorithm to solve a vehicle navigation problem. The measurement noise covariance contributes to the overall uncertainty of the estimate as it is addded to the error covariance matrix in each time step. If the error covariance matrik is small the Kalman filter incorporates a lot less of the measurement into estimate of position.
A survey of clustering methods

Author(s): Gennari, John H. | Abstract: In this paper, I describe a large variety of clustering methods within a single framework. This paper unifies work across different fields, from biology (numerical taxonomy) to machine learning (concept formation). An important objective for this paper is to show that one can benefit by a knowledge of research across different disciplines. After describing the task from a set of different viewpoints or paradigms, I begin by describing the similarity measures or evaluation functions that form the basis of any clustering technique. Next, I describe a number of different algorithms that use these measures, and I close with a brief discussion of ways to evaluate different approaches to clustering.
Turbo décodage de code produit haut débit utilisant un code BCH étendu (128,106,8) t=3

This paper presents a new turbo decoding architecture for BCH(128,106,8) t=3 codes based on soft inputs and soft outputs. The design of each decoder is based on the concept of parallel decoding architecture and from the properties of product codes, this paper presents the design and complexity of three decoders able to process 2, 4 and 8 data at the same time to achieve very high data rates in decoding. To compare the performances and complexity of the decoders we have used language C for simulations, VHDL for functional simulations and Synopsys Design Compiler for the synthesis. The results obtained open the possibility future of integration on silicon of turbo decoders for high data rates (6.4 Gbits/s) with strong error correction power (minimum distance of 64, code rate of 0.8).
Visualización de sistemas dinámicos a partir de un conjunto de muestras

La Visualización Científica se basa en el empleo de técnicas derivadas de la Computación Gráfica para la representación de datos científicos de diverso tipo [1, 6}. Los resultados producidos no son meramente una representación cuantitativa de los datos. Lo que se busca, en cambio, es un entendimiento global de determinadas propiedades del modelo o de la simulación que los produjo [4, 5] de manera de hacer comprensible o evidente alguna característica específica de los mismos.
Accessing meteorological data in INSPIRE

In the information age, information is of vital importance to the economic and social development of a country. Meteorological data, is multidimensional, continually evolving, highly spatial and highly temporal in nature. It is of great importance to a wide range of stakeholders including national agencies, private weather services, defense, transportation, aviation, national infrastructures, financial institutions and the general public. Members of the WMO (World Meteorological Organization) have vast amounts of data. However, this data is stored in many different formats based on various conceptual models (e.g. BUFR, GRIB, NetCDF, HDF). INSPIRE is a European Union initiative to create interoperability between spatial datasets among various communities. The main goal of this project is to suggest the most appropriate INSPIRE Download Service to access meteorological data. This project uses BUFR data and tries to access it through Climate Science Modeling Language (CSML), which is a data model and software framework for accessing meteorological data and retrieve it through standard geospatial web services. Based on the testing, suitable INSPIRE Download Service will be suggested. This helps to bridge the gaps between the geospatial, meteorological communities, and policy makers.
Annual conference of the british association of sport and exercise sciences

A decreased kinematic variability was found in runners with patellofemoral pain compared with uninjured runners (Hamill et al., 1999: Clinical Biomechanics, 14, 297 – 308). Therefore, the aim of this study was to investigate the kinematic, kinetic, and EMG activity variability in runners with Achilles tendinopathy. Thirty-four uninjured runners (body mass 67.8±10.5 kg; height 1.71±0.09 m; age 37.0±9.2 years) and 25 runners diagnosed with Achilles tendinopathy (body mass 77.6±12.6 kg; height 1.78±0.07 m; age 41.8±9.7 years) were recruited. After receiving institutional ethics approval, the participants performed 10 trials at a self-selected running .
Harvesting useful information from researchers' home pages

An improved shield for preventing the contamination of a wafer back from resist is combined with process steps that further prevent this contamination. The shield is located where vortex like air currents could otherwise deposit the resist vapor on the wafer back. The shield has the general shape of a cylinder that is open at the top and closed at the bottom. The bottom provides an attachment to a conventional part of the wafer coater and also forms part of the shield. The sides are arranged to extend close to the wafer back at a radius just less than the radius of the wafer. In the improved process, the spindle of the wafer chuck is not rotated at more than 1200 revolutions per minute in any of the wafer spinning operations, and the conventional step of washing the wafer back with a solvent is performed only at the end of the other operations.
Integração de Conhecimento Temporal em Sistemas Inteligentes

Time, as space or movement, is a fundamental category of knowledge in human cognition and is orthogonal to the majority of knowledge domains. Hence, temporal reasoning and representation play a major role in the development of intelligent applications. However, assembling temporal knowledge in this kind of applications is still a complex and time-consuming process. It needs to consider the capture of many ontological aspects as well as satisfy application quality restrictions like performance, efficiency and user specifications. In order to address both aspects, in the developed work, two different components were considered: verification and formalisation. The verification process aims to ensure that a particular system was developed using suitable techniques and methods, satisfying end-user specifications. In the context of verification of intelligent systems, anomaly detection remains as one of the methods with best results. Hence, we developed a set of algorithms for automatic detection of anomalies in knowledge with temporal characterization. The result of this work materialized as a tool, named Veritas, that was applied in the Sparse verification, an expert system for incident diagnosis in the Portuguese electrical network. Concerning time formalisation, we propose a method which uses a divide-andconquer approach, in order to assist time engineering in intelligent systems through the assembling of ontologies, which capture multiple knowledge categories. A tool, named Fonte, was developed to support the proposed method. This tool is able to produce, in an iterative and interactive fashion, suggestions for automatic assembly of the knowledge categories. The developed tool was successfully applied in the engineering of time aspects of DFault, an ontology related to incident diagnosis in electrical networks.
Multiple Access Covert Channels

Abstract : In this paper we consider the situation of multiple malicious transmitters attempting to covertly communicate with a single receiver, We show how the situation of non-collaborating transmitters can be modeled by multiple access channels. The simpler situation of collaborating transmitters is used as a bounding result. We also discuss the surprising results of Gaarder and Wolf that feedback can increase capacity unlike the situation for standard covert channel analysis. This is of importance when dealing with the network scenario.
Exploring the Elixir Ecosystem Testing, Benchmarking and Profiling

The success of a new programming language is to a large extent determined by the quality of its ecosystem. Among the most important parts of any given ecosystem are tools for testing, benchmarking and profiling code. This paper explores the tools available for Elixir, a new language targeting the Erlang virtual machine. A hands-on approach is used, by using these tools to develop and incrementally improve a fast Fourier transform algorithm. The final goal is a fast Fourier transform implementation fast enough for a real-time vocoder. Between the first and the last iteration a ten-fold increase in speed is achieved. While it is still not fast enough for a real-time vocoder, it demonstrates the utility of the development tools available in the Elixir ecosystem.
Construct Validation of Five Love Languages

Five Love Languages (FLL) is a theory proposed by Chapman (2010) about five ways a person feel most loved. This study was based on a lack of empirical evidence supporting the construct. Therefore, it aimed to validate five love languages and the results of this study were expected to be an empirical evidence to support Chapman’s idea. A Likert scale was constructed and tested toward 400 participants (148 males, 252 females; Mage = 19.85 years, SDage= 1.51 years). The FLL scale showed a promising composite reliability score ( .884) and satisfying item-total correlations (averagely > .250). Statistical analyses showed that there were 17 valid items in the Five Love Languages Scale. Confirmatory factor analysis supported the five factors in Chapman’s initial proposal.
Rapid interpretation of EKG's : an interactive course

The reader's rapid assimilation of medical concepts is the key to the continuing success of this best-selling book. A caption explains the concept illustrated on each page, and a few simple sentences reinforce the concept with interactive (programmed) learning, which links to the following page. Dr. Dubin's light and entertaining style, known world-wide, makes learning enjoyable. Practice twelve-lead tracings at the end establish self-confidence, and summarised reference sheets with examples (designed to be copied) provide an excellent review. This work is most recently updated in February 2006.
Child Well-Being in a Rural Context: Shifting to a Social Sustainability Lens.

This article is based on findings drawn from a large-scale study aimed at mapping barriers to education in the context of social disadvantage. The research sites focused on in this paper are: one early childhood facility, four primary schools and the communities of these learning centres. Participants included learners, teachers, caregivers and parents and interested community members. Findings from the study were published widely in a research report, book chapters and peer-reviewed publications. In this article an attempt is made to revisit the findings on child well-being and quality of life, drawing on debates on sustainable development, in particular on the concept of social sustainability. The analysis draws attention to the importance of creating cultures of social sustainability within social institutions and communities to enhance the well-being of children. The article highlights the significance of values that are rights based and collective networks in cultures of sustainability.
GIS and Cartographic Modeling

"GIS and Cartographic Modeling" is a foundational work in the field of geographic information systems (GIS). An introduction to the concepts, conventions, and capabilities of map algebra as a general language, this book describes the analytical use of raster-based GIS. By focusing on the fundamentals of cartographic modeling techniques, C. Dana Tomlin illustrates concepts that can be applied to any GIS. This publication of" GIS and Cartographic Modeling" contains updated graphics and a new preface.
Quantitative security analysis for service-oriented software architectures

Due to the dramatic increase in intrusion activities, the definition and evaluation of software security requirements have become important aspects of the development of software services. It is now a well-accepted fact in software engineering that security concerns, like any other quality concerns, should be dealt with in the early stages of software development process. Current practices for software security architecture risk analysis, however, still heavily rely on human expertise. This involves a significant amount of subjective efforts creating a greater potential for inaccuracies. In this dissertation, we propose a framework for quantitative security architecture analysis for service-oriented software systems. In this regard two important contributions are made in the dissertation. First, we identify and define some internal security attributes and related properties based on a generic service-oriented software model, setting up a framework for the definition and formal evaluation of corresponding security metrics. Second, we propose a measurement abstraction paradigm named User System Interaction Effect (USIE) model that can be used to systematically derive and analyze security concerns from service-oriented software architectures. Many aspects of the model derivation and analysis can be automated, which limit the amount of user involvement and, thereby, reduce the subjectivity underlying typical security analysis process. The model can be used as a foundation for quantitative analysis of software services from different security perspectives with respect to the internal security properties introduced. Based on sample metrics derived from the framework, we illustrate empirically the viability of our paradigm by conducting case studies based on existing open source software.
From pixels to gestures: learning visual representations for human analysis in color and depth data sequences

The visual analysis of humans from images is an important topic of interest due to its relevance to many computer vision applications likepedestrian detection, monitoring and surveillance, human-computer interaction, e-health or content-based image retrieval, among others. In this dissertation we are interested in learning different visual representations of the human body that are helpful for the visual analysis of humans in images and video sequences. To that end, we analyze both RGB and depth image modalities and address the problem from three different research lines, at different levels of abstraction; from pixels to gestures: human segmentation, human pose estimation and gesture recognition. First, we show how binary segmentation (object vs. background) of the human body in image sequences is helpful to remove all the background clutter present in the scene. The presented method, based on Graph cuts optimization, enforces spatio-temporal consistency of the produced segmentation masks among consecutive frames. Secondly, we present a framework for multi-label segmentation for obtaining much more detailed segmentation masks: instead of just obtaining a binary representation separating the human body from the background, finer segmentation masks can be obtained separating the different body parts. At a higher level of abstraction, we aim for a simpler yet descriptive representation of the human body. Human pose estimation methods usually rely on skeletal models of the human body, formed by segments (or rectangles) that represent the body limbs, appropriately connected following the kinematic constraints of the human body. In practice, such skeletal models must fulfill some constraints in order to allow for efficient inference, while actually limiting the expressiveness of the model. In order to cope with this, we introduce a top-down approach for predicting the position of the body parts in the model, using a mid-level part representation based on Poselets. Finally, we propose a framework for gesture recognition based on the bag of visual words framework. We leverage the benefits of RGB and depth image modalities by combining modality-specific visual vocabularies in a late fusion fashion. A new rotation-variant depth descriptor is presented, yielding better results than other state-of-the-art descriptors. Moreover, spatio-temporal pyramids are used to encode rough spatial and temporal structure. In addition, we present a probabilistic reformulation of Dynamic Time Warping for gesture segmentation in video sequences. A Gaussian-based probabilistic model of a gesture is learnt, implicitly encoding possible deformations in both spatial and time domains.