Miracle-dz/UniFAR-FTUs huggingface dataset:
High-level Modelling and Exploration of Coarse-grained Re-configurable Architectures

The increasing complexity of today's multimedia and wireless applications is motivating the system designers to innovate continuously. With the challenge to keep various performance metrics in a tight balance while designing a complex system, an entire range of components are now being offered as choices for system building blocks. Coarse-Grained Re-configurable Architecture (CGRA), a strongly emerging class, is currently receiving due attention for offering excellent performance as well as flexibility post fabrication. Compared to the programmable and flexible microprocessors these architectures are shown to yield stronger performance, especially in case of regular and data-driven applications. A variety of system designs are proposed of late, with CGRA as one of the key building blocks. Most of the research initiatives taken in this area have resorted to a template-based approach, where the structure of the re-configurable architecture is partially fixed with several tunable parameters. In this paper, we present a language-driven modelling and exploration framework for CGRAs. In the domain of CGRAs, this framework attempts to bring modelling ease, genericity, early exploration and path to implementation together. The modelling formalism proposed in this paper as well as the exploration capabilities are demonstrated via experiments with several algorithmic kernels.
Effect of Camel Milk on Blood Sugar and Lipid Profile of Patients With Type 2 Diabetes: A Pilot Clinical Trial

Background: It has been shown that camel milk consumption has a definite decreasing effect on the prevalence of diabetes. However, most of these studies were conducted on patients with type 1 diabetes, whereas studies on patients with type 2 diabetes mellitus (T2DM) are limited. In vitro experiments have shown that camel milk was able to decrease blood glucose concentration. Objectives: The purpose of this study was to investigate effects of camel and cow milk on blood sugar, lipid profile, and blood pressure of patients with T2DM. Patients and Methods: In a randomized single-blinded controlled clinical trial, 20 patients with T2DM were randomly allocated into two groups. Participants consumed 500 mL of either camel milk (intervention group) or cow milk (control group) daily for two months. Results: Mean of insulin concentration was significantly increased from 64.59 to 84.03 pmol/L in the camel milk group during the study (P < 0.05). No significant differences were shown in fasting blood sugar, lipid profile, and blood pressure between the two groups at the end of study. There was significant increase in homeostasis model assessment of insulin resistance (HOMA-IR) during the study in both groups, but no significant difference was seen between the two groups. Conclusions: Camel milk increased insulin level in patients with T2DM and might contribute to glycemic control in T2DM.
Measurement of SUSY masses via cascade decays for SPS 1a

If R-parity conserving supersymmetry exists below the TeV-scale, new particles will be produced and decay in cascades at the LHC. The lightest supersymmetric particle will escape the detectors, thereby complicating the full reconstruction of the decay chains. In this paper we expand on existing methods for determining the masses of the particles in the cascade from endpoints of kinematical distributions. We perform scans in the mSUGRA parameter space to delimit the region where this method is applicable. From the examination of theoretical distributions for a wide selection of mass scenarios it is found that caution must be exerted when equating the theoretical endpoints with the experimentally obtainable ones. We provide analytic formulae for the masses in terms of the endpoints most readily available. Complications due to the composite nature of the endpoint expressions are discussed in relation to the detailed analysis of two points on the SPS 1a line. Finally we demonstrate how a Linear Collider measurement can improve dramatically on the precision of the masses obtained.
Weight Status, Physical Activity, and Depression in Korean Older Adults

