A New Approach To Light-Weight Ablators Analysis: From Micro-Tomography Measurements to Statistical Analysis and Modeling

The morphology characteristics and ablation behavior of a highly porous carbon fiber preform are studied using a combined experimental/numerical approach. Morphological characterization of the three-dimensional structure of the material is performed by hard X-rays synchrotron micro-tomography at the Advanced Light Source of Lawrence Berkeley National Laboratory. The resulting micro-tomography voxels are used to compute geometrical properties of the carbon preform, like porosity, specific surface area and tortuosity, that are otherwise indirectly measured through experimental techniques. The reconstructed volumes are used to build a computational grid for numerical simulations of the fibers\u27 ablation. By modeling the diffusion of oxygen through the porous medium using Lagrangian methods, and the oxidation at the carbon fibers\u27 surface using a reactivity model, the ablation of the carbon fibers are simulated for a range of Thiele numbers. It is shown that in the diffusion limited regime (large Thiele number), the ablation of the fibers occurs at the surface of the material. In the reaction limited regime (low Thiele number), the oxygen penetrates into the fibers, resulting in volumetric ablation and high material spallation

A Phase I Double Blind, Placebo-Controlled, Randomized Study of a Multigenic HIV-1 Adenovirus Subtype 35 Vector Vaccine in Healthy Uninfected Adults

<div><h3>Background</h3><p>We conducted a phase I, randomized, double-blind, placebo-controlled trial to assess the safety and immunogenicity of escalating doses of two recombinant replication defective adenovirus serotype 35 (Ad35) vectors containing gag, reverse transcriptase, integrase and nef (Ad35-GRIN) and env (Ad35-ENV), both derived from HIV-1 subtype A isolates. The trial enrolled 56 healthy HIV-uninfected adults.</p> <h3>Methods</h3><p>Ad35-GRIN/ENV (Ad35-GRIN and Ad35-ENV mixed in the same vial in equal proportions) or Ad35-GRIN was administered intramuscularly at 0 and 6 months. Participants were randomized to receive either vaccine or placebo (10/4 per group, respectively) within one of four dosage groups: Ad35-GRIN/ENV 2×10⁹ (A), 2×10¹⁰ (B), 2×10¹¹ (C), or Ad35-GRIN 1×10¹⁰ (D) viral particles.</p> <h3>Results</h3><p>No vaccine-related serious adverse event was reported. Reactogenicity events reported were dose-dependent, mostly mild or moderate, some severe in Group C volunteers, all transient and resolving spontaneously. IFN-γ ELISPOT responses to any vaccine antigen were detected in 50, 56, 70 and 90% after the first vaccination, and in 75, 100, 88 and 86% of Groups A–D vaccine recipients after the second vaccination, respectively. The median spot forming cells (SFC) per 10⁶ PBMC to any antigen was 78–139 across Groups A–C and 158–174 in Group D, after each of the vaccinations with a maximum of 2991 SFC. Four to five HIV proteins were commonly recognized across all the groups and over multiple timepoints. CD4+ and CD8+ T-cell responses were polyfunctional. Env antibodies were detected in all Group A–C vaccinees and Gag antibodies in most vaccinees after the second immunization. Ad35 neutralizing titers remained low after the second vaccination.</p> <h3>Conclusion/Significance</h3><p>Ad35-GRIN/ENV reactogenicity was dose-related. HIV-specific cellular and humoral responses were seen in the majority of volunteers immunized with Ad35-GRIN/ENV or Ad35-GRIN and increased after the second vaccination. T-cell responses were broad and polyfunctional.</p> <h3>Trial Registration</h3><p>ClinicalTrials.gov <a href="http://clinicaltrials.gov/ct2/results?term=NCT00851383">NCT00851383</a></p> </div

Safety and Immunogenicity Study of Multiclade HIV-1 Adenoviral Vector Vaccine Alone or as Boost following a Multiclade HIV-1 DNA Vaccine in Africa

