Miracle-dz/UniFAR-FTUs huggingface dataset:
Dance/Movement therapy and resilience building with female asylum seekers and refugees: a phenomenological practice based research

&NA; This phenomenological study aims to better understand the applicability of Dance/Movement therapy for traumatised women asylum seekers and refugees. It explores if and how bodily engagement could support an existing resilience based treatment model employed at a centre for transcultural psychiatry in the Netherlands. The sessions focused on moving the body and included the use of music, props, mirroring techniques, body awareness and movement exploration exercises. Participation in the sessions was associated with self-reported alleviation of stress and addressed vulnerabilities. Additionally, movement and bodily engagement offered opportunities for body awareness, and interconnectedness with other group members. A key finding was that Dance/Movement therapy provided a shared safe psychological space for self-expression among this vulnerable population, and can be incorporated into a resilience based treatment programme with adaptations for context.
CONVERGENCE OF THE EKF IN MARK-BASED VISION FOR 3D VEHICLE TRACKING

Abstract In this paper, the extended Kalman filtering (EKF) technique is considered for 3-dimensional tracking of vehicle movement using a fixed camera that provides vehicle images showing several marks, easily detectable, fixed to the vehicle body. The algorithm will be implemented in a minihelicopter hover-stabilization application. For this problem, we present results on the convergence and the domain of attraction of the non-linear observation scheme as a function of the tuning filter parameters: the initial value of the covariance and the robustifying parameter α.
Neutrino mass parameters from Kamland, SNO, and other solar evidence

An updated analysis of all available neutrino oscillation evidence in reactor (Kamland, first 145 days of data) and solar experiments (SK day and night spectra, global rates from Homestake, SAGE, and GALLEX) including the SNOCC and NC data is presented. In the framework of two active neutrino oscillations we determine the allowed regions in neutrino parameter space; we obtain, from the Kamland spectral shape and global signal, the following antineutrino best solution parameters: $\ensuremath{\Delta}{m}_{\mathrm{kl}}^{2}=7.7\ifmmode\times\else\texttimes\fi{}{10}^{\ensuremath{-}5}{\mathrm{eV}}^{2},{\mathrm{tan}}^{2}{\ensuremath{\theta}}_{\mathrm{kl}}=0.98. $ The overall effect of the measured observed ratio $R\ensuremath{\sim}0.6$ is that the large mixing angle (LMA) region remains the only one that is still favored. Combining Kamland and solar data and assuming CPT invariance, i.e., the same mass matrix for neutrinos and antineutrinos, we obtain the following antineutrino best solution parameters (LMAI solution): $\ensuremath{\Delta}{m}^{2}=7.1\ifmmode\times\else\texttimes\fi{}{10}^{\ensuremath{-}5}{\mathrm{eV}}^{2},{\mathrm{tan}}^{2}\ensuremath{\theta}=0.47. $ A second solution (LMAII) appears for values $\ensuremath{\Delta}{m}^{2}=1.5\ifmmode\times\else\texttimes\fi{}{10}^{\ensuremath{-}4}{\mathrm{eV}}^{2},{\mathrm{tan}}^{2}\ensuremath{\theta}=0.48. $ We determine additionally individual neutrino mixing parameters and their errors from fits to marginal likelihood distributions; the values are compatible with previous results. In both methods, ${\ensuremath{\chi}}^{2}$ minimization and marginal likelihood, the combined analysis of solar and Kamland data concludes that maximal mixing is not favored at the $\ensuremath{\sim}3\ensuremath{\sigma}$ level at least.
Manipulation Aid for Two-Handed 3-D Designing Within a Shared Virtual Environment

This paper describes a case study on software aid for manipulating multiple virtual objects. First, two types of manipulation aid are introduced: discrete placement constraints and collision avoidance, and then control policies of these methods are proposed. Next, the effectiveness of our methods is examined through an empirical study. Experimental results show that the methods are efficient in both decreasing the time required for virtual object assembly and improving the manipulation feeling.
Recent developments in wholesale payments systems