Background This study aimed to explore the associations between weight status, physical activity, and depression in Korean older adults. Methods We used the baseline data drawn from the 2008 baseline survey utilized in the Living Profiles of Older People Survey, comprised of 15,146 community-dwelling older people (42.6% men and 57.4% women) aged 60 years and older residing in the Republic of Korea. After excluding respondents with missing data on height, weight, and physical activity (PA), data on 10,197 samples (43.3% men and 56.7% women) were analyzed in this study. Results Underweight and completely inactive individuals had poorer sociodemographic and health behavioral characteristics and increased risks of late-life depression compared with normal weight and sufficiently active individuals, respectively. In terms of the aerobic PA guidelines, completely inactive individuals had a significantly higher risk of late-life depression (odds ratio 1.730; 95% confidence interval, 1.412–2.120) compared with sufficiently active individuals, even after adjustments for age, education, household income, night sleeping, living status, marital status, smoking, number of comorbidities, nutritional status, self-reported health status, and cognitive performance as covariates. In addition, those who did not meet the PA guidelines and were underweight or overweight/obese were more likely to have late-life depression compared to those who were active and normal weight. Conclusions The current findings of the study suggest that modifiable, lifestyle risk factors, such as physical inactivity, underweight, and overweight/obesity, are positively associated with late-life depression in Korean older adults.
DC-Splines: Revisiting the Trilinear Interpolation on the Body-Centered Cubic Lattice

In this paper, we thoroughly study a trilinear interpolation scheme previously proposed for the Body-Centered Cubic (BCC) lattice. We think that, up to now, this technique has not received the attention that it deserves. By a frequency-domain analysis we show that it can isotropically suppress those aliasing spectra that contribute most to the postaliasing effect. Furthermore, we present an efficient GPU implementation, which requires only six trilinear texture fetches per sample. Overall, we demonstrate that the trilinear interpolation on the BCC lattice is competitive to the linear box-spline interpolation in terms of both efficiency and image quality. As a generalization to higher-order reconstruction, we introduce DC-splines that are constructed by convolving a Discrete filter with a Continuous filter, and easy to adapt to the Face-Centered Cubic (FCC) lattice as well.
Deep Neural Solver for Math Word Problems

This paper presents a deep neural solver to automatically solve math word problems. In contrast to previous statistical learning approaches, we directly translate math word problems to equation templates using a recurrent neural network (RNN) model, without sophisticated feature engineering. We further design a hybrid model that combines the RNN model and a similarity-based retrieval model to achieve additional performance improvement. Experiments conducted on a large dataset show that the RNN model and the hybrid model significantly outperform state-of-the-art statistical learning methods for math word problem solving.
Projective Linking and Boundaries of Positive Holomorphic Chains in Projective Manifolds, Part II

In Part I of this paper we introduced the notion of the projective linking number Link(M,Z) of a compact oriented real submanifold M of dimension 2p-1 in complex projective n-space P^n with an algebraic subvariety Z of codimension p in P^n - M. It is shown here that a basic conjecture concerning the projective hull of real curves in P^2 implies the following result: M is the boundary of a positive holomorphic p-chain T of mass M(T) -K p! deg(Z) for all algebraic subvarieties Z of codimension p in P^n - M. An analogous result is implied in any projective manifold X. The above theorem implies a duality between relative and absolute homology classes which are represented by positive holomorphic chains.
Long-acting anticholinergic use in chronic obstructive pulmonary disease: efficacy and safety

Purpose of review This article reviews findings from recently published randomized controlled trials and systematic reviews to provide an up-to-date assessment of the efficacy and safety of tiotropium, the only currently available long-acting muscarinic antagonist, when used alone or in conjunction with other respiratory medications in the treatment of chronic obstructive pulmonary disease (COPD). Recent findings Results of recent clinical trials support findings from earlier trials in patients with moderate to very severe COPD demonstrating significant benefits of tiotropium compared to placebo, including sustained increases in lung function, reductions in exacerbations and risk of exacerbation-related hospitalizations, and improvement in health status. These benefits were particularly noted in the 4-year UPLIFT study that included 5993 COPD patients, including a large percentage with moderate severity. Whereas the cardiovascular safety of tiotropium has been questioned, results of the UPLIFT trial and a recent pooled analysis of data from 30 trials of tiotropium demonstrated that tiotropium is associated with reductions in the risk of all-cause mortality, cardiovascular mortality and cardiovascular events. Summary Recent findings confirm the benefits of tiotropium in COPD management and provide reassurance regarding its safety. Moreover, the recent UPLIFT trial provides supportive evidence for the efficacy of tiotropium in COPD patients already receiving treatment with long-acting inhaled beta-agonists and inhaled corticosteroids, suggesting advantages of ‘triple’ therapy in advanced disease. Further, well designed, adequately powered studies should explore the potential advantages and disadvantages of various combinations of currently available long-acting respiratory medications in COPD, particularly in different clinical phenotypes of this heterogeneous disease.
Fatigue Analyses Under Constant- and Variable-Amplitude Loading Using Small-Crack Theory

