E-QED: Electrical Bug Localization During Post-Silicon Validation Enabled by Quick Error Detection and Formal Methods

During post-silicon validation, manufactured integrated circuits are extensively tested in actual system environments to detect design bugs. Bug localization involves identification of a bug trace (a sequence of inputs that activates and detects the bug) and a hardware design block where the bug is located. Existing bug localization practices during post-silicon validation are mostly manual and ad hoc, and, hence, extremely expensive and time consuming. This is particularly true for subtle electrical bugs caused by unexpected interactions between a design and its electrical state. We present E-QED, a new approach that automatically localizes electrical bugs during post-silicon validation. Our results on the OpenSPARC T2, an open-source 500-million-transistor multicore chip design, demonstrate the effectiveness and practicality of E-QED: starting with a failed post-silicon test, in a few hours (9 hours on average) we can automatically narrow the location of the bug to (the fan-in logic cone of) a handful of candidate flip-flops (18 flip-flops on average for a design with ~ 1 Million flip-flops) and also obtain the corresponding bug trace. The area impact of E-QED is ~2.5%. In contrast, deter-mining this same information might take weeks (or even months) of mostly manual work using traditional approaches

Targeted knock-down of miR21 primary transcripts using snoMEN vectors induces apoptosis in human cancer cell lines

We have previously reported an antisense technology, 'snoMEN vectors', for targeted knock-down of protein coding mRNAs using human snoRNAs manipulated to contain short regions of sequence complementarity with the mRNA target. Here we characterise the use of snoMEN vectors to target the knock-down of micro RNA primary transcripts. We document the specific knock-down of miR21 in HeLa cells using plasmid vectors expressing miR21-targeted snoMEN RNAs and show this induces apoptosis. Knock-down is dependent on the presence of complementary sequences in the snoMEN vector and the induction of apoptosis can be suppressed by over-expression of miR21. Furthermore, we have also developed lentiviral vectors for delivery of snoMEN RNAs and show this increases the efficiency of vector transduction in many human cell lines that are difficult to transfect with plasmid vectors. Transduction of lentiviral vectors expressing snoMEN targeted to pri-miR21 induces apoptosis in human lung adenocarcinoma cells, which express high levels of miR21, but not in human primary cells. We show that snoMEN-mediated suppression of miRNA expression is prevented by siRNA knock-down of Ago2, but not by knock-down of Ago1 or Upf1. snoMEN RNAs colocalise with Ago2 in cell nuclei and nucleoli and can be co-immunoprecipitated from nuclear extracts by antibodies specific for Ago2

Quantum Correlations in Multipartite Quantum Systems

