Learn More
BACKGROUND Highly pathogenic influenza viruses pose a constant threat which could lead to a global pandemic. Vaccination remains the principal measure to reduce morbidity and mortality from such pandemics. The availability and surging demand for pandemic vaccines needs to be addressed in the preparedness plans. This study presents an improved high-yield(More)
Pre-designed and pre-verified hardware and software blocks can be combined on chips for many different applicationsVthey promise large productivity gains. ABSTRACT | Over the past ten years, as integrated circuits became increasingly more complex and expensive, the industry began to embrace new design and reuse methodologies that are collectively referred(More)
Structured methods for solving factored Markov decision processes (MDPs) with large state spaces have been proposed recently to allow dynamic programming to be applied without the need for complete state enumeration. We present algebraic decision diagrams (ADDs) as efficient data structures for solving very large MDPs. We describe a new value iteration(More)
  • Alan Hu
  • 2006
With increasing use of higher-than-RTL specifications as the starting point of designs, a pressing need has emerged for equivalence verification between a high-level (e.g., non-synthesizable software) model and RTL. Other papers in this invited session discuss techniques for dealing with the sequential aspects of this problem. This paper presents an(More)
BACKGROUND Antigen sparing and cross-protective immunity are regarded as crucial in pandemic influenza vaccine development. Both targets can be achieved by adjuvantation strategy to elicit a robust and broadened immune response. We assessed the immunogenicity of an inactivated H5N1 whole-virion vaccine (A/Vietnam/1194/2004 NIBRG-14, clade 1) formulated with(More)
Current egg-based influenza vaccine production technology can't promptly meet the global demand during an influenza pandemic as shown in the 2009 H1N1 pandemic. Moreover, its manufacturing capacity would be vulnerable during pandemics caused by highly pathogenic avian influenza viruses. Therefore, vaccine production using mammalian cell technology is(More)
Avian-origin influenza A (H7N9) viruses emerged as human pathogens in China in early 2013 and have killed >100 persons. Influenza vaccines are mainly manufactured using egg-based technology which could not meet the surging demand during influenza pandemics. In this study, we evaluated cell-based influenza H7N9 vaccines in ferrets. An egg-derived influenza(More)
Preface These are the preliminary proceedings of the third international workshop on Bounded Model Checking (BMC'05) that was held on July 11th, 2005 in Edinburgh, Scotland, UK. The final proceedings will be published in Electronic Notes in Theoretical Computer Science (ENTCS), together with other Computer Aided Verification (CAV'05) workshops. Out of 8(More)