Miracle-dz/UniFAR-FTUs huggingface dataset:
Performance analysis of embedded software using implicit path enumeration

Embedded computer systems are characterized by the presence of a processor running application-specific dedicated software. A large number of these systems must satisfy real-time constraints. This paper examines the problem of determining the extreme (best and worst) case bounds on the running time of a given program on a given processor. This has several applications in the design of embedded systems with real-time constraints. An important aspect of this problem is determining which paths in the program are exercised in the extreme cases. The state-of-the-art solution here relies on an explicit enumeration of program paths. This solution runs out of steam rather quickly since the number of feasible program paths is typically exponential in the size of the program. We present a solution for this problem that does not require an explicit enumeration of program paths, i.e., the paths are considered implicitly. This solution is implemented in the program cinderella (in recognition of her hard real-time constraint-she had to be back home at the stroke of midnight), which currently targets a popular embedded processor-the Intel i960. The preliminary results of using this tool are also presented here.
Low conservation and species-specific evolution of alternative splicing in humans and mice: comparative genomics analysis using well-annotated full-length cDNAs

Using full-length cDNA sequences, we compared alternative splicing (AS) in humans and mice. The alignment of the human and mouse genomes showed that 86% of 199 426 total exons in human AS variants were conserved in the mouse genome. Of the 20 392 total human AS variants, however, 59% consisted of all conserved exons. Comparing AS patterns between human and mouse transcripts revealed that only 431 transcripts from 189 loci were perfectly conserved AS variants. To exclude the possibility that the full-length human cDNAs used in the present study, especially those with retained introns, were cloning artefacts or prematurely spliced transcripts, we experimentally validated 34 such cases. Our results indicate that even retained-intron type transcripts are typically expressed in a highly controlled manner and interact with translating ribosomes. We found non-conserved AS exons to be predominantly outside the coding sequences (CDSs). This suggests that non-conserved exons in the CDSs of transcripts cause functional constraint. These findings should enhance our understanding of the relationship between AS and species specificity of human genes.
Biology‐mediated temperature control on atmospheric pCO2 and ocean biogeochemistry

The remarkable correspondence between glacial‐interglacial changes in atmospheric CO2 levels and global climate over much of the Pleistocene suggests that CO2 is also a key climate change driver. However, there is as yet no widely accepted explanation of the low glacial CO2 levels. Here I use an intermediate‐complexity climate model to show that glacial cooling, acting on the rates of organic carbon production and decay in the ocean, can explain a significant portion of the glacial CO2 lowering. New model results show that cooling strengthens the vertical transport of organic carbon from the surface ocean to the deep ocean, reduces atmospheric pCO2, and shifts nutrients from the Atlantic basin to the Indo‐Pacific basins. The overall vertical transport is increased because the cooling effect on reducing the degradation rate of sinking particulate organic carbon is greater than on reducing the export production. This net temperature effect on atmospheric pCO2 mediated by biology is comparable to the temperature effect on atmospheric pCO2 driven by solubility, which is almost always mentioned as a large factor in the glacial CO2 levels. An implication for the future is that higher ocean temperatures will act as a positive feedback on atmospheric CO2 by reducing the vertical transport of carbon to the deep ocean and thereby increasing CO2 degassing from the ocean.
A Possible Link Between Pyriproxyfen and Microcephaly