Wholesale payments and settlement systems in G-10 countries have undergone significant change in recent years. Notably, central banks have sought to increase the safety and reliability of these systems. In this article, William R. Emmons describes two approaches that have been pursued. Significant progress has been achieved in strengthening (or "securing") many existing payments system arrangements based on net settlement. In addition, many new gross settlement systems have been created, and existing ones have been improved. The article also explores why private-sector financial institutions often prefer to upgrade and secure existing net settlement systems, despite central bank preferences for the latter.
Ultra High-Energy Interaction of CR protons

The recent Auger results suggest that although coincidences of arrival directions with 'nearby' AGN and HiRes discovery of the GZK cut-off indicate protons, the measured longitudinal propagation characteristics indicate heavy nuclei, if the conventional interaction model is correct. Something has to change! Our own view is that it is possible that the AGN -implied proton identification is not correct and that the extra galactic particles are, in fact, mainly 'heavies', in which case the interaction problem goes away. However, here we assume that the particles ARE protons and examine the possible consequences. Parameters discussed include the interaction mean-free-path, inelasticities and 'exotic' possibilities.
An HMM-based speech synthesiser using glottal post-filtering

Control over voice quality, e.g. breathy and tense voice, is important for speech synthesis applications. For example, transformations can be used to modify aspects of the voice related to speaker’s identity and to improve expressiveness. However, it is hard to modify voice characteristics of the synthetic speech, without degrading speech quality. State-of-the-art statistical speech synthesisers, in particular, do not typically allow control over parameters of the glottal source, which are strongly correlated with voice quality. Consequently, the control of voice characteristics in these systems is limited. In contrast, the HMM-based speech synthesiser proposed in this paper uses an acoustic glottal source model. The system passes the glottal signal through a whitening filter to obtain the excitation of voiced sounds. This technique, called glottal post-filtering, allows to transform voice characteristics of the synthetic speech by modifying the source model parameters. We evaluated the proposed synthesiser in a perceptual experiment, in terms of speech naturalness, intelligibility, and similarity to the original speaker’s voice. The results show that it performed as well as a HMM-based synthesiser, which generates the speech signal with a commonly used high-quality speech vocoder.
On the Consistency of k-means++ algorithm

We prove in this paper that the expected value of the objective function of the $k$-means++ algorithm for samples converges to population expected value. As $k$-means++, for samples, provides with constant factor approximation for $k$-means objectives, such an approximation can be achieved for the population with increase of the sample size. This result is of potential practical relevance when one is considering using subsampling when clustering large data sets (large data bases).
A cone complementarity linearization algorithm for static output-feedback and related problems

This paper describes a linear matrix inequality (LMI)-based algorithm for the static and reduced-order output-feedback synthesis problems of n-th order linear time invariant (LTI) systems with n/sub u/ (resp. n/sub y/) independent inputs (resp. outputs). The algorithm is based on a "cone complementarity" formulation of the problem, and is guaranteed to produce a stabilizing controller of order m/spl les/n-max(n/sub u/,n/sub y/), matching a generic stabilizability result of Davison and Chatterjee (1971). Extensive numerical experiments indicate that the algorithm finds a controller with order less or equal to that predicted by Kimura's (1994) generic stabilizability result (m/spl les/n-n/sub u/-n/sub y/+1). A similar algorithm can be applied to a variety of control problems, including robust control synthesis.
SPE-Based Selection of Context-Dependent Units for Speech Recognition

