546 research outputs found
Category 5
Follow Elizabeth and her family through this family oriented video series which highlights topics such as preparing for a hurricane, how to help those affected by a storm and raises awareness for mental health after a natural disaster.
Nexus Maximus IV
The Challenge: Innovation for Refugees and Displaced Populations
One of the great challenges of our time is how to help refugees and displaced populations, and how to prevent the causes in the first place. Every minute, 24 people around the world are forced to flee their homes. That’s 34,000 people a day who leave everything behind in the hope of finding safety and a better tomorrow. The impact of war, political, racial and religious conflict, and environmental crises of famine and climate change, have caused great suffering and there is a great opportunity to do better.
The issues these populations and the countries who receive them face are diverse and complex. They include public health, housing/built environment, cultural integration, public safety, employment/economic and more.
How can innovation address these challenges? How do we create the social systems and products to support a healthy, safe and integrated program for refugees? How do we address the physical, emotional, and social needs of refugees to restore hope and opportunity? The solutions may be as far ranging as the challenges, exploring the acute needs during a crisis, as well as the chronic needs of the permanently displaced; looking at immigration and adjustments to new cultures. We encourage participants to draw upon all disciplines, from health professions to architecture, engineering to design, ethics, communication and every way of thinking we have, to find better ways to innovate on physical solutions, processes, policies, systems, and more.
Recap of poster presentationshttps://jdc.jefferson.edu/nexusmaximus/1015/thumbnail.jp
Electrical modeling of the photoelectric effect induced by a pulsed laser applied to an SRAM cell
International audienceThis abstract presents an electrical model of an SRAM cell exposed to a pulsed Photoelectrical Laser Stimulation (PLS), based on our past model of MOS transistor under laser illumination. The validity of our model is assessed by the very good correlation obtained between measurements and electrical simulation. These simulations are capable to explain some specific points. For example, in theory, a SRAM cell under PLS have four sensitive areas. But in measurements only three areas were revealed. A hypothesis was presented in this paper and confirm by electrical simulation. The specific topology of the cell masks one sensitive area. Therefore the electrical model could be used as a tool of characterization of a CMOS circuits under PLS
Splitting Proofs for Interpolation
We study interpolant extraction from local first-order refutations. We
present a new theoretical perspective on interpolation based on clearly
separating the condition on logical strength of the formula from the
requirement on the com- mon signature. This allows us to highlight the space of
all interpolants that can be extracted from a refutation as a space of simple
choices on how to split the refuta- tion into two parts. We use this new
insight to develop an algorithm for extracting interpolants which are linear in
the size of the input refutation and can be further optimized using metrics
such as number of non-logical symbols or quantifiers. We implemented the new
algorithm in first-order theorem prover VAMPIRE and evaluated it on a large
number of examples coming from the first-order proving community. Our
experiments give practical evidence that our work improves the state-of-the-art
in first-order interpolation.Comment: 26th Conference on Automated Deduction, 201
Electrical model of an NMOS body biased structure in triple-well technology under photoelectric laser stimulation
International audience— This study is driven by the need to optimize failure analysis methodologies based on laser/silicon interactions with an integrated circuit using a triple-well process. It is therefore mandatory to understand the behavior of elementary devices to laser illumination, in order to model and predict the behavior of more complex circuits. This paper presents measurements of the photoelectric currents induced by a pulsed-laser on an NMOS transistor in triple-well Psubstrate/DeepNwell/Pwell structure dedicated to low power body biasing techniques. This evaluation compares the triple-well structure to a classical Psubstrate-only structure of an NMOS transistor. It reveals the possible activation change of the bipolar transistors. Based on these experimental measurements, an electrical model is proposed that makes it possible to simulate the effects induced by photoelectric laser stimulation
A Reduction from Unbounded Linear Mixed Arithmetic Problems into Bounded Problems
We present a combination of the Mixed-Echelon-Hermite transformation and the
Double-Bounded Reduction for systems of linear mixed arithmetic that preserve
satisfiability and can be computed in polynomial time. Together, the two
transformations turn any system of linear mixed constraints into a bounded
system, i.e., a system for which termination can be achieved easily. Existing
approaches for linear mixed arithmetic, e.g., branch-and-bound and cuts from
proofs, only explore a finite search space after application of our two
transformations. Instead of generating a priori bounds for the variables, e.g.,
as suggested by Papadimitriou, unbounded variables are eliminated through the
two transformations. The transformations orient themselves on the structure of
an input system instead of computing a priori (over-)approximations out of the
available constants. Experiments provide further evidence to the efficiency of
the transformations in practice. We also present a polynomial method for
converting certificates of (un)satisfiability from the transformed to the
original system
Succinct Representations for Abstract Interpretation
Abstract interpretation techniques can be made more precise by distinguishing
paths inside loops, at the expense of possibly exponential complexity.
SMT-solving techniques and sparse representations of paths and sets of paths
avoid this pitfall. We improve previously proposed techniques for guided static
analysis and the generation of disjunctive invariants by combining them with
techniques for succinct representations of paths and symbolic representations
for transitions based on static single assignment. Because of the
non-monotonicity of the results of abstract interpretation with widening
operators, it is difficult to conclude that some abstraction is more precise
than another based on theoretical local precision results. We thus conducted
extensive comparisons between our new techniques and previous ones, on a
variety of open-source packages.Comment: Static analysis symposium (SAS), Deauville : France (2012
Laser Fault Injection into SRAM cells: Picosecond versus Nanosecond pulses
International audience—Laser fault injection into SRAM cells is a widely used technique to perform fault attacks. In previous works, Roscian and Sarafianos studied the relations between the layout of the cell, its different laser-sensitive areas and their associated fault model using 50 ns duration laser pulses. In this paper, we report similar experiments carried out using shorter laser pulses (30 ps duration instead of 50 ns). Laser-sensitive areas that did not appear at 50 ns were observed. Additionally, these experiments confirmed the validity of the bit-set/bit-reset fault model over the bit-flip one. We also propose an upgrade of the simulation model they used to take into account laser pulses in the picosecond range. Finally, we performed additional laser fault injection experiments on the RAM memory of a microcontroller to validate the previous results
A Simplex-Based Extension of Fourier-Motzkin for Solving Linear Integer Arithmetic
International audienceThis paper describes a novel decision procedure for quantifier-free linear integer arithmetic. Standard techniques usually relax the initial problem to the rational domain and then proceed either by projection (e.g. Omega-Test) or by branching/cutting methods (branch-and-bound, branch-and-cut, Gomory cuts). Our approach tries to bridge the gap between the two techniques: it interleaves an exhaustive search for a model with bounds inference. These bounds are computed provided an oracle capable of finding constant positive linear combinations of affine forms. We also show how to design an efficient oracle based on the Simplex procedure. Our algorithm is proved sound, complete, and terminating and is implemented in the Alt-Ergo theorem prover. Experimental results are promising and show that our approach is competitive with state-of-the-art SMT solvers
Chaperone-mediated native folding of a β-scorpion toxin in the periplasm of E.coli
Background: Animal neurotoxin peptides are valuable probes for investigating ion channel structure/function relationships and represent lead compounds for novel therapeutics and insecticides. However, misfolding and aggregation are common outcomes when toxins containing multiple disulfides are expressed in bacteria.
Methods: The ß-scorpion peptide toxin Bj-xtrIT from Hottentotta judaica and four chaperone enzymes (DsbA, DsbC, SurA and FkpA) were co-secreted into the oxidizing environment of the E.coli periplasm. Expressed Bj-xtrIT was purified and analyzed by HPLC and FPLC chromatography. Its thermostability was assessed using synchrotron radiation circular dichroism spectroscopy and its crystal structure was determined.
Results: Western blot analysis showed that robust expression was only achieved when cells co-expressed the chaperones. The purified samples were homogenous and monodisperse and the protein was thermostable. The crystal structure of the recombinant toxin confirmed that it adopts the native disulfide connectivity and fold.
Conclusions: The chaperones enabled correct folding of the four-disulfide-bridged Bj-xtrIT toxin. There was no apparent sub-population of misfolded Bj-xtrIT, which attests to the effectiveness of this expression method.
General Significance: We report the first example of a disulfide-linked scorpion toxin natively folded during bacterial expression. This method eliminates downstream processing steps such as oxidative refolding or cleavage of a fusion-carrier and therefore enables efficient production of insecticidal Bj-xtrIT. Periplasmic chaperone activity may produce native folding of other extensively disulfide-reticulated proteins including animal neurotoxins. This work is therefore relevant to venomics and studies of a wide range of channels and receptors
Екатеринбургская неделя. 1883. № 50
This is the author’s accepted manuscript. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-24364-6_12.acmid: 2050798 location: Saarbrücken, Germany numpages: 16acmid: 2050798 location: Saarbrücken, Germany numpages: 1
- …