The Zika virus is the primary suspect in the large increase in microcephaly cases in 2015-6 in Brazil, however its role is unconfirmed despite individual cases of viral infections found in neural tissue. Here we consider the alternative that the insecticide pyriproxyfen, used in Brazilian drinking water for mosquito control, may actually be the cause. Pyriproxifen is an analog of juvenile hormone, which corresponds in mammals to regulatory molecules including retinoic acid, a vitamin A metabolite, with which it has cross-reactivity and whose application during development causes microcephaly. Methoprene, another juvenile hormone analog approved as an insecticide has metabolites that bind to the retinoid X receptor, and causes developmental disorders in mammals. Isotretinoin is another example of a retinoid causing microcephaly in human babies via activation of the retinoid X receptor. Moreover, tests of pyriproxyfen by the manufacturer, Sumitomo, widely quoted as giving no evidence for developmental toxicity, actually found some evidence for such an effect, including low brain mass and arhinencephaly—incomplete formation of the anterior cerebral hemispheres—in rat pups. Finally, the pyriproxyfen use in Brazil is unprecedented—it has never before been applied to a water supply on such a scale. Claims that it is not being used in Recife, the epicenter of microcephaly cases, do not distinguish the metropolitan area of Recife, where it is widely used, and the municipality, where it is not. Given this combination of information we strongly recommend that the use of pyriproxyfen in Brazil be suspended pending further investigation.
Three-year Outcomes of the Innovative Replacement of Incontinence Surgery Procedure for Treatment of Female Stress Urinary Incontinence: Comparison with Tension-free Vaginal Tape Procedure

Innovative replacement of incontinence surgery (IRIS) is a polypropylene tape that is placed beneath the midurethra to restore urinary continence. We evaluated the long-term efficacy and safety of the IRIS procedure and compared it with tension-free vaginal tape (TVT) for the treatment of female stress urinary incontinence. We included all 66 consecutive women who underwent IRIS (n=34) or TVT (n=32) between February 2002 and April 2003 and followed them up for at least 3 yr postoperatively. The 3-yr success rate was 94.1% for the IRIS and 93.8% for the TVT, and the satisfaction rates were 91.2% and 90.6%, respectively. Intraoperative complications for the IRIS group included 3 cases of bladder perforation, and there were 3 cases of bladder perforation in the TVT group. The postoperative complications for the IRIS group included 2 patients with de novo urgency and one patient with mesh erosion. Three patients with TVT developed de novo urgency. One case of each group showed temporary voiding difficulty. On the basis of our results, the IRIS may be an effective and safe procedure as compared to TVT, with a high success rate and a low complication rate.
Extracting Efficient Fuzzy If-Then Rules from Mass Spectra of Blood Samples to Early Diagnosis of Ovarian Cancer

Among the many applications of mass spectrometry, biomarker pattern discovery from protein mass spectra has aroused huge interest in the recent years. While research efforts have raised hopes of early and less invasive diagnosis, they have also brought to light the many issues to be tackled before mass-spectra-based proteomic patterns become routine clinical tools. Undoubtedly, biomarker selection among the high dimensional input data is the most critical part of each pattern recognition algorithm applied to this area. In this paper we pursued a new feature selection strategy that explores all data points as initial features rather than just peaks. Using the derived features in conjunction with only two intuitive fuzzy rules, we achieved a considerable accuracy over a couple of well-known ovarian cancer datasets
Evaluating a minimally invasive laboratory architecture for recording multimodal conversational data

This paper presents ongoing work on the design, deployment and evaluation of a multimodal data acquisition architecture which utilises minimally invasive motion, head, eye and gaze tracking alongside high-quality audiovisual recording of human interactions. The different data streams are centrally collected and visualised at a single point and in real time by means of integration in a virtual reality (VR) environment. The overall aim of this endeavour is the implementation of a multimodal data acquisition facility for the purpose of studying non-verbal phenomena such as feedback gestures, hand and pointing gestures and multi-modal alignment. In the first part of this work that is described here, a series of tests were performed in order to evaluate the feasibility of tracking feedback head gestures using the proposed architecture.
Remote Sensing of the Earth's Lower Atmosphere During Severe Weather Events Using GPS Technology: A Study in Victoria, Australia

