Miracle-dz/UniFAR-FTUs huggingface dataset:
The Pluto+ Algorithm: A Practical Approach for Parallelization and Locality Optimization of Affine Loop Nests

Affine transformations have proven to be powerful for loop restructuring due to their ability to model a very wide range of transformations. A single multidimensional affine function can represent a long and complex sequence of simpler transformations. Existing affine transformation frameworks such as the Pluto algorithm, which include a cost function for modern multicore architectures for which coarse-grained parallelism and locality are crucial, consider only a subspace of transformations to avoid a combinatorial explosion in finding transformations. The ensuing practical trade-offs lead to the exclusion of certain useful transformations: in particular, transformation compositions involving loop reversals and loop skewing by negative factors. In addition, there is currently no proof that the algorithm successfully finds a tree of permutable loop bands for all affine loop nests. In this article, we propose an approach to address these two issues (1) by modeling a much larger space of practically useful affine transformations in conjunction with the existing cost function of Pluto, and (2) by extending the Pluto algorithm in a way that allows a proof for its soundness and completeness for all affine loop nests. We perform an experimental evaluation of both, the effect on compilation time, and performance of generated codes. The evaluation shows that our new framework, Pluto+, provides no degradation in performance for any benchmark from Polybench. For the Lattice Boltzmann Method (LBM) simulations with periodic boundary conditions, it provides a mean speedup of 1.33 × over Pluto. We also show that Pluto+ does not increase compilation time significantly. Experimental results on Polybench show that Pluto+ increases overall polyhedral source-to-source optimization time by only 15%. In cases in which it improves execution time significantly, it increased polyhedral optimization time by only 2.04 × .
DOES INSURANCE PROMOTE ECONOMIC GROWTH? EVIDENCE FROM OECD COUNTRIES

This article examines the short- and long-run dynamic relationships exhibited between economic growth and growth in the insurance industry for nine OECD countries. This is achieved by conducting a cointegration analysis on a unique set of annual data for real GDP and total real premiums issued in each country from 1961 to 1996. Causality tests are also conducted, which account for long-run trends within the data. The results from the tests suggest that in some countries, the insurance industry Granger causes economic growth, and in other countries, the reverse is true. Moreover, the results indicate that these relationships are country specific and any discussion of whether the insurance industry does promote economic growth will be dependent on a number of national circumstances.
Word Recognition in Predictive Contexts

Over the last years several results demonstrated that context-based expectations on both word-class and concepts influence the word processing at very early stages, namely at sensory analysis level. Given that these early effects are modulations of the process of stimulus analysis they depend on physical and orthographical properties of critical words in interaction with linguistic expectations. This evidence on early effects is in contrast with a syntax-first approach for which the cognitive system builds at first the syntactic structure by exploiting word-class information only. This strong syntax-first assumption pushed forward by Friederici (2002) model is based on a very early ERPs effect with latency around 150 ms that is elicited by word-class violations (eLAN: early left-anterior negativity). I studied three linguistic violations with an ERPs sentence processing paradigm. In two studies in Italian word-class violations on prepositions and verbs were implemented, overcoming the more important methodological limitations of previous studies on word-class violations. In a third study we investigated determiner-noun gender agreement in Italian using nouns for which grammatical gender is expressed unambiguously by a long derivational morpheme, that is very salient at orthographic and visual level. ERPs results show a LAN (300ms latency) followed by a P600 (500ms latency) for all the conditions. The lack of replicability of eLAN, already discussed in the literature, makes Friederici (2002) model difficult to be maintained. The ERPs elicited by gender disagreeing nouns also show an effect on the amplitude of the N250 (200ms onset), an effect specific to morphological processing since a previous study with no control on how gender was expressed reported a LAN+P600 pattern only (Molinaro et al., 2008). The latter result shows that gender agreement can affect word recognition (at least the morphological parsing) during sentence processing earlier than violation detection indexed by the LAN. This result enrich the evidence about early context top-down effects that are different from syntagmatic structural processing.
A Theory-Based Approach for Developing Interventions to Change Patient Behaviours: A Medication Adherence Example from Paediatric Secondary Care

In this article we introduce a Health Psychology approach to changing patient behaviour, in order to demonstrate the value of Health Psychology professional practice as applied within healthcare settings. Health Psychologists are experts in understanding, predicting and changing health-related behaviours at the individual, group and population level. They combine psychological theory, research evidence and service-user views to design interventions to solve clinically relevant behavioural problems and improve health outcomes. We provide a pragmatic overview of a theory and evidence-based Intervention Mapping approach for developing, implementing and evaluating interventions to change health-related behaviour. An example of a real behaviour change intervention designed to improve medication adherence in an adolescent patient with poorly controlled asthma is described to illustrate the main stages of the intervention development process.
Differential expression of alarmins—S100A9, IL-33, HMGB1 and HIF-1α in supraspinatus tendinopathy before and after treatment

