Miracle-dz/UniFAR-FTUs huggingface dataset:
Application of System-Theoretic Process Analysis to Engineered Safety Features-Component Control System

Recent developments in safety-critical systems have heightened the need for hazard analysis because results of their accidents have become more and more serious. Traditional hazard analysis techniques, such as fault tree analysis (FTA) or failure mode and effects analysis (FMEA), have been extensively used for decades. However, traditional techniques are not suitable for modern systems which are more complex, software-intensive, socio-technical systems. SystemTheoretic Process Analysis (STPA) is a new hazard analysis technique based on System-Theoretic Accident Model and Processes (STAMP) which is a new causality model developed by Nancy G. Leveson. It aims at identifying accident scenarios that encompass the entire accident process. This paper introduces application of the STPA to Engineered Safety Features-Component Control System (ESF-CCS) which prevents radiation leakage from a nuclear reactor. The application performed three functions of the ESF-CCS which has 8 functions. Results of this research show that analysts have a different view about causes of accidents. Furthermore, the view lets the analysts focus on identifying different causal factors from what other hazard analysis techniques identify.
Quality Assurance of Textual Models within Eclipse using OCL and Model Transformations

Modern software development processes often use domainspecific modeling languages (DSMLs) combined with custom code generators and/or interpreters. Especially textual DSMLs as provided by Eclipse Xtext are becoming more and more popular. As a consequence, software quality assurance frequently leads back to quality assurance of the involved textual models. Here, various quality aspects have to be considered depending on the modeling purpose and domain. In this paper, we present a quality assurance tool set for textual models in Eclipse using several interrelated components like Xtext, EMF Refactor, Henshin and the OCL tools which are all based on the Eclipse Modeling Framework (EMF). The practicability and flexibility of this tool set are demonstrated by the design and implementation of a case study that is based on a textual modeling language for simple web applications named SWM (Simple Web Modeling Language).
Hybrid femtocell resource allocation strategy in fractional frequency reuse

Heterogeneous networks consisting of small cells (e.g. femtocells) are capable of achieving high capacity and improving indoor cellular coverage area, while the fractional frequency reuse (FFR) scheme has been proposed for upcoming and future cellular systems to improve spectral efficiency in cellular OFDM networks. In two-tier networks of macrocells layered with femtocells, the resource allocation will most likely be sharing the same licensed spectrum. In this paper, we formulate a simple femtocells resource allocation strategies that allows a femtocells base station (FBS) to allocate more resources (co-channel) in high usage areas such as commercial FBS (cFBS) and orthogonal resource allocation for randomly deployed home user FBS (hFBS). We analyze our strategy in a multi-cell systems using area spectral efficiency (ASE) in composite fading consisting of Nakagami-m fading, path-loss and log-normal shadowing. Analytical and simulation results show that our simple resource allocation strategies are able to reduce inter-tier interferences and to offer an improvement in the overall spectral efficiency of the two-tier systems.
Soup Over Bean of Pure Joy: Culinary Ruminations of an Artificial Chef

We introduce a system for generating novel recipes and use that context to examine some current theoretical ideas for computational creativity. Specifically, we have found that the notion of a single inspiring set can be generalized into two separate sets used for generation and evaluation, respectively, with the result being greater novelty as well as system flexibility (and the potential for natural meta-level creativity), that explicitly measuring artefact typicality is not always necessary, and that explicitly defining an artefact hierarchically results in greater novelty.
Car/Non-Car Classification in an Informative Sample Subspace

In this paper, we present a method for data classification with application to car/non-car objects. We first developed a sample based car/non-car maximal mutual information low dimensional subspace. We then trained a support vector machine (SVM) in this subspace for the detection of cars. Using publicly available standard training and testing data sets, we demonstrated that our car detector gave very competitive performances
The Role of Th17 in Neuroimmune Disorders: Target for CAM Therapy. Part I

