Miracle-dz/UniFAR-FTUs huggingface dataset:
The inner most loop iteration counter: A new dimension in branch history

The most efficient branch predictors proposed in academic literature exploit both global branch history and local branch history. However, local history branch predictor components introduce major design challenges, particularly for the management of speculative histories. Therefore, most effective hardware designs use only global history components and very limited forms of local histories such as a loop predictor. The wormhole (WH) branch predictor was recently introduced to exploit branch outcome correlation in multidimensional loops. For some branches encapsulated in a multidimensional loop, their outcomes are correlated with those of the same branch in neighbor iterations, but in the previous outer loop iteration. Unfortunately, the practical implementation of the WH predictor is even more challenging than the implementation of local history predictors. In this paper, we introduce practical predictor components to exploit this branch outcome correlation in multidimensional loops: the IMLI-based predictor components. The iteration index of the inner most loop in an application can be efficiently monitored at instruction fetch time using the Inner Most Loop Iteration (IMLI) counter. The outcomes of some branches are strongly correlated with the value of this IMLI counter. A single PC+IMLI counter indexed table, the IMLI-SIC table, added to a neural component of any recent predictor (TAGE-based or perceptron-inspired) captures this correlation. Moreover, using the IMLI counter, one can efficiently manage the very long local histories of branches that are targeted by the WH predictor. A second IMLI-based component, IMLI-OH, allows for tracking the same set of hard-to-predict branches as WH. Managing the speculative states of the IMLI-based predictor components is quite simple. Our experiments show that augmenting a state-of-the-art global history predictor with IMLI components outperforms previous state-of-the-art academic predictors leveraging local and global history at much lower hardware complexity (i.e., smaller storage budget, smaller number of tables and simpler management of speculative states).
A simplified method for the bilinear s-z transformation

A new technique for performing the bilinear transformation of polynomials is presented. The technique is both simple to understand as well as efficient in its computer implementation. The key to the method is the may in which the successive derivatives of a particular polynomial are computed. A simple recursion formula is used which can be done either by hand, if desired, or by computer. The order of complexity of the algorithm is found to be O(n/sup 2/), while storage requirements are O(n), where n is the degree of the polynomial. The new method will handle completely general bilinear transformations. A computer implementation is presented which was found to be satisfactory for both precision and speed. >
Solving POMDPs by Searching in Policy Space

Most algorithms for solving POMDPs iteratively improve a value function that implicitly represents a policy and are said to search in value function space. This paper presents an approach to solving POMDPs that represents a policy explicitly as a finite-state controller and iteratively improves the controller by search in policy space. Two related algorithms illustrate this approach. The first is a policy iteration algorithm that can outperform value iteration in solving infinitehorizon POMDPs. It provides the foundation for a new heuristic search algorithm that promises further speedup by focusing computational effort on regions of the problem space that are reachable, or likely to be reached, from a start state.
Systematic Unraveling of the Unsolved Pathway of Nicotine Degradation in Pseudomonas

Microorganisms such as Pseudomonas putida play important roles in the mineralization of organic wastes and toxic compounds. To comprehensively and accurately elucidate key processes of nicotine degradation in Pseudomonas putida, we measured differential protein abundance levels with MS-based spectral counting in P. putida S16 grown on nicotine or glycerol, a non-repressive carbon source. In silico analyses highlighted significant clustering of proteins involved in a functional pathway in nicotine degradation. The transcriptional regulation of differentially expressed genes was analyzed by using quantitative reverse transcription-PCR. We observed the following key results: (i) The proteomes, containing 1,292 observed proteins, provide a detailed view of enzymes involved in nicotine metabolism. These proteins could be assigned to the functional groups of transport, detoxification, and amino acid metabolism. There were significant differences in the cytosolic protein patterns of cells growing in a nicotine medium and those in a glycerol medium. (ii) The key step in the conversion of 3-succinoylpyridine to 6-hydroxy-3-succinoylpyridine was catalyzed by a multi-enzyme reaction consisting of a molybdopeterin binding oxidase (spmA), molybdopterin dehydrogenase (spmB), and a (2Fe-2S)-binding ferredoxin (spmC) with molybdenum molybdopterin cytosine dinucleotide as a cofactor. (iii) The gene of a novel nicotine oxidoreductase (nicA2) was cloned, and the recombinant protein was characterized. The proteins and functional pathway identified in the current study represent attractive targets for degradation of environmental toxic compounds.
Crystallized rate regions in the secondary interference channels

