Miracle-dz/UniFAR-FTUs huggingface dataset:
The use of feedback videos in sport.

The purpose of match analysis in coaching contexts is to provide augmented feedback to players. Computer-based systems integrate quantitative performance data with video images. These systems can be tailored for use with any sport using performance indicators of interest to the coaches and players. This paper describes how feedback is given to players using match analysis systems, based on experience of working with athletes competing in international tournaments. The process of using systems to gather performance data, analyse that data, providing feedback in the form of statistics and video sequences. Video sequences can be provided in 2 ways; interactively through the match analysis system or as a stand alone edited movie. Interactively provided video sequences have the benefit of being provided flexibly and as soon as the data is analysed on the system. This can be as soon as the match has completed. If there is limited time between matches and a need for rapid feedback, interactively provided video sequences are used. These can include critical match events and novel incidents. The statistical information provided by the systems can identify areas that require attention such as possession losses, but observation of the relevant sequences allows the coaches to identify exactly why possessions are being lost and then this can be properly addressed in practice sessions with the player. There are different types of standalone video that can be produced. These include motivational videos of positive aspects with background music of the players’ choice. There are occasions where videos contain both negative and positive aspects. Coaches usually require the complete match on video in order to be able to investigate any ad hoc query they are interested in. Individual player videos can be motivational in nature or can include negative as well as positive aspects to provide feedback helping the player learn about their performance and identify areas requiring attention. Other areas of sports science support often require video sequences of examples of incidents in play. For example, psychological aspects of performance such as errors of attentional focus can be displayed to the team to help the sports psychologist to advise players on psychological skills. Where match videos of forthcoming opponents are available, they can be analysed and a movie produced to brief players on the typical tactics and technical ability of their opponents. Other types of standalone video that have been produced are videos of coach behaviour, souvenir movies of international tournaments and the occasional funny movie to provide light relief. The statistical information produced during analysis has been integrated into videos so as the quantitative information and supporting video sequences are provided synergetically. During the production of videos, it is important to be aware of trends in quantitative performance indicators in identifying relevant video sequences to display.
PARAMETRIC POLYMORPHISM FOR XML PROCESSING LANGUAGES

XML (eXtensible Markup Language) is a current standard format for exchanging semi-structured data, which has been applied to web services, database, research on formal methods, and so on. For a better processing of XML, recently there emerge many statically typed functional languages, such as XDuce, CDuce, XJ, XTatic, XACT, XHaskell, OCamlDuce and so on. But most of these languages lack parametric polymorphism or present it in a limited form. While parametric polymorphism is needed by XML processing, and it has repeatedly been requested to and discussed in various working groups of standards (e.g., RELAX NG and XQuery). We study in this thesis the techniques to extend parametric polymorphism into XML processing languages. Our solution consists of two parts: a definition of a polymorphic semantic subtyping relation and a definition of a polymorphic calculus. In the first part, we define and study a polymorphic semantic subtyping relation for a type system with recursive, product and arrow types and set-theoretic type connectives (i.e., union, intersection and negation). We introduce the notion of "convexity" on which our solution is built up and prove there exists at least one model that satisfies convexity. We also propose a sound, complete and decidable subtyping algorithm. The second part is devoted to the theoretical definition of a polymorphic calculus, which takes advance of the subtyping relation. The novelty of the polymorphic calculus is to decorate lambda-abstractions with sets of type-substitutions and to lazily propagate type-substitutions at the moment of the reduction. The second part also explores a semi-decidable local inference algorithm to infer the set of type substitutions as well as the compilation of the polymorphic calculus into a variety of CDuce.
Dependency Parse Sentence B . Extract Subtrees for Entity Pair C . Link Entities to Freebase + Retrieve Entity Types Entity Text

In this paper, we propose and demonstrate Exploratory Relation Extraction (ERE), a novel approach to identifying and extracting relations from large text corpora based on user-driven and data-guided incremental exploration. We draw upon ideas from the information seeking paradigm of Exploratory Search (ES) to enable an exploration process in which users begin with a vaguely defined information need and progressively sharpen their definition of extraction tasks as they identify relations of interest in the underlying data. This process extends the application of Relation Extraction to use cases characterized by imprecise information needs and uncertainty regarding the information content of available data. We present an interactive workflow that allows users to build extractors based on entity types and human-readable extraction patterns derived from subtrees in dependency trees. In order to evaluate the viability of our approach on large text corpora, we conduct experiments on a dataset of over 160 million sentences with mentions of over 6 million FREEBASE entities extracted from the CLUEWEB09 corpus. Our experiments indicate that even non-expert users can intuitively use our approach to identify relations and create high precision extractors with minimal effort.
RAINFALL VARIABILITY AND EROSIVITY IN SEMI-ARID REGIONS : CASE OF THE WESTERN ALGERIAN REGION

