Miracle-dz/UniFAR-FTUs huggingface dataset:
A modal analysis of staged computation

We show that a type system based on the intuitionistic modal logic S4 provides an expressive framework for specifying and analyzing computation stages in the context of typed λ-calculi and functional languages. We directly demonstrate the sense in which our <inline-equation> <f> <g>l</g><sup>→□</sup><inf>e</inf></f> </inline-equation>-calculus captures staging, and also give a conservative embeddng of Nielson and Nielson's two-level functional language in our functional language Mini-ML<inline-equation> <f> <hsp sp="-0.167"><sup>□</sup></f> </inline-equation>, thus proving that binding-time correctness is equivalent to modal correctness on this fragment. In addition, <inline-equation> <f> <phr>Mini-ML</phr><hsp sp="-0.167"><sup>□</sup></f> </inline-equation> can also express immediate evaluation and sharing of code across multiple stages, thus supporting run-time code generation as well as partial evaluation.
The Impact of Migration Policy on Migrants' Education Structure: Evidence from Two Austrian Policy Experiments

We ask how two reforms of migration law (EEA accession in 1994 and the integration agreement regulation in 2003) impacted on the education structure of migrants to Austria. To identify the effects of these reforms, we use the fact that EEA accession affected only migrants from EEA countries, while third country citizens were unaffected and that the opposite is the case for the integration agreement regulation. We find robust evidence that the share of low educated permanent migrants from the EEA to Austria reduced relative to the share of low educated permanent migrants from other countries due to Austria's EEA accession. With respect to the reform of residence law in 2003 our results are less robust. Most of them, however, point to an increased share of low skilled permanent migrants.
The relationship between vascular expansion of the aorta and pulmonary artery and the genesis of the impedance cardiogram using the technique of sonomicrometry

Primary objective: This prospective animal study aims to evaluate the contribution of the pulmonary artery (PA) and aorta on the morphology of the impedance cardiogram using sonomicrometry. Methods: Impedance electrodes were placed around the thorax, aorta and in the oesophagus of five dogs. Sonomicrometry crystals were mounted on the PA and aorta for tracking vascular distension while a Doppler flow probe measured aortic blood flow. Results: No significant differences (p > 0.05) were recorded between the onset of aortic expansion, aortic blood flow and the start of the impedance dZ/dt signal. Significant differences (p > 0.001) were recorded between the onset of PA expansion and the dZ/dt signal. PA expansion began 41.6 ± 6.0 ms, 60.7 ± 7.2 ms and 42.2 ± 4.9 ms respectively, before surface, aortic and oesophageal impedance recordings. Conclusion: The genesis of the impedance cardiogram is attributed to volumetric expansion of the aorta.
The Open Flux Problem

The heliospheric magnetic field is of pivotal importance in solar and space physics. The field is rooted in the Sun’s photosphere, where it has been observed for many years. Global maps of the solar magnetic field based on full-disk magnetograms are commonly used as boundary conditions for coronal and solar wind models. Two primary observational constraints on the models are (1) the open field regions in the model should approximately correspond to coronal holes (CHs) observed in emission and (2) the magnitude of the open magnetic flux in the model should match that inferred from in situ spacecraft measurements. In this study, we calculate both magnetohydrodynamic and potential field source surface solutions using 14 different magnetic maps produced from five different types of observatory magnetograms, for the time period surrounding 2010 July. We have found that for all of the model/map combinations, models that have CH areas close to observations underestimate the interplanetary magnetic flux, or, conversely, for models to match the interplanetary flux, the modeled open field regions are larger than CHs observed in EUV emission. In an alternative approach, we estimate the open magnetic flux entirely from solar observations by combining automatically detected CHs for Carrington rotation 2098 with observatory synoptic magnetic maps. This approach also underestimates the interplanetary magnetic flux. Our results imply that either typical observatory maps underestimate the Sun’s magnetic flux, or a significant portion of the open magnetic flux is not rooted in regions that are obviously dark in EUV and X-ray emission.
Toward Emotion Aware Computing: An Integrated Approach Using Multichannel Neurophysiological Recordings and Affective Visual Stimuli