The aim of this work is to assess the potential of using ground- and space-based GPS observations for severe weather diagnoses, particularly in studying and monitoring thunderstorm occurrences. It is of interest to determine if a severe thunderstorm will leave a significant signature in the GPS ground-based Precipitable Water Vapour (PWV) estimates and space-based Radio Occultation (RO) profiles during the development, maturity and dissipation stages. A severe thunderstorm event in March 2010, which brought heavy rainfall, large hail stones, strong winds and flash flooding to the state of Victoria, Australia, was used as a case study. The results indicate that there is strong spatial and temporal correlation between variations of the GPS-PWV estimates and the passage of the storm. In fact, the estimated GPS-PWV conformed to radiosonde observations as well as the amount of cumulative rainfall produced from the storm. This finding is very encouraging as the ground-based GPS techniques can be considered as a supplemental meteorological sensor in studying, monitoring, and potentially predicting severe weather events. The advantage of using ground-based GPS-PWV technique is that it is capable of providing continuous observation of the storm passage with high temporal resolution; while the spatial resolution of the distribution of water vapour is dependent on the geographical location and density of the GPS stations. The results from the space-based GPS RO limb sounding technique, on the other hand, are not as robust. Although GPS RO can capture the dynamics of the troposphere and lower stratosphere with high vertical resolution, its limited geographical coverage in a local region and its temporal resolution over a short period of time raise an important question about its potential for monitoring severe weather events, particularly local thunderstorms which have a relatively short life-span. GPS RO technique will be more suitable for long term climatology studies over a large area. In addition, the quality of GPS RO soundings and retrievals in the lower troposphere decrease during the storm passage as RO refractivity is extremely sensitive to moisture content in the troposphere. It is anticipated that the findings from this study will encourage further discussion and research into using GPS meteorology technique for monitoring and forecasting severe weather events.
Training Community Gynecologists to Perform Intraoperative Cystoscopy: A Competency-Based Training Experience

Objective This study aimed to pilot a cystoscopy training program for community gynecologists that is validated by posttraining examination. Methods Twenty-eight gynecologists were trained to perform cystoscopy using a competency-based training approach. Baseline information included years in practice and number of incontinence procedures and/or cystoscopies performed per month. Three 5-hour workshops were administered that included applied practice. After learners individually trained until they felt comfortable with their skills on a model, they were individually tested on a cadaver. Performance was evaluated with 2 instruments, namely, a task-specific checklist and a global rating scale based on the objective structured assessment of technical skill model. Failure was defined as inability to independently complete elements of the task-specific checklist for cystoscopic examination. Likert-type self-report scales were used during pretesting and posttesting, assessing confidence to perform component tasks for diagnostic cystoscopy. Results Twenty-four of 28 trainees successfully performed a systematic cadaveric bladder examination during the primary posttest. After debriefing, the 4 trainees who initially failed successfully performed cystoscopy during a second trial. Median age was 51 years and median time in practice was 19.5 years. All participants reported high confidence in identifying ureteral injury at the course’s conclusion. Conclusions A task-specific training program can successfully improve the confidence and skill of community gynecologists to perform intraoperative diagnostic cystoscopy. Professionals may not be able to define when they have received enough instruction in terms of hands-on training with models, before acquisition of technical skills. Formal evaluation of technical skills is recommended after training to ensure competence.
Prevalence, Causes, and Treatment of Neuropathic Pain in Dutch Nursing Home Residents: A Retrospective Chart Review

To identify the prevalence and causes of neuropathic pain in Dutch nursing home residents; to establish the prevalence of painful and nonpainful diabetic polyneuropathy in a subsample of individuals with diabetes mellitus and central poststroke pain (CPSP) in a subsample of individuals who had a stroke; and to study the prescription of antineuropathic drugs.
Epilepsy surgery trends in the United States, 1990–2008