In this paper the problem of sum-rate maximization for secondary cognitive users (SU) in presence of a primary user (PU) transmission is considered. We assume that all of the users are equipped with multiple transmit/receive antennas and that the cognitive users must not induce more interference to the primary users than it is defined in the permissive policy and expressed in terms of a spectrum mask or interference temperature constraint. We employ game-theory to find the so-called correlated equilibrium that corresponds to the playing strategy definitions for all users. Actually, the Vickrey-Clarke-Groves theory has been applied and the regret-matching algorithm has been implemented to find the optimal playing strategy for both secondary users. New cost function has been proposed that allows for fast convergence of the developed solutions to the optimal or sub-optimal point. Extensive simulation results have been carried out to corroborate the correctness of the proposed approach.
Blood vessel tracking in retinal images

This paper investigates the image processing techniques to identify blood vessels in the retinal images. Each identified vessel is stored and labelled with a number which also indicating whether the vessel originates from the optic disc or it is a branch of a vessel which originates from the optic disc. Non-linear fitting technique is used to process each point on blood vessels locally. The algorithm described in this paper is intended to process a large amount of retinal images preserved by th Canterbury District Health Board.
Access to information and decision making on teenage pregnancy prevention by females in Tshwane

Background The increase in the number of teenage pregnancies and its negative consequences has encouraged various researchers to explore the possible causes of teenage pregnancy. Findings from previously-conducted research have indicated different preventable factors that predispose female teenagers to pregnancy, such as staff attitudes and the lack of information resulting from poor access to health facilities. Objective To explore and describe access to information and decision making on teenage pregnancy prevention by females using a primary healthcare clinic in Tshwane, South Africa. Method In this study, the researchers used a descriptive qualitative and exploratory research design to explore and describe the verbal reports regarding prevention of teenage pregnancy by females using a primary healthcare clinic in Tshwane, South Africa. Face-to-face semi-structured interviews were conducted with 15 female participants aged between 15 and 26, who had been pregnant once or more during their teens. Results Two themes emerged, namely, access to information and decision making by female teenagers. Five categories that emerged were: access to information on pregnancy prevention; ignoring of provided information; the use of alternative medicine with hormonal contraception; personal reasons for use and non-use of contraception; and decisions made by teenagers to not fall pregnant. Females in this study fell pregnant in their teens, even though they had access to information. Conclusion Given the complexity of this problem, female teenagers should use their families as primary sources of information for reproductive health promotion and educational institutions should build on this to aid the prevention of teenage pregnancy.
Challenges and Issues in Multisensor Fusion Approach for Fall Detection: Review Paper

Emergency situations associated with falls are a serious concern for an aging society. Yet following the recent development within ICT, a significant number of solutions have been proposed to track body movement and detect falls using various sensor technologies, thereby facilitating fall detection and in some cases prevention. A number of recent reviews on fall detection methods using ICT technologies have emerged in the literature and an increasingly popular approach considers combining information from several sensor sources to assess falls. The aim of this paper is to review in detail the subfield of fall detection techniques that explicitly considers the use of multisensor fusion based methods to assess and determine falls. The paper highlights key differences between the single sensor-based approach and a multifusion one. The paper also describes and categorizes the various systems used, provides information on the challenges of a multifusion approach, and finally discusses trends for future work.
Utilizing the Bulk-driven technique in analog circuit design