We review some concepts and properties of quantum correlations, in particular multipartite measures, geometric measures and monogamy relations. We also discuss the relation between classical and total correlationsComment: to be published as a chapter of the book "Lectures on general quantum correlations and their applications" edited by F. Fanchini, D. Soares-Pinto, and G. Adesso (Springer, 2017

The sudden change phenomenon of quantum discord

Even if the parameters determining a system's state are varied smoothly, the behavior of quantum correlations alike to quantum discord, and of its classical counterparts, can be very peculiar, with the appearance of non-analyticities in its rate of change. Here we review this sudden change phenomenon (SCP) discussing some important points related to it: Its uncovering, interpretations, and experimental verifications, its use in the context of the emergence of the pointer basis in a quantum measurement process, its appearance and universality under Markovian and non-Markovian dynamics, its theoretical and experimental investigation in some other physical scenarios, and the related phenomenon of double sudden change of trace distance discord. Several open questions are identified, and we envisage that in answering them we will gain significant further insight about the relation between the SCP and the symmetry-geometric aspects of the quantum state space.Comment: Lectures on General Quantum Correlations and their Applications, F. F. Fanchini, D. O. Soares Pinto, and G. Adesso (Eds.), Springer (2017), pp 309-33

Frozen and Invariant Quantum Discord under Local Dephasing Noise

In this chapter, we intend to explore and review some remarkable dynamical properties of quantum discord under various different open quantum system models. Specifically, our discussion will include several concepts connected to the phenomena of time invariant and frozen quantum discord. Furthermore, we will elaborate on the relation of these two phenomena to the non-Markovian features of the open system dynamics and to the usage of dynamical decoupling protocols.Comment: 29 pages, 8 figure

Lymphocyte subsets in human immunodeficiency virus-unexposed Brazilian individuals from birth to adulthood

Ethnic origin, genetics, gender and environmental factors have been shown to influence some immunologic indices, so that development of reference values for populations of different backgrounds may be necessary. We have determined the distribution of lymphocyte subsets in healthy Brazilian individuals from birth to adulthood. Lymphocyte subsets were determined using four-colour cytometry in a cross-sectional study of 463 human immunodeficiency virus-unexposed children and adults from birth through 49 years of age. Lymphocyte subsets varied according to age, as previously observed in other studies. However, total CD4+ T cell numbers were lower than what was described in the Pediatric AIDS Clinical Trials Group P1009 (PACTG P1009), which assessed an American population of predominantly African and Hispanic backgrounds until the 12-18 year age range, when values were comparable. Naïve percentages and absolute values of CD8+ T cells, as assessed by CD45RA expression, were also lower than the PACTG P1009 data for all analysed age ranges. CD38 expression on both CD4+ and CD8+ T cells was lower than the PACTG P1009 values, with a widening gap between the two studies at older age ranges. Different patterns of cell differentiation seem to occur in different settings and may have characteristic expression within each population.Universidade Federal de São Paulo (UNIFESP) Departamento de MedicinaCentro Assistencial Cruz de MaltaUniversidade Federal de São Paulo (UNIFESP) Departamento de PediatriaUNIFESP, Depto. de MedicinaUNIFESP, Depto. de PediatriaSciEL

Pickering emulsion stabilized by cashew gum- poly-l-lactide copolymer nanoparticles: Synthesis, characterization and amphotericin B encapsulation

In this work, we provide proof-of-concept of formation, physical characteristics and potential use as a drug delivery formulation of Pickering emulsions (PE) obtained by a novel method that combines nanoprecipitation with subsequent spontaneous emulsification process. To this end, pre-formed ultra-small (d.∼10 nm) nanoprecipitated nanoparticles of hydrophobic derivatives of cashew tree gum grafted with polylactide (CGPLAP), were conceived to stabilize Pickering emulsions obtained by spontaneous emulsification. These were also loaded with Amphotericin B (AmB), a drug of low oral bioavailability used in the therapy of neglected diseases such as leishmaniasis. The graft reaction was performed in two CG/PLA molar ratio conditions (1:1 and 1:10). Emulsions were prepared by adding the organic phase (Miglyol 812®) in the aqueous phase (nanoprecipitated CGPLAP), resulting the immediate emulsion formation. The isolation by centrifugation does not destabilize or separate the nanoparticles from oil droplets of the PE emulsion. Emulsions with CGPLAP 1:1 presented unimodal distributions at different CGPLA concentration, lower values in size and PDI and the best stability over time. The AmB was incorporated in the emulsions with a process efficiency of 21-47%, as determined by UV-vis. AmB in CGPLAP emulsions is in less aggregated state than observed in commercial AmB formulation

Approaches in biotechnological applications of natural polymers

Natural polymers, such as gums and mucilage, are biocompatible, cheap, easily available and non-toxic materials of native origin. These polymers are increasingly preferred over synthetic materials for industrial applications due to their intrinsic properties, as well as they are considered alternative sources of raw materials since they present characteristics of sustainability, biodegradability and biosafety. As definition, gums and mucilages are polysaccharides or complex carbohydrates consisting of one or more monosaccharides or their derivatives linked in bewildering variety of linkages and structures. Natural gums are considered polysaccharides naturally occurring in varieties of plant seeds and exudates, tree or shrub exudates, seaweed extracts, fungi, bacteria, and animal sources. Water-soluble gums, also known as hydrocolloids, are considered exudates and are pathological products; therefore, they do not form a part of cell wall. On the other hand, mucilages are part of cell and physiological products. It is important to highlight that gums represent the largest amounts of polymer materials derived from plants. Gums have enormously large and broad applications in both food and non-food industries, being commonly used as thickening, binding, emulsifying, suspending, stabilizing agents and matrices for drug release in pharmaceutical and cosmetic industries. In the food industry, their gelling properties and the ability to mold edible films and coatings are extensively studied. The use of gums depends on the intrinsic properties that they provide, often at costs below those of synthetic polymers. For upgrading the value of gums, they are being processed into various forms, including the most recent nanomaterials, for various biotechnological applications. Thus, the main natural polymers including galactomannans, cellulose, chitin, agar, carrageenan, alginate, cashew gum, pectin and starch, in addition to the current researches about them are reviewed in this article.. }To the Conselho Nacional de Desenvolvimento Cientfíico e Tecnológico (CNPq) for fellowships (LCBBC and MGCC) and the Coordenação de Aperfeiçoamento de Pessoal de Nvíel Superior (CAPES) (PBSA). This study was supported by the Portuguese Foundation for Science and Technology (FCT) under the scope of the strategic funding of UID/BIO/04469/2013 unit, the Project RECI/BBB-EBI/0179/2012 (FCOMP-01-0124-FEDER-027462) and COMPETE 2020 (POCI-01-0145-FEDER-006684) (JAT)