We conducted a double-blind, randomized, placebo-controlled Phase I study of a recombinant replication-defective adenovirus type 5 (rAd5) vector expressing HIV-1 Gag and Pol from subtype B and Env from subtypes A, B and C, given alone or as boost following a DNA plasmid vaccine expressing the same HIV-1 proteins plus Nef, in 114 healthy HIV-uninfected African adults.Volunteers were randomized to 4 groups receiving the rAd5 vaccine intramuscularly at dosage levels of 1×10(10) or 1×10(11) particle units (PU) either alone or as boost following 3 injections of the DNA vaccine given at 4 mg/dose intramuscularly by needle-free injection using Biojector® 2000. Safety and immunogenicity were evaluated for 12 months. Both vaccines were well-tolerated. Overall, 62% and 86% of vaccine recipients in the rAd5 alone and DNA prime - rAd5 boost groups, respectively, responded to the HIV-1 proteins by an interferon-gamma (IFN-γ) ELISPOT. The frequency of immune responses was independent of rAd5 dosage levels. The highest frequency of responses after rAd5 alone was detected at 6 weeks; after DNA prime - rAd5 boost, at 6 months (end of study). At baseline, neutralizing antibodies against Ad5 were present in 81% of volunteers; the distribution was similar across the 4 groups. Pre-existing immunity to Ad5 did not appear to have a significant impact on reactogenicity or immune response rates to HIV antigens by IFN-γ ELISPOT. Binding antibodies against Env were detected in up to 100% recipients of DNA prime - rAd5 boost. One volunteer acquired HIV infection after the study ended, two years after receipt of rAd5 alone.The HIV-1 rAd5 vaccine, either alone or as a boost following HIV-1 DNA vaccine, was well-tolerated and immunogenic in African adults. DNA priming increased the frequency and magnitude of cellular and humoral immune responses, but there was no effect of rAd5 dosage on immunogenicity endpoints.ClinicalTrials.gov NCT00124007

In Vivo Electroporation Enhances the Immunogenicity of an HIV-1 DNA Vaccine Candidate in Healthy Volunteers

DNA-based vaccines have been safe but weakly immunogenic in humans to date.We sought to determine the safety, tolerability, and immunogenicity of ADVAX, a multigenic HIV-1 DNA vaccine candidate, injected intramuscularly by in vivo electroporation (EP) in a Phase-1, double-blind, randomized placebo-controlled trial in healthy volunteers. Eight volunteers each received 0.2 mg, 1 mg, or 4 mg ADVAX or saline placebo via EP, or 4 mg ADVAX via standard intramuscular injection at weeks 0 and 8. A third vaccination was administered to eleven volunteers at week 36. EP was safe, well-tolerated and considered acceptable for a prophylactic vaccine. EP delivery of ADVAX increased the magnitude of HIV-1-specific cell mediated immunity by up to 70-fold over IM injection, as measured by gamma interferon ELISpot. The number of antigens to which the response was detected improved with EP and increasing dosage. Intracellular cytokine staining analysis of ELISpot responders revealed both CD4+ and CD8+ T cell responses, with co-secretion of multiple cytokines.This is the first demonstration in healthy volunteers that EP is safe, tolerable, and effective in improving the magnitude, breadth and durability of cellular immune responses to a DNA vaccine candidate.ClinicalTrials.gov NCT00545987

Equivalence Checking of Arithmetic Expressions

Arithmetic expressions are the fundamental building blocks of hardware and software systems. An important problem in computational theory is to decide if two arithmetic expressions are equivalent. However, the general problem of equivalence checking, in digital computers, belongs to the NP Hard class of problems. Moreover, existing general techniques for solving this decision problem are applicable to very simple expressions and impractical when applied to more complex expressions found in programs written in high-level languages. In this paper we propose a method for solving the arithmetic expression equivalence problem using partial evaluation. In particular, our technique is specifically designed to solve the problem of equivalence checking of arithmetic expressions obtained from high-level language descriptions of hardware/software systems, which consists of regular arithmetic operators (+, -, ) and logical operators (and, or, not). In our method, we use interval analysis to substantially prune the domain space of arithmetic expressions and limit the evaluation e#ort to a su#ciently limited set of subspaces. Our results show that the proposed method is fast enough to be of use in practice