This study analyzes some rainfall-related indexes in the Macta basin in northwestern Algeria, in the Orano-Mediterranean region, such as the Precipitation Index, Precipitation Concentration Index and Modified Fournier Index. Multi-factorial statistical tests were used to assess relationships between different geographic variables and precipitation parameters, based on the acquisition of monthly rainfall series from 42 stations in the catchment area, and that over 41 years. The objective of this article is to study the influence of rainfall parameters on rain erosivity in a semi-arid region (western Algeria) based on monthly rainfall series from different sites covering Macta watershed. Thus, establishing a relation between the monthly precipitaions and the energy of the rainfall intensities (EI30). The multifactorial analysis showed significant relations between the variables studied by grouping them with the same trends on the factorial axes. It was founded that the longitude-latitudemodified Fournier index group was on the same factorial axis, while the mean annual precipitation and altitude were on the other side. Altitude and latitude are the most important variables that govern the spatial distribution and variation of annual and interannual precipitation. The use of the monthly rainfall enabled to overcome the constraints of the rainfall intensities, the Precipitation-Modified Fournier Index relationship proved to be useful, showing the importance of the monthly average rainfall in the erosivity intensification.
The Meaning Function Four Dimensional View: Procedural Approach

This paper proposes a new procedural model for the meaning theory as a vector valued function. This function exhibits the consistency and isomorphism properties through the vector space. The new model explains the procedural mechanism of the lingual communication between the speaker and the audience in four-dimensional view. This approach can lead to several applications in different fields. The encoding of texts or speech by the useful properties of vector spaces and their linearity property will improve the digital translation quality. This consequently will improve the precession of the statistical and computational analysis of texts. Programming the statements of a text will be established easily. This in turn can be a subject matter of the decision-making in general and informatics. In addition, the model gives a clear distinction between the two terms “explanation” and “interpretation” of a specific text. Furthermore, the model feeds the perception of how the meaning appears in different dimensions based on the signification vectors which can be constructed according to the meaning state of a given text. This has been a big dilemma in the linguistic academic field long time ago.
Low-power System-on-Chip Processors for Energy Efficient High Performance Computing: The Texas Instruments Keystone II

The High Performance Computing (HPC) community recognizes energy consumption as a major problem. Extensive research is underway to identify means to increase energy efficiency of HPC systems including consideration of alternative building blocks for future systems. This thesis considers one such system, the Texas Instruments Keystone II, a heterogeneous Low-Power System-on-Chip (LPSoC) processor that combines a quad core ARM CPU with an octa-core Digital Signal Processor (DSP). It was first released in 2012. Four issues are considered: i) maximizing the Keystone II ARM CPU performance; ii) implementation and extension of the OpenMP programming model for the Keystone II; iii) simultaneous use of ARM and DSP cores across multiple Keystone SoCs; and iv) an energy model for applications running on LPSoCs like the Keystone II and heterogeneous systems in general. Maximizing the performance of the ARM CPU on the Keystone II system is fundamental to adoption of this system by the HPC community and, of the ARM architecture more broadly. Key to achieving good performance is exploitation of the ARM vector instructions. This thesis presents the first detailed comparison of the use of ARM compiler intrinsic functions with automatic compiler vectorization across four generations of ARM processors. Comparisons are also made with x86 based platforms and the use of equivalent Intel vector instructions. Implementation of the OpenMP programming model on the Keystone II system presents both challenges and opportunities. Challenges in that the OpenMP model was originally developed for a homogeneous programming environment with a common instruction set architecture, and in 2012 work had only just begun to consider how OpenMP might work with accelerators. Opportunities in that shared memory is accessible to all processing elements on the LPSoC, offering performance advantages over what typically exists with attached accelerators. This thesis presents an analysis of a prototype version of OpenMP implemented as a bare-metal runtime on the DSP of a Keystone I system. An implementation for the Keystone II that maps OpenMP 4.0 accelerator directives to OpenCL runtime library operations is presented and evaluated. Exploitation of some of the underlying hardware features of the Keystone II is also discussed. Simultaneous use of the ARM and DSP cores across multiple Keystone II boards is fundamental to the creation of commercially viable HPC offerings based on Keystone technology. The nCore BrownDwarf and HPE Moonshot
A Non-Dominated Sorting Genetic Algorithm Approach for Optimization of Multi-Objective Airport Gate Assignment Problem