This paper proposes a methodology for the robust classification of neurophysiological data into four emotional states collected during passive viewing of emotional evocative pictures selected from the International Affective Picture System. The proposed classification model is formed according to the current neuroscience trends, since it adopts the independency of two emotional dimensions, namely arousal and valence, as dictated by the bidirectional emotion theory, whereas it is gender-specific. A two-step classification procedure is proposed for the discrimination of emotional states between EEG signals evoked by pleasant and unpleasant stimuli, which also vary in their arousal/intensity levels. The first classification level involves the arousal discrimination. The valence discrimination is then performed. The Mahalanobis (MD) distance-based classifier and support vector machines (SVMs) were used for the discrimination of emotions. The achieved overall classification rates were 79.5% and 81.3% for the MD and SVM, respectively, significantly higher than in previous studies. The robust classification of objective emotional measures is the first step toward numerous applications within the sphere of human-computer interaction.
Optimal Curve Fitting of Speech Signal for Disabled Children

In this work, the amplitude profile of sampled speech data were fitted by employing sum of sine functions with a confidence level more than 90%. Furthermore, amplitude correlation technique is applied between original speech signal samples of normal and pathological subjects and correlation technique is also applied between the curve fit constant values for normal and pathological subjects. Results obtained in both the techniques were compared to determine the varying degrees of speech disability severity.
Cluster Ensemble and Its Applications in Gene Expression Analysis

Huge amount of gene expression data have been generated as a result of the human genomic project. Clustering has been used extensively in mining these gene expression data to find important genetic and biological information. Obtaining high quality clustering results is very challenging because of the inconsistency of the results of different clustering algorithms and noise in the gene expression data. Many clustering algorithms are available and different clustering algorithms may generate different clustering results due to their bias and assumptions. It is a challenging and daunting task for the genomic researchers to choose the best clustering algorithm and generate the best clustering results for their data sets. In this paper, we present a cluster ensemble framework for gene expression analysis to generate high quality and robust clustering results. In our framework, the clustering results of individual clustering algorithm are converted into a distance matrix, these distance matrices are combined and a weighted graph is constructed according to the combined matrix. Then a graph partitioning approach is used to cluster the graph to generate the final clusters. The experiment results indicate that cluster ensemble approach yields better clustering results than the single best clustering algorithm on both synthetic data set and yeast gene expression data set.
Applications of Data Mining Techniques in Healthcare and Prediction of Heart Attacks

Data mining is the computer based process of analyzing huge sets of data and then extracting the meaning of the data. Data mining tools predict future trends, allowing business to make positive, knowledge-driven decisions. The huge amounts of data generated by traditional methods for prediction of heart disease are too complex and voluminous to be processed and analyzed. Data mining provides the technologies to transform these huge sets of data into useful information for decision making. Data mining techniques takes less time for the prediction of the disease with more accuracy. In this paper we survey different papers in which one or more algorithms of data mining used for the prediction of heart disease. The prediction by using data mining algorithm gives efficient results. Applying data mining techniques to heart disease treatment data can provide as reliable performance as that achieved in prediction and diagnosing of heart disease.
Molecular Motors in Bacterial Secretion

Secretion of effectors across bacterial membranes is usually mediated by large multisubunit complexes. In most cases, the secreted effectors are virulent factors normally associated to pathogenic diseases. The biogenesis of these secretion systems and the transport of the effectors are processes that require energy. This energy could be directly obtained by using the proton motive force, but in most cases the energy associated to these processes is derived from ATP hydrolysis. Here, a description of the machineries involved in generating the energy required for system biogenesis and substrate transport by type II, III and IV secretion systems is provided, with special emphasis on highlighting the structural similarities and evolutionary relationships among the secretion ATPases.
Bandwidth Improvement using Rectangular Patch Antenna

