Miracle-dz/UniFAR-FTUs huggingface dataset:
Increasing Output Compaction in Presence of Unknowns Using an X-Canceling MISR with Deterministic Observation

Recently, an X-canceling MISR methodology was proposed in Touba (2007) which was based on providing very high probabilistic error coverage by canceling out X's in MISR signatures. This paper investigates a new methodology for using the X-canceling MISR architecture based on deterministically observing scan cells. The two main advantages of the proposed approach are (1) it can provide a higher amount of compaction, and (2) it is effective for larger percentages of X's in the output response. Also, this paper investigates a hybrid approach that combines X-masking with an X-canceling MISR. Experimental results indicate that significant amounts of output compression can be achieved with no loss of fault coverage.
Supporting cooperation in the Marvel process-centered SDE

Large scale software development processes often require cooperation among multiple teams of developers. To support such processes, SDEs must allow developers to interleave their access to the various components of the projects. This interleaving can lead to interference, which may corrupt the project components. In traditional database systems, the problem is avoided by enforcing serializability among concurrent transactions. In traditional software development, the problem has been addressed by introducing version and configuration management techniques combined with checkout/checkin mechanisms. Unfortunately, both of these solutions are too restrictive for SDEs because they enforce serialization of access to data, making cooperation unacceptably difficult. In this paper, I illustrate the problem and show how the encoding of the software development process in process-centered SDEs can be used to provide more appropriate concurrency control. I present the concurrency control mechanism I developed for the MARVEL SDE. This mechanism uses the process model in MARVEL to support the degree of cooperation specified in the development process.
A Modular Architecture for the Wide-Coverage Translation of Natural Language Texts into Predicate Logic Formulas

We present a new method for translating unrestricted natural language texts into predicate logic formulas. This relies on the semantic evaluation procedure of Scope Control Theory (SCT), a variant of Dynamic Semantic formalisms. The key benefit is that parsed syntactic structures are shown to form sufficient input for semantic evaluation, eliminating the need to build distinct semantic expressions to feed semantic evaluation. To have parsed syntactic structures for SCT to evaluate we apply an existing wide-coverage syntactic parser by converting the parser output into a form SCT can receive. This modularity has led to the rapid attainment of a broad coverage on real text. An experiment revealed our system achieved 82.7% coverage on real-world sentences, generating representations that make explicit the scopes of quantifiers (e.g., ∃x), operators (e.g., negation), connectives (e.g., conjunction) and embedding predicates (e.g., thinks), while also capturing the inter and intra sentential dependencies and cross-sentential anaphoric dependencies that connect predicates.
How Appropriate is K-Anonymity for Addressing the Conflict Between Privacy and Information Utility in Microdata ASnonymisation

Before statistical data, such as microdata, can be released to the public, it needs to be anonymised. Anonymisation protects the privacy of the individuals whose data is released. However, as microdata is anonymised, its level of privacy increases, while its level of information utility decreases. K-anonymity is often used to address the conflict between privacy and information utility in microdata anonymisation. In this paper, we determine the extent to which k-anonymity is appropriate for addressing this conflict. We argue that the way in which k-anonymity is currently used to address this conflict does not necessarily lead to an optimum balance between privacy and information utility. We also provide recommendations for an appropriate solution for addressing the conflict between privacy and information utility.
Evaluation of Marginal Adaptation of Root-End Filling Materials Using Scanning Electron Microscopy

