Miracle-dz/UniFAR-FTUs huggingface dataset:
DECIDABILITY OF MODULES OVER A BÉZOUT DOMAIN D+XQ[X] WITH D A PRINCIPAL IDEAL DOMAIN AND Q ITS FIELD OF FRACTIONS

Abstract We describe the Ziegler spectrum of a Bézout domain B=D+XQ[X] where D is a principal ideal domain and Q is its field of fractions; in particular we compute the Cantor–Bendixson rank of this space. Using this, we prove the decidability of the theory of B-modules when D is “sufficiently” recursive.
Entropy Growth in the Early Universe, and the Search for Determining if Gravity is Classical or Quantum, Part I (Confirmation of Initial Big Bang Conditions?)

We begin our inquiry by asking two questions. First, is there an approximate match up between the total entropy of the universe, and the sum total of entropy between super massive black holes at the center of spiral galaxies? Note that Sean Carroll in 2005 presented a black hole entropy value which could have a super massive black hole in the center of a galaxy having more than 1089 non dimensionalized units of entropy in value. This value would be greater than what H. J. de Vega calculated as the entropy value of the entire universe. And there are conceivably up to a million spiral galaxies. Secondly, we accept what De Vega presented about entropy, i.e. its approximate present day value was nearly reached during the end of the re heating of the universe, right after the big bang. If so, the second question is what initiated entropy growth in the beginning ? This paper shows how increased entropy values from an initially low big bang level can be measured experimentally by counting relic gravitons. Furthermore the physical mechanism of this entropy increase is explained via analogies with early-universe phase transitions. The role of Jack Ng's revised infinite quantum statistics in the physics of gravitational wave detection is acknowledged. Ng's infinite quantum statistics can be used to show that gravitons ΔS ≈ ΔN is a starting point to the increasing net universe cosmological entropy. Finally, in a nod to similarities with ZPE analysis, it is important to note that the resulting/\] ΔS ≈ ΔNgravitons ≠ 1089, that in fact it is much lower, allowing for evaluating initial graviton production as an emergent field phenomena, which may be similar to how ZPE states can be used to extract energy from a vacuum if entropy is not maximized. Finally, the implications of if or not gravitons have mass will be reviewed as far as how graviton mass issues, and the nature of gravitational waves, may affect experimental measurements of relic big bang conditions. The relationship of some models of KK gravitons as having similar evolution equations to GW in GR models will be commented upon, with suggestions as to how that ties in DM values.
Using Existing Digital Tools for Efficient Metabolic Pathway Simulations

The complexity of full-cell metabolic and regulatory pathways currently hinders high accuracy biological simulations with traditional Ordinary Differential Equation (ODE) solver-based methodologies. In this paper event-driven simulators used to tackle problems of similar complexity in Very Large Scale Integration (VLSI) digital designs are employed to trade-off complexity for accuracy. An event-driven model for typical enzymatically catalyzed reactions is proposed and compared with standard ODE solutions on single reactions and a biologically relevant portion of a metabolic pathway. The system shows good stability and controlled error propagation, and allows reduction of computational effort in systems where few concentrations are actively changing at any given time, as well as integration of other models such as on/off gene activation, stochastic and discrete behavior
Managing temporal detail in virtual environments: relating system responsiveness to feedback

Recent research has enabled control of the level of graphical detail in virtual environments, and thus system responsiveness (SR). Given such control, what SR is appropriate? This is a preliminary report of the first of a series of experiments addressing this question. Previous research has demonstrated that 2D interactive tasks needing higher levels of feedback require better SR. However, research results for 3D tasks have not been as clear. We present an experiment confirming the SR/feedback relationship for 3D tasks.
Cross-lingual acoustic modeling for Indian languages based on Subspace Gaussian Mixture Models