Background Alarmins, endogenous molecules released on tissue damage have been shown to play an important role in inflammatory musculoskeletal conditions including fracture repair andrheumatoid arthritis. However, the contribution of alarmins to the pathogenesis of tendon disease is not fully understood. Methods We investigated expression of alarmin proteins (S100A9, high-mobility group box 1 (HMGB1) and interleukin-33 (IL-33) and hypoxia-inducible factor 1α (HIF-1α), a subunit of an oxygen sensitive transcription factor, in three cohorts of human supraspinatus tissues: healthy (n=6), painful diseased (n=13) and post-treatment pain-free tendon samples (n=5). Tissue samples were collected during shoulder stabilisation surgery (healthy) or by biopsy needle (diseased/treated). Immunohistochemistry was used to investigate the protein expression of these factors in these healthy, diseased and treated tendons. Kruskal-Wallis with pairwise post hoc Mann-Whitney U tests were used to test for differences in immunopositive staining between these tissue cohorts. Additionally, costaining was performed to identify the cell types expressing HIF-1α, S100A9, IL-33 and HMGB1 in diseased tendons. Results Immunostaining showed HIF-1α and S100A9 were increased in diseased compared with healthy and post-treatment pain-free tendons (p<0.05). IL-33 was reduced in diseased compared with healthy tendons (p=0.0006). HMGB1 was increased in post-treatment pain-free compared with healthy and diseased tendons (p<0.01). Costaining of diseased tendon samples revealed that HIF-1α, S100A9 and IL-33 were expressed by CD68+ and CD68− cells, whereas HMGB1 was predominantly expressed by CD68− cells. Conclusions This study provides insight into the pathways contributing to the progressionand resolution of tendon disease. We found potential pro-inflammatory and pathogenic roles for HIF-1α and S100A9, a protective role fornuclear IL-33 and a potentially reparative function for HMGB1 in diseased supraspinatus tendons.
Towards an Indexical Model of Situated Language Comprehension for Cognitive Agents in Physical Worlds

We propose a computational model of situated language comprehension based on the Indexical Hypothesis that generates meaning representations by translating amodal linguistic symbols to modal representations of beliefs, knowledge, and experience external to the linguistic system. This Indexical Model incorporates multiple information sources, including perceptions, domain knowledge, and short-term and long-term experiences during comprehension. We show that exploiting diverse information sources can alleviate ambiguities that arise from contextual use of underspecific referring expressions and unexpressed argument alternations of verbs. The model is being used to support linguistic interactions in Rosie, an agent implemented in Soar that learns from instruction.
Stochastic approximation for consensus with general time-varying weight matrices

This paper considers consensus problems with delayed noisy measurements, and stochastic approximation is used to achieve mean square consensus. For stochastic approximation based consensus algorithms with switching topologies, the existing convergence analysis heavily relies on quadratic Lyapunov functions, whose existence may be difficult to guarantee for switching digraphs. The main contribution of this paper is to introduce a new approach for proving convergence. This is achieved by obtaining ergodicity results for backward products of degenerating stochastic matrices via a discrete time dynamical system approach. Our approach does not require the double stochasticity condition typically assumed for the existence of a quadratic Lyapunov function.
Effect of initial phase in two tone separation using empirical mode decomposition

Empirical mode decomposition (EMD) is an adaptive method for nonlinear and nonstationary signal processing. Although the algorithm is easy to implement and widely deployed, its theoretical background and limitations remain uncertain. This paper investigates the performance of EMD in two tone separation problem, especially for the transition region between perfect separation and failure, with emphasis on the effect of the initial phase. Relationships between amplitude ratio, frequency ratio, initial phase and performance are derived.
Dependency-based Textual Entailment

This paper studies the role of dependency information for the task of textual entailment. Both the Text and Hypothesis of an entailment pair are mapped into sets of dependencies and a score is computed that measures the similarity of the two sets. Based on the score an entailment decision is made. Two experiments are conducted to measure the impact of dependencies on the entailment task. In one experiment we compare the dependency-based approach with a baseline approach on a standard data set. In a second experiment, we measure the performance on a subset of the standard data set. The subset is so selected to minimize the effect of other factors, such as word-level information, in the performance measurement process. A brief discussion compares the dependency-based approach to other, similar approaches.
Laboratory and modeling studies of cloud–clear air interfacial mixing: anisotropy of small-scale turbulence due to evaporative cooling

Small-scale mixing between cloudy air and unsaturated clear air is investigated in numerical simulations and in a laboratory cloud chamber. Despite substantial differences in physical conditions and some differences in resolved scales of motion, results of both studies indicate that small-scale turbulence generated through cloud–clear air interfacial mixing is highly anisotropic. For velocity fluctuations, numerical simulations and cloud chamber observations demonstrate that the vertical velocity variance is up to a factor of two larger than the horizontal velocity variance. The Taylor microscales calculated separately for the horizontal and vertical directions also indicate anisotropy of turbulent eddies. This anisotropy is attributed to production of turbulent kinetic energy (TKE) by buoyancy forces due to evaporative cooling of cloud droplets at the cloud–clear air interface. Numerical simulations quantify the effects of buoyancy oscillations relative to the values expected from adiabatic and isobaric mixing, standardly assumed in cloud physics. The buoyancy oscillations result from microscale transport of liquid water due to the gravitational sedimentation of cloud droplets. In the particular modeling setup considered here, these oscillations contribute to about a fifth of the total TKE production.
Detecting Epileptic Seizures in Long-term Human EEG: A New Approach to Automatic Online and Real-Time Detection and Classification of Polymorphic Seizure Patterns

Summary: Epileptic seizures can cause a variety of temporary changes in perception and behavior. In the human EEG they are reflected by multiple ictal patterns, where epileptic seizures typically become apparent as characteristic, usually rhythmic signals, often coinciding with or even preceding the earliest observable changes in behavior. Their detection at the earliest observable onset of ictal patterns in the EEG can, thus, be used to start more-detailed diagnostic procedures during seizures and to differentiate epileptic seizures from other conditions with seizure-like symptoms. Recently, warning and intervention systems triggered by the detection of ictal EEG patterns have attracted increasing interest. Since the workload involved in the detection of seizures by human experts is quite formidable, several attempts have been made to develop automatic seizure detection systems. So far, however, none of these found widespread application. Here, we present a novel procedure for generic, online, and real-time automatic detection of multimorphologic ictal-patterns in the human long-term EEG and its validation in continuous, routine clinical EEG recordings from 57 patients with a duration of approximately 43 hours and additional 1,360 hours of seizure-free EEG data for the estimation of the false alarm rates. We analyzed 91 seizures (37 focal, 54 secondarily generalized) representing the six most common ictal morphologies (alpha, beta, theta, and delta- rhythmic activity, amplitude depression, and polyspikes). We found that taking the seizure morphology into account plays a crucial role in increasing the detection performance of the system. Moreover, besides enabling a reliable (mean false alarm rate <0.5/h, for specific ictal morphologies <0.25/h), early and accurate detection (average correct detection rate >96%) within the first few seconds of ictal patterns in the EEG, this procedure facilitates the automatic categorization of the prevalent seizure morphologies without the necessity to adapt the proposed system to specific patients.
Social Network-Based Trust for Agent-Based Services

In service-oriented environments, reputation-based service selection is gaining increasing prominence. We propose in this paper a social network-based approach to model and analyze trust when a given service, called customer service or customer, should select another service, called provider service or provider, in a composition scenario. Trust is modeled as a game between customer and provider services and represented in the network through two types of nodes and labelled edges linking customer nodes to each other and customer nodes to provider nodes. To analyze the different situations using a game-theoretic and mechanism design representation, each service is associated to a rational agent where decisions are based on the gaining utilities.This allows us to capture, assess and analyze the possible strategies in such a game. An overall trust assessment is provided and some interesting properties are discussed. Some simulation results are also presented.
Controlling the spontaneous spiking regularity via channel blocking on Newman-Watts networks of Hodgkin-Huxley neurons

We investigate the regularity of spontaneous spiking activity on Newman-Watts small-world networks consisting of biophysically realistic Hodgkin-Huxley neurons with a tunable intensity of intrinsic noise and fraction of blocked voltage-gated sodium and potassium ion channels embedded in neuronal membranes. We show that there exists an optimal fraction of shortcut links between physically distant neurons, as well as an optimal intensity of intrinsic noise, which warrant an optimally ordered spontaneous spiking activity. This doubly coherence resonance-like phenomenon depends significantly on, and can be controlled via, the fraction of closed sodium and potassium ion channels, whereby the impacts can be understood via the analysis of the firing rate function as well as the deterministic system dynamics. Potential biological implications of our findings for information propagation across neural networks are also discussed.
Computational complexity and the classification of finite simple groups

We address the graph isomorphism problem and related fundamental complexity problems of computational group theory. The main results are these: A1. A polynomial time algorithm to test simplicity and find composition factors of a given permutation group (COMP). A2. A polynomial time algorithm to find elements of given prime order p in a permutation group of order divisible by p. A3. A polynomial time reduction of the problem of finding Sylow subgroups of permutation groups (SYLFIND) to finding the intersection of two cosets of permutation groups (INT). As a consequence, one can find Sylow subgroups of solvable groups and of groups with bounded nonabelian composition factors in polynomial time. A4. A polynomial time algorithm to solve SYLFIND for finite simple groups. A5. An ncd/log d algorithm for isomorphism (ISO) of graphs of valency less than d and a consequent improved moderately exponential general graph isomorphism test in exp(c√n log n) steps. A6. A moderately exponential, n,c√n algorithm for INT. Combined with A3, we obtain an nc√n algorithm for SYLFIND as well. All these problems have strong links to each other. ISO easily reduces to INT. A subcase of SYLFIND was solved in polynomial time and applied to bounded valence ISO in [Lul]. Now, SYLFIND is reduced to INT. Interesting special cases of SYLFIND belong to NP ∩ coNP and are not known to have subexponential solutions. All the results stated depend on the classification of finite simple groups. We note that no previous ISO test had no(d) worst case behavior for graphs of valency less than d. It appears that unless there is another radical breakthrough in ISO, independent of the previous one, the simple groups classification is an indispensable tool for further developments.
A comparative study of two non-credit educational organisations for older people: the University of the Third Age (U3A) in the UK and the Senior University (SU) in South Korea

This empirical inquiry was designed as a comparative study to facilitate in the development of theoretical models that can promote a better understanding of the forces that shape the teaching and learning of older people in different cultural settings. For an examination of cultural similarities and differences, this thesis adopted a cross-national comparative method to study two institutions of third age learning, that is the University of the Third Age (U3A) in the UK and the Senior University (SU) in South Korea. In order to achieve a more active comparison, this research followed the systematic approach of comparative study advocated by Bereday (1964), and employing multi-faceted analysis according to the cube method of Bray and Thomas (1995) for a full and balanced understanding of the research subject. Quantitative and qualitative methods have been used in combination to capture the differences across the two institutions in terms of participants’ educational needs and their experiences, and the historical development of each institution, in order to analyse the different cultural meanings attached to learning and ageing in the two countries (Evans, 2001). This thesis also draws on national statistics and research reports in order to understand the broad trends. Policy thinking about the learning society and the ageing society are usually based on the same economic point of view, and governments tend to focus on the instrumental aspects of education. Therefore, in many countries older people have created learning opportunities for themselves, specifically U3A in the UK and SU in South Korea. In this study, U3A and SU’s cultures of learning are compared: the mutual aid or self-help model and organisation-led welfare model; the informal learning orientation and formal learning orientation; the andragogical and pedagogical models; the buffet or cafeteria style and set-menu style; horizontal and vertical teacher-student relationships; bottom-up and top-down management styles. Analysis of all these differences supports the conclusion that U3A is based on the tradition of liberalism and self-help tradition in the UK and SU is based on the tradition of collectivism and Confucianism in South Korea. The members of the U3A have a middle-class background and culture, and so dominantly feel more comfortable with an academic, discourse-based form of learning, while the SU members had a 'Botongsaram (ordinary person) culture' in which they preferred practical activities and pastimes (such as music and dancing) to academic subjects. This research will be of help to academics and policy makers to understand cultures of learning from the perspective of the third age group, so as to develop different learning models to satisfy the diverse interests of older adults in third age learning.
Warm and cold complex regional pain syndromes

Objective: To investigate clinical differences in warm and cold complex regional pain syndrome (CRPS) phenotypes. Background: CRPS represents inhomogeneous chronic pain conditions; approximately 70% patients with CRPS have “warm” affected limbs and 30% have “cold” affected limbs. Methods: We examined 50 patients with “cold” and “warm” CRPS (n = 25 in each group). Both groups were matched regarding age, sex, affected limb, duration of CRPS, and CRPS I and II to assure comparability. Detailed medical history and neurologic status were assessed. Moreover, quantitative sensory testing (QST) was performed on the affected ipsilateral and clinically unaffected contralateral limbs. Results: Compared with patients who had warm CRPS, patients who had cold CRPS more often reported a history of serious life events (p < 0.05) and chronic pain disorders (p < 0.05). In cold CRPS, the incidence of CRPS-related dystonia was increased (p < 0.05), and cold-induced pain had a higher prevalence (p < 0.01). Furthermore, QST revealed a predominant sensory loss in patients with cold CRPS (p < 0.05). In contrast, patients with warm CRPS were characterized by mechanical hyperalgesia (p < 0.05) in the QST of affected limbs. Conclusion: Our results indicate that warm and cold complex regional pain syndromes (CRPS) are associated with different clinical findings, beyond skin temperature changes. This might have implications for the understanding of CRPS pathophysiology.