Studies on the growth of small cracks have led to the observation that fatigue life of many engineering materials is primarily "crack growth" from micro-structural features, such as inclusion particles, voids, slip-bands or from manufacturing defects. This paper reviews the capabilities of a plasticity-induced crack-closure model to predict fatigue lives of metallic materials using "small-crack theory" under various loading conditions. Constraint factors, to account for three-dimensional effects, were selected to correlate large-crack growth rate data as a function of the effective stress-intensity factor range (delta-Keff) under constant-amplitude loading. Modifications to the delta-Keff-rate relations in the near-threshold regime were needed to fit measured small-crack growth rate behavior. The model was then used to calculate small-and large-crack growth rates, and to predict total fatigue lives, for notched and un-notched specimens under constant-amplitude and spectrum loading. Fatigue lives were predicted using crack-growth relations and micro-structural features like those that initiated cracks in the fatigue specimens for most of the materials analyzed. Results from the tests and analyses agreed well.
Blood Pressure Reactivity to Psychological Stress Predicts Hypertension in the CARDIA Study

Background—A longstanding but controversial hypothesis is that individuals who exhibit frequent, large increases in blood pressure (BP) during psychological stress are at risk for developing essential hypertension. We tested whether BP changes during psychological stress predict incident hypertension in young adults. Methods and Results—We used survival analysis to predict hypertensive status during 13 years of follow-up in a sample of >4100 normotensive black and white men and women (age at entry, 18 to 30 years) enrolled in the CARDIA study. BP responses to 3 psychological challenges—cold pressor, star tracing, and video game tasks—were measured. Hypertensive status was defined as use of antihypertensive medication or measured BP ≥140/90 mm Hg. After adjustment for race, gender, covariates (education, body mass index, age, and resting pressure), and their significant interactions, the larger the BP responses were to each of the 3 tasks, the earlier hypertension occurred (P <0.0001 to <0.01). The systolic BP effect for the cold pressor task was apparent for women and for whites in race- and gender-specific models, whereas the diastolic BP effect for the video game was apparent for men. Conclusions—Young adults who show a large BP response to psychological stress may be at risk for hypertension as they approach midlife.
Visualizing Ricci Flow of Manifolds of Revolution

We present numerical visualizations of Ricci flow of surfaces and three-dimensional manifolds of revolution. Ricci_ rot is an educational tool that visualizes surfaces of revolution moving under Ricci flow. That these surfaces tend to remain embedded in ℝ3 is what makes direct visualization possible. The numerical lessons gained in developing this tool may be applicable to numerical simulation of Ricci flow of other surfaces. Similarly for simple three-dimensional manifolds like the 3-sphere, with a metric that is invariant under the action of SO(3) with 2-sphere orbits, the metric can be represented by a 2-sphere of revolution, where the distance to the axis of revolution represents the radius of a 2-sphere orbit. Hence we can also visualize the behaviour of such a metric under Ricci flow. We discuss briefly why surfaces and 3-manifolds of revolution remain embedded in ℝ3 and ℝ4, respectively, under Ricci flow and finally indulge in some speculation about the idea of Ricci flow in the larger space of positive definite and indefinite metrics.
New International Diabetes Federation (IDF) and National Cholesterol Education Program Adult Treatment panel III (NCEP‐ATPIII) criteria and the involvement of hemostasis and fibrinolysis in the metabolic syndrome