Introduction The importance of perfect apical seal in endodontics, more specifically in periradicular surgery, is the motivation/reason for development of root-end filling materials with favorable physical, chemical and biological characteristics. The aim of this in vitro study was to evaluate the marginal adaptation of root-end filling materials using scanning electron microscopy. Materials and Methods Twenty five human maxillary anterior teeth were prepared using a K-File #50 to 1 mm short of the apical foramen and filled with gutta-percha and Sealapex using the lateral compaction technique. The apical 3 mm of the roots were sectioned perpendicularly to the long axis of the teeth. A 3-mm-deep root-end cavity was prepared using ultrasonic tips powered by an Enac ultrasonic unit. The teeth were randomly assigned to five groups according to the materials tested including IRM, amalgam, ProRoot MTA, Super-EBA and Epiphany/Resilon. Root-end cavities were filled with the materials prepared according to the manufacturers’ instructions. The root apices were carefully prepared for sputter coating and later evaluation using Scanning Electron Microscope (SEM). The images of root-end fillings were divided into four quadrants and distributed into five categories according to the level of marginal adaptation between the root-end material and the root canal walls. The Fisher exact test with Bonferroni correction was used for statistical analysis. The level of significance was set at P = 0.005. Results SEM images showed the presence of gaps in the root-end filling materials. No significant difference was observed between the tested materials (P > 0.005). Conclusion ProRoot MTA, IRM, amalgam, Super-EBA and Epiphany/Resilon showed similar marginal adaptation as root-end filling materials.
LPS induces KH‐type splicing regulatory protein‐dependent processing of microRNA‐155 precursors in macrophages

The importance of post‐transcriptional mechanisms for the regulation of the homoeostasis of the immune system and the response to challenge by microorganisms is becoming increasingly appreciated. We investigated the contribution of microRNAs (miRNAs) to macrophage activation induced by lipopolysaccharide (LPS). We first observed that Dicer knockout in bone marrow‐derived macrophages (BMDMs) increases the LPS‐induced expression of some inflammation mediators. miRNA microarray analysis in BMDMs revealed that LPS significantly induces the expression of a single miRNA, miR‐155, and this induction depends on enhanced miR‐155 maturation from its precursors. The single‐strand RNA‐binding protein KHtype splicing regulatory protein (KSRP) binds to the terminal loop of miR‐155 precursors and promotes their maturation. Both inhibition of miR‐155 and KSRP knockdown enhance the LPS‐induced expression of select inflammation mediators, and the effect of KSRP knockdown is reverted by mature miR‐155. Our studies unveil the existence of an LPS‐dependent post‐transcriptional regulation of miR‐155 biogenesis. Once induced, miR‐155 finely tunes the expression of select inflammation mediators in response to LPS. —Ruggiero, T. , Trabucchi, M. , De Santa, F. , Zupo, S. , Harfe, B. D. , McManus, M. T. , Rosenfeld, M. G. , Briata, P., Gherzi, R. LPS induces KH‐type splicing regulatory protein‐dependent processing of microRNA‐155 precursors in macrophages. FASEB J. 23, 2898–2908 (2009). www.fasebj. org
Modular control of multiple pathways using engineered orthogonal T7 polymerases

Synthetic genetic sensors and circuits enable programmable control over the timing and conditions of gene expression. They are being increasingly incorporated into the control of complex, multigene pathways and cellular functions. Here, we propose a design strategy to genetically separate the sensing/circuitry functions from the pathway to be controlled. This separation is achieved by having the output of the circuit drive the expression of a polymerase, which then activates the pathway from polymerase-specific promoters. The sensors, circuits and polymerase are encoded together on a ‘controller’ plasmid. Variants of T7 RNA polymerase that reduce toxicity were constructed and used as scaffolds for the construction of four orthogonal polymerases identified via part mining that bind to unique promoter sequences. This set is highly orthogonal and induces cognate promoters by 8- to 75-fold more than off-target promoters. These orthogonal polymerases enable four independent channels linking the outputs of circuits to the control of different cellular functions. As a demonstration, we constructed a controller plasmid that integrates two inducible systems, implements an AND logic operation and toggles between metabolic pathways that change Escherichia coli green (deoxychromoviridans) and red (lycopene). The advantages of this organization are that (i) the regulation of the pathway can be changed simply by introducing a different controller plasmid, (ii) transcription is orthogonal to host machinery and (iii) the pathway genes are not transcribed in the absence of a controller and are thus more easily carried without invoking evolutionary pressure.
A 72.2Mbit/S LC-based power amplifier in 65nm CMOS for 2.4Ghz 802.11n WLAN