The last few decades, a great deal of attention has been paid to low-voltage (LV) low-power (LP) integrated circuits design since the power consumption has become a critical issue. Among many techniques used for the design of LV LP analog circuits, the Bulk-driven principle offers a promising route towards this design for many aspects mainly the simplicity and using the conventional MOS technology to implement these designs. This paper is devoted to the Bulk-driven (BD) principle and utilizing this principle to design LV LP building blocks of Current Mirror (CM), Enhanced Current Mirror (ECM), Operational Transconductance Amplifier (OTA), Current Conveyor (CCII) and Current Differencing Transconductance Amplifier (CDTA) in standard CMOS processes and supply voltage ±0.7 V. The simulation results have been carried out by the Spice simulator using the 0.25 μ CMOS technology from TSMC.
A Random Time Interval Approach for Analysing the Impact of a Possible Intermediate Event on a Terminal Event

We consider the impact of a possible intermediate event on a terminal event in an illness‐death model with states ‘initial’, ‘intermediate’ and ‘terminal’. One aim is to unambiguously describe the occurrence of the intermediate event in terms of the observable data, the problem being that the intermediate event may not occur. We propose to consider a random time interval, whose length is the time spent in the intermediate state. We derive an estimator of the joint distribution of the left and right limit of the random time interval from the Aalen‐Johansen estimator of the matrix of transition probabilities and study its asymptotic properties. We apply our approach to hospital infection data. Estimating the distribution of the random time interval will usually be only a first step of an analysis. We illustrate this by analysing change in length of hospital stay following an infection and derive the large sample properties of the respective estimator. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)
Optimization of CO2 production rate for firefighting robot applications using response surface methodology

Abstract A carbon dioxide gas-powered pneumatic actuation has been proposed as a suitable power source for an autonomous firefighting robot (CAFFR), which is designed to operate in an indoor fire environment in our earlier study. Considering the consumption rate of the pneumatic motor, the gas-powered actuation that is based on the theory of phase change material requires optimal determination of not only the sublimation rate of carbon dioxide but also the sizing of dry ice granules. Previous studies that have used the same theory are limited to generating a high volumeof carbon dioxide without reference to neither the production rate of the gas nor the size of the granules of the dry ice. However, such consideration remains a design requirement for efficient driving of a carbon dioxide-powered firefighting robot. This paper investigates the effects of influencing design parameters on the sublimation rate of dry ice for powering a pneumatic motor. The optimal settings of these parameters that maximize the sublimation rate at the minimal time and dry ice mass are presented. In the experimental design and analysis, we employed full-factorial design and response surface methodology to fit an acceptable model for the relationship between the design factors and the response variables. Predictive models of the sublimation rate were examined via ANOVA, and the suitability of the linear model is confirmed. Further, an optimal sublimation rate value of 0.1025 g/s is obtained at a temperature of 80°C, the mass of 16.1683 g, and sublimation time of 159.375 s.
Effect of Tamm-Horsfall Protein on Calcium Oxalate Precipitation

The effect of Tamm-Horsfall protein isolated from urine of healthy subjects on calcium oxalate precipitation was studied in model systems of precipitation. The study was performed using following conditions: concentrations of calcium chloride 10 mmol/l, sodium chloride 150 mmol/l, oxalic acid 300 mumol/l; pH 6.0, and temperature 310 K. The concentration of Tamm-Horsfall protein varied between 1-10 mg/l. The kinetics of calcium oxalate precipitation was observed by measuring the number and volume of particles in the suspension, and the precipitate composition by an optic microscope. In all the studied systems, the precipitate morphology corresponded to pure calcium oxalate monohydrate. Tamm-Horsfall protein was found to inhibit the growth of calcium oxalate monohydrate crystals and stimulate their aggregation in the given experimental conditions. Both effects were enhanced by increase in the concentrations of Tamm-Horsfall protein and were most pronounced at the concentration of Tamm-Horsfall protein of 10 mg/l.
Music Mood and Theme Classification - a Hybrid Approach

Music perception is highly intertwined with both emotions and context. Not surprisingly, many of the users’ information seeking actions aim at retrieving music songs based on these perceptual dimensions ‐ moods and themes, expressing how people feel about music or which situations they associate it with. In order to successfully support music retrieval along these dimensions, powerful methods are needed. Still, most existing approaches aiming at inferring some of the songs’ latent characteristics focus on identifying musical genres. In this paper we aim at bridging this gap between users’ information needs and indexed music features by developing algorithms for classifying music songs by moods and themes. We extend existing approaches by also considering the songs’ thematic dimensions and by using social data from the Last.fm music portal, as support for the classification tasks. Our methods exploit both audio features and collaborative user annotations, fusing them to improve overall performance. Evaluation performed against the AllMusic.com ground truth shows that both kinds of information are complementary and should be merged for enhanced classification accuracy.
On a Parameter Estimation Method for Gibbs-Markov Random Fields

This correspondence is about a Gibbs-Markov random field (GMRF) parameter estimation technique proposed by Derin and Elliott (1987). We will refer to this technique as the histogramming (H) method. First, the relation of the H method to the (conditional) maximum likelihood method is considered. Second, a bias-reduction based modification of the H method is proposed to improve its performance, especially in the case of small amounts of image data. >
CNN3 Is Regulated by microRNA-1 during Muscle Development in Pigs

The calponin 3 (CNN3) gene has important functions involved in skeletal muscle development. MicroRNAs (miRNAs) play critical role in myogenesis by influencing the mRNA stability or protein translation of target gene. Based on paired microRNA and mRNA profiling in the prenatal skeletal muscle of pigs, our previous study suggested that CNN3 was differentially expressed and a potential target for miR-1. To further understand the biological function and regulation mechanism of CNN3, we performed co-expression analysis of CNN3 and miR-1 in developmental skeletal muscle tissues (16 stages) from Tongcheng (a Chinese domestic breed, obese-type) and Landrace (a Western, lean-type) pigs, respectively. Subsequently, dual luciferase and western blot assays were carried out. During skeletal muscle development, we observe a significantly negative expression correlation between the miR-1 and CNN3 at mRNA level. Our dual luciferase and western blot results suggested that the CNN3 gene was regulated by miR-1. We identified four single nucleotide polymorphisms (SNPs) contained within the CNN3 gene. Association analysis indicated that these CNN3 SNPs are significantly associated with birth weight (BW) and the 21-day weaning weight of the piglets examined. These facts indicate that CNN3 is a candidate gene associated with growth traits and regulated by miR-1 during skeletal muscle development in pigs.
Establishment of a neuroepithelial barrier by Claudin5a is essential for zebrafish brain ventricular lumen expansion

Lumen expansion driven by hydrostatic pressure occurs during many morphogenetic processes. Although it is well established that members of the Claudin family of transmembrane tight junction proteins determine paracellular tightness within epithelial/endothelial barrier systems, functional evidence for their role in the morphogenesis of lumenized organs has been scarce. Here, we identify Claudin5a as a core component of an early cerebral-ventricular barrier system that is required for ventricular lumen expansion in the zebrafish embryonic brain before the establishment of the embryonic blood–brain barrier. Loss of Claudin5a or expression of a tight junction-opening Claudin5a mutant reduces brain ventricular volume expansion without disrupting the polarized organization of the neuroepithelium. Perfusion experiments with the electron-dense small molecule lanthanum nitrate reveal that paracellular tightness of the cerebral-ventricular barrier decreases upon loss of Claudin5a. Genetic analyses show that the apical neuroepithelial localization of Claudin5a depends on epithelial cell polarity and provide evidence for concerted activities between Claudin5a and Na+,K+-ATPase during luminal expansion of brain ventricles. These data establish an essential role of a barrier-forming Claudin in ventricular lumen expansion, thereby contributing to brain morphogenesis.
Antagonism of Ionotropic Glutamate Receptors Attenuates Chemical Ischemia-Induced Injury in Rat Primary Cultured Myenteric Ganglia

Alterations of the enteric glutamatergic transmission may underlay changes in the function of myenteric neurons following intestinal ischemia and reperfusion (I/R) contributing to impairment of gastrointestinal motility occurring in these pathological conditions. The aim of the present study was to evaluate whether glutamate receptors of the NMDA and AMPA/kainate type are involved in myenteric neuron cell damage induced by I/R. Primary cultured rat myenteric ganglia were exposed to sodium azide and glucose deprivation (in vitro chemical ischemia). After 6 days of culture, immunoreactivity for NMDA, AMPA and kainate receptors subunits, GluN1 and GluA1–4, GluK1–3 respectively, was found in myenteric neurons. In myenteric cultured ganglia, in normal metabolic conditions, -AP5, an NMDA antagonist, decreased myenteric neuron number and viability, determined by calcein AM/ethidium homodimer-1 assay, and increased reactive oxygen species (ROS) levels, measured with hydroxyphenyl fluorescein. CNQX, an AMPA/kainate antagonist exerted an opposite action on the same parameters. The total number and viability of myenteric neurons significantly decreased after I/R. In these conditions, the number of neurons staining for GluN1 and GluA1–4 subunits remained unchanged, while, the number of GluK1–3-immunopositive neurons increased. After I/R, -AP5 and CNQX, concentration-dependently increased myenteric neuron number and significantly increased the number of living neurons. Both -AP5 and CNQX (100–500 µM) decreased I/R-induced increase of ROS levels in myenteric ganglia. On the whole, the present data provide evidence that, under normal metabolic conditions, the enteric glutamatergic system exerts a dualistic effect on cultured myenteric ganglia, either by improving or reducing neuron survival via NMDA or AMPA/kainate receptor activation, respectively. However, blockade of both receptor pathways may exert a protective role on myenteric neurons following and I/R damage. The neuroprotective effect may depend, at least in part, on the ability of both receptors to increase intraneuronal ROS production.
Orthostatic hypertension in patients with type 2 diabetes.

OBJECTIVE The prevalence and clinical importance of orthostatic hypertension (OHT) in diabetic patients has not been elucidated, in contrast to orthostatic hypotension, which is occasionally found in diabetic patients with autonomic neuropathy. RESEARCH DESIGN AND METHODS The prevalence and severity of orthostatic hypertension was investigated in 277 Japanese male patients with type 2 diabetes, including 90 hypertensive patients and 128 nondiabetic age-matched male subjects. Patients treated with antihypertensive drugs were excluded from the study. OHT was defined as an increase in diastolic blood pressure (DBP) from <90 to >or=90 mmHg and/or an increase in systolic blood pressure (SBP) from <140 to >or=140 mmHg after standing from supine position. Clinical profiles and several serum biochemical parameters were determined in addition to chest X-rays and electrocardiograms. RESULTS The prevalence of OHT in normotensive and hypertensive diabetic patients was significantly higher than in control subjects (12.8 vs. 1.8%, P < 0.01, for normotensive patients; 12.6 vs. 11.1%, not significant, for hypertensive patients). Orthostasis induced a mean increase of 6.8 +/- 11.4 mmHg in SBP and 9.1 +/- 5.2 mmHg in DBP in diabetic patients with OHT compared with those without OHT (-1.0 +/- 9.0 and 3.8 +/- 6.6 mmHg, respectively). Vibration sensation in the lower limb was reduced in diabetic patients with OHT, but the percent coefficient of variation of RR interval, cardio-to-thoracic ratio on chest X-ray, and serum triglyceride levels were higher in these patients compared with normotensive diabetic patients without OHT. CONCLUSIONS Orthostatic hypertension is a novel complication in normotensive diabetic patients and may associate with early stage neuropathy and development of sustained hypertension.
External influences and integration as requirements in online community development

Existing requirements engineering methods and practices do not fully apply to online community (OC) development. This paper highlights the nature of requirements in OC development. This is done with a model that distinguishes between internal and external sources and between design time and refinement time. The paper also emphasizes how integration should be considered as a requirement when developing an OC. The paper ends with a description of an ongoing research project that aims to develop new methods and practices for OC development.