Miracle-dz/UniFAR-FTUs huggingface dataset:
Empowering the Exercise: a Body-Controlled Trampoline Training Game

Video games can empower their players beyond reality, giving them extraordinary abilities. We investigate a novel cla ss of games that provide empowerment in both the real and the virtual world, in this case using a trampoline as part of the human-computer interface. We studied whether novice trampoline jumpers can learn trampolining skills wh ile playing a platform jumping game implemented using computer vision and a screen placed near the trampoline. 29 participants were divided into three groups: self-training, a game with a normal jump height, and a game with an exaggerated jump height. Performance was tested in pre, post and follow-up t ests. All groups improved their performance significantly. The game was consi dered more engaging and the mean flow questionnaire (SFSS) result with games was significantly higher than with self-training. The study shows that trampoline games can be fun, intuitive to play and basic trampolining skills can be improved while playing the game. A game is more engaging than self-training and extra empowerment, such as jump height exaggeration, enhances the experience. The e xaggeration did not adversely affect jumping performance, and half of the partici pants did not even consciously notice it, which suggests that there is considerabl e design freedom for manipulating the player’s movements in trampoline games.
Psychiatric Differential Aspects of Pain

Pain represents a frequent symptom in various psychiatric disorders ranging from so called psychogenic or somatoform disorders to depression, to schizophrenia and to organic brain syndromes including dementia. Th alamic lesions are long known to induce painful symptoms. Th e cortex is involved in pain awareness. Th e locus coeruleus modulates pain perception. Various facets of pain in a range of psychiatric syndromes is here addressed, as a means of clinical diff erential diagnosis:
Crosscutting concerns at enterprise architecture level

Aspect-Orientated approach was created to solve scattering and tangling issues generated by the implementation of crosscutting requirements in programming. This approach has been proposed in many research areas regarding the entire process of software development, from requirements and business process models to code generating. Enterprise Architecture (EA) allows structural organization of artifacts generated during Information Systems development and reflects relational view existent between the artifacts, but, in general, it disregards the crosscutting concerns existent between them. In this paper, we present a scenario of these concerns at EA level using the Zachman Framework.
Dodecylamine-Loaded Halloysite Nanocontainers for Active Anticorrosion Coatings

Currently the most promising approach in the corrosion protection by smart coatings is the use of nanoreservoirs loaded with corrosion inhibitors. Nanocontainers are filled with anti-corrosive agents and embedded into a primer coating. Future prospective containers are halloysite nanotubes due to their low price, availability, durability, with high mechanical strength and biocompatibility. The aim of this work is to study the use of halloysite nanotubes as nanocontainers for encapsulated dodecylamine for active corrosion protection of carbon steel. Halloysite clay was characterized by XRD and TGA- thermogravimetric analysis techniques. Halloysite nanotubes were loaded with dodecylamine and embedded into an alkyd primer with a weight ratio of 10 wt. % . The anticorrosive performance of the alkyd primer doped with 10 wt. % of entrapped-dodecylamine halloysite was tested on coated carbon steel by direct exposure of the coated samples with a provoked defect into 0.01 mol/L NaCl corrosive media using electrochemical impedance spectroscopy (EIS) and scanning vibrating electrode technique (SVET). EIS and SVET measurements showed the self-healing properties of the doped alkyd coating. Coated samples were also evaluated in a salt spray chamber and the self-healing effect was unequivocally noticed.
Secure e-cash model using Java based smartcard

Association of a true observer guaranties electronic cash not to be double-spent by any means. Java card is a smartcard which represents one of the smallest computing platforms. A major challenge influencing the design and implementation of e-cash observer in Java card is the limited availability of computing resources in it. In this paper, we show a new methodology of blending and associating high-level CORBA based bank server, user wallets and resource-constrained Java based observer. We choose a realistic e-cash scheme and show its successful implementation. We also analyze performance of Java card with various lengths of secret keys used for generating electronic coins.
Towards English - Swahili Machine Translation