CD4+ effector cells, based on cytokine production, nuclear receptors and signaling pathways, have been categorized into four subsets. T-helper-1 cells produce IFN-γ, TNF-β, lymphotoxin and IL-10; T-helper-2 cells produce IL-4, IL-5, IL-10, IL-13, IL-21 and IL-31; T-helper-3, or regulatory T-cells, produce IL-10, TGF-β and IL-35; and the recently discovered T-helper-17 cell produces IL-17, IL-17A, IL-17F, IL-21, IL-26 and CCL20. By producing IL-17 and other signaling molecules, Th17 contributes to the pathogenesis of multiple autoimmune diseases including allergic inflammation, rheumatoid arthritis, autoimmune gastritis, inflammatory bowel disease, psoriasis and multiple sclerosis. In this article, we review the differential regulation of inflammation in different tissues with a major emphasis on enhancement of neuroinflammation by local production of IL-17 in the brain. By understanding the role of pathogenic factors in the induction of autoimmune diseases by Th17 cells, CAM practitioners will be able to design CAM therapies targeting Th17 and associated cytokine activities and signaling pathways to repair the intestinal and blood-brain barriers for their patients with autoimmunities, in particular, those with neuroinflammation and neurodegeneration.
Metadata Management for Data Warehouse Projects

Metadata management has been identified as one of the major critical success factor in data warehousing projects, but the industrialization process of metadata management did not yet reach a satisfying level of maturity from both a methodological and a technological point of view; therefore every project has to build its own metadata management system following the methodology that better fits its requirements. This paper describes the metadata management methodology designed during a e-government data warehouse project and shows how it could be applied by means of a real case study. The methodology we have devised and effectively put into action covers the entire process of building and running a metadata management system in a data warehouse project; its main objective is to exploit metadata to create an homogeneous, structured and integrated “vision” of the data warehouse system in order to produce valuable metadata-based services for the end users.
A Human Body Part Segmentation Method Based on Markov Random Field

In order to address the problem that the human body part segmentation is vulnerable to the impact of human pose and noise for color images, this paper presents a human body part segmentation method based on Markov Random Field. In order to decrease the affect of illumination, the color space RGB of the pixels is transformed into the color space HSV. The local priori distribution of the image is described according to the equivalence of MRF and the Gibbs distribution, and the Gaussian distribution is utilized to depict the distribution of every pixel in the image, then the simulated annealing algorithm is employed to optimize the posteriori energy function to get the optimal segmentation. The experimental results show that the method can effectively extract the body parts and reduce the impact of body posture and noise on the segmentation.
Application of Prize based on Sentence Length in Chunk-based Automatic Evaluation of Machine Translation

As described in this paper, we propose a new automatic evaluation metric for machine translation. Our metric is based on chunking between the reference and candidate translation. Moreover, we apply a prize based on sentence-length to the metric, dissimilar from penalties in BLEU or NIST. We designate this metric as Automatic Evaluation of Machine Translation in which the Prize is Applied to a Chunkbased metric (APAC). Through metaevaluation experiments and comparison with several metrics, we confirmed that our metric shows stable correlation with human judgment.
Line impedance measure method for microgrid

Power sharing between inverters, microgrid modeling and stability analysis are hot research fields in microgrid research. Line impendence is an important parameter to improve accuracy of the power sharing and to improve the accuracy of the model of the microgrid system. Line impedance measure methods have been discussed in several papers. This paper summarized and analyzed each of these methods, identified their advantages and weaknesses, then described a method based on power variation to measure the line impedance in microgrid. Simulation results reveal the correctness and good accuracy of the proposed method.
USO DE VIDEOJUEGOS EN NIOS DE 7 A 12 AOS. Una aproximacin mediante encuesta

Este articulo da a conocer los primeros resultados de la encuesta realizada entre ninos de 7 a 12 anos de de la Comunidad de Madrid sobre el uso de videojuegos. Las ninas y los ninos estudiados usan masivamente los videojuegos. Los padres, en contra de lo recomendado por los especialistas en Educacion, apenas juegan con los menores. Son los ninos los que seleccionan los videojuegos que hay en casa. Y en torno al 50% de los ninos entre 11 y 12 anos conocen un juego de contenido adulto polemico como el GTA San Andreas.
Prepositions in Applications: A Survey and Introduction to the Special Issue