Gate assignment problems (GAP) are one of the most substantial issues in airport operation. The ever-increasing demand producing high occupancy rates of gates, the potential financial loss from imbalances between supply and demand in congested airports, and the limited scope for expanding facilities present challenges that require an advanced methodology for optimal supply allocation. In principle, tackling GAP involves seeking to maintain an airport’s maximum capacity through the best possible allocation of resources (gates). There are a wide range of dependent and independent resources and limitations involved in the problem, adding to the complexity of GAP from both theoretical and practical perspectives. In this study, GAP is extended and mathematically formulated as a three-objective problem, taking into account all resources and restrictions, which can be directly linked to airport authorities’ multiple criteria decision-making processes. The preliminary goal of multi-objective formulation is to consider a wider scope, in which a higher number of objectives are simultaneously optimized, and thus to increase the practical efficiency of the final solution. The problem is solved by applying the second version of Non-dominated Sorting Genetic Algorithm (NSGA-II) as a parallel evolutionary optimization algorithm. Results illustrate that the proposed mathematical model could address most of the major criteria in the decision-making process in airport management in terms of passenger walking distances, robustness, and traditional costs. Moreover, the proposed solution approach shows promise in finding acceptable and plausible solutions compared with other multi-objective algorithms (BAT, PSO, ACO, and ABC).
In Vitro Studies on Shoot Regeneration through Various Explants and Alginate-Encapsulated Nodal Segments of Spilanthes mauritiana DC., an Endangered Medicinal Herb

This study describes an improved, efficient protocol for adventitious shoot regeneration (through shoot tip and leaf explants) and conservation through synthetic seed (synseed) technology of Spilanthes mauritiana, an endangered medicinal herb. MS (Murashige and Skoog 1962) basal medium augmented with 1.0 and 2.5 μM BA was optimum for the induction of multiple shoots formation through shoot tip and leaf explants, respectively. Cytokinin and auxin combinations considerably enhanced the frequency of shoot induction. A maximum of 18.8 shoots/shoot tip were induced on MS basal medium supplemented with 1.0 μM 6-benzyl adenine (BA) and 0.5 μM indole-3-acetic acid (IAA); 15.0 shoots/leaf explants on MS with 2.5 μM BA and 0.5 μM IAA. Microshoots were best rooted on halfstrength MS medium supplemented with 2.5 μM NAA. Synseeds, produced by encapsulating axillary buds in calcium alginate gel exhibited a critical response to nutrient concentration for conversion into complete plantlet. On half-strength MS basal medium germination percentage was maximum. A low temperature storage (4°C) experiment was also carried out to understand the explants’ ability to revive physiological activity leading to plantlet development. Almost all the synseeds sprouted well and developed into plantlets when cultured on nutrient media after storage, up to three weeks of storage although subsequent storage reduced sprouting capability. Plants retrieved from rooting medium and synseeds were hardened off and successfully established in soil with a 90% survival rate and exhibited normal morphological and growth behavior when compared with in vivo grown plants. _____________________________________________________________________________________________________________
Multiresolution Laplacian Trajectory Replanning

Programming by Demonstration (PbD) [1] is a promising way for teaching a robot complex movements. Here the robot imitates an expert’s movement either through physical guidance also known as kinesthetic teaching [2] or through suitable mapping algorithms [3]. A major challenge of PbD are its adaption capabilities to changed environments, requiring modifications of the original robot movement. Focusing on discretized endeffector trajectories, there exists one related field of research beside robotics: Laplacian mesh editing in computer graphics [4, 5]. By interpreting a discretized trajectory as a simple mesh, it is possible to adapt mesh editing methods to trajectory deformation [6]. Still there are two drawbacks that have to be overcome: The computational complexity is high as the method includes a matrix inversion. In addition, Laplacian mesh editing can handle only small trajectory deformations as it treats every dimension independently. Existing approaches are either computationally expensive [7] or allow only thoughtful modifications and need manual adjustment [8]. In order to overcome both drawbacks, the method presented in this paper uses a combination of Laplacian mesh editing and a multiresolution approach [9], thus performing all computationally expensive operations only on a downsampled trajectory. Large trajectory deformations are handled through an iterative scheme based on the tangent vector of the downsampled trajectory. Experiments show the applicability of the presented method to typical robotic problems.
The SprayList : A Scalable Relaxed Priority Queue [ 1 ] Seminar Advanced Algorithms and Data Structures-Student Report