This paper describes the design and evaluation of a power amplifier (PA) for WLAN 802.11n in 65nm CMOS technology. The PA utilizes 3.3V thick-gate oxide (5.2nm) transistors and a two-stage differential configuration with two integrated inductors for input and interstage matching. For a 72.2Mbit/s, 64-QAM 802.11n OFDM signal at an average and peak output power of 9.4dBm and 17.4dBm, respectively, the measured EVM is 3.8%. The PA meets the spectral mask up to an average output power of 14dBm.
Characterization of Apoptosis-Related Oxidoreductases from Neurospora crassa

The genome from Neurospora crassa presented three open reading frames homologous to the genes coding for human AIF and AMID proteins, which are flavoproteins with oxidoreductase activities implicated in caspase-independent apoptosis. To investigate the role of these proteins, namely within the mitochondrial respiratory chain, we studied their cellular localization and characterized the respective null mutant strains. Efficiency of the respiratory chain was analyzed by oxygen consumption studies and supramolecular organization of the OXPHOS system was assessed through BN-PAGE analysis in the respective null mutant strains. The results demonstrate that, unlike in mammalian systems, disruption of AIF in Neurospora does not affect either complex I assembly or function. Furthermore, the mitochondrial respiratory chain complexes of the mutant strains display a similar supramolecular organization to that observed in the wild type strain. Further characterization revealed that N. crassa AIF appears localized to both the mitochondria and the cytoplasm, whereas AMID was found exclusively in the cytoplasm. AMID2 was detected in both mitochondria and cytoplasm of the amid mutant strain, but was barely discernible in wild type extracts, suggesting overlapping functions for the two proteins.
Security Automation and Threat Information-Sharing Options

Security information sharing isn't a new concept. Various government organizations and security vendors have been creating security collateral that's consumed by their products and services. Given the expansion of security in the IT world, security collateral needs to be interoperable and sharable between organizations to be used efficiently. To achieve this, there have been multiple attempts to standardize security information sharing over the past decade. This article presents the basic features of these schemes, identifies the problems they're trying to solve, and summarizes areas where they overlap and differ. The author addresses the most common questions and concerns raised in the industry when information is shared among vendors and helps organizations develop a common understanding of the options available and adopt those that serve their purpose.
Defending a Computer System Using Autonomous Agents

This report presents a prototype architecture of a defense mechanism for computer systems. The intrusion detecl.ion problem is introduced and some of the key aspects of any solution are explained. Standard intrusion deteclion systems are built as a single monolithic module. A finer-grained approach is proposed, where small, independent agents monitor the system. TILcse agents are taught how to recognise intrusive behaviour. The learning mechanism in the agents is built using Genetic Programming. This is explained, and some sample agents arc described. The flexibility, scalability and resilience of the agent approach are discussed. Future issues are also outlined.
Multiple viewpoint systems for music prediction

Abstract This paper examines the prediction and generation of music using a multiple viewpoint system, a collection of independent views of the musical surface each of which models a specific type of musical phenomena. Both the general style and a particular piece are modeled using dual short‐term and long‐term theories, and the model is created using machine learning techniques on a corpus of musical examples. The models are used for analysis and prediction, and we conjecture that highly predictive theories will also generate original, acceptable, works. Although the quality of the works generated is hard to quantify objectively, the predictive power of models can be measured by the notion of entropy, or unpredictability. Highly predictive theories will produce low‐entropy estimates of a musical language. The methods developed are applied to the Bach chorale melodies. Multiple‐viewpoint systems are learned from a sample of 95 chorales, estimates of entropy are produced, and a predictive theory is used to.
Evaluation of Plant Landscape in Residential Areas Based on AHP and TOPSIS