1 Balogun RA, Sahadevan M, Sevigny J, Kaplan AA. Impact of therapeutic plasma exchange on cyclosporine kinetics during membrane-based lipid apheresis. Am J Kidney Dis 2001; 37: 1286–9. 2 JinM, Cataland S, BissellM,WuHM.A rapid test for the diagnosis of thrombotic thrombocytopenic purpura using surface enhanced laser desorption/ionization time-of-flight (SELDI-TOF)-mass spectrometry. J Thromb Haemost 2006; 4: 333–8. 3 Kessler CM. An introduction to factor VIII inhibitors: the detection and quantitation. Am J Med 1991; 91: 1S–5S. 4 BachmanWR, Brennan JK. Refractory thrombotic thrombocytopenic purpura treated with cyclosporine. Am J Hematol 1996; 51: 93–4. 5 Hand JP, Lawlor ER, Yong CK, Davis JH. Successful use of cyclosporine A in the treatment of refractory thrombotic thrombocytopenic purpura. Br J Haematol 1998; 100: 597–9. 6 Itala M, Remes K. Excellent response of refractory life-threatening thrombotic thrombocytopenic purpura to cyclosporine treatment.Clin Lab Haematol 2004; 26: 65–7. 7 Kierdorf H, Maurin N, Heintz B. Cyclosporine for thrombotic thrombocytopenic purpura. Ann Intern Med 1993; 118: 987–8. 8 Nosari A, Bernuzzi P, Corneo R, Pungolino E, Muti G, Rossi V, Morra E. Late response to cyclosporine in refractory thrombotic thrombocytopenic purpura. Int J Hematol 2002; 76: 284–6. 9 Pasquale D, Vidhya R, DaSilva K, Tsan MF, Lansing L, Chikkappa G. Chronic relapsing thrombotic thrombocytopenic purpura: role of therapy with cyclosporine. Am J Hematol 1998; 57: 57–61. 10 Yamaguchi M, Nagata K, Hamaguchi H. Successful treatment of refractory thrombotic thrombocytopenic purpura with cyclosporine A and splenectomy. Rinsho Ketsueki 2000; 41: 676–80.
Motor Cost Influences Perceptual Decisions

Perceptual decision making has been widely studied using tasks in which subjects are asked to discriminate a visual stimulus and instructed to report their decision with a movement. In these studies, performance is measured by assessing the accuracy of the participants’ choices as a function of the ambiguity of the visual stimulus. Typically, the reporting movement is considered as a mere means of reporting the decision with no influence on the decision-making process. However, recent studies have shown that even subtle differences of biomechanical costs between movements may influence how we select between them. Here we investigated whether this purely motor cost could also influence decisions in a perceptual discrimination task in detriment of accuracy. In other words, are perceptual decisions only dependent on the visual stimulus and entirely orthogonal to motor costs? Here we show the results of a psychophysical experiment in which human subjects were presented with a random dot motion discrimination task and asked to report the perceived motion direction using movements of different biomechanical cost. We found that the pattern of decisions exhibited a significant bias towards the movement of lower cost, even when this bias reduced performance accuracy. This strongly suggests that motor costs influence decision making in visual discrimination tasks for which its contribution is neither instructed nor beneficial.
Delays by patients in seeking treatment for acute chest pain: implications for achieving earlier thrombolysis