Decision tree-based approach is a well known and frequently used method for tying states of the context dependent phone models since it is able to provide good models for contexts not encountered in the training data. In contrast to the other approaches, this method allows us to include expert linguistic knowledge into the system. Our research focused on the inclusion of standard generative theory by Chomsky & Halle (1968), called the SPE theory (the Sound Pattern of English), into the decision tree building process as expert linguistic knowledge. Our attempt was to "merge" the SpeechDat2 SAMPA label set, used for English and Slovenian languages, with the SPE. We created all possible natural groups of phones (SAMPA segments defined by a set of binary phonological features) for both languages and included them into a set of questions used in the process of creating the decision trees. Based on the decision tree constructed this way, we created an English and Slovenian speech recognition systems and tested both of them. Compared with the reference speech recognition system (Lindberg et al., 2000; Johansen et al., 2000) we got some promising results that encouraged us to continue this work and to perform further testing. ♦ Socrates/Erasmus exchange student under the multilateral agreement UL D-IV-1/99-JM/Kc.
MIX is a 2-MCFL and the word problem in Z 2 is solved by a third-order collapsible pushdown automaton

In this work we establish that the language MIX = { w ∈ { a ; b ; c } ∗ || w | a = | w | b = | w | c } and the language O 2 = { w ∈ { a ; a ; b ; b }|| w | a = | w | a ∧ | w | b = | w | b } are 2-MCFLs. As 2-MCFLs form a class of languages that is included in both the IO and OI hierarchies, and as O 2 is the group language of a simple presentation of Z 2 we exhibit here the ﬁrst, to our knowledge, non-virtually-free group language ( i.e. non-context-free group language) that is captured by the IO and OI hierarchies. Moreover, it was a long-standing open problem whether MIX was a mildly context sensitive language or not, and it was conjectured that it was not, so we close this conjecture by giving it a negative answer.
On Measures of Entropy and Information

This book is an updated version of the information theory classic, first published in 1990. About one-third of the book is devoted to Shannon source and channel coding theorems; the remainder addresses sources, channels, and codes and on information and distortion measures and their properties. New in this edition:Expanded treatment of stationary or sliding-block codes and their relations to traditional block codesExpanded discussion of results from ergodic theory relevant to information theoryExpanded treatment of B-processes -- processes formed by stationary coding memoryless sourcesNew material on trading off information and distortion, including the Marton inequalityNew material on the properties of optimal and asymptotically optimal source codesNew material on the relationships of source coding and rate-constrained simulation or modeling of random processesSignificant material not covered in other information theory texts includes stationary/sliding-block codes, a geometric view of information theory provided by process distance measures, and general Shannon coding theorems for asymptotic mean stationary sources, which may be neither ergodic nor stationary, and d-bar continuous channels.
The CODE theory of visual attention: an integration of space-based and object-based attention.

This article presents a theory that integrates space-based and object-based approaches to visual attention. The theory puts together M.P. van Oeffelen and P.G. Vos's (1982, 1983) COntour DEtector (CODE) theory of perceptual grouping by proximity with C. Bundesen's (1990) theory of visual attention (TVA). CODE provides input to TVA, accounting for spatially based between-object selection, and TVA converts the input to output, accounting for feature- and category-based within-object selection. CODE clusters nearby items into perceptual groups that are both perceptual objects and regions of space, thereby integrating object-based and space-based approaches to attention. The combined theory provides a quantitative account of the effects of grouping by proximity and distance between items on reaction time and accuracy data in 7 empirical situations that shaped the current literature on visual spatial attention.
Coordination mechanism of multi workshop manufacturing in Manufacturing Execution System

In practical industrial world, achieving the entire manufacturing task by coordination of multi workshop manufacturing process is generally applied. So Coordination of multi workshop manufacturing process plays important role and constructs indispensable constitutes in Manufacturing Execution System (MES) which bridges manufacturing management level with equipment control in workshop, and this issue is focused on in this paper. Based on deeply investigating multi workshop coordination process in MES and current technique of multi stage manufacturing, GPGP (generalized partial global planning) and TAEMS (task analysis, environment and simulation) are applied to solve the multi workshop manufacturing coordination for order driven discrete manufacturing execution system, and coordination mechanism of multi workshop manufacturing considering comprehensive functional model architecture of MES is constructed. And this proposed coordination mechanism was applied to a particular apparel manufacturing execution system.
Combining GAs and Symbolic Methods for High Quality Tests of Sequential Circuits