Objective: To examine national time trends of resective surgery for the treatment of medically refractory epilepsy before and after Class I evidence demonstrating its efficacy and subsequent practice guidelines recommending early surgical evaluation. Methods: We performed a population-based cohort study with time trends of patients admitted to US hospitals for medically refractory focal epilepsy between 1990 and 2008 who did or did not undergo lobectomy, as reported in the Nationwide Inpatient Sample. Results: Weighted data revealed 112,026 hospitalizations for medically refractory focal epilepsy and 6,653 resective surgeries (lobectomies and partial lobectomies) from 1990 to 2008. A trend of increasing hospitalizations over time was not accompanied by an increase in surgeries, producing an overall trend of decreasing surgery rates (F = 13.6, p < 0.01). Factors associated with this trend included a decrease in epilepsy hospitalizations at the highest-volume epilepsy centers, and increased hospitalizations to lower-volume hospitals that were found to be less likely to perform surgery. White patients were more likely to have surgery than racial minorities (relative risk [RR], 1.13; 95% confidence interval [CI], 1.10–1.17), and privately insured individuals were more likely to receive lobectomy than those with Medicaid or Medicare (RR, 1.28; 95% CI, 1.25–1.30). Conclusion: Despite Class I evidence and subsequent practice guidelines, the utilization of lobectomy has not increased from 1990 to 2008. Surgery continues to be heavily underutilized as a treatment for epilepsy, with significant disparities by race and insurance coverage. Patients who are medically refractory after failing 2 antiepileptic medications should be referred to a comprehensive epilepsy center for surgical evaluation.
Collateral and Capital Structure

We develop a dynamic model of investment, capital structure, leasing, and risk management based on firms' need to collateralize promises to pay with tangible assets. Both financing and risk management involve promises to pay subject to collateral constraints. Leasing is strongly collateralized costly financing and permits greater leverage. More constrained firms hedge less and lease more, both cross-sectionally and dynamically. Mature firms suffering adverse cash flow shocks may cut risk management and sell and lease back assets. Persistence of productivity reduces the benefits to hedging low cash flows and can lead firms not to hedge at all.
Prospective comparison of computed tomography enterography and magnetic resonance enterography for assessment of disease activity and complications in ileocolonic Crohn's disease

Background: Studies comparing magnetic resonance enterography (MRE) and computerized tomography enterography (CTE) for Crohn's disease (CD) are scarce. Methods: The aim of this study was to prospectively compare the sensitivity, specificity, and accuracy of abdominal MRE and CTE to assess disease activity and complications (fistulas, strictures) in ileocolonic CD. A total of 44 patients (23 male; 21 female; mean age 44) with ileocolonic CD underwent both MR and CT in a short time interval (mean 5 days). A 16‐slice CT with intravenous contrast and an MRI with oral and paramagnetic intravenous contrast were performed. Ileocolonoscopy was used as the reference standard. Sensitivity values of CT and MR for detection of extraenteric signs of disease were compared with the McNemar test, with results of imaging studies, surgery, and physical examination as reference standards. Results: No significant differences in sensitivity, specificity, and accuracy were observed between MRE and CTE regarding the following parameters at the patient level: localization of CD (P = 1.0), bowel wall thickening (P = 1.0), bowel wall enhancement (P = 1.0), enteroenteric fistulas (P = 0.08), detection of abdominal nodes (P = 1.0), and perivisceral fat enhancement (P = 0.31). MR was significantly superior compared to CT in detecting strictures (P = 0.04). Per segment analysis showed that MRE was significantly superior to CTE in detecting ileal wall enhancement (P = 0.02). Conclusions: MR and CT are equally accurate to assess disease activity and bowel damage in CD. MR may be superior to CT in detecting intestinal strictures and ileal wall enhancement. MR may represent an alternative technique to CT in assessing ileocolonic CD. (Inflamm Bowel Dis 2010)
Long-term follow-up study of Lennox–Gastaut syndrome in patients with severe motor and intellectual disabilities: with special reference to the problem of dysphagia