Even though the Bantu language of Swahili is spoken by more than fifty million people in East and Central Africa, it is surprisingly resource-scarce from a language technological point of view, an unfortunate situation that holds for most, if not all languages on the continent. The increasing amount of digitally available, vernacular data has prompted researchers to investigate the applicability of corpus-based approaches to African language technology. In this vein, the SAWA corpus project attempts to collect and deploy a parallel corpus English Swahili, not only for the straightforward purpose of developing a machine translation system, but also to investigate the possibility of projection of annotation into a resource-scarce, African language. Compiling a balanced and expansive parallel corpus English Swahili is a rather daunting task. While monolingual Swahili data is abundantly available on the Internet, sourcing parallel texts is cumbersome. Even countries that have both English and Swahili as their official languages, such as Tanzania, Kenya and Uganda, do not tend to translate and/or publish all government documents bilingually. One therefore opportunistically collects whatever can be found in the public domain. At this point in the data collection phase, that means that the 2.2 million word parallel corpus is biased towards religious material, such as bible and quran translations. Nevertheless, the more interesting, secular part of the SAWA corpus (± 420k words) is steadily increasing, thanks to the inclusion of bilingual investment reports, manually translated movie subtitles, political documents and material kindly donated by local translators to the SAWA project. Each text in the SAWA corpus is automatically part-ofspeech tagged and lemmatized, using the TreeTagger for the English part (Schmid, 1994) and the systems described in De Pauw et al. (2006) and De Pauw and de Schryver (2008) for Swahili. These extra annotation layers allow us to perform more accurate automatic word alignment on the basis of factored data. Table 1: Precision, Recall and F-score for the wordalignment task using GIZA++. Prec. Recall F(β = 1)
Automated Regression Test Suite Optimization Based on Heuristics

In the Software Development Life Cycle, Testing is an integral and important phase. It is estimated that close to 45% of project cost is marked for testing. Defect removal efficiency is directly proportional to the rigor of the testing and number of test cycles. Given this prelude, important optimization dual is to reduce the testing time and cost without compromising on the quality and coverage. We revisit this popular research and industry sought problem, in the historical data perspective. Proposed model has two steps. N Test cases based on multiple heuristics are recommended as part of first step. These heuristics can be derived based on test manager, test lead and/or test director requirements as inputs. The N test cases that are to be recommended will be derived upon executing evolutionary randomized algorithms such as Random Forest / Genetic Algorithm. These algorithms fed with historically derived inputs such as test case execution frequency, test case failure pattern, change feature pattern and bug fixes & associations. The recommended test suite is further optimized based on a 2 dimensional approach during second step. Test case specific vertical constraints such as distribution of environments, distribution of features as well as test suite composition parameters such as golden test cases, sanity test cases, that serves as horizontal constraints.
Fast dual-arm manipulation using variable admittance control: Implementation and experimental results

This paper presents a control system for fast cooperative dual-arm manipulation of rigid objects with experimental results. The motivation for multi-arm manipulation comes from the wide range of applications. The possible tasks that can be performed by such a system greatly exceed those of a single manipulator system. The proposed system is flexible with respect to uncertainties in object size. Moreover, it allows for physical human interaction through force/torque sensing. This is especially beneficial in industrial cases where humans and robots work on the same production line. One main goal of this paper is to bridge the gap between current research regarding dual-arm manipulation and the implementation possibilities on current industrial robots and widely available standard hardware.
Management ( Project control & modeling ) Contact Information

Software systems over time suffer from a gradual quality decay and therefore costs rise if no pro-active countermeasures are taken. Quality controlling is the first step to avoid this cost trap. Continuous quality assessments enable the early identification of quality problems, when their removal is still inexpensive, and aid in making adequate decisions as they provide an integrated view on the current status of a software system. As a side effect, continuous and timely feedback enables developers and maintainers to improve their skills and thereby helps to avoid future quality defects. To make regular quality controlling feasible, it has to be highly automated and assessment results need to be presented in an aggregated manner to not overwhelm users with too much data. This article gives an overview of tools that aim at solving these issues. As an example, we present the flexible, open source toolkit ConQAT that supports the creation of dashboards for quality controlling and report on its application.
Gene expression profiles of patients with cerebral hematoma following spontaneous intracerebral hemorrhage