1,2,3,4 National Institute of Technology Mizoram, Aizawl-796012 Abstract— This paper investigate a rectangular microstrip patch antenna (RMPA) with improved Bandwidth from 3.22% to 17.8% at the range of 4.50GHz to 5.32GHz by cutting slots, the dielectric material used is FR4. This antenna may be used for Wireless Local Area Network (WLAN) and Wireless Fidelity (WiFi).
A study of the validity and the reliability of the Geriatric Anxiety Inventory in screening for anxiety after stroke in older inpatients

Objectives: To investigate the validity and reliability of the Geriatric Anxiety Inventory in screening for anxiety in older inpatients post-stroke. Design: Longitudinal. Subjects: A total of 81 inpatients with stroke aged 65 years or older were recruited at four centres in England. Main measures: At phase 1 the Geriatric Anxiety Inventory and the Hospital Anxiety and Depression Scale were administered and then the Structured Clinical Interview for Diagnostic and Statistical Manual of Mental Disorders 4th edition (phase 2). The Geriatric Anxiety Inventory was repeated a median of seven days later (phase 3). Results: Internal reliability of the Geriatric Anxiety Inventory was high (α = 0.95) and test–retest reliability acceptable (τB = 0.53). Construct validity was evident relative to the Hospital Anxiety and Depression Scale – Anxiety subscale (τB = 0.61). At a cut off of 6/7, sensitivity of the Geriatric Anxiety Inventory was 0.88, specificity 0.84, with respect to the Structured Clinical Interview anxiety diagnosis. Hospital Anxiety and Depressions Scale – Anxiety subscale sensitivity was 0.88, specificity 0.54 at the optimum cut off of 5/6. A comparison of the areas under the curve of the Receiver Operating Characteristics for the two instruments indicated that the area under the curve of the Geriatric Anxiety Inventory was significantly larger than that of the Hospital Anxiety and Depressions Scale – Anxiety subscale, supporting its superiority. Conclusions: The Geriatric Anxiety Inventory is an internally consistent, reliable (stable) and valid instrument with acceptable sensitivity and specificity to screen for anxiety in older inpatients with stroke.
Ornithine cyclodeaminase from octopine Ti plasmid Ach5: identification, DNA sequence, enzyme properties, and comparison with gene and enzyme from nopaline Ti plasmid C58

Octopine and nopaline are two arginine-derived opines synthesized in plant cells transformed with octopine or nopaline plasmids. Utilization in Agrobacterium tumefaciens is mediated by Ti plasmid regions called occ or noc (octopine or nopaline catabolism), and recent experiments showed that noc in pTiC58 codes for a pathway from nopaline to L-proline. The last enzyme is ornithine cyclodeaminase (OCD), an unusual protein converting L-ornithine directly into L-proline. We investigated whether octopine plasmid pTiAch5 also harbors a gene for OCD. The results revealed an ocd gene which is induced by octopine and maps in the occ region. DNA sequence analysis and comparison with the gene from pTiC58 showed that the two genes are related (69% homology in DNA and deduced amino acid sequence), and antiserum against OCD(C58) also reacted with OCD(Ach5). The enzyme activity was characterized, and a comparison with OCD(C58) showed that the properties are similar, but not identical. Differences were detected in the regulation of enzyme activity by L-arginine and L-proline and in the response to varying ratios of NAD+/NADH. It is proposed that this reflects different mechanisms for integration of opine catabolism into general metabolism.
The seasonality of human campylobacter infection and Campylobacter isolates from fresh, retail chicken in Wales

Seasonal peaks in both human campylobacter infections and poultry isolates have been observed in several European countries but remain unexplained. We compared weekly data on human campylobacter infections with thermophilic Campylobacter isolation rates from fresh, retail chicken samples (n=514) purchased weekly in Wales between January and December 2002. Human isolates (n=2631) peaked between weeks 22 and 25 (early June) and chicken isolates (n=364) between weeks 24 and 26 (late June). In the absence of a temporal association, we postulate that the seasonal rise in humans is not caused by a rise in isolation rates in poultry but that both are more likely to be associated with a common, but as yet unidentified, environmental source.
Translational Repression by RNA-Binding Protein TIAR

