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

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

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

Human neutrophil migration and activation by BJcuL, a galactose binding lectin purified from Bothrops jararacussu venom

<p>Abstract</p> <p>Background</p> <p>Neutrophil migration to an inflamed site constitutes the first line of the innate immune response against invading microorganisms. Given the crucial role of endogenous lectins in neutrophil mobilization and activation, lectins from exogenous sources have often been considered as putative modulators of leukocyte function. Lectins purified from snake venom have been described as galactoside ligands that induce erythrocyte agglutination and platelet aggregation. This study evaluated human neutrophil migration and activation by C-type lectin BJcuL purified from <it>Bothrops jararacussu </it>venom.</p> <p>Results</p> <p>Utilizing fluorescence microscopy, we observed that biotinylated-BJcuL was evenly distributed on the neutrophil surface, selectively inhibited by D-galactose. Lectin was able to induce modification in the neutrophil morphology in a spherical shape for a polarized observed by optical microscopy and exposure to BJcuL in a Boyden chamber assay resulted in cell migration. After 30 minutes of incubation with BJcuL we found enhanced neutrophil functions, such as respiratory burst, zymozan phagocytosis and an increase in lissosomal volume. In addition, BJcuL delays late apoptosis neutrophils.</p> <p>Conclusion</p> <p>These results demonstrate that BJcuL can be implicated in a wide variety of immunological functions including first-line defense against pathogens, cell trafficking and induction of the innate immune response since lectin was capable of inducing potent neutrophil activation.</p

Morphofunctional Alterations in Endocrine Pancreas of Short- and Long-term Dexamethasone-treated Rats

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)Long-term dexamethasone therapy may induce peripheral insulin resistance (IR), which in turn elicits increased beta-cell function and proliferation. However, whether such adaptive compensations occur during short-term treatment with dexamethasone is unclear. Here, we compared morphofunctional parameters in endocrine pancreas after short- and long-term dexamethasone administration. Groups of rats received daily i.p. injection of 1 mg/kg b.w. dexamethasone for 1 (DEX-1), 3 (DEX-3), or 5 consecutive days (DEX-5), whilst control rats were saline-treated (CTL). Despite the absence of apparent IR in DEX-1 rats, this group exhibited increased circulating insulin levels and glucose-stimulated insulin secretion (GSIS), compared to the CTL group (p < 0.05). Evident IR as well as marked hyperinsulinemia and GSIS, as judged by the static and dynamic insulin secretion values, were observed in DEX-3 and DEX-5 rats (p < 0.05). GSIS in islets cultured with 1 mu M dexamethasone was lower compared to the control (p < 0.05). Marked increases in beta-cell proliferation were observed in DEX-3 and DEX-5 rats, compared to CTL and DEX-1 rats (p < 0.05). The alterations observed in DEX-3 rats were more pronounced in DEX-5 rats, which also exhibited a higher content of islet Cdk4 and Cd2 proteins, compared to the CTL group (p < 0.05). We conclude that short-term dexamethasone treatment (DEX-1) induces an increase in beta-cell function that does not require the presence of discernible IR. As the treatment continues, the IR develops rapidly, and increased insulin secretion as well as beta-cell hyperplasia is demanded for the appropriate maintenance of glucose homeostasis.434275281Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)INOD (Instituto Nacional de Obesidade e Diabetes)Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq

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

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

Effect of Acyl Chain Length on Hydrophobized Cashew Gum Self-Assembling Nanoparticles: Colloidal Properties and Amphotericin B Delivery

Given its many potential applications, cashew gum hydrophobic derivatives have gained increasing attraction in recent years. We report here the effect of acyl chain length on hydrophobized cashew gum derivatives, using acetic, propionic, and butyric anhydrides on self-assembly nanoparticle properties and amphotericin B delivery. Nanoparticles with unimodal particle size distribution, highly negative zeta potential, and low PDI were produced. Butyrate cashew gum nanoparticles presented smaller size (<~100 nm) than acetylated and propionate cashew gum nanoparticles and no cytotoxicity in murine fibroblast cells was observed up to 100 µg/mL for loaded and unloaded nanoparticles. As a proof of concept of the potential use of the developed nanoparticle as a drug carrier formulation, amphotericin B (AmB) was encapsulated and fully characterized in their physicochemical, AmB association and release, stability, and biological aspects. They exhibited average hydrodynamic diameter lower than ~200 nm, high AmB efficiency encapsulations (up to 94.9%), and controlled release. A decrease in AmB release with the increasing of the anhydride chain length was observed, which explains the differences in antifungal activity against Candida albicans strains. An excellent storage colloidal stability was observed for unloaded and loaded AmB without use of surfactant. Considering the AmB delivery, the acyl derivative with low chain length is shown to be the best one, as it has high drug loading and AmB release, as well as low minimum inhibitory concentration against Candida albicans strains