Miracle-dz/UniFAR-FTUs huggingface dataset:
Design and evaluation of hybrid fault-detection systems

As chip densities and clock rates increase, processors are becoming more susceptible to transient faults that can affect program correctness. Up to now, system designers have primarily considered hardware-only and software-only fault-detection mechanisms to identify and mitigate the deleterious effects of transient faults. These two fault-detection systems, however, are extremes in the design space, representing sharp trade-offs between hardware cost, reliability, and performance. In this paper, we identify hybrid hardware/software fault-detection mechanisms as promising alternatives to hardware-only and software-only systems. These hybrid systems offer designers more options to fit their reliability needs within their hardware and performance budgets. We propose and evaluate CRAFT, a suite of three such hybrid techniques, to illustrate the potential of the hybrid approach. For fair, quantitative comparisons among hardware, software, and hybrid systems, we introduce a new metric, mean work to failure, which is able to compare systems for which machine instructions do not represent a constant unit of work. Additionally, we present a new simulation framework which rapidly assesses reliability and does not depend on manual identification of failure modes. Our evaluation illustrates that CRAFT, and hybrid techniques in general, offer attractive options in the fault-detection design space.
Development of Analytical Seismic Fragility Curves for Ordinary Highway Bridges in Turkey

Seismic fragility curves are conditional probability functions which give the probability of a bridge attaining or exceeding a particular damage level for an earthquake with a certain intensity level. In this study, analytical fragility curves are developed for the ordinary highway bridges in Turkey constructed after the 1990s. Bridges are first grouped into certain major bridge classes based on their structural attributes and sample bridges are generated to account for the structural variability. Nonlinear response history analyses are conducted for each bridge sample with their detailed 3-D analytical models under different earthquake ground motions having varying seismic intensities. Several engineering demand parameters are employed in the determination of seismic response of bridges. Fragility curves are obtained from the probability of exceeding each specified damage limit state for each major bridge class. Skew and single-column bent bridges are found to be the most vulnerable ones compared to the other bridge classes.
Advanced Research Methods of Hybrid Electric Vehicles ’ Performances

This paper studies the performance of a hybrid electric vehicle bus (HEVB) by computer co-simulation using CruiseTruckMaker software applications. The simulation tasks include fuel consumption calculation over the usual city bus drive cycle, maximum velocity calculation and acceleration time calculation. Based on obtained results, a comparative analysis is performed for this model of bus used for the urban passenger transport. Hybrid and electric vehicles have been modeled and simulated with the aims of improving overall energy efficiency in the exploitation regime and also to reduce local pollutant emissions. System and sub-system architecture in Cruise was used for developing and modeling the powertrain model. This approach allows fast model preparation as well as a better understanding of model building process for co-simulation features. Keywords— Hybrid Electric Vehicle, modeling, simulation, energy efficiency, pollutant emission.
A Conditional Context-Awareness Ontology Based Personalized Recommendation Approach for E-Reading

With the giddy growth of the amount of the information data through constant interaction and sharing in daily life, the mobile Internet has shifted from the lack of information to information overload. How to satisfy readers' individual needs from the disorder and mixture data has become an urgent problem to be solved. This paper combines the context information into the recommended process, and constructs a context-aware based personalized article recommendation model by means of ontology. The researchers first obtain the simple context and conditional context by direct and indirect acquisition way. Second, the researchers calculate the weight of the context factors based on contextual conditional entropy and estimates the impact degree of the recommended article, and then calculate and update the weight of different contexts according to the historical reading behavior. Finally based on the ontology and context similarity matching algorithm, the researchers provide more personalized recommendation service for readers under different contexts. Simulation result shows that the proposed approach performs better than the other two methods in terms of the Recall Ratio and MAE.
INVESTIGATING THE RELATIONSHIP BETWEEN AUTO BODY POLICYHOLDERS DIMENSIONS OF PRICE SATISFACTION AND WILLINGNESS TO PAY ( CASE STUDY : KARAFARIN INSURANCE COMPANY )

Current work investigates relationship between auto body policyholders dimensions of price satisfaction and willingness to pay so that insurance companies can have more comprehensive understanding fromdimensions of price satisfaction and its relationship to auto body policyholders willingness to pay using findings in this work. These findings can be applied on pricing decisions and activity of sale and marketing agents which influences retention of current customers and absorbing new customers. Matzler’s standard questionnaire was used for collecting data related to price satisfaction. Direct survey in the form of open questions was used to extract willingness to pay insurance due to limitation for using other methods. 396 policyholdersfilled the questionnaire, and 368 questionnaires were analyzed after exclusion of incomplete ones. Spearman correlation test and multiple regression was used to test hypotheses and results suggest positive significant relationship between price satisfaction and its dimensions with autobodywillingness to pay, however, these dimensions do not affect willingness to pay identically and price reliability has highest impact on willingness to pay for auto body policyholders.
Exercises in Style (Alpha Specifications)

We compare two documents: the Alpha Architecture Reference Manual (from Compaq Computer Corporation) and the TLA^+ specification of the Alpha memory model (by Lamport, Sharma, Tuttle, and Yu). We compare the styles, the languages employed, and the fundamental assumptions (that is the basic frameworks of the two texts). We conclude that the TLA^+ specification is not so much a formalization of the Alpha Reference Manual text as it is a translation into a different framework. We believe that a formalization of the Alpha Reference Manual can be useful, and we propose one.
Predicting web application crashes using machine learning

Unplanned system outages have a negative impact on company revenues and image. While the last decades have seen a lot of efforts from industry and academia to avoid them, they still happen and their impact is increasing. According to many studies, one of the most important causes of these outages is resource exhaustion for different reasons: overload, inadequate system resource planning, or transient software failures which consume resources until crash. Several previous work have proposed the use of machine learning algorithms for modeling and predicting resource consumption, and the effectiveness of these approaches have been demonstrated in failureless, stationary circumstances. In this paper, we present a framework based on machine learning techniques to predict the time to crash when the system suffers transient software errors such as memory leaks which consume resources randomly and gradually. The experiments illustrate that our approach is effective at predicting crashes (at least of a particular type, those due to memory leak) and with a lot of potential impact. Moreover, we present a discussion about the monitoring systems granularity level.
“ Ordinary Gingerbread ” : Pragmatic Constraints on Fragments in Dialogue

The paper presents a corpus study of constraints on fragments in dialogue. The work is part of a larger corpus study where dialogues from seven different corpora in three languages are qualitatively analysed. A fragment is characterised using information structure as containing either just a focus or a focus together with a partial ground. Two types of constraints are then presented and discussed. The first type concerns constraints on what parts of the context the fragments is connected to. These constraints involve recency, parallelism with alternatives, and relevance. The second type of constraints concerns the choice between fragments and non-fragment utterances in dialogue, where fragments are found to be the default choice in dialogue, and several different constraints requiring a non-fragment utterance are considered.
A 3.3V CMOS Charge-Pumping Offset-Compensated Optical Charge-Mixer with 3% Phase Accuracy

A new type of CMOS electro-optical charge-mixer is presented, who's functionality is based on the charge pumping (CP) phenomenon. The device uses two PMOS transistors with bulk-embedded photodiode to detect the intensity and phase of a modulated light signal. Using clocking between accumulation and inversion, the two transistors transfer to output charge packets that are synchronous and proportional to the light intensity. A device replica is used to compensate for both, background illumination and offset charge. This latter peculiarity depends on the photo-sensor bias voltage. The device is implemented in a standard 0.35mum CMOS and operates from a single 3.3V supply. Using a 12mW/cm 2 pulsed light source with a pulse width of 500ns, the charge-mixer estimates the phase delay with an accuracy of 3%
Description of the development and content of Active 2 Gether

The Active2Gether intervention is an app-based intervention designed to help and encourage young adults to become and remain physically active by means of personalized, real-time activity tracking and context-specific feedback. The aim of this paper is to describe the development and the content of the Active2Gether intervention for physical activity (PA) promotion. A systematic and stepwise approach was used to develop the Active2Gether intervention. This included formulating objectives and a theoretical framework, selecting behavior change techniques, specifying the tailoring, pilot testing and describing an evaluation protocol. Five steps were undertaken to develop the Active2Gether intervention: 1) definition of the intervention objectives, 2) definition of the theoretical framework, 3) development of the intervention content and communication channel (i.e., selection of behavior change techniques, writing messages, assessment for tailoring), 4) pilot testing, and 5) testing and evaluating the intervention. The primary objective of the intervention is to increase total time spent in moderate-vigorous PA (MVPA) for those who do not meet the Dutch guideline, to maintain PA levels of those who meet the guideline, or to further increase that if they indicate they want to improve further. The theoretical framework is informed by the social cognitive theory, and insights from other theories and evidence were added for specific topics. Development of the intervention content and communication channel resulted in the development of an app that provides highly tailored coaching messages that are framed in an autonomy-supportive style. These coaching messages include behavior change techniques aiming to address relevant behavioral determinants (e.g., self-efficacy, outcome expectations) and are partly context-specific. A model-based reasoning engine has been developed to tailor the intervention with respect to the type of support provided by the app, to send relevant and context-specific messages to the user and to tailor the graphs displayed in the app. For the input of the tailoring, different instruments and sensors are used, such as an activity monitor (Fitbit One), online and mobile questionnaires, and the location services on the user’s mobile phone. The systematic and stepwise approach resulted in an intervention that is based on theory and input from end-users. The use of a model-based reasoning system to provide contextspecific coaching messages goes beyond many existing eHealth and mHealth interventions. This chapter is based on the article that is conditionally accepted as: Anouk Middelweerd, Saskia J. te Velde, Julia S. Mollee, Michel C.A. Klein, and Johannes Brug (2018). “Development of Active2Gether: An app-based intervention combining evidence-based behavior change techniques with a model-based reasoning system to promote physical activity among young adults”. In: Journal of Medical Internet Research 13.
USE OF WIRELESS SENSOR NETWORK TECHNOLOGY FOR THE INVESTIGATION OF ROOT ZONE SOIL MOISTURE DYNAMICS IN NEW ZEALAND ’ S HILL COUNTRY

Hill country farms play a critical role in the New Zealand’s economy and precision agriculture solutions have been increasingly utilised to improve their profitability and resilience. The role of soil moisture, a highly variable factor in pasture productivity has received early recognition in hill country pastoral systems. Despite the importance of soil moisture, assessing and acquiring information on soil water content corresponding to the root zone remained a challenging task in these landscapes due to the complexity of the terrain, soil types and land use. Wireless Sensor Networks (WSN) is a promising, new, in-situ measurement technology for monitoring soil moisture dynamics with high temporal resolution in agricultural soils. A monitoring network utilising WSN technology was designed and deployed over a hill country farm in the Wairarapa region of the North Island by the aid of Geographical Information System assisted spatial methodologies. As soil moisture distribution varies both vertically and laterally, 400 mm long subsurface type, multi-sensor probes were installed at 20 sites to take capacitance based readings at four consecutive depths. Near real-time monitoring of soil variables will make it possible to better understand the dynamics of drying and wetting events and the soil moisture variability within the rooting zone. The integration of spatially distributed sensors and multi-depth soil moisture measurements from various hillslope positions showed considerable in soil water profile response to significant rainfall events on steep, rolling and flat surfaces allowing us to construct a clearer picture of the topographical controls on soil moisture distribution.
Epigenetic Activation of SOX11 in Lymphoid Neoplasms by Histone Modifications

Recent studies have shown aberrant expression of SOX11 in various types of aggressive B-cell neoplasms. To elucidate the molecular mechanisms leading to such deregulation, we performed a comprehensive SOX11 gene expression and epigenetic study in stem cells, normal hematopoietic cells and different lymphoid neoplasms. We observed that SOX11 expression is associated with unmethylated DNA and presence of activating histone marks (H3K9/14Ac and H3K4me3) in embryonic stem cells and some aggressive B-cell neoplasms. In contrast, adult stem cells, normal hematopoietic cells and other lymphoid neoplasms do not express SOX11. Such repression was associated with silencing histone marks H3K9me2 and H3K27me3. The SOX11 promoter of non-malignant cells was consistently unmethylated whereas lymphoid neoplasms with silenced SOX11 tended to acquire DNA hypermethylation. SOX11 silencing in cell lines was reversed by the histone deacetylase inhibitor SAHA but not by the DNA methyltransferase inhibitor AZA. These data indicate that, although DNA hypermethylation of SOX11 is frequent in lymphoid neoplasms, it seems to be functionally inert, as SOX11 is already silenced in the hematopoietic system. In contrast, the pathogenic role of SOX11 is associated with its de novo expression in some aggressive lymphoid malignancies, which is mediated by a shift from inactivating to activating histone modifications.
Feeding OWL: Extracting and Representing the Content of Pathology Reports

This paper reports on an ongoing project that combines NLP with semantic web technologies to support a content-based storage and retrieval of medical pathology reports. We describe the NLP component of the project (a robust parser) and the background knowledge component (a domain ontology represented in OWL), and how they work together during extraction of domain specific information from natural language reports. The system provides a good example of how NLP techniques can be used to populate the Semantic Web.
Ultrathin ZnO nanorods: facile synthesis, characterization and optical properties

We first took advantage of a modified solvothermal route to achieve deliberate size modulation of ZnO nanorods. In this facile wet chemical process, the crystal sizes are sensitive to the surfactant concentrations, due to the efficient selecting adsorption of surfactant on the ZnO crystal planes. As a result, a fine size tuning of ZnO nanorods (from about 6.5 nm to about 120 nm) with high quality is conveniently achieved. The as-prepared ultrathin ZnO nanorods were investigated using scanning electron microscopy (SEM), transmission electron microscopy (TEM) and x-ray diffraction. Optical properties of the ultrathin ZnO nanorods were also studied; the strong UV excitonic emission and weak deep-level emission reveal their very limited structural defects and narrow size distribution, which is interesting and important for facilitating their special applications for photoelectric nanodevices in modern science and technology.
Deciphering Gene Sets Annotations with Ontology Based Visualization

Nowadays, one of the main challenges in biology is to make use of several sources of data to improve our understanding of life. When analyzing experimental data, researchers aim at clustering genes that show a similar behavior through specific external conditions. Thus, the functional interpretation of genes is crucial and involves making use of the whole subset of terms that annotate these genes and which can be relatively large and redundant. The manual expertise to clearly decipher the main functions that may be related to the gene set is timeconsuming and becomes impracticable when the number of gene sets increases, like in the case of vaccine/drug trials. To overcome this drawback, it may be necessary to reduce the dataset with the aim to apply visualization approaches. In this paper, we propose a new pipeline combining enrichment and annotation terms simplification to produce a synthetic visualization of several gene sets simultaneously. We illustrate the efficiency of our method on a case study aiming at analyzing the immune response in diseases.
MODELLING REFRIGERATING COMPARTMENT OF FROST-FREE DOMESTIC REFRIGERATORS

This paper is focussed on the study of the air movement and temperature distribution inside refrigerating compartment of household frost-free refrigerators. It is well known that the correct air circulation and temperature distribution inside the refrigerated chamber are two of the most important factors that affect refrigerator efficiency. In the frost-free refrigerators the cooled air is supplied directly inside the fresh food and vegetable cabinets. Therefore, studies intended to establish the actual air flow and temperature distributions inside these cabinets are relevant in order to improve temperature homogeneity and to reduce energy consumption. The methodology applied in this work is based on the numerical simulation of the cabinets by means of computational fluid dynamics. Turbulence is solved by means of a Large Eddy Simulation model. Unsteady threedimensional numerical studies are carried out, simulating the cooling process starting from a uniform warm temperature inside the refrigerator. Furthermore, the influence of the location of inlet and outlet ports is also investigated.
Adapting simulated behaviors for new characters

This paper describes an algorithm for automatically adapting existing simulated behaviors to new characters. Animating a new character is difficult because a control system tuned for one character will not, in general, work on a character with different limb lengths, masses, or moments of inertia. The algorithm presented here adapts the control system to a new character in two stages. First, the control system parameters are scaled based on the sizes, masses, and moments of inertia of the new and the original characters. Then a subset of the parameters is fine-tuned using a search process based on simulated annealing. To demonstrate the effectiveness of this approach, we animate the running motion of a woman, child, and imaginary character by modifying the control system for a man. We also animate the bicycling motion of a second imaginary character by modifying the control system for a man. We evaluate the results of this approach by comparing the motion of the simulated human runners with video of an actual child and with data for men, women, and children in the literature. In addition to adapting a control system for a new model, this approach can also be used to adapt the control system in an on-line fashion to produce a physically realistic metamorphosis from the original to the new model while the morphing character is performing the behavior. We demonstrate this on-line adaptation with a morph from a man to a woman over a period of twenty seconds. CR Categories: I.3. 7 [Computer Graphics]: Three Dimensional Graphics and Realism: Animation—; G.1. 6 [Numerical Analysis]: Optimization—; I.3. 5 [Computer Graphics]: Computational Geometry and Object Modeling—Physically-Based Modeling
Heme Oxygenase-1 Inhibits Atherogenesis in Watanabe Heritable Hyperlipidemic Rabbits

Background—Heme oxygenase-1 (HO-1) is proposed to have a variety of adaptive responses against oxidative stress. To examine the function of HO-1 against atherogenesis in vivo, we observed the effects of HO-1 inhibition on atherosclerotic lesion formation in Watanabe heritable hyperlipidemic rabbits (WHHL). Methods and Results—During 4 weeks of a 1% cholesterol diet, intravenous injections of Sn-protoporphyrin IX to inhibit HO-1 (S group, n=10) and saline as a control (C group, n=10) were given to 3-month-old WHHL rabbits. The percentages of en face atherosclerotic lesion areas in total descending aorta by Sudan IV staining (EFA) and the ratio of intima to media in microscopic atherosclerotic lesions in the ascending aortas (I/M) were calculated. Two different quantitative methods revealed significantly greater atherosclerotic lesions in the S group than the C group (EFA, P <0.001; I/M, P <0.005). HO-1 expression in atherosclerotic lesions was confirmed by Northern blot and immunohistochemical analyses. The dominant cell types expressing HO-1 were macrophages and foam cells, in which oxidized phospholipids were also accumulated. HO inhibition increased plasma and tissue lipid peroxide levels without affecting plasma lipid co osition. Conclusions—These results suggest the possibilities that HO-1 has antiatherogenic properties in vivo and that the antiatherogenic properties of HO-1 are conducted through the prevention of lipid peroxidation.
risk for psychosis Delusion formation and reasoning biases in those at clinical high

References http://bjp.rcpsych. org/content/191/51/s38#BIBL This article cites 24 articles, 5 of which you can access for free at: permissions Reprints/ permissions@rcpsych.ac. uk write to To obtain reprints or permission to reproduce material from this paper, please to this article at You can respond http://bjp.rcpsych. org/letters/submit/bjprcpsych;191/51/s38 from Downloaded The Royal College of Psychiatrists Published by on December 4, 2014 http://bjp.rcpsych. org/