Prepositions1—as well as prepositional phrases (PPs) and markers of various sorts— have a mixed history in computational linguistics (CL), as well as related fields such as artificial intelligence, information retrieval (IR), and computational psycholinguistics: On the one hand they have been championed as being vital to precise language understanding (e.g., in information extraction), and on the other they have been ignored on the grounds of being syntactically promiscuous and semantically vacuous, and relegated to the ignominious rank of “stop word” (e.g., in text classification and IR). Although NLP in general has benefitted from advances in those areas where prepositions have received attention, there are still many issues to be addressed. For example, in machine translation, generating a preposition (or “case marker” in languages such as Japanese) incorrectly in the target language can lead to critical semantic divergences over the source language string. Equivalently in information retrieval and information extraction, it would seem desirable to be able to predict that book on NLP and book about NLPmean largely the same thing, but paranoid about drugs and paranoid on drugs suggest very different things. Prepositions are often among the most frequent words in a language. For example, based on the British National Corpus (BNC; Burnard 2000), four out of the top-ten most-frequent words in English are prepositions (of, to, in, and for). In terms of both parsing and generation, therefore, accurate models of preposition usage are essential to avoid repeatedly making errors. Despite their frequency, however, they are notoriously difficult to master, even for humans (Chodorow, Tetreault, and Han 2007). For example, Lindstromberg (2001) estimates that less than 10% of upper-level English as a Second
Combined TLR/CD40 Stimulation Mediates Potent Cellular Immunity by Regulating Dendritic Cell Expression of CD70 In Vivo1

We previously showed that immunization with a combination of TLR and CD40 agonists (combined TLR/CD40 agonist immunization) resulted in an expansion of Ag-specific CD8 T cells exponentially greater than the expansion observed to immunization with either agonist alone. We now show that the mechanism behind this expansion of T cells is the regulated expression of CD70 on dendritic cells. In contrast to previous results in vitro, the expression of CD70 on dendritic cells in vivo requires combined TLR/CD40 stimulation and is not significantly induced by stimulation of either pathway alone. Moreover, the exponential expansion of CD8+ T cells following combined TLR/CD40 agonist immunization is CD70 dependent. Thus, the transition from innate stimuli (TLRs) to adaptive immunity is controlled by the regulated expression of CD70.
Stability of A Bandwidth Allocation Model for TCP Internet

It is known that a telecommunication network may not be stable under some unfair bandwidth allocation policies, even when the normal traffic load condition is satisfied, i.e., the traffic load at each link is less than its capacity. In this paper, we generalize the bandwidth allocation model of Bonald and Massoulie (2001) and show that, under normal traffic load condition, a telecommunication network is stable when the bandwidth of the network is allocated so as to maximize a class of general utility functions. Using the microscopic model of TCP (transmission control protocol) rate control proposed in Kelly (2001), we also argue that the TCP Internet traffic control can be modeled as such a bandwidth allocation model, and hence that the TCP Internet is stable under normal traffic load condition.
Instabilité et régulation des économies monétaires : le rôle des facteurs financiers