ABSTRACT The RNA-binding protein TIAR has been proposed to inhibit protein synthesis transiently by promoting the formation of translationally silent stress granules. Here, we report the selective binding of TIAR to several mRNAs encoding translation factors such as eukaryotic initiation factor 4A (eIF4A) and eIF4E (translation initiation factors), eEF1B (a translation elongation factor), and c-Myc (which transcriptionally controls the expression of numerous translation regulatory proteins). TIAR bound the 3′-untranslated regions of these mRNAs and potently suppressed their translation, particularly in response to low levels of short-wavelength UV (UVC) irradiation. The UVC-imposed global inhibition of the cellular translation machinery was significantly relieved after silencing of TIAR expression. We propose that the TIAR-mediated inhibition of translation factor expression elicits a sustained repression of protein biosynthesis in cells responding to stress.
Complete remission of seizures after corpus callosotomy.

OBJECT Corpus callosotomy is usually intended to alleviate-not to achieve total control of-epileptic seizures. A few patients experience complete seizure control after callosotomy, but the associated clinical factors are unknown. The object of this study was to investigate clinical factors associated with long-term seizure remission after total corpus callosotomy in patients with infantile or early childhood onset epilepsy. METHODS Thirteen consecutive patients with infantile or early childhood onset epilepsy underwent 1-stage total corpus callosotomy for alleviation of seizures. Their age at surgery ranged from 1 year and 5 months to 24 years (median 7 years). Eleven patients had West syndrome at the onset of disease, and the other 2 had Lennox-Gastaut syndrome. All patients suffered from spasms, axial tonic seizures, or atonic seizures. Six patients had proven etiology of epilepsy, including tuberous sclerosis, polymicrogyria, trauma, and Smith-Magenis syndrome. The association between postoperative seizure freedom and preoperative factors including age at surgery, no MRI abnormalities, proven etiology, and focal electroencephalographic epileptiform discharges was examined. RESULTS Postoperative seizure freedom was achieved in 4 of 13 patients for a minimum of 12 months. All 4 patients had no MRI abnormalities and no identified etiology. None of the 8 patients with MRI abnormality, 6 patients with known etiology of epilepsy, or 4 patients aged older than 10 years at surgery achieved seizure freedom. Two of the 7 patients with focal electroencephalographic abnormalities became seizure free. Absence of MRI abnormalities was significantly associated with postoperative seizure freedom (p < 0.01). CONCLUSIONS Complete seizure remission is achieved after total corpus callosotomy in a subgroup of patients with intractable epilepsy following West syndrome or Lennox-Gastaut syndrome. One-stage total corpus callosotomy at a young age may provide a higher rate of seizure freedom, especially for patients with no MRI abnormalities and no identified etiology of epilepsy.
Bio-sensing based on plasmon-coupling caused by rotated sub-micrometer gratings in metal-dielectric interfacial layers

Novel plasmonic sensor chips are prepared by generating sub-micrometer periodic patterns in the interfacial layers of bimetal-polymer films via master-grating based interference method. Poly-carbonate films spin-coated onto vacuum evaporated silver-gold bimetallic layers are irradiated by the two interfering UV beams of a Nd:YAG laser. It is proven by pulsed force mode AFM that periodic adhesion pattern corresponds to the surface relief gratings, consisting of sub-micrometer droplet arrays and continuous polymer stripes, induced by p- and s-polarized beams, respectively. The characteristic periods are the same, but more complex and larger amplitude adhesion modulation is detectable on the droplet arrays. The polar and azimuthal angle dependence of the resonance characteristic of plasmons is studied by combining the prism- and grating-coupling methods in a modified Kretschmann arrangement, illuminating the structured metal-polymer interface by a frequency doubled Nd:YAG laser through a semi-cylinder. It is proven that the grating-coupling results in double-peaked plasmon resonance curves on both of the droplet arrays and line gratings, when the grooves are rotated to an appropriate azimuthal angle, and the modulation amplitude of the structure is sufficiently large. Streptavidin seeding is performed to demonstrate that small amount of protein can be detected monitoring the shift of the secondary resonance minima. The available high concentration sensitivity is explained by the promotion of protein adherence in the structure's valleys due to the enhanced adhesion. The line-shaped polymer gratings resulting in narrow resonance peaks are utilized to demonstrate the effect of therapeutic molecules on Amyloid-&Bgr; peptide, a pathogenic factor in Alzheimer disease.
Investigating Expressive Tactile Interaction Design in Artistic Graphical Representations

In this article, a design research approach is taken to investigate expressive design of tactile interactions. Most research efforts to date on designing and exploring the representational aspects of tactile interfaces have focused on usability and task-oriented scenarios. Yet, there is limited knowledge on how to aid the design of tactile interfaces that support the design of expressive or user-experience-oriented tactile interactions. We address this gap by studying tactile designs in a multisensory context, where the tactile interface augments works of visual art. The expressive and artistic context introduces new opportunities to extend on previous work, and identify new design and interaction potentials with tactile interfaces in graphical multisensory scenarios. During one-on-one guided design sessions, visual artists were asked to create tactile design prototypes that augmented one of their existing works. Each element of the overall tactile design, regarded as a tactile feature, was analyzed using both the bottom-up and top-down approaches. The results discovered through grounded theory are presented and discussed with respect to semiotic theory. Accordingly, tactile constructs and tactile intents define the “form” and “meaning” components of each tactile feature, respectively. Overall analysis of the findings indicates associations among the identified categories and between the two components, leading to design implications for expressive tactile interfaces. Insights from the tactile intents suggest a set of affordances for expressive visuotactile interactions, which we introduce under the notion of expressive roles. Additionally, implications from the tactile constructs indicate a design space for an expressive tactile augmentation design tool, based on which a user interface architecture is proposed. Findings from this research can assist in developing systems and tools for expressive tactile interface design and inspire research in user experience and behavior in multisensory tactile interaction scenarios.
Trace: Tennessee Research and Creative Exchange Ecology and Evolutionary Biology Publications and Other Works Ecology and Evolutionary Biology Spatial Geographic Mosaic in an Aquatic Predator- Prey Network Recommended Citation Spatial Geographic Mosaic in an Aquatic Predator-prey Network

The geographic mosaic theory of coevolution predicts 1) spatial variation in predatory structures as well as prey defensive traits, and 2) trait matching in some areas and trait mismatching in others mediated by gene flow. We examined gene flow and documented spatial variation in crushing resistance in the freshwater snails Mexipyrgus churinceanus, Mexithauma quadripaludium, Nymphophilus minckleyi, and its relationship to the relative frequency of the crushing morphotype in the trophically polymorphic fish Herichthys minckleyi. Crushing resistance and the frequency of the crushing morphotype did show spatial variation among 11 naturally replicated communities in the Cuatro Ciénegas valley in Mexico where these species are all endemic. The variation in crushing resistance among populations was not explained by geographic proximity or by genetic similarity in any species. We detected clear phylogeographic patterns and limited gene flow for the snails but not for the fish. Gene flow among snail populations in Cuatro Ciénegas could explain the mosaic of local divergence in shell strength and be preventing the fixation of the crushing morphotype in Herichthys minckleyi. Finally, consistent with trait matching across the mosaic, the frequency of the fish morphotype was negatively correlated with shell crushing resistance likely reflecting the relative disadvantage of the crushing morphotype in communities where the snails exhibit relatively high crushing resistance. Copyright: ß 2011 Chaves-Campos et al. This is an open-access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited.