Miracle-dz/UniFAR-FTUs huggingface dataset:
Vertical Reuse Strategy for Testbench Components Supporting Memory Consistency Checking of an SMP-Capable AMD64 Processor

Modern verification methodologies encourage designing testbench components for vertical re-use. In advanced microprocessor designs, multiple testbenches may be used to exercise the processorpsilas memory system. For microprocessors that support shared memory multiprocessing, the range of testbenches to be considered for implementation can be delineated along two axes: one representing the degree of vertical integration, running from an individual unit to the full core, and the other representing the number of cores present in the MP system. Candidate testbenches are selected from this space and used to test memory system functions including cache coherence, correct execution of self-modifying code, and memory consistency. Creating a successful testbench architecture that supports checking the conformance of the processor to the underlying memory consistency model requires a significant delta above the requirements for checking other functionality. However, this is especially critical for architectures such as AMD64, in which a more intuitive memory consistency model (compared to relaxed schemes) is provided to the programmer at the cost of additional hardware. A case study is presented in which components of a load/store unit testbench lacking support for memory consistency checking are modified to support memory consistency checking for testbenches representing higher levels of vertical integration and multiprocessing. Issues related to both stimulus and the results checking interface are discussed.
Risk and Uncertainty in Environmental Economics: From Theory to Policy Practice *

A lack of awareness and understanding of risk and uncertainty can lead to poor decision making and higher costs for policy providers, as not accounting for them may produce policy which is inflexible and with a negative effect on welfare. Further, misunderstanding of and/or failure to account for risk and uncertainty can inhibit research and development for policy to which environmental economics can contribute (for example, in developing effective measures of sustainability). The aim of this project is to develop guidelines for ‘Best Practice’ approaches to risk and uncertainty in environmental economics for guiding policy development and implementation, taking into account key issues such as costs, irreversibility, adaptation and dynamics. These guidelines are developed by examining the frameworks commonly used by environmental economists to account for risk and uncertainty (such as the Precautionary Principle and Cost Benefit Analysis) as well as specifically developed theories (e.g. Quiggin’s Rank Dependent Utility Theory), borrowing from other disciplines (e.g. Prospect Theory) and drawing attention to lesser known ideas (e.g. Shackle’s Model). ∗ Nothing in this paper necessarily represents the policies or views of the NSW Government, the Minister for Climate Change and the Environment, or the Department of Environment, Climate Change and Water (NSW) Υ Senior Economist, Department of Environment, Climate Change and Water (NSW) alex.lobb@environment.nsw. gov.au
Involvement of a Bifunctional, Paired-like DNA-binding Domain and a Transpositional Enhancer in Sleeping BeautyTransposition*

Sleeping Beauty (SB) is the most active Tc1/mariner-like transposon in vertebrate species. Each of the terminal inverted repeats (IRs) of SB contains two transposase-binding sites (DRs). This feature, termed the IR/DR structure, is conserved in a group of Tc1-like transposons. The DNA-binding region of SB transposase, similar to the paired domain of Pax proteins, consists of two helix-turn-helix subdomains (PAI + RED = PAIRED). The N-terminal PAI subdomain was found to play a dominant role in contacting the DRs. Transposase was able to bind to mutant sites retaining the 3′ part of the DRs; thus, primary DNA binding is not sufficient to determine the specificity of the transposition reaction. The PAI subdomain was also found to bind to a transpositional enhancer-like sequence within the left IR of SB, and to mediate protein-protein interactions between transposase subunits. A tetrameric form of the transposase was detected in solution, consistent with an interaction between the IR/DR structure and a transposase tetramer. We propose a model in which the transpositional enhancer and the PAI subdomain stabilize complexes formed by a transposase tetramer bound at the IR/DR. These interactions may result in enhanced stability of synaptic complexes, which might explain the efficient transposition of Sleeping Beauty in vertebrate cells.
The Relative Effectiveness of Spot and Derivatives Based Intervention: The Case of Brazil

This paper studies the relative effectiveness of foreign exchange intervention in spot and derivatives markets. We make use of Brazilian data where spot and non-deliverable futures based intervention have been used in tandem for more than a decade. The analysis finds evidence in favor of a significant link between both modes of intervention and the first two moments of the real/dollar exchange rate. As predicted by theory for the case of negligible convertibility risk, the impact of spot market intervention in our baseline sample is strikingly similar to that achieved through futures based intervention worth an equivalent amount in notional principal.
Oskar-induced endocytic activation and actin remodeling for anchorage of the Drosophila germ plasm

In many animals, germ-cell fate is specified by inheritance of the germ plasm, which is enriched in maternal RNAs and proteins. Assembly of the Drosophila germ (pole) plasm begins with the localization and translation of oskar (osk) RNA at the oocyte posterior pole. osk RNA produces two isoforms, long and short Osk. Short Osk recruits other pole plasm components, and long Osk restricts them to the oocyte cortex. Although molecular functions of long Osk remain mysterious, it is known to be involved in endocytic activation and actin cytoskeletal remodeling. We identified several vesicular trafficking machinery components that act downstream of long Osk in pole plasm assembly. These included the Rab5 effector protein Rabenosyn-5 (Rbsn-5) and the Golgi/endosomal protein Mon2, both of which were crucial for Osk-induced actin remodeling and the anchoring of pole plasm components. We propose that, in response to long Osk, the Rab5/Rbsn-5-dependent endocytic pathway promotes the formation of specialized vesicles, and Mon2 acts on these vesicles as a scaffold to instruct actin nucleators like Cappuccino and Spire to remodel the actin cytoskeleton, which anchors pole plasm components to the cortex. This mechanism may be applicable to the asymmetric localization of macromolecular structures such as protein-RNA complexes in other systems.
Induced Current Pharmacological Split Stimulation System for Neuronal Networks

Magnetic stimulation noninvasively modulates neuronal activity through a magnetically induced current. However, despite the usefulness and popularity of this method, the effects of neuronal activity in the nonstimulated regions on the stimulus responses are unknown. Here, we report that the induced current-evoked responses were affected by neuronal activities in the nonstimulated regions. Our experiment used a Mu-metal-based localized induced current stimulation (LICS) system combined with the microfabricated cell culture chamber system and a microelectrode array (MEA). The cell culture chamber system has radiating microtunnels connecting one central and eight outer chambers, which were fabricated using soft lithography and a replica modeling technique with SU-8 photoresist and polydimethylsiloxane (PDMS). Rat cortical neurons were separately cultured in the chambers and formed functional synaptic connections through the microtunnels. By applying a biphasic alternating pulsed magnetic field to the Mu-metal located in the central chamber, induced currents were mainly generated near the cultured neurons and modified the neuronal activities, which were recorded through MEA. Furthermore, we confirmed that the evoked responses were modified by localized pharmacological stimulation (LPS) in the outer chambers. These results suggest that our system would be promising tool for analyzing the effect of magnetic stimulation on interacting neuronal activity.
Diastolic Cardiac Function Is Synonymous with Long‐Axis Systolic Function: A Novel Concept in Cardiac Function

Aims: There has been recent speculation on the relationship between diastolic cardiac function and long‐axis cardiac function. The goal of this study was to obtain conclusive evidence regarding the relationship between these parameters. Methods: Echocardiography and cardiac magnetic resonance imaging were performed consecutively in 33 subjects. Longitudinal fractional shortening and fractional shortening of the left ventricular wall length were measured in each procedure and the relationships with diastolic cardiac function were assessed. Results: Diastolic cardiac function and long‐axis systolic function in each procedure were significantly correlated. Spearman coefficients for correlations between longitudinal fractional shortening measured echocardiographically and diastolic cardiac function parameters were 0.76 (P < 0.0001) for E/A, −0.77 (P < 0.0001) for E/e′, 0.87 (P < 0.0001) for e′, and 0.91 (P < 0.0001) for e′/a′. Conclusions: Long‐axis cardiac function correlates well with diastolic cardiac function. e′/a′ showed a strong correlation with longitudinal fractional shortening and is a good candidate for use as an index for assessment of long‐axis cardiac function. (Echocardiography 2012;29:397‐402)
Tracking Spatially Distributed Features in KLT Algorithms for RGB-D Visual Odometry