The present study aimed to investigate the gene functions and expression profiles in perihematomal (PH) brain regions following spontaneous intracerebral hemorrhage. The gene expression profiles were downloaded from the Gene Expression Omnibus database under accession number GSE24265, which includes 11 brain samples from different regions, including four samples from PH areas, four from contralateral grey matter (CG) and three from contralateral white matter (CW). The gene expression profiles were pre-processed and the differentially expressed genes (DEGs) between PH and CG tissue, and PH and CW tissue were identified using R packages. The expression of genes in different tissues was analyzed by hierarchical clustering. Then, the interaction network between the DEGs was constructed using String software. Finally, Gene Ontology was performed and pathway analysis was conducted using FuncAssociate and Expression Analysis Systematic Explorer to identify the gene function. As a result, 399 DEGs were obtained between PH and CG, and 756 DEGs were identified between PH and CW. There were 35 common DEGs between the two groups. These DEGs may be involved in PH edema by regulating the calcium signaling pathway [calcium channel, voltage-dependent, T-type, α1I subunit, Ca2+/calmodulin-dependent protein kinase II α (CAMK2A), ryanodine receptor 2 (RYR2) and inositol 1,4,5-trisphosphate receptor, type 1 (ITPR1)], cell proliferation (sphingosine kinase 1), neuron differentiation (Ephrin-A5) or extracellular matrix-receptor interaction [collagen, type I, α 2, laminin B1 (LAMB1), syndecan 2, fibronectin 1 and integrin α5 (ITGA5)]. A number of genes may cooperate to participate in the same pathway, such as ITPR1-RYR2, CAMK2A-RYR2 and ITGA5-LAMB1 interaction pairs. The present study provides several potential targets to decrease hematoma expansion and alleviate neuronal cell death following spontaneous intracerebral hemorrhage.
Using automated planning for sensorweb response

This paper describes efforts to link these science event detection systems with an automated response system to retarget remote sensing assets to observe these important but transient science events. Of course, automated mission planning is a key element of the overall tracking and response system. We describe the current prototype system which utilizes the Earth Observing One spacecraft, MODIS flying on Terra and Aqua, QuickSCAT, GOES, and AVHRR platforms as well as future plans for expansion.
Levels of Representation in Discourse Relations

Most schools of linguistics have their foundations in a study of the syntax and semantics of individual sentences. Cognitive linguistics is to some extent no exception: while it has always devoted considerable attention to the conceptual aspects of linguistic meaning and to the study of language in use, the focus of research has still traditionally been on single sentences or propositions rather than on larger units of text and discourse. However, within many schools of linguistics, a signi®cant body of work on discourse structure has developed over the last ®fteen years or so. Discourse-oriented studies in cognitive and functional linguistics include research on the discourse function of syntactic constructions such as subordinate clauses (Tomlin 1985; Matthiessen and Thompson 1987; Ramsay 1987) as well as on the need for functional and usage-based analyses of discourse (Langacker 2001; Barlow and Kemmer 2000). Discourse-oriented work in formal linguistics centers around the in ̄uential dynamic semantic theories of Kamp and Heim (see, for example, Kamp and Reyle 1993), Heim (1982), and latterly Veltman (1996), which focus on issues relating to anaphora and presuppositions. In computational linguistics, there is a growing body of work on the interpretation and generation of extended texts; see, for instance, Lascarides and Asher (1993) or Strube and Hahn (1996) for discourse interpretation, and Hovy (1993) or Marcu (1997) for discourse generation. Interestingly, at the discourse level, the dividing line between cognitive linguistic approaches and traditional approaches seems less clear cut than at the sentence level. Many of the controversial proposals in cognitive linguistics concern the status of sentence syntax, in particular the question of whether syntax is an autonomous and purely formal level of representation (cf. Langacker 1986; Jackendo 1996). However, it is widely accepted that purely formal or syntactic principles play a far smaller role
Walking the Tightrope: Counterproductive Work Behavior as Compensation for Citizenship Demands

Amidst a struggling economy, organizations are ruled by the survival of the fittest paradigm but it is the employees who tend to pay the price, with increased demands which, oftentimes, fall outside their job scope. In the present paper, we examined whether pressuring people to engage in such organizational citizenship behaviors (OCB) might in fact backfire and lead to increased Counterproductive Work Behavior (CWB) because of compensatory mechanisms. We propose a typology of OCB that distinguishes between discretionary and elicited OCB, hypothesizing that elicited but not discretionary OCB, positively relates to CWB. By doing so, we wanted to examine if such a distinction can explain conflicting past results concerning the within-person OCB–CWB link, and to test whether increased citizenship demands can have an adverse effect for the organization. Our hypothesis was tested by asking 29 employees twice a day for 10 consecutive working days to report on the elicited and discretionary OCB and CWB they performed (N = 210 responses). Multilevel logistic regression analyses showed that elicited OCB was positively related to CWB, whereas discretionary OCB was not related to CWB. This finding steers theorizing away from the conventional classification of employees as bad apples versus good soldiers, by revealing that CWB can positively relate to OCB as a result of compensatory mechanisms. From a practical point of view, our results imply that employers should be mindful of the unintended consequences that OCB might entail when employees perceive that they are expected to engage in such behaviors.
Bankruptcy Treatment of Intellectual Property Assets: An Economic Analysis