Cette these traite des facteurs financiers des fluctuations conjoncturelles. Elle repond aux questions suivantes : dans quelle mesure peut-on dire que l'instabilite financiere est une caracteristique intrinseque des economies modernes ? en quoi la fragilisation financiere est-elle un phenomene endogene dans la dynamique des economies monetaires ? la recherche est conduite selon trois axes. Un premier axe consiste a etudier les analyses existantes pour en degager les elements les plus robustes et ceux qui doivent etre ameliores. Ceci conduit a affirmer l'importance du credit bancaire dans la regulation du cycle economique. Il devient des lors necessaire de se demander quelles peuvent etre les consequences de la reduction de la part des banques dans le financement de l'economie. Cela nous amene aussi a constater un manque : le caractere monetaire de la relation marchande est trop peu pris en compte. Il faut alors se demander ce qu'apporte une conception monetaire de cette relation. Le resultat du passage a une analyse dans laquelle la monnaie est l'element essentiel de la coordination economique est que l'instabilite des comportements vis-a-vis de la liquidite doit etre prise en compte. C'est ce que nous faisons dans la seconde partie de cette these. L'analyse que nous entreprenons alors se concentre sur deux points essentiels : d'une part, montrer comment la liquidite determine la plus ou moins grande stabilite conjoncturelle ; d'autre part, reinterpreter 1' "hypothese d'instabilite financiere" de h. P. Minsky comme une theorie ou l'evolution endogene de la liquidite est la cause de la fragilisation financiere. Le troisieme axe de recherche consiste alors a construire un modele dynamique dans lequel le credit bancaire et les comportements vis-a-vis de la liquidite sont relies par l'endogeneisation de la monnaie. Cela permet de montrer plusieurs points fondamentaux : 1) lorsque la part des credits bancaires diminue, la conjoncture tend a devenir de moins en moins stable. 2) les innovations financieres peuvent provoquer une instabilite conjoncturelle ; 3) les "sauts" d'anticipations de prix d'actifs sont destabilisants.
Concepts for a wholesale grid state indicator to enable price responsive demand

The smart grid will enable consumers to configure end-user devices to receive information on energy prices and other system conditions, automatically respond to these signals, and provide savings for consumers. ISOs face new information needs for facilitating these developments, and ISOs and market participants have different roles in the process of getting this information to end-use consumers than those of traditional demand response. The California ISO is implementing processes to publish, on its public website, the information needed to connect wholesale and retail markets by enabling this response by end-use consumer devices, while not requiring formal wholesale market participation.
HRAID6ML: A hybrid RAID6 storage architecture with mirrored logging

The RAID6 provides high reliability using double-parity-update at cost of high write penalty. In this paper, we propose HRAID6ML, a new logging architecture for RAID6 systems for enhanced energy efficiency, performance and reliability. HRAID6ML explores a group of Solid State Drives (SSDs) and Hard Disk Drives (HDDs): Two HDDs (parity disks) and several SSDs form RAID6. The free space of the two parity disks is used as mirrored log region of the whole system to absorb writes. The mirrored logging policy helps to recover system from parity disk failure. Mirrored logging operation does not introduce noticeable performance overhead to the whole system. HRAID6ML eliminates the additional hardware and energy costs, potential single point of failure and performance bottleneck. Furthermore, HRAID6ML prolongs the lifecycle of the SSDs and improves the systems energy efficiency by reducing the SSDs write frequency. We have implemented proposed HRAID6ML. Extensive trace-driven evaluations demonstrate the advantages of the HRAID6ML system over both traditional SSD-based RAID6 system and HDD-based RAID6 system.
Trans-eQTLs Reveal That Independent Genetic Variants Associated with a Complex Phenotype Converge on Intermediate Genes, with a Major Role for the HLA

