Miracle-dz/UniFAR-FTUs huggingface dataset:
An Efficient Point-to-Point Deterministic Record-Replay Enhanced with Signatures

Shared-memory multithreaded programs running on chip multiprocessors (CMPs) tend to be nondeterministic. Two-phase deterministic record-replay is an effective approach to solve this nondeterminism. This paper proposes an efficient deterministic record-replay named Fly Replay. During recording, Fly Replay logs not only the right dependencies of memory races but also the pseudo dependencies constituted by predecessors of memory races into per-thread log. During replay, Fly Replay produces wakeup messages actively to trigger successors in time, achieving low communication overhead and fast replay speed. At the same time, Fly Replay reduces hardware overhead by using hardware signatures. Simulation shows that Fly Replay reduces the log size for splash2 workloads by 40% on average compared with RTR and Rerun in 4-core systems, and has good scalability in log size. More importantly, Fly Repaly can achieve replay speed within 1%~18% of the native execution speed without record-replay.
Really Responsive Regulation

Really Responsive Regulation seeks to add to current theories of enforcement by stressing the case for regulators to be responsive not only to the attitude of the regulated firm but also to the operating and cognitive frameworks of firms; the institutional environment and performance of the regulatory regime; the different logics of regulatory tools and strategies; and to changes in each of these elements. The approach pervades all the different tasks of enforcement activity: detecting undesirable or non-compliant behaviour; developing tools and strategies for responding to that behaviour; enforcing those tools and strategies; assessing their success or failure; and modifying them accordingly. The value of the approach is shown by outlining its potential application to UK environmental and fisheries controls. Putting the system into effect is itself challenging but failing to regulate really responsively can constitute an expensive process of shooting in the dark.
Inference of Gorilla Demographic and Selective History from Whole-Genome Sequence Data

Although population-level genomic sequence data have been gathered extensively for humans, similar data from our closest living relatives are just beginning to emerge. Examination of genomic variation within great apes offers many opportunities to increase our understanding of the forces that have differentially shaped the evolutionary history of hominid taxa. Here, we expand upon the work of the Great Ape Genome Project by analyzing medium to high coverage whole-genome sequences from 14 western lowland gorillas (Gorilla gorilla gorilla), 2 eastern lowland gorillas (G. beringei graueri), and a single Cross River individual (G. gorilla diehli). We infer that the ancestors of western and eastern lowland gorillas diverged from a common ancestor approximately 261 ka, and that the ancestors of the Cross River population diverged from the western lowland gorilla lineage approximately 68 ka. Using a diffusion approximation approach to model the genome-wide site frequency spectrum, we infer a history of western lowland gorillas that includes an ancestral population expansion of 1.4-fold around 970 ka and a recent 5.6-fold contraction in population size 23 ka. The latter may correspond to a major reduction in African equatorial forests around the Last Glacial Maximum. We also analyze patterns of variation among western lowland gorillas to identify several genomic regions with strong signatures of recent selective sweeps. We find that processes related to taste, pancreatic and saliva secretion, sodium ion transmembrane transport, and cardiac muscle function are overrepresented in genomic regions predicted to have experienced recent positive selection.
Measuring the Effect of Gender on Computer Attitudes among Pre-Service Teachers: A Multiple Indicators, Multiple Causes (MIMIC) Modeling

Purpose – The purpose of this paper is to examine the effect of gender on pre‐service teachers' computer attitudes.Design/methodology/approach – A total of 157 pre‐service teachers completed a survey questionnaire measuring their responses to four constructs which explain computer attitude. These were administered during the teaching term where participants were attending a technology course. Structural equation modeling, in particular, confirmatory factor analysis and multiple indicators, multiple causes (MIMIC) modeling were used for data analysis.Findings – No statistical significance is found for gender in the four constructs of computer attitude. However, the mean scores for males are higher for three of the constructs. Overall, the data in this study provides evidence to support the notion that computer attitude is a multidimensional construct.Originality/value – This study contributes to the continuing interests among researchers to study the effect of gender towards the computer. The results of th.
Severe crescentic glomerulonephritis linked to an acute Hantaan virus infection?

were measurable. Obviously, the fourth point could not impact on these observations. We are therefore quite confident in the results that we reported. We thank Canaud et al. for their comments as they provide some hypothesis to explain our findings. Most issues are covered in the previous section. The accuracy of the ultrafiltration pump is certainly not an issue as we have measured the precision of the total ultrafiltration in the dialysis setting and found an error <0.2%, as well as that of the infusion pump in the haemodiafiltration setting, which is <2%. We are sure that the new concept of KUF max, which we understand has provoked some surprises, will be adopted widely.
Discrimination of Rhythmic Pattern at 4 Months and Language Performance at 5 Years: A Longitudinal Analysis of Data From German‐Learning Children

In this article we report on early rhythmic discrimination performance of children who participated in a longitudinal study following children from birth to their 6th year of life. Thirty-four children including 8 children with a family risk for developmental language impairment were tested on the discrimination of trochaic and iambic disyllabic sequences when they were 4 months old. At 5 years of age, standardized measures on language performance (SETK3–5) and nonverbal intelligence (SON-R) were obtained. Overall, evidence of discrimination of the rhythmic patterns was found only for children without a family risk. The performance in early rhythmic discrimination correlated with the later outcomes in SETK3–5 subtests on sentence comprehension and morphological skills, but not with subtests related to memory performance nor with nonverbal intelligence. Our results suggest that indicators of language development can be discovered as early as 4 months of age, and seem to correlate with later outcomes in rather specific language skills.
Engendering Violence: Heterosexual Interpersonal Violence from Childhood to Adulthood

Contents: Mapping the discourse of heterosexual interpersonal violence Theoretical challenges to the study of heterosexual interpersonal violence Learning the difference that gender makes Heteronormativity and sexual coercion: adolescents practicing gender Investing in masculinity: men who use interpersonal violence Investing in difference: violent women and masculinity in disguise? Engendering violence? Bibliography Index.
Frontal and Parietal Contributions to Probabilistic Association Learning

Neuroimaging studies have shown both dorsolateral prefrontal (DLPFC) and inferior parietal cortex (iPARC) activation during probabilistic association learning. Whether these cortical brain regions are necessary for probabilistic association learning is presently unknown. Participants' ability to acquire probabilistic associations was assessed during disruptive 1 Hz repetitive transcranial magnetic stimulation (rTMS) of the left DLPFC, left iPARC, and sham using a crossover single-blind design. On subsequent sessions, performance improved relative to baseline except during DLPFC rTMS that disrupted the early acquisition beneficial effect of prior exposure. A second experiment examining rTMS effects on task-naive participants showed that neither DLPFC rTMS nor sham influenced naive acquisition of probabilistic associations. A third experiment examining consecutive administration of the probabilistic association learning test revealed early trial interference from previous exposure to different probability schedules. These experiments, showing disrupted acquisition of probabilistic associations by rTMS only during subsequent sessions with an intervening night's sleep, suggest that the DLPFC may facilitate early access to learned strategies or prior task-related memories via consolidation. Although neuroimaging studies implicate DLPFC and iPARC in probabilistic association learning, the present findings suggest that early acquisition of the probabilistic cue-outcome associations in task-naive participants is not dependent on either region.
Voila, a New Drosophila Courtship Variant that Affects the Nervous System: Behavioral, Neural, and Genetic Characterization

In Drosophila melanogaster, a specificPGAL4 transposon induces theVoila1 genetic variant and produces multiple phenotypes. HomozygousVoila1/1 flies rarely reach adulthood, whereas heterozygousVoila1/+ adult males show strong bisexual behavior. Males with a single copy ofVoila1 driving the feminizing transgene UAS-transformer show very reduced sexual activity but no overall effect on their behavior.Voila1 is specifically expressed in the nervous system. In the CNS, it is expressed mainly in the mushroom bodies and, to a lesser extent, in the antennal lobes. In the peripheral nervous system, GAL4 expression is almost entirely restricted to the gustatory sensilla. Using chromosomal deficiencies, the behavioral alteration was genetically mapped to the same location as the PGAL4 element (86E1–2). The multiple behavioral effects of the Voila genetic variant are discussed in light of its expression in the nervous system and its genetic basis.
Strength Training for Adolescents with cerebral palsy (STAR): study protocol of a randomised controlled trial to determine the feasibility, acceptability and efficacy of resistance training for adolescents with cerebral palsy

Introduction Gait is inefficient in children with cerebral palsy, particularly as they transition to adolescence. Gait inefficiency may be associated with declines in gross motor function and participation among adolescents with cerebral palsy. Resistance training may improve gait efficiency through a number of biomechanical and neural mechanisms. The aim of the Strength Training for Adolescents with cerebral palsy (STAR) trial is to evaluate the effect of resistance training on gait efficiency, activity and participation in adolescents with cerebral palsy. We also aim to determine the biomechanical and neural adaptations that occur following resistance training and evaluate the feasibility and acceptability of such an intervention for adolescents with cerebral palsy. Methods and analysis 60 adolescents (Gross Motor Function Classification System level I–III) will be randomised to a 10-week resistance training group or a usual care control group according to a computer-generated random schedule. The primary outcome is gait efficiency. Secondary outcomes are habitual physical activity, participation, muscle–tendon mechanics and gross motor function. General linear models will be used to evaluate differences in continuous data between the resistance training and usual care groups at 10 and 22 weeks, respectively. A process evaluation will be conducted alongside the intervention. Fidelity of the resistance training programme to trial protocol will be quantified by observations of exercise sessions. Semistructured interviews will be conducted with participants and physiotherapists following the resistance training programme to determine feasibility and acceptability of the programme. Ethics and dissemination This trial has ethical approval from Brunel University London's Department of Clinical Sciences' Research Ethics Committee and the National Research Ethics Service (NRES) Committee London—Surrey Borders. The results of the trial will be submitted for publication in academic journals, presented at conferences and distributed to adolescents, families and healthcare professionals through the media with the assistance of the STAR advisory group. Trial registration number ISRCTN90378161; Pre-results.
Identification of poxvirus CD8+ T cell determinants to enable rational design and characterization of smallpox vaccines

The large size of poxvirus genomes has stymied attempts to identify determinants recognized by CD8+ T cells and greatly impeded development of mouse smallpox vaccination models. Here, we use a vaccinia virus (VACV) expression library containing each of the predicted 258 open reading frames to identify five peptide determinants that account for approximately half of the VACV-specific CD8+ T cell response in C57BL/6 mice. We show that the primary immunodominance hierarchy is greatly affected by the route of VACV infection and the poxvirus strain used. Modified vaccinia virus ankara (MVA), a candidate replacement smallpox vaccine, failed to induce responses to two of the defined determinants. This could not be predicted by genomic comparison of viruses and is not due strictly to limited MVA replication in mice. Several determinants are immunogenic in cowpox and ectromelia (mousepox) virus infections, and immunization with the immunodominant determinant provided significant protection against lethal mousepox. These findings have important implications for understanding poxvirus immunity in animal models and bench-marking immune responses to poxvirus vaccines in humans.
Prognostic Significance of Microvessel Density and Vascular Endothelial Growth Factor (VEGF) Expression in non-Hodgkin's Lymphoma

Angiogenesis has a major role in the pathogenesis of malignancies. Studies involving the role of angiogenesis have been most commonly performed in solid tumors. However, studies related to hemapoietic neoplasia and angiogenesis are relatively limited. We investigated the role of angiogenesis in non-Hodgkin's lymphomas (NHLs) and its relation with clinical and histopathologic prognostic indicators. In this respect, angiogenesis markers were evaluated in 71 patients with NHL and these were compared with other prognostic indicators including age, gender, histological grade, stage, extranodal involvement and survival. Microvessel density (MVD) using Factor VIII monoclonal antibody and vascular endothelial growth factor (VEGF) using monoclonal antibody for VEGF expression were studied in paraffin-embedded tissue samples. We did not find a significant relationship between MVD and patient characteristics including age, gender, stage, histological grade, nodal status, international prognostic index (IPI), and response to treatment. MVD was found to be greater in cases with B symptoms compared to those without B symptoms (14.6 ± 5.7 and 11.4 ± 5.3, respectively, p = 0.002). No significant relationship was found between VEGF and age, gender, stage, histological grade, IPI, and overall survival. The complete and partial response rate to therapy was significantly higher in VEGF-negative patients than in the VEGF-positive patients (p = 0.003). In conclusion, there appears to be a role for angiogenesis and angiogenic factors in NHLs. The combination of anti-angiogenic drugs with conventional anti-neoplastic treatment will probably be used in the future. Larger series of patients are needed to determine the prognostic value of angiogenesis in NHL.
Monitoring BPEL-Based Web Service Composition Using AOP

With the loose coupling and dynamic attributes of Web Service, the implementation behavior may be different from original requirement, so it’s essential to implement the run-time monitoring. Monitoring analyzes the conformance of a Web Service to the requirements. This paper gives a novel monitoring prototype framework. It introduces WS-Policy to express the user’s monitoring requirement on the Services. Then, AOP (Aspect Oriented Programming) technology is used to extend the BPEL execution engine in order to capture run-time information of the service. Finally, monitoring information is analyzed against the EMSC (Extended Message Sequence Charts) and METG property specification of that service, reaching the predefined goal of monitoring. To evaluate our approach, we have executed a travel reservation service sample under the monitoring framework. Case study demonstrates the feasibility.
Reliable Low-Power Multiplier Design Using Fixed-Width Replica Redundancy Block

In this paper, we propose a reliable low-power multiplier design by adopting algorithmic noise tolerant (ANT) architecture with the fixed-width multiplier to build the reduced precision replica redundancy block (RPR). The proposed ANT architecture can meet the demand of high precision, low power consumption, and area efficiency. We design the fixed-width RPR with error compensation circuit via analyzing of probability and statistics. Using the partial product terms of input correction vector and minor input correction vector to lower the truncation errors, the hardware complexity of error compensation circuit can be simplified. In a 12×12 bit ANT multiplier, circuit area in our fixed-width RPR can be lowered by 44.55% and power consumption in our ANT design can be saved by 23% as compared with the state-of-art ANT design.
Evolutionary and Expression Analyses of the Apple Basic Leucine Zipper Transcription Factor Family

Transcription factors (TFs) play essential roles in the regulatory networks controlling many developmental processes in plants. Members of the basic leucine (Leu) zipper (bZIP) TF family, which is unique to eukaryotes, are involved in regulating diverse processes, including flower and vascular development, seed maturation, stress signaling, and defense responses to pathogens. The bZIP proteins have a characteristic bZIP domain composed of a DNA-binding basic region and a Leu zipper dimerization region. In this study, we identified 112 apple (Malus domestica Borkh) bZIP TF-encoding genes, termed MdbZIP genes. Synteny analysis indicated that segmental and tandem duplication events, as well as whole genome duplication, have contributed to the expansion of the apple bZIP family. The family could be divided into 11 groups based on structural features of the encoded proteins, as well as on the phylogenetic relationship of the apple bZIP proteins to those of the model plant Arabidopsis thaliana (AtbZIP genes). Synteny analysis revealed that several paired MdbZIP genes and AtbZIP gene homologs were located in syntenic genomic regions. Furthermore, expression analyses of group A MdbZIP genes showed distinct expression levels in 10 different organs. Moreover, changes in these expression profiles in response to abiotic stress conditions and various hormone treatments identified MdbZIP genes that were responsive to high salinity and drought, as well as to different phytohormones.
Sustainability Issues in Human Resource Management: Linkages, theoretical approaches, and outlines for an emerging field

Sustainability has been subject of thought and reflection in the field of management for a long time. Only recently, however, does the link between sustainability and HR issues seem to have received attention. The main goal of this paper is to introduce this literature and their different approaches, to identify the benefit of this perspective for traditional HRM research, and to suggest first approaches towards an extended theoretical framework for SHRM. Finally, the paper proposes open research questions and outlines of a perhaps emerging field of research.
Is pair programming more effective than other forms of collaboration for young students?

This study investigates differences between collaboration methods in two summer enrichment classes for students entering the sixth grade. In one treatment, students used pair programming. In the other treatment, students engaged in frequent collaboration, but worked ontheir own computer. Students in the two treatments did not differ significantly in their performance on daily quizzes or responses to attitudinal survey questions. However, the students who worked on their own computer completed exercises more quickly than those using pair programming. This study compares two learning environments with high levels of collaboration to isolate aspects of pair programming that are and are not responsible for the reported success of educational research focused on pair programming. This study expands our understanding of pair programming by moving beyond simplistic comparisons of learning environments with and without collaboration and by extending pair programming research to elementary school students.
Influence of impurities and additives on positive streamers in paraffinic model oil

This paper presents an experimental study of positive streamers in paraffinic model oil in a point-plane gap. The investigation was performed concerning the influence of voltage, impurities and additives. It was seen how increased voltage changes streamer shape and speed resulting in different propagation modes. Carbon particles markedly reduce inception, breakdown and acceleration voltages, while dissolved gases/air have little effect on these voltages. A low ionization potential additive decelerates the streamers, while an electron scavenger shows an increase in streamer velocity. The correlation between propagation velocity and streamer's branching is discussed.
Isolated Mitochondria Infusion Mitigates Ischemia-Reperfusion Injury of the Liver in Rats

ABSTRACT A recent study showed that the injection of mitochondria isolated from a nonischemic region mitigated myocardial injury. We tested the protective effects of infusing isolated mitochondria on the reperfusion injury in the liver of rats. A partial liver ischemia-reperfusion (I/R) model in male Wistar rats was used. At the 45th minute of liver ischemia, the recipient’s spleen was infused with vehicle (I/R-vehicle group) or vehicle containing isolated mitochondria (7.7 × 106 ± 1.5 × 106/mL, I/R-mito group). After a 240-min reperfusion, the serum and livers were collected to assess tissue injury. Our results show that the elevation of serum alanine aminotransferase (414.3 ± 67.1 vs. 208.8 ± 30.2 U/L), the necrosis of hepatocytes on hematoxylin-eosin staining, increase in positive counts in TUNEL (terminal deoxynucleotidyl transferase dUTP nick end labeling) staining (59.5% ± 4.4% vs. 24.6% ± 9.1%), the expression of cytosolic cytochrome c, cleaved caspase 9, and 4-hydroxynonenal were all reduced in the I/R-mito group, compared with the I/R-vehicle group. The membrane potential of the isolated mitochondria measured by JC-1 fluorescence remained high, and the infused mitochondria were distributed in the liver parenchyma at 240 min after reperfusion. These results demonstrate that an intrasplenic infusion of viable mitochondria isolated from the donor before reperfusion significantly reduced I/R injury in the liver.