A symbolic fault simulator is integrated in a Genetic Algorithm (GA) environment to perform Automatic Test Pattern Generation (ATPG) for synchronous sequential circuits. In a two phase algorithm test length and fault coverage as well are optimized. Furthermore, not only the Single Observation Time Test Strategy is supported, but also test patterns with respect to the Multiple Observation Time Test Strategy are generated. However, there are circuits that are hard to test using random pattern sequences, even if these sequences are genetically optimized. Thus, deterministic aspects are included in the GA environment to improve fault coverage. Experiments demonstrate that both a priori time consuming strategies, the symbolic simulation approach and the GA, can be combined at reasonable costs: Tests with higher fault coverages and considerably shorter test sequences than previously presented approaches are obtained.
Fuzzy Logic-Based Prognostic Score for Outcome Prediction in Esophageal Cancer

Given the poor prognosis of esophageal cancer and the invasiveness of combined modality treatment, improved prognostic scoring systems are needed. We developed a fuzzy logic-based system to improve the predictive performance of a risk score based on the serum concentrations of C-reactive protein (CRP) and albumin in a cohort of 271 patients with esophageal cancer before radiotherapy. Univariate and multivariate survival analyses were employed to validate the independent prognostic value of the fuzzy risk score. To further compare the predictive performance of the fuzzy risk score with other prognostic scoring systems, time-dependent receiver operating characteristic curve analysis was used. Application of fuzzy logic to the serum values of CRP and albumin increased predictive performance for one-year overall survival (AUC = 0.773) compared with that of a single marker (AUC = 0.743 and 0.700 for CRP and albumin, respectively), where the AUC denotes the area under curve. This fuzzy logic-based approach also performed consistently better than the Glasgow prognostic score (AUC = 0.745). Thus, application of fuzzy logic to the analysis of serum markers can more accurately predict the outcome for patients with esophageal cancer.
DISLOG: A logic-based language for processing discourse structures

In this paper, we present the foundations and the properties of the DISLOG language, a logic-based language designed to describe and implement discourse structure analysis. Dislog has the flexibility and the expressiveness of a rule-based system, it offers the possibility to include knowledge and reasoning capabilities and the expression a variety of well-formedness constraints proper to discourse. Dislog is embedded into the platform that offers an engine with various processing capabilities and a programming environment.
Security Protocol Testing Using Attack Trees

In this paper we present an attack injectionapproach for security protocol testing aiming atvulnerability detection. We use attack tree model todescribe known attacks and derive injection testscenarios to test the security properties of the protocolunder evaluation. The test scenarios are converted to aspecific fault injector script after performing sometransformations. The attacker is emulated using a faultinjector. This model based approach facilitates thereusability and maintainability of the generatedinjection attacks as well as the generation of faultinjectors scripts. The approach is applied to anexisting mobile security protocol. We performedexperiments with truncation and DoS attacks; resultsshow good precision and efficiency in the injectionmethod.
Measuring the Effect of Inter-Study Variability on Estimating Prediction Error