For many complex traits, genetic variants have been found associated. However, it is still mostly unclear through which downstream mechanism these variants cause these phenotypes. Knowledge of these intermediate steps is crucial to understand pathogenesis, while also providing leads for potential pharmacological intervention. Here we relied upon natural human genetic variation to identify effects of these variants on trans-gene expression (expression quantitative trait locus mapping, eQTL) in whole peripheral blood from 1,469 unrelated individuals. We looked at 1,167 published trait- or disease-associated SNPs and observed trans-eQTL effects on 113 different genes, of which we replicated 46 in monocytes of 1,490 different individuals and 18 in a smaller dataset that comprised subcutaneous adipose, visceral adipose, liver tissue, and muscle tissue. HLA single-nucleotide polymorphisms (SNPs) were 10-fold enriched for trans-eQTLs: 48% of the trans-acting SNPs map within the HLA, including ulcerative colitis susceptibility variants that affect plausible candidate genes AOAH and TRBV18 in trans. We identified 18 pairs of unlinked SNPs associated with the same phenotype and affecting expression of the same trans-gene (21 times more than expected, P<10−16). This was particularly pronounced for mean platelet volume (MPV): Two independent SNPs significantly affect the well-known blood coagulation genes GP9 and F13A1 but also C19orf33, SAMD14, VCL, and GNG11. Several of these SNPs have a substantially higher effect on the downstream trans-genes than on the eventual phenotypes, supporting the concept that the effects of these SNPs on expression seems to be much less multifactorial. Therefore, these trans-eQTLs could well represent some of the intermediate genes that connect genetic variants with their eventual complex phenotypic outcomes.
A Modified of the Unified Theory of Acceptance and Use of Technology (UTAUT) from Users' Perspective of Telecentre in Nigeria

Telecentres are physical space that provides public access to information and communication technology to some members of underserved communities. Recent studies have shown that the initiative is spreading among developing countries. A telecentre offers cost-effective means of bridging access to Computer and Internet. Identifying the factors that influence its acceptance represents a fundamental challenge to its successful implementation. Primarily, among numerous benefits of telecentres include digital literacy and employment generation. However, despite these benefits limited studies have been conducted to examine its acceptance in Nigeria. Moreover, it is doubtful whether prior information technology acceptance models can be effectively used to examine its acceptance. Questions also arise if there are other factors that influence its acceptance. The objective of this study was to determine the factors that influence the acceptance of telecentres based on the Unified Theory of Acceptance and the Use of Technology (UTAUT). The proposed model of telecentre acceptance consists of nine latent variables, namely, seven exogenous variables and two endogenous variables. A total of 375 questionnaires were distributed through a survey to respondents in six telecentres located in the three zones in Nigeria, out of which 203 questionnaires were returned, representing 54% response rate. A Structural Equation Modelling was used to investigate the causal and moderating relationships between the latent variables. The results showed four core determinants of Performance Expectancy, Social Influence, Management Effectiveness and Program Effectiveness significantly influence intention towards telecentre acceptance. Two core determinants, Behavioural Intention and Facilitating Conditions, were found to significantly determine User Acceptance. Gender, age and ethnicity were found to moderate the relationships between the latent variables. Based on the result obtained, a model of acceptance known as a modified UTAUT based telecentre model is proposed. The findings have implications both for future research and practice of telecentre development and implementation.
Larger Error Signals in Major Depression are Associated with Better Avoidance Learning

The medial prefrontal cortex (mPFC) is particularly reactive to signals of error, punishment, and conflict in the service of behavioral adaptation and it is consistently implicated in the etiology of major depressive disorder (MDD). This association makes conceptual sense, given that MDD has been associated with hyper-reactivity in neural systems associated with punishment processing. Yet in practice, depression-related variance in measures of mPFC functioning often fails to relate to performance. For example, neuroelectric reflections of mediofrontal error signals are often found to be larger in MDD, but a deficit in post-error performance suggests that these error signals are not being used to rapidly adapt behavior. Thus, it remains unknown if depression-related variance in error signals reflects a meaningful alteration in the use of error or punishment information. However, larger mediofrontal error signals have also been related to another behavioral tendency: increased accuracy in avoidance learning. The integrity of this error-avoidance system remains untested in MDD. In this study, EEG was recorded as 21 symptomatic, drug-free participants with current or past MDD and 24 control participants performed a probabilistic reinforcement learning task. Depressed participants had larger mid-frontal EEG responses to error feedback than controls. The direct relationship between error signal amplitudes and avoidance learning accuracy was replicated. Crucially, this relationship was stronger in depressed participants for high conflict “lose–lose” situations, demonstrating a selective alteration of avoidance learning. This investigation provided evidence that larger error signal amplitudes in depression are associated with increased avoidance learning, identifying a candidate mechanistic model for hypersensitivity to negative outcomes in depression.