Cross-lingual acoustic modeling using Subspace Gaussian Mixture Model for low-resource languages of Indian origin is investigated. Building acoustic model for a low-resource language with limited vocabulary by leveraging resources from another language with comparatively larger resources was focused upon. Experiments were done on Bengali and Tamil corpus from MANDI database, with Tamil having greater resources than Bengali. We observed that the word accuracy of cross-lingual acoustic model of Bengali was approximately 2.5% above it's CDHMM model and gave equivalent performance as it's monolingual SGMM model.
You Can Run, but You Can't Hide: Exposing Network Location for Targeted DoS Attacks in Cellular Networks

An important class of attacks against cellular network infrastructures, i.e., signaling DoS attack, paging channel overload, and channel exhaustion attack, operates by sending low rate data traffic to a large number of mobile devices at a particular location to exhaust bottleneck resources such as radio resource and radio resource controller. We term this class of attack targeted DoS attack on cellular networks, given the focus on a specific location. The success of such attacks depends on an important but unvalidated assumption that it is possible to create a relatively accurate hit list of mobile devices associated with the target network location to which attackers can direct traffic. In this study, we take an important first step to validate this assumption by performing a large-scale study on the feasibility of these attacks. In addition, we propose accurate and efficient techniques for generating IP address to network location association in real time for existing commercial UMTS networks. Our technique relies on developing and measuring network signatures consisting of both static and dynamic features of key network elements such as Radio Network Controllers (RNCs) that are stable within the same location but distinct across locations. We find that a single feature in some cases is unique enough to locate a city such as NYC. With as little as 800kbps probe rate, we can identify a sufficient number of IPs to accurately target a network location, after scanning millions of IPs within 1.2 hours to effectively impose 2.5 to 3.5 times the normal load on the network.
A new pulsed power supply configuration for electromagnetic forming application

Pulsed power supply (PPS) is one of the electromagnetic forming (EMF) system components. Advances in power electronics converters led to more efficient and controllable pulsed power supplies. Development of solid-state based topologies in pulsed power applications have been considered in recent years. Using these topologies gives compactness and easiness to EMF systems unlike conventional structures. The pulses magnitude and frequency of them are not the same as other pulsed power application. Therefore, most structures introduced are bulky and not efficient. This paper proposes a new configuration for pulsed power supply in electromagnetic forming system. The proposed system is based on Z-source full-bridge inverter that has the flexibility in terms of controlling energy and charging the capacitor to provide proper pulse for electromagnetic forming. In conventional electromagnetic forming systems, power supplies often don't have power electronics configurations. Therefore, the magnitude and frequency of the pulses are not controllable. Using solid-state structure can compensate these defects. Simulation and experimental results are included to verify the proposed system performance.
Cross-lingual Bootstrapping for Semantic Role Labeling

The approach we present uses semantic similarity between parallel sentences to bootstrap semantic role labeling (SRL) models for a pair of languages. The setting is similar to co-training, except for the intermediate model required to convert the SRL structure between the two annotation schemes used for different languages. This approach can facilitate the construction of SRL models for a resource-poor language, while preserving the annotation schemes designed for it and leveraging the resources available for this language. It can also be extended to benefit from the use of the resources in multiple languages simultaneously. We evaluate the model on four language pairs, English vs German, Spanish, Czech and Chinese, against a supervised baseline, and discuss the improvements observed, as well as the factors that affect the performance of the model.
Efficient Geo-Computational Algorithms for Constructing Space-Time Prisms in Road Networks

The Space-time prism (STP) is a key concept in time geography for analyzing human activity-travel behavior under various Space-time constraints. Most existing time-geographic studies use a straightforward algorithm to construct STPs in road networks by using two one-to-all shortest path searches. However, this straightforward algorithm can introduce considerable computational overhead, given the fact that accessible links in a STP are generally a small portion of the whole network. To address this issue, an efficient geo-computational algorithm, called NTP-A*, is proposed. The proposed NTP-A* algorithm employs the A* and branch-and-bound techniques to discard inaccessible links during two shortest path searches, and thereby improves the STP construction performance. Comprehensive computational experiments are carried out to demonstrate the computational advantage of the proposed algorithm. Several implementation techniques, including the label-correcting technique and the hybrid link-node labeling technique, are discussed and analyzed. Experimental results show that the proposed NTP-A* algorithm can significantly improve STP construction performance in large-scale road networks by a factor of 100, compared with existing algorithms.
Deploying music characteristics for an affective music player