Background The biomarker discovery field is replete with molecular signatures that have not translated into the clinic despite ostensibly promising performance in predicting disease phenotypes. One widely cited reason is lack of classification consistency, largely due to failure to maintain performance from study to study. This failure is widely attributed to variability in data collected for the same phenotype among disparate studies, due to technical factors unrelated to phenotypes (e.g., laboratory settings resulting in “batch-effects”) and non-phenotype-associated biological variation in the underlying populations. These sources of variability persist in new data collection technologies. Methods Here we quantify the impact of these combined “study-effects” on a disease signature’s predictive performance by comparing two types of validation methods: ordinary randomized cross-validation (RCV), which extracts random subsets of samples for testing, and inter-study validation (ISV), which excludes an entire study for testing. Whereas RCV hardwires an assumption of training and testing on identically distributed data, this key property is lost in ISV, yielding systematic decreases in performance estimates relative to RCV. Measuring the RCV-ISV difference as a function of number of studies quantifies influence of study-effects on performance. Results As a case study, we gathered publicly available gene expression data from 1,470 microarray samples of 6 lung phenotypes from 26 independent experimental studies and 769 RNA-seq samples of 2 lung phenotypes from 4 independent studies. We find that the RCV-ISV performance discrepancy is greater in phenotypes with few studies, and that the ISV performance converges toward RCV performance as data from additional studies are incorporated into classification. Conclusions We show that by examining how fast ISV performance approaches RCV as the number of studies is increased, one can estimate when “sufficient” diversity has been achieved for learning a molecular signature likely to translate without significant loss of accuracy to new clinical settings.
Auditory processing, acoustic reflex and phonological expression

Abstract It is thought that a close relationship exists between auditory processing, the acoustic reflex and speech. Aim A retrospective study to evaluate these three aspects in children with and without phonological disorders and seek any relationship among them. Material Methods 46 children were enrolled: 24 had normal speech abilities and 22 had phonological disorders. All children underwent auditory processing and acoustic reflex threshold testing. Design Cross-sectional contemporary. Results Auditory processing and acoustic reflex thresholds were abnormal in all children with phonological disorders. This was not the case in children with normal speech development. Conclusion Changes in the auditory processing and acoustic reflex thresholds are closely related to speech difficulties.
Significant difference analysis of myocardial ischemia indicators based on synthesized algorithm

Electrocardiogram (ECG) is a record of the electrical activity of the heart, which is widely used in medical treatment. In this paper, a synthesized algorithm is proposed with methods of multiresolution wavelet decomposition and reconstruction, self-adaptive threshold, maximum and minimum modulus and area integration techniques to extract the feature points of ECG. The synthesized algorithm achieves higher accuracy and precision in the data validation based on QT Database of PhysioNet. Besides, ST segment length and RT interval are introduced as indicators of myocardial ischemia. The synthesized algorithm is adopted to extract these two indicators in Long-term ST Database of PhysioNet. The correlation between myocardial ischemia and the two indicators is verified by their significant difference analysis of before, during and after myocardial ischemic episode.
The emotional analysis of children with special needs during tablet usage in education

The aim of this research is to determine the emotions of the students who need special education during the teaching process through Tablet. Document analysis method was used to determine the emotions of the students who need of special education in the process of teaching through tablet. Five years old, three mentally retarded students were involved in the process of using the software. In the study, descriptive analysis method of Strauss & Corbin was used for the analysis of data obtained through interviews and observation forms. According to the results of the artificial intelligence emotions analysis, it is seen that the students are happy and eager to learn in the process of teaching with tablet. Another common point is that they are a bit confused sometimes, although they are eager in the initial teaching sessions. As a result, it can be said that the positive results of the emotional analysis and positive results obtained from the teaching sessions with the tablet support each other.
Effective Display of Conserved Domains on a Multiple Sequence Alignment

Multiple sequence alignment (MSA) is used to explore the similarity of several related protein sequences by providing a near optimal alignment of the characters in each sequence. Biologists require effective visualization of these alignments as part of their analysis. Although tools such as Jalview have been developed that provide a detailed view of different aspects of the alignments and metadata such as conserved domains, these tools do not automatically download the metadata via the web and the alignment cannot be viewed at varying levels of detail. We have developed a prototype MSA visualization application that focuses on simultaneous display of characteristics of the alignment and automatically downloaded metadata such as conserved domains, and allows the user to view the information at different levels of detail to enable easy recognition of interesting patterns for further analysis. CR