A long-term follow-up study of Lennox-Gastaut syndrome (LGS) ( > 10 years) was conducted with 38 patients with severe motor and intellectual disabilities (SMID) to clarify the relationship between the rapid development of dysphagia and epileptic seizures, and to elucidate the long-term evolution of LGS in patients with SMID. Those who showed a relatively favourable seizure outcome were compared to those with a poor seizure outcome. Poor seizure outcome correlated strongly with: (a) an early appearance of dysphagia and additional deterioration of the already retarded mental function; (b) a predominance of atypical absence seizures; and (c) persistent frequent epileptiform discharges during electroencephalographic evaluations. Neither age at seizure onset nor intelligence level at the time of the last examination was correlated with seizure prognosis. Further, seizure prognosis was not related to the aetiology of LGS. Repeated seizures apparently caused development of progressive epileptic encephalopathy, in addition to the underlying severe brain damage. Since development of dysphagia burdens an already severely handicapped patient with intensive medical care, efforts to reduce the seizures and design a long-term care plan are of great importance.
Genetic Method for Labeling Electrically Coupled Cells: Application to Retina

Understanding how the nervous system functions requires mapping synaptic connections between neurons. Several methods are available for imaging neurons connected by chemical synapses, but few enable marking neurons connected by electrical synapses. Here, we demonstrate that a peptide transporter, Pept2, can be used for this purpose. Pept2 transports a gap junction-permeable fluorophore-coupled dipeptide, beta-alanine-lysine-N-7-amino-4-methyl coumarin-3-acid (βALA). Cre-dependent expression of pept2 in specific neurons followed by incubation in βALA labeled electrically coupled synaptic partners. Using this method, we analyze light-dependent modulation of electrical connectivity among retinal horizontal cells.
Electromechanical Mapping for Detection of Myocardial Viability in Patients With Ischemic Cardiomyopathy

BackgroundWe evaluated the ability of electromechanical mapping of the left ventricle to distinguish between nonviable and viable myocardium in patients with ischemic cardiomyopathy. Methods and ResultsUnipolar voltage amplitudes and local endocardial shortening were measured in 31 patients (mean±SD age, 62±8 years) with ischemic cardiomyopathy (ejection fraction, 30±9%). Dysfunctional regions, identified by 3D echocardiography, were characterized as nonviable when PET revealed matched reduction of perfusion and metabolism and as viable when perfusion was reduced or normal and metabolism was preserved. Mean unipolar voltage amplitudes and local shortening differed among normal, nonviable, and viable dysfunctional segments. Coefficient of variation for local shortening exceeded differences between groups and did not allow distinction between normal and dysfunctional myocardium. Optimum nominal discriminatory unipolar voltage amplitude between nonviable and viable dysfunctional myocardium was 6.5 mV, but we observed a great overlap between groups. Individual cutoff levels calculated as a percentage of electrical activity in normal segments were more accurate in the detection of viable dysfunctional myocardium than a general nominal cutoff level. The optimum normalized discriminatory value was 68%. Sensitivity and specificity were 78% for the normalized discriminatory value compared with 69% for the nominal value (P <0.02). ConclusionsEndocardial ECG amplitudes in patients with ischemic cardiomyopathy display a wide scatter, complicating the establishment of exact nominal values that allow distinction between viable and nonviable areas. Individual normalization of unipolar voltage amplitudes improves diagnostic accuracy. Electroanatomic mapping may enable identification of myocardial viability.
Learning Hierarchical Image Representation with Sparsity, Saliency and Locality

This paper presents a deep learning model of building up hierarchical image representation. Each layer of hierarchy consists of three components: sparse coding, saliency pooling and local grouping. With sparse coding we identify distinctive coefficients for representing raw features of each lower layer; saliency pooling helps suppress noise and enhance translation invariance of sparse representation; we group locally pooled sparse codes to form more complex representations. Instead of using hand-crafted descriptors, our model learns an effective image representation directly from images in a unsupervised data-driven manner. We evaluate our algorithm with several benchmark databases of object recognition and analyze the contributions of different components. Experimental results show that our algorithm performs favorably against the state-of-the-art methods.