Taking 6 residential areas in Nyingchi of Tibet as research objects, from aesthetic effect, ecological function and leisure service, this paper established the evaluation indicator system for plant landscape in residential areas using AHP, and calculated the weight of indicators using the judgment matrix. Besides, it calculated the ideal solution and closeness degree of matrix using TOPSIS, and established the evaluation method and preference method for plant landscape in residential areas. The results show that the indicators of seasonal variation, environmental benefit and per capita green space mattered most in the landscape evaluation of residential areas. The richness of flowering plant is weak in the landscape evaluation. From the comprehensive evaluation of residential areas, Nyingchi Garden District and Xingfu District have excellent plant landscape, Jialong Garden District and Shangcheng Garden District have general plant landscape, and Sun City District and Niyang Garden District have poor plant landscape.
Search-based approaches for software development effort estimation

In the last years the use of Search-Based techniques has been suggested to estimate software development effort. These techniques are meta-heuristics able to find optimal or near optimal solutions to problems characterized by large space. In the context of effort estimation Search-Based approaches can be exploited to build estimation models or to enhance the effectiveness of other methods. The preliminary investigations carried out so far have provided promising results. Nevertheless, the capabilities of these approaches have not been fully explored and the empirical analyses carried out so far have not considered the more recent recommendations on how to perform this kind of empirical assessment in the effort estimation context and in Search-Based Software Engineering. The main aim of the PhD dissertation is to provide an insight on the use of Search-Based techniques for effort estimation trying to highlight strengths and weaknesses.
Prader-Willi Critical Region, a Non-Translated, Imprinted Central Regulator of Bone Mass: Possible Role in Skeletal Abnormalities in Prader-Willi Syndrome

Prader-Willi Syndrome (PWS), a maternally imprinted disorder and leading cause of obesity, is characterised by insatiable appetite, poor muscle development, cognitive impairment, endocrine disturbance, short stature and osteoporosis. A number of causative loci have been located within the imprinted Prader-Willi Critical Region (PWCR), including a set of small non-translated nucleolar RNA’s (snoRNA). Recently, micro-deletions in humans identified the snoRNA Snord116 as a critical contributor to the development of PWS exhibiting many of the classical symptoms of PWS. Here we show that loss of the PWCR which includes Snord116 in mice leads to a reduced bone mass phenotype, similar to that observed in humans. Consistent with reduced stature in PWS, PWCR KO mice showed delayed skeletal development, with shorter femurs and vertebrae, reduced bone size and mass in both sexes. The reduction in bone mass in PWCR KO mice was associated with deficiencies in cortical bone volume and cortical mineral apposition rate, with no change in cancellous bone. Importantly, while the length difference was corrected in aged mice, consistent with continued growth in rodents, reduced cortical bone formation was still evident, indicating continued osteoblastic suppression by loss of PWCR expression in skeletally mature mice. Interestingly, deletion of this region included deletion of the exclusively brain expressed Snord116 cluster and resulted in an upregulation in expression of both NPY and POMC mRNA in the arcuate nucleus. Importantly, the selective deletion of the PWCR only in NPY expressing neurons replicated the bone phenotype of PWCR KO mice. Taken together, PWCR deletion in mice, and specifically in NPY neurons, recapitulates the short stature and low BMD and aspects of the hormonal imbalance of PWS individuals. Moreover, it demonstrates for the first time, that a region encoding non-translated RNAs, expressed solely within the brain, can regulate bone mass in health and disease.
Complex extracellular interactions of proteases and a protease inhibitor influence multicellular development of Streptomyces coelicolor

