| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910143722503321 |
|
|
Titolo |
New treatment strategies for dengue and other flaviviral diseases [[electronic resource]] |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Chichester, : John Wiley, 2006 |
|
|
|
|
|
|
|
ISBN |
|
1-280-65334-5 |
9786610653348 |
0-470-05800-5 |
0-470-05801-3 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (277 p.) |
|
|
|
|
|
|
Collana |
|
Novartis Foundation symposium ; ; 277 |
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Dengue |
Flaviviruses |
Dengue - Treatment |
Flaviviruses - Treatment |
Electronic books. |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
"Novartis Foundation symposium on new treatment strategies for dengue for dengue and other flaviviral diseases, held at the Novartis Institute for Tropical Diseases in Singapore, 26-27 September 2005"--P. v. |
"Editors Gregory Bock (Organizer) and Jamie Goode"--P. v. |
|
|
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Cover; Contents; Participants; Chair's introduction; Dengue/dengue haemorrhagic fever: history and current status; DISCUSSION; Molecular biology of flaviviruses; DISCUSSION; Development of novel antivirals against flaviviruses; DISCUSSION; Entry functions and antigenic structure of flavivirus envelope proteins; DISCUSSION; GENERAL DISCUSSION I; Multiple enzyme activities of flavivirus proteins; DISCUSSION; Towards the design of flavivirus helicase/NTPase inhibitors: crystallographic and mutagenesis studies of the dengue virus NS3 helicase catalytic domain; DISCUSSION |
Finding new medicines for flaviviral targetsDISCUSSION; Structural and functional analysis of dengue virus RNA; DISCUSSION; Organization of |
|
|
|
|
|
|
|
|
|
|
|
flaviviral replicase proteins in virus-induced membranes: a role for NS1' in Japanese encephalitis virus RNA synthesis; DISCUSSION; CRM1-dependent nuclear export of dengue virus type 2 NS5; DISCUSSION; T cell responses and dengue haemorrhagic fever; DISCUSSION; The evolutionary biology of dengue virus; DISCUSSION; Developing vaccines against flavivirus diseases: past success, present hopes and future challenges; DISCUSSION |
A genomics approach to understanding host response during dengue infectionDISCUSSION; Mouse and hamster models for the study of therapy against flavivirus infections; DISCUSSION; Secretion of flaviviral non-structural protein NS1: from diagnosis to pathogenesis; DISCUSSION; FINAL DISCUSSION; Contributor index; Subject Index |
|
|
|
|
|
|
Sommario/riassunto |
|
Dengue virus is a member of the Flaviviridae family, which includes viruses associated with human diseases such as yellow fever, Japanese encephalitis and hepatitis C. Dengue fever is transmitted by mosquitoes, principally Aedes aegypti. There are four serotypes of dengue virus, of which DENV-2 has been the most prevalent in many recent epidemics. Following primary infection, lifelong immunity develops, preventing repeated assault by the same serotype. However, the non-neutralizing antibodies from a previous infection or maternally acquired antibodies are thought to form complexes with |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNISA996465311203316 |
|
|
Titolo |
Foundational and Practical Aspects of Resource Analysis : Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers / / edited by Ricardo Peña, Marko van Eekelen, Olha Shkaravska |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2012.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (VII, 143 p. 30 illus.) |
|
|
|
|
|
|
Collana |
|
Programming and Software Engineering ; ; 7177 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer system failures |
Algorithms |
Computer logic |
Software engineering |
Programming languages (Electronic computers) |
Computers |
System Performance and Evaluation |
Algorithm Analysis and Problem Complexity |
Logics and Meanings of Programs |
Software Engineering |
Programming Languages, Compilers, Interpreters |
Computation by Abstract Devices |
Conference papers and proceedings. |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and author index. |
|
|
|
|
|
|
Nota di contenuto |
|
Implicit Complexity -- A Higher-Order Characterization of Probabilistic Polynomial Time -- Typing a Core Binary-Field Arithmetic in a Light Analysis and Verification of Cost Expressions -- Interpolation-Based Height Analysis for Improving a Recurrence Interval-Based Resource Usage Verification: Formalization and Prototype -- Certifying and Reasoning on Cost Annotations of Functional Worst Case Execution Time Analysis -- On Abstractions for Timing Analysis in the K |
|
|
|
|
|
|
|
|
|
|
|
Certifying Execution -- Counter Automata for Parameterised Timing Analysis of Box-Based Systems. Implicit Complexity -- A Higher-Order Characterization of Probabilistic Polynomial Time -- Typing a Core Binary-Field Arithmetic in a Light Analysis and Verification of Cost Expressions -- Interpolation-Based Height Analysis for Improving a Recurrence Interval-Based Resource Usage Verification: Formalization and Prototype -- Certifying and Reasoning on Cost Annotations of Functional Worst Case Execution Time Analysis -- On Abstractions for Timing Analysis in the K Certifying Execution -- Counter Automata for Parameterised Timing Analysis of Box-Based Systems. Implicit Complexity -- A Higher-Order Characterization of Probabilistic Polynomial Time -- Typing a Core Binary-Field Arithmetic in a Light Analysis and Verification of Cost Expressions -- Interpolation-Based Height Analysis for Improving a Recurrence Interval-Based Resource Usage Verification: Formalization and Prototype -- Certifying and Reasoning on Cost Annotations of Functional Worst Case Execution Time Analysis -- On Abstractions for Timing Analysis in the K Certifying Execution -- Counter Automata for Parameterised Timing Analysis of Box-Based Systems. Implicit Complexity -- A Higher-Order Characterization of Probabilistic Polynomial Time -- Typing a Core Binary-Field Arithmetic in a Light Analysis and Verification of Cost Expressions -- Interpolation-Based Height Analysis for Improving a Recurrence Interval-Based Resource Usage Verification: Formalization and Prototype -- Certifying and Reasoning on Cost Annotations of Functional Worst Case Execution Time Analysis -- On Abstractions for Timing Analysis in the K Certifying Execution -- Counter Automata for Parameterised Timing Analysis of Box-Based Systems. Implicit Complexity -- A Higher-Order Characterization of Probabilistic Polynomial Time -- Typing a Core Binary-Field Arithmetic in a Light Analysis and Verification of Cost Expressions -- Interpolation-Based Height Analysis for Improving a Recurrence Interval-Based Resource Usage Verification: Formalization and Prototype -- Certifying and Reasoning on Cost Annotations of Functional Worst Case Execution Time Analysis -- On Abstractions for Timing Analysis in the K Certifying Execution -- Counter Automata for Parameterised Timing Analysis of Box-Based Systems. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the refereed post-proceedings of the Second International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2011, held in Madrid, Spain, in May 2011. The 8 revised full papers were carefully reviewed and selected from the papers presented at the workshop and papers submitted following an open call for contributions after the workshop. The papers are organized in the following topical sections: implicit complexity, analysis and verfication of cost expressions, and worst case execution time analysis. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNIORUON00073431 |
|
|
Titolo |
The sudanese woman / Edited by Susan Kenyon |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Khartoum, : Graduate College, University of Khartoum, 1987 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
| |