Mobile robots can operate without any human intervention in the most varied scenarios provided they are endowed with autonomous capabilities. One of these capabilities is to localize themselves within the environment of operation, which can be performed by Visual Odometry, a process that estimates relative camera motion based on information extracted from images. In this work, we propose feature tracking algorithms for RGB-D (e.g. Kinect) Visual Odometry. We design our solution based on the hypothesis that more accurate motion estimates are achieved when visual features are spread uniformly on images. Experimental results demonstrate that this heuristics is indeed valid and presents the performance of our algorithms on standard datasets.
Susceptibility-weighted imaging in the evaluation of brain arteriovenous malformations.

BACKGROUND Digital subtraction angiography (DSA) remains the gold standard in the evaluation of arteriovenous malformations (AVMs). Susceptibility-weighted imaging (SWI), a relatively new magnetic resonance imaging (MRI) technique, exploits the magnetic susceptibility differences of various tissues, such as blood, iron and calcification. Earlier studies have shown that the magnitude and phase information of SWI offers improved sensitivity, revealing low-flow vascular malformations that are invisible on conventional gradient-echo (GRE) sequences. AIM To evaluate the imaging appearance of AVMs on SWI. MATERIALS AND METHODS In this retrospective study, the appearance of the various components (feeding artery, nidus, and draining veins) of AVMs on the phase, magnitude, and minimal intensity projection (minIP) images of SWI were analyzed in 14 patients with AVM and compared with conventional sequences. RESULTS Detection and delineation of various components of AVMs was best achieved in the magnitude images. Although minIP was most effective in detecting hemorrhage and calcification, it was the magnitude image that could separate the hemorrhagic and calcified component in the nidus from the remaining nidus. The minIP was less effective in detecting the AVM components, especially nidus and draining vein, whereas conspicuity was poor with the phase images. CONCLUSION The magnitude images of the SWI help in differentiating the different components of AVM and also helps in differentiating nidus from hemorrhage and calcification.
Prosthetic Vascular Graft Infection: The Role of 18F-FDG PET/CT

Graft infection after prosthetic vascular reconstruction is an uncommon but severe complication. The clinical presentation is often subtle and nonspecific and may occur long after surgery. Although defining a prosthetic vascular graft infection can be difficult, early diagnosis and treatment are important because of the relatively high rates of amputation and death. The present study assessed the role of PET/CT using 18F-FDG for the diagnosis of vascular graft infections. Methods: Thirty-nine patients (35 men and 4 women; age range, 44–82 y) with suspected vascular graft infection underwent 18F-FDG PET/CT. The performance of PET/CT for the diagnosis of an infectious process and its localization to the graft or soft tissues was assessed. The final diagnosis was based on histopathologic findings and microbiologic assays obtained at surgery or on clinical and imaging follow-up. Results: PET/CT detected foci of increased 18F-FDG uptake suspected as infection in 27 patients and localized these findings to the graft in 16 patients. Vascular graft infection was confirmed in 14 of these patients (88%). PET/CT excluded graft involvement in 11 patients, and in 10 (91%) of these 11, long-term follow-up further confirmed that the infectious process was limited to surrounding soft tissues only. No abnormal 18F-FDG uptake was found in any of the 12 patients with no further evidence of infection. PET/CT had a sensitivity of 93%, specificity of 91%, positive predictive value of 88%, and negative predictive value of 96% for the diagnosis of vascular graft infection. Conclusion: 18F-FDG PET/CT is a reliable noninvasive imaging modality for the diagnosis of vascular graft–related infection. The precise anatomic localization of increased 18F-FDG uptake provided by PET/CT enables accurate differentiation between graft and soft-tissue infection.
Mechanical Properties of Smooth Muscle Portal Vein in Normal and Dystrophin‐Deficient (MDX) Mice

Mechanical properties of the vascular smooth muscle from normal and dystrophin‐deficient (mdx) mice were examined. Changes in resting and developed tensions in response to stretch were recorded in isolated portal vein. The vascular segments were elongated in 5% increments of the ‘in situ’ length (Lr) up to 1·30Lr. The resting length‐tension curves in male mdxmice were similar to normal mice, while a marked decrease in the slope of the curve was noted in female mdx mice. These findings were not affected by atropine, phentolamine, tetrodotoxin or [Ca2+] in the surrounding media. At Lr, the tension of isolated portal vein was characterized by spontaneous synchronized uniform force waves in normal mouse. In contrast, in mdxmouse portal veins an irregular motor pattern characterized by desynchronized force waves with a decrease of amplitude and an increase in frequency was recorded. Extension of the length of the portal vein segment did not increase the spontaneous phasic activity developed in female mdx mice although this was noted with male mdx mice and normal mice. Experiments with chemical depolarizing agents indicated that spontaneous myogenic excitation activated the great majority of vascular smooth muscle cells in normal mouse portal vein, whereas in mdx mice only a reduced number of these cells were excited suggesting that in the mdx mouse the intercellular electronic coupling is altered. In conclusion this study provides the first description of the mechanical activities of portal vein longitudinal muscle and shows that in mdx mice the motor activity is severely disrupted.
Support Groups, Marriage, and the Management of Ambiguity among HIV-Positive Women in Northern Nigeria

In the context of the African HIV epidemic, support groups are not simply spaces for discussions of social and health well-being; neither are they institutions functioning solely to cultivate self-responsible and economically empowered patients. HIV-positive women in northern Nigeria have appropriated a support group to facilitate their marriage arrangements. In this group, women negotiate the threats of stigma and the promises of respectable marriage through what I call the management of ambiguity surrounding their HIV status. I further argue that the practice of support group matchmaking reveals the local political economic dynamics that shape social and illness trajectories in resource-poor settings.
An Exploratory Study of Factors Influencing Glaucoma Treatment Adherence

PurposeTo understand the factors that influence glaucoma treatment adherence with medication taking, prescription refills, and appointment keeping to develop an intervention for a specific population. Patients and MethodsIn-depth interviews were conducted with 80 individuals diagnosed with open-angle glaucoma, glaucoma suspect, or ocular hypertension. Additional eligibility requirements were that all participants were: between the ages of 18 to 80; white or African American; spoke and understood English; and were taking daily doses of topical glaucoma treatments for at least the past year. Cross-tabulations and χ2 tests were conducted to compare adherent and nonadherent individuals, classified as such based on self-report and medical chart/pharmacy data. ResultsCompared with adherent participants, nonadherent participants were less likely to: believe their eye doctors spent sufficient time with them; ask their eye doctor if they had any questions; know of benefits to taking their glaucoma medication regularly; and have someone help them take their glaucoma medications or drive them to eye appointments. Conversely, compared with adherent individuals, nonadherent participants were more likely to have difficulty remembering to take their medications and to believe their glaucoma would affect their eye sight in the future. ConclusionsNonadherent glaucoma patients struggle with a variety of issues related to consistent use of glaucoma medicine and routine eye care. Interventions are needed to address these modifiable factors related to glaucoma treatment adherence.
Causes and Effects of Corruption: What has Past Decade's Research Taught us? A Survey

Corruption has fierce impacts on economic and societal development and is subject to a vast range of institutional, jurisdictional, societal, and economic conditions. It is this paper’s aim to provide a reassessment and a comprehensive state-of-the-art survey of existing literature on corruption and its causes and effects. A particularly strong focus is put on presenting and discussing insights resulting from empirical research and contrasting recent with older findings.
Setting an Agenda

Background The COVID-19 pandemic forced rapid implementation and refinement of distance simulation methodologies in which participants and/or facilitators are not physically colocated. A review of the distance simulation literature showed that heterogeneity in many areas (including nomenclature, methodology, and outcomes) limited the ability to identify best practice. In April 2020, the Healthcare Distance Simulation Collaboration was formed with the goal of addressing these issues. The aim of this study was to identify future research priorities in the field of distance simulation using data derived from this summit. Methods This study analyzed textual data gathered during the consensus process conducted at the inaugural Healthcare Distance Simulation Summit to explore participant perceptions of the most pressing research questions regarding distance simulation. Participants discussed education and patient safety standards, simulation facilitators and barriers, and research priorities. Data were qualitatively analyzed using an explicitly constructivist thematic analysis approach, resulting in the creation of a theoretical framework. Results Our sample included 302 participants who represented 29 countries. We identified 42 codes clustered within 4 themes concerning key areas in which further research into distance simulation is needed: (1) safety and acceptability, (2) educational/foundational considerations, (3) impact, and (4) areas of ongoing exploration. Within each theme, pertinent research questions were identified and categorized. Conclusions Distance simulation presents several challenges and opportunities. Research around best practices, including educational foundation and psychological safety, are especially important as is the need to determine outcomes and long-term effects of this emerging field.
An international perspective on Tourette syndrome: selected findings from 3500 individuals in 22 countries

We have established a multisite, international database of 3500 individuals diagnosed with Tourette syndrome (TS). The male:female ratio is 4.3:1 for the total sample, with wide variation among sites; the male excess occurs at every site. Anger control problems, sleep difficulties, coprolalia, and self‐injurious behavior only reach impressive levels in individuals with comorbidity. Anger control problems are strongly correlated with comorbidity, regardless of site, region, or whether assessed by neurologists or psychiatrists. The mean age at onset of tics is 6.4 years. At all ages, about 12% of individuals with TS have no reported comorbidity. The most common reported comorbidity is attention‐deficit‐hyperactivity disorder. Males are more likely to have comorbid disorders than females. The earlier the age at onset, the greater the likelihood of a positive family history of tics. An understanding of the factors producing these and other variations might assist in better subtyping of TS. Because behavioral problems are associated with comorbidity, their presence should dictate a high index of suspicion of the latter, whose treatment may be at least as important as tic reduction. The established database can be used as the entry point for further research when large samples are studied and generalizability of results is important.
Protein‐misfolding diseases and chaperone‐based therapeutic approaches

A large number of neurodegenerative diseases in humans result from protein misfolding and aggregation. Protein misfolding is believed to be the primary cause of Alzheimer's disease, Parkinson's disease, Huntington's disease, Creutzfeldt–Jakob disease, cystic fibrosis, Gaucher's disease and many other degenerative and neurodegenerative disorders. Cellular molecular chaperones, which are ubiquitous, stress‐induced proteins, and newly found chemical and pharmacological chaperones have been found to be effective in preventing misfolding of different disease‐causing proteins, essentially reducing the severity of several neurodegenerative disorders and many other protein‐misfolding diseases. In this review, we discuss the probable mechanisms of several protein‐misfolding diseases in humans, as well as therapeutic approaches for countering them. The role of molecular, chemical and pharmacological chaperones in suppressing the effect of protein misfolding‐induced consequences in humans is explained in detail. Functional aspects of the different types of chaperones suggest their uses as potential therapeutic agents against different types of degenerative diseases, including neurodegenerative disorders.