A study was set up to identify why patients delay seeking medical assistance after myocardial infarction. The study was performed in 100 consecutive patients with suspected acute myocardial infarction admitted to either the University Hospital of Wales, Cardiff, UK, or the Royal Jubilee Hospital, Victoria, British Columbia, Canada (50 patients from each centre). The main outcome measure was the delay from the onset of symptoms to admission to hospital. The mean total delay before admission was 385 minutes (SEM 45). The mean delay incurred by the patient in seeking assistance was 172 minutes (SEM 27), representing 45% of the total. Delay was longer in patients with crescendo angina and shorter in those later confirmed to have myocardial infarction. Patients with prior ischaemic heart disease (74% of patients) presented later than those with no such history. No other demographic or clinical factors predicted early or late presentation. Delays in seeking medical assistance after the onset of severe chest pain contribute significantly to total delays in patients' hospital admission and thrombolysis. The unexpected observation that patients with known ischaemic heart disease delay longer before seeking help in spite of their frequent contact with doctors, suggests that opportunities for educating patients are being wasted. Major efforts are needed to understand and modify behaviour of patients with chest pain to further reduce delays in treatment.
Simple Channel Sensing Order in Cognitive Radio Networks

In cognitive radio networks (CRNs), effective and efficient channel exploitation is imperative for unlicensed secondary users to seize available network resources and improve resource utilization. In this paper, we propose a simple channel sensing order for secondary users in multi-channel CRNs without a priori knowledge of primary user activities. By sensing the channels according to the descending order of their achievable rates with optimal stopping, we show that the proposed channel exploitation approach is efficient yet effective in elevating throughput and resource utilization. Simulation results show that our proposed channel exploitation approach outperforms its counterparts by up to 18% in a single-secondary user pair scenario. In addition, we investigate the probability of packet transmission collision in a multi-secondary user pair scenario, and show that the probability of collision decreases as the number of channels increases and/or the number of secondary user pairs decreases. It is observed that the total throughput and resource utilization increase with the number of secondary user pairs due to increased transmission opportunities and multi-user diversity. Our results also demonstrate that resource utilization can be further improved via the proposed channel exploitation approach when the number of secondary user pairs approaches the number of channels.
A Low Selenium Level Is Associated with Lung and Laryngeal Cancers

Purpose It has been suggested that selenium deficiency is a risk factor for several cancer types. We conducted a case-control study in Szczecin, a region of northwestern Poland, on 95 cases of lung cancer, 113 cases of laryngeal cancer and corresponding healthy controls. Methods We measured the serum level of selenium and established genotypes for four variants in four selenoprotein genes (GPX1, GPX4, TXNRD2 and SEP15). Selenium levels in the cases were measured after diagnosis but before treatment. We calculated the odds of being diagnosed with lung or laryngeal cancer, conditional on selenium level and genotype. Results Among lung cancer cases, the mean selenium level was 63.2 µg/l, compared to a mean level of 74.6 µg/l for their matched controls (p<0.0001). Among laryngeal cancer cases, the mean selenium level was 64.8 µg/l, compared to a mean level of 77.1 µg/l for their matched controls (p<0.0001). Compared to a serum selenium value below 60 µg/l, a selenium level above 80 µg/l was associated with an odds ratio of 0.10 (95% CI 0.03 to 0.34; p = 0.0002) for lung cancer and 0.23 (95% CI 0. 09 to 0.56; p = 0.001) for laryngeal cancer. In analysis of four selenoprotein genes we found a modest evidence of association of genetic variant in GPX1 with the risk of lung and laryngeal cancers. Conclusion A selenium level below 60 µg/l is associated with a high risk of both lung and laryngeal cancer.
When data dependencies over SQL tables meet the logics of paradox and S-3

We study functional and multivalued dependencies over SQL tables with NOT NULL constraints. Under a no-information interpretation of null values we develop tools for reasoning. We further show that in the absence of NOT NULL constraints the associated implication problem is equivalent to that in propositional fragments of Priest's paraconsistent Logic of Paradox. Subsequently, we extend the equivalence to Boolean dependencies and to the presence of NOT NULL constraints using Schaerf and Cadoli's S-3 logics where S corresponds to the set of attributes declared NOT NULL. The findings also apply to Codd's interpretation "value at present unknown" utilizing a weak possible world semantics. Our results establish NOT NULL constraints as an effective mechanism to balance the expressiveness and tractability of consequence relations, and to control the degree by which the existing classical theory of data dependencies can be soundly approximated in practice.