Ω(n log n) for sorting and many more lower bounds provide a theoretical limit to computational speed. A definite bound for speed in hardware is the physical limit for processor frequency, almost hit today. So no hope for further increase in overall performance on these two axes? There is in fact a 3rd axis, which can be resorted to for specific but common cases, called parallelism. According to Amdahl’s Law: Whenever an algorithm has parallelizable part (i.e. certain steps can be carried out independently), it can be computed in a fraction of the time by distributing it over multiple processors. Nowadays, multicore machines are ubiquitous. Such a computer distributes its given work over potentially more than 100 cores. This distribution can be achieved via work-requesting, where each processor fetches a job from a priority queue, which is in shared memory. A difficulty in this environment is that a collision of read with write operations results in interruptions (stalls [3]) responsible for slowdowns and ultimately a reduction in throughput. Hence, contention on the top element of the priority queue becomes a bottleneck. Traditionally, binary heaps are employed for the priority queue. In this new setting however, many complications evolve. For instance, an insertion requires moving a key upwards by swapping until the heap property is restored. Blocking the entire structure for the execution of an operation would be an option that performs poorly, while allowing concurrent access
Relationship between Self-Efficacy and the Subjective Well-Being at Belitang 1 Public High School Students

Self-efficacy is a belief that a person can complete certain tasks properly to achieve their destination. Subjective well-being is a self-report assessment based from their own cognitive and emotional assessment. Teenagers who have subjective well-being exceptional qualities influenced by various factors, one of which is self-efficacy. The purpose of this study was to determine the relationship between self-efficacy with subjective well-being of Belitang 1 Public High School students. The hypothesis is a positive relationship between self-efficacy with subjective well-being. The subjects of this study were 169 students from Belitang High School 1 in 10th and 11th grade. Self-efficacy and subjective well-being is measured using Likert scale model. The data obtained were analyzed using Carl Pearson's product moment. The results of data analysis showed a correlation coefficient of 0.341 p-value = 0,000 < 0.01, which means that there is a very significant positive correlation between self-efficacy and subjective well-being in Belitang 1 Public High School students. Based on the results of self-efficacy and subjective well-being categorization students are classified with high score. Effective contribution of the variable self-efficacy to subjective wellbeing is 11.7%. Thus it can be stated that the higher the student's self-efficacy, the higher their subjective well-being is, and vice versa. Someone who feels confident in their ability to complete assignments well will be more easily satisfied and/or happy.
Techno-Economic Analysis of Phase Change Material Thermal Energy Storage Systems in High Temperature Concentrated Solar Power Plants

Thermal energy storage (TES) is utilised to supplement curtailed energy production that occurs in concentrated solar power (CSP) plants due to cloud cover or the setting sun. Phase change materials (PCMs) offer a potentially more economical solution than the traditional two-tank molten salt storage system. PCM thermal storage can be configured either as a coil in tank arrangement where the working fluid of the power block flows through the coil, or where the heat transfer fluid (HTF) flows through a tank of encapsulated phase change material (EPCM). This paper presents a preliminary techno-economic analysis of a variety of combinations for both configurations. The thermal performance of a coil in tank system is defined by the heat exchange area of the coil by which the working fluid can exchange heat with the PCM. For the EPCM system the thermal performance is defined by total surface area of the capsules which can exchange heat with the HTF. In this study the working fluid considered is sCO2 and the HTF is a eutectic molten salt. From previous research, it is possible to estimate the useful extracted energy from each storage system. Various PCMs were investigated including inorganic materials, molten salts and alloys for both systems. For the coil-in-tank configuration the coil material were SS316, Incolloy and Titanium. An EPCM system investigated the use of SS304L, copper and silicon carbide as an encapsulation (also known as the shell) material. Peer Reviewed Paper
Sparsity in compressive sensing

Abstract Reducing the cost of seismic exploration is a long-standing problem. Compressive sensing (CS) provides a new routine for recovering signals when the seismic acquisition is under the criteria of Nyquist theory. The basic assumptions of CS are: (1) the signal is sparse under a certain transform, and (2) the acquisition or measurement is random in a certain way. The ratio of compressive samplings to Nyquist samplings is determined by the sparsity of the signal under random measurements. Sparsity has been introduced to seismic exploration from three sources: (1) borrowing from image processing, (2) training from seismic data, and (3) special design for seismic data. We review the sparse transforms used in seismic data acquisition and processing under the framework of CS and then discuss a new way of designing sparse transforms.
Power System Stability Monitoring A passive approach Analysis A preventive approach System Oscillation Small-signal Stability Analysis Transient Stability Analysis

This paper proposes a method for power system stability monitoring and analysis through Phasor Measurement Units’ (PMUs) measurements (i.e., bus voltage magnitudes and angles). Real-time stability monitoring can be achieved by observing the behavior of the measurement data’s frequency spectra. In addition, a modified Thevenin equivalent-based model is proposed to analyze the system small-signal stability and transient stability. The model’s parameters are estimated based on the phasor measurements. We verify our proposed method through simulations on a RTDS/PMU/PDC testbed and perform analyses on real PMU data.