Participation of Candida albicans transcription factor Rlm1 in cell wall biogenesis and virulence

Candida albicans cell wall is important for growth and interaction with the environment. RLM1 is one of the putative transcription factors involved in the cell wall integrity pathway, which plays an important role in the maintenance of the cell wall integrity. In this work we investigated the involvement of RLM1 in the cell wall biogenesis and in virulence. Newly constructed C. albicans Δ/Δrlm1 mutants showed typical cell wall weakening phenotypes, such as hypersensitivity to Congo Red, Calcofluor White, and caspofungin (phenotype reverted in the presence of sorbitol), confirming the involvement of RLM1 in the cell wall integrity. Additionally, the cell wall of C. albicans Δ/Δrlm1 showed a significant increase in chitin (213%) and reduction in mannans (60%), in comparison with the wild-type, results that are consistent with cell wall remodelling. Microarray analysis in the absence of any stress showed that deletion of RLM1 in C. albicans significantly down-regulated genes involved in carbohydrate catabolism such as DAK2, GLK4, NHT1 and TPS1, up-regulated genes involved in the utilization of alternative carbon sources, like AGP2, SOU1, SAP6, CIT1 or GAL4, and genes involved in cell adhesion like ECE1, ALS1, ALS3, HWP1 or RBT1. In agreement with the microarray results adhesion assays showed an increased amount of adhering cells and total biomass in the mutant strain, in comparison with the wild-type. C. albicans mutant Δ/Δrlm1 strain was also found to be less virulent than the wild-type and complemented strains in the murine model of disseminated candidiasis. Overall, we showed that in the absence of RLM1 the modifications in the cell wall composition alter yeast interaction with the environment, with consequences in adhesion ability and virulence. The gene expression findings suggest that this gene participates in the cell wall biogenesis, with the mutant rearranging its metabolic pathways to allow the use of alternative carbon sources.This work was supported by CBMA (Centre of Molecular and Environmental Biology) through the FCT (Fundacao para a Ciencia e Tecnologia) project PEst-C/BIA/UI4050/2011. Yolanda Delgado-Silva was supported by an ALbAN scholarship (No E07D400922PE), and Alexandra Correia by SFRH/BD/31354/2006 fellowship. The funders had no role in study design, data collection and analysis, decision to publish, or preparation of the manuscript