With the rise of intellectual property in the modern economy, bankruptcy treatment of intellectual property assets has taken on ever greater importance. The law in this area must balance different approaches to asset management. Viewing the world from an ex ante perspective, intellectual property laws seek to foster investment in research and development. Freedom of contract plays a central role in maximizing the potential value of intellectual property by encouraging a robust licensing market to exploit the value of intellectual creativity. By contrast, the bankruptcy system generally views asset management from an ex post standpoint, focusing narrowly on how to maximize the value of a failing or failed enterprise. Thus, bankruptcy law affords trustees and debtors substantial leeway to rescind contracts and reorder the affairs of the failed entity. This article examines the rather complex rules governing the treatment of intellectual property assets in bankruptcy and suggests various reforms that could better promote economic efficiency.
Orientation alignment based formation control in multi-agent systems

This paper addresses formation control of single-integrator modeled agents in the plane. It is assumed that the agents measure the relative-displacements of their neighbors with respect to their local reference frames, whose orientation are not necessarily aligned, and exchange local information through communication. For the agents, a formation control strategy is proposed. The control strategy consists of a consensus law for aligning the reference frames and a feedback control law for stabilizing the relative-positions of the agents. A sufficient condition for achieving the desired formation is provided.
Particle Charging in Combined Corona-Electrostatic Fields

The association of several ionizing and nonionizing electrodes generates combined corona-electrostatic fields, characterized by space charge zones of well-defined extensions. In a previous paper, the authors presented an effective numerical method for the computation of such fields. The aim of this present work is to show how these results can be employed for estimating the charge acquired by insulating and conducting particles when passing through the space charge zones generated by various corona-electrostatic electrode geometries. The study is done under several assumptions that authorize the use of Pauthenier's formula. Diffusion charging can be neglected, the applied electric field is quasi-uniform in the vicinity of particles, and particle speed is low compared with that of air ions. The charging model takes into account the computed spatial distribution of the electric field and charge density. The computations were performed for various values of the geometrical parameters of the electrode system and of the particle transit time through the corona discharge zone. The results can be used for the design of the electrode system of any electrostatic process employing corona discharge fields.
Structured data flow programming

Although both structured programming (particularly top-down stepwise refinement) [4,7,17] and a data flow view of parallel processing [1,8,11] have been with us now for many years, no attempt has been made to unite the two fields: This paper describes an experiment that unites the two areas in both a textual and a graphical framework. Two packages are described. One produces a Cajole program [13] from input consisting of high-level function definitions together with refinements; and the other produces machine code for a data flow machine from a two dimensional graphical description of a programming problem. An example of each of the systems is given.
A comprehensive empirical validation of design measures for object-oriented systems

This paper aims at empirically exploring the relationships between existing object-oriented coupling, cohesion, and inheritance measures and the probability of fault detection in system classes during testing. The underlying goal of such a study is to better understand the relationship between existing design measurement in OO systems and the quality of the software developed. Results show that many of the measures capture similar dimensions in the data set, thus reflecting the fact that many of them are based on similar principles and hypotheses. Besides the size of classes, the frequency of method invocations and the depth of inheritance hierarchies seem to be the main driving factors of fault-proneness.
Direct Determination of the Spiral Pattern Rotation Speed of the Galaxy

The rotation velocity of the spiral pattern of the Galaxy is determined by direct observation of the birthplaces of open clusters of stars in the Galactic disk as a function of their age. Our measurement does not depend on any specific model of the spiral structure, such as the existence of a given number of spiral arms, or the presence of a bar in the central regions. This study became possible due to the recent completion of a large database on open clusters by our group. The birthplaces of the clusters are determined by two methods: one that assumes that the orbits are circular, and the other by integrating the orbits in the Galactic potential for a time equal to the age of the clusters. We selected in the database a sample of 212 clusters for which proper motions, radial velocities, distances, and ages are available, or of 612 clusters that have ages and distances available. We tested different assumptions concerning the rotation curve and the radius R0 of the solar orbit. Our results confirm that a dominant fraction of the open clusters are formed in spiral arms, and that the spiral arms rotate like a rigid body, as predicted by the classical theory of spiral waves. We find that the corotation radius, Rc, is close to the solar Galactic orbit (Rc/R0 = 1.06 ± 0.08). This proximity has many potentially interesting consequences, such as a better preservation of life on the Earth and a new understanding of the history of star formation in the solar neighborhood, and of the evolution of the abundance of elements in the Galactic disk.