Streptomyces coelicolor produces an extracellular protease inhibitor protein, STI (Streptomyces trypsin inhibitor). We show that post‐growth elimination of STI is needed for colonies to develop aerial mycelium efficiently. Inactivation of STI, and thus the normal progression of colony development, at least partly involves an extracellular protease specified by gene SCO5913. Two‐hybrid analysis identified two possible targets of STI inhibition (the products of SCO1355 and SCO5447), both extracellular proteases containing a domain homologous with the P‐domain of eukaryotic convertases, proteases that mediate the processing of many precursors with important cellular or developmental roles. At least the SCO1355 protease is needed for the normal progression of development. Two components of the proposed cascade are dependent on the tRNA for the rare UUA (leucine) codon, which is specified by the developmental gene bldA. A model is presented that links intracellular regulatory events with an extracellular protease cascade to facilitate normal development.
COSMS: unconscious stress monitoring system for office worker

To increase the productivity of people's work, one of the most important challenges is to proactively keep and improve their mental health in the office while continuously obtaining their physiological information. In this paper, aiming to allow an office-worker to recognize his/her mental health and do self-care easily for prevention and reduction of his/her stress, as a pilot study, we propose Unconscious Stress Monitoring System for Office Worker, called COSMS. COSMS is a system acquiring physiological information continuously and unconsciously through ordinary equipment of a laptop such as in-camera and mouse. By using a laptop which embeds a depth camera, COSMS monitors a user's vital information such as heart rate, face expression, eye gazing as well as mouse movement and typing amount. In addition, we embed sensors into a mouse to monitor an environmental stress via temperature and humidity of user hand.
A simple circuit model for the islanding transition of microgrids

This paper describes the design and control requirements that are necessary to realize a microgrid starting from components already installed on distribution grids. The main attention has been paid to the technical and control arrangements needed for ensuring a safe transition from the on-grid to the off-grid mode of the experimental microgrid built at the Polytechnic of Bari. The control strategy is based on the master-slave control, with the master unit taking care of the overall perturbation in a sort of isochronous controller. Different system conditions have been considered in the experimental tests to examine performances of the proposed control strategy during unpredicted islanding events.
Instructible information agents for Web mining

Information agents are intended to assist their users in locating relevant information in vast collections of documents like the WWW. In many cases, e.g., when trying to integrate pieces of information from previously unrelated sources, it is not sufficient to merely identify documents containing relevant data. Instead, information agents have to identify the interesting portions of these documents and make them available for further use. This paper deals with the problem of training an information agent to identify and extract interesting pieces of information from online documents.
Recent advances in gene mutagenesis by site-directed recombination.

Recent Advances in Gene Mutagenesis by Site-directed Recombination 1999 J. Clin. Invest. © The American Society for Clinical Investigation, Inc. 0021-9738/96/05/1999/04 $2.00 Volume 97, Number 9, May 1996, 1999–2002 “Molecular Medicine in Genetically Engineered Animals” Series Editor, Kenneth R. Chien January 1 Gene modification via “plug and socket” gene targeting. Jada Lewis, Baoli Yang, Biological insights through genomics: mouse to man . Pete Detloff, and Oliver Smithies January 15 Biological insights through genomics: mouse to man . Edward M. Rubin and Gregory S. Barsh February 1 In vitro differentiation of murine embryonic stem cells: new approaches to old problems . Mitchell J. Weiss and Stuart H. Orkin February 15 Genes and physiology: molecular physiology in genetically engineered animals. Kenneth R. Chien March 1 Animal models of human disease for gene therapy. James M. Wilson March 15 Targeted mutagenesis: analysis of phenotype without germ line transmission. Andras Nagy and Janet Rossant April 1 Transgenesis in the rat and larger mammals. Linda J. Mullins and John J. Mullins April 15 The zebrafish: heritable diseases in transparent embryos . Wolfgang Driever and Mark Fishman May 1 Recent advances in gene mutagenesis by site-directed recombination. Jamey Marth Recent Advances in Gene Mutagenesis by Site-directed Recombination
A modified clock scheme for a low power BIST test pattern generator

In this paper, we present a new low power test-per-clock BIST test pattern generator that provides test vectors which can reduce the switching activity during test operation. The proposed low power/energy BIST technique is based on a modified clock scheme for the TPG and the clock tree feeding the TPG. Numerous advantages can be found in applying such a technique during BIST.