This paper describes work toward an affective music player (AMP), which is able to direct affect to a goal state by selecting music. Repeatedly, music has been shown to modulate affect; however, precise guidelines for the use of music characteristics in an AMP have not been defined. To explore these, we investigated the influence of music characteristics on 32 participants who listened to 16 songs, testing effects of tempo (slow/high), mode (minor/major), and per-cussiveness (low/high). Subjective measures of affect (i.e., arousal, tension, and positive and negative valence) and physiology (i.e., skin conductance level, skin conductance responses, and heart rate variability) were measured during listening. Results show main and interaction effects of music characteristics on both subjective affect and physiology, implying that the characteristics are mutually dependent in modulating affect. Based on these results, guidelines are presented for AMPs, which can effectively direct affect through music.
A privacy-preserving recommender system for mobile commerce

The problem of preserving the user's privacy in recommender systems for mobile commerce is faced in this work. We propose a novel framework to support private queries and evaluations, based on the concept of k-anonymity to protect the user's identity, which does not require a trusted third-party. Privacy is achieved via a dummy-user selecting algorithm based on grid-maps and a collaborative filtering algorithm based on the simple Bayesian classifier.
How much OOO in your MOOC

Il formato MOOC (Massive Open Online Course) continua a creare numerose riflessioni, soprattutto in merito alla sua capacita di raggiungere tanti utenti contemporaneamente e all’uso innovativo delle nuove tecnologie. Questo articolo esamina il rapporto di simultanea attrazione e repulsione che la comunita educativa attualmente rivela verso i MOOC, un’ambivalenza che sembra sorgere a causa della qualita di apertura (openness). Le recenti implementazioni di MOOC divergono dalla radice connettivista. Un modo per comprendere le loro differenze puo essere tramite l’osservazione di come vengano applicati i sette tipi di apertura. L’openness e ritenuta la dimensione piu significativa perche e quella che definisce meglio la qualita dei MOOC, anche se, al contempo, e quella che crea le maggiori sfide. Questo articolo esplora le tendenze attuali nelle offerte di MOOC, mettendo in discussione il valore pedagogico delle nuove implementazioni, ma anche apprezzando la loro rapida crescita e il loro potenziale impatto. L’articolo suggerisce che il formato MOOC debba essere adottato con un cosciente e deliberato intento di utilizzare l’apertura che offre, e non semplicemente perche aiuta a raggiungere un numero decisamente piu ampio di studenti.
The Effect of Power-walking in Phase 2 Cardiac Rehabilitation Program

Objective To evaluate the effects of power walking (PW) training on a treadmill in patients with coronary heart disease (CHD) and to compare the cardiovascular effects of PW with usual walking (UW). Method Patients were recruited as participants in phase 2 cardiac rehabilitation program after receiving percutaneous coronary intervention (PCI) due to acute coronary syndrome from our hospital. The participants were divided into the PW group (n=16) and UW group (n=18). All participants received graded exercise test (GXT) and significant difference in maximal oxygen consumption (VO2Max) was not observed between the groups. Aerobic exercise training on treadmill was given for 50 minutes per session, three times a week, for six weeks. Physiological and hematological parameters were tested before and 6 weeks after the cardiac rehabilitation program. Exercise duration, VO2Max, heart rate, blood pressure, and rate pressure product were evaluated through graded exercise test. Hematological measurements included serum lipid profile, and high-sensitivity C reactive protein (hs-CRP). Results There were no significant differences in resting heart rate, maximal heart rate, resting systolic and diastolic blood pressures, lipid profile, hs-CRP, VO2Max, and RPP between the PW group and UW group. However, after 6 weeks of the intervention, VO2Max in the PW group (36.03±5.69 ml/kg/min) was significantly higher than that in the UW group (29.73±5.63 ml/kg/min) (p<0.05). Conclusion After six weeks of phase 2 cardiac rehabilitation program, the PW group showed significant improvement in VO2Max than the UW group. Thus, it will beneficial to recommend power walking in cardiac rehabilitation program.
Drag-and-drop pasting

In this paper, we present a user-friendly system for seamless image composition, which we call drag-and-drop pasting. We observe that for Poisson image editing [Perez et al. 2003] to work well, the user must carefully draw a boundary on the source image to indicate the region of interest, such that salient structures in source and target images do not conflict with each other along the boundary. To make Poisson image editing more practical and easy to use, we propose a new objective function to compute an optimized boundary condition. A shortest closed-path algorithm is designed to search for the location of the boundary. Moreover, to faithfully preserve the object's fractional boundary, we construct a blended guidance field to incorporate the object's alpha matte. To use our system, the user needs only to simply outline a region of interest in the source image, and then drag and drop it onto the target image. Experimental results demonstrate the effectiveness of our "drag-and-drop pasting" system.
CRMP1 Inhibits Proliferation of Medulloblastoma and Is Regulated by HMGA1

Many facets of the tumor biology of medulloblastoma (MB) have not been fully elucidated. Collapsin response mediator protein 1 (CRMP1) is a member of cytoplasmic family of proteins that regulate the development of central nervous system. Recent studies demonstrated that CRMP1 could function as an invasion suppressor. We reported previously that high mobility group AT-hook 1 (HMGA1) contributed to development of MB and regulated its growth and migration/invasion. Transcriptional profiling and quantitative RT-PCR revealed increased expression of CRMP1 in HMGA1-depleted cells, suggesting that CRMP1 may be a downstream target of HMGA1 in MB. In this study, we showed HMGA1 can bind CRMP1 promoter by chromatin immunoprecipitation (ChIP) assay. Luciferase assay demonstrated a marked enhancement of CRMP1 transcription activity in HMGA1-depleted cells. Furthermore, quantitative RT-PCR revealed a negative correlation between HMGA1 and CRMP1 in 32 MB samples. To investigate the biological roles of CRMP1 in MB pathogenesis, we established MB clones stably expressing CRMP1. Functional analysis revealed that expression of CRMP1 significantly inhibited proliferation, migration, invasion and formation of filopodia and intense stress fiber of MB cells. Our data suggest that HMGA1 regulates CRMP1 expression and CRMP1 is implicated in MB pathogenesis.
Stress-rest myocardial perfusion SPECT for functional assessment of coronary arteries with anomalous origin or course.

UNLABELLED Anomalous coronary arteries (ACAs) may be clinically silent and totally benign or associated with catastrophic and fatal presentations. It has been postulated that the proximal course of an ACA is a decisive factor in risk stratification and surgical approach. Particularly, a course between the aorta and pulmonary trunk carries a high risk of major adverse events. We sought to evaluate the anatomic course of documented ACAs by transesophageal echocardiography (TEE) and to study their functional importance using stress-rest (99m)Tc-sestamibi ((99m)Tc-MIBI) myocardial perfusion SPECT. METHODS From a cohort of patients undergoing coronary angiography in our department between January 1997 and April 2003, we selected 14 with ACAs but without CAD (9 men and 5 women; mean age, 50.7 +/- 14.6 y). All patients underwent TEE and stress-rest (99m)Tc-MIBI myocardial perfusion SPECT. RESULTS TEE correctly identified the origin of all ACAs and revealed an anomalous course between the great vessels in 5 patients. At exercise myocardial perfusion SPECT, 4 of 14 patients demonstrated a reversible myocardial perfusion defect. All these patients had an anomalous course between the aorta and pulmonary artery. CONCLUSION In this study, 4 of 5 (80%) anomalous courses between the aorta and pulmonary artery were associated with the finding of a reversible perfusion defect on stress-rest SPECT. An integrated evaluation of anatomic course and hemodynamic importance could be useful in the management of ACA.
Detection and Analysis of Trend Topics for Global Scientific Literature Using Feature Selection Based on Gini-Index

As the volume and diversity of scientific resources grows, trend detection and analysis have become much more important issues. A variety of trend detection, characterization, evaluation and visualization methodologies have been introduced for various application domains. In this paper, we consider detection of temporal trends for topics using feature selection and extraction of additional information from the subtopics of them, for the Global Trends Briefing (GTB) dataset. Thus, we propose a novel trend detection method using feature selection based on the Improved Gini-Index (I-GI) algorithm, which can obtain representative features for given topics. Second, with those features, we extract subtopics for the topics and visualize temporal/emerging/upward/ downward trends with them. Third, utilizing the relations among the subtopics, we obtain relevant documents and seed sentences that co-occur with the upper features for the topic. In addition, we can extract information to forecast future trends relevant to the issues: for example, financial market or emerging technology. In the experimental results, we could obtain good representative features, more specific trends for the topics, and additional useful information.
An Investigation of the Lecture Note-Taking Skills of Adolescents with and without Attention Deficit/Hyperactivity Disorder: An Extension of Previous Research

An Investigation of a Lecture Note-Taking Intervention in Adolescents with and without Attention-Deficit/Hyperactivity Disorder Jessica D. Gleason Note-taking is an effective and prevalent study strategy that has been widely examined in post-secondary settings. However, little is known about the underlying cognitive variables associated with note-taking. The current study set out to investigate the note-taking skills of high school students with and without Attention Deficit-Hyperactivity Disorder (ADHD), in order to extend previous studies on lecture note-taking (Peverly, Garner, & Vekaria, 2011; Peverly et al., 2007; Peverly et al, 2010) to this younger population and disability group. It additionally set out to investigate the utility of providing an outline as an intervention to improve the note-quality of these populations. Participants included 40 high school students with ADHD and 40 high school students without ADHD. Participants took notes on a videotaped lecture, and half were provided with an outline on which to take their notes. One week later, participants reviewed their notes and took a multiple choice test. The independent variables included ADHD status, outline status (yes/no), attention, transcription fluency, verbal working memory, and listening comprehension. The dependent variables were quality of notes and test performance. All measures were group administered. Results of this investigation indicated that ADHD status, attention, transcription speed, and listening comprehension all emerged as significant predictors of note-taking skill. Notequality and listening comprehension were the only predictors of test performance. Students with ADHD produced lower quality notes when compared to non-ADHD peers. They additionally obtained lower scores on a multiple choice test as well a measure of listening comprehension, but did not significantly differ in terms of attention, verbal working memory, or transcription speed. The provision of an outline did not significantly impact the note quality of students with or without ADHD in the current study. Future research aimed at replicating these findings and expanding the results to include wider samples with more rigorously confirmed diagnoses is recommended.
Multi-level Label Propagation Algorithm Based on Data Reconstruction

Due to standard label propagation algorithm does not use the correct posterior probability of each iteration, and the propagation information of labeled data and unlabeled data are not distinguished during the label propagation process, this paper proposes a multi-level label propagation algorithm Based on data reconstruction. It adds the data which is correctly labeled for each iteration into the labeled data by the nearest neighbor rule Based data editing technique named Depuration, reconstructs the labeled data set, classifies the transition probability matrixes of both labeled and unlabeled data according to their importance. Experimental results show that the proposed algorithm is effective on the performance and convergence rate.
PARAPHRASES IN LFG-BASED BROAD-COVERAGE SEMANTICS

This paper adresses the problem of modelling paraphrases in a deep linguistic processing framework where the meaning constructi on component is based on an LFG grammar. We present a syntax-based approach t o paraphrase extraction that operates on shallow dependency anal ses in a parallel corpus. By means of an XLE-based conversion routine, we gene rate transfer rules for the automatically acquired semantic correspo ndences. These rules can be used as an additional component in the rule-base d process of meaning construction which will augment the meaning repres entation with entailments that hold for complex phrasal units.