Igor Siveroni
A5015957442- SARS-CoV-2 and COVID-19 Research
- COVID-19 epidemiological studies
- COVID-19 Clinical Research Studies
- Genomics and Phylogenetic Studies
- Formal Methods in Verification
- Security and Verification in Computing
- Animal Virus Infections Studies
- SARS-CoV-2 detection and testing
- Genetic diversity and population structure
- COVID-19 Pandemic Impacts
- Data-Driven Disease Surveillance
- Advanced Database Systems and Queries
- Logic, programming, and type systems
- Evolution and Genetic Dynamics
- Global Health Care Issues
- Evolution and Paleontology Studies
- Distributed systems and fault tolerance
- Species Distribution and Climate Change
- Parallel Computing and Optimization Techniques
- Data Quality and Management
- Advanced Malware Detection Techniques
- COVID-19 and Mental Health
- Physical Unclonable Functions (PUFs) and Hardware Security
- Viral Infections and Immunology Research
- Chronic Disease Management Strategies
Imperial College London
2003-2022
London Centre for Neglected Tropical Disease Research
2020-2021
University of Oxford
2020
Brown University
2020
National University of Singapore
2020
MRC Biostatistics Unit
2020
University of Cambridge
2020
City, University of London
2008-2012
Northeastern University
1999
Elaboration of Bayesian phylogenetic inference methods has continued at pace in recent years with major new advances nearly all aspects the joint modelling evolutionary data. It is increasingly appreciated that some questions can only be adequately answered by combining evidence from multiple independent sources data, including genome sequences, sampling dates, phenotypic radiocarbon fossil occurrences, and biogeographic range information among others. Including relevant data into a single...
Global dispersal and increasing frequency of the SARS-CoV-2 spike protein variant D614G are suggestive a selective advantage but may also be due to random founder effect. We investigate hypothesis for positive selection in United Kingdom using more than 25,000 whole genome sequences. Despite availability large dataset, well represented by both 614 variants, not all approaches showed conclusive signal selection. Population genetic analysis indicates that 614G increases relative 614D manner...
Abstract As of 1st June 2020, the US Centres for Disease Control and Prevention reported 104,232 confirmed or probable COVID-19-related deaths in US. This was more than twice number next most severely impacted country. We jointly model epidemic at state-level, using publicly available death data within a Bayesian hierarchical semi-mechanistic framework. For each state, we estimate individuals that have been infected, are currently infectious time-varying reproduction (the average secondary...
Summary Global dispersal and increasing frequency of the SARS-CoV-2 Spike protein variant D614G are suggestive a selective advantage but may also be due to random founder effect. We investigate hypothesis for positive selection in United Kingdom using more than 25,000 whole genome sequences. Despite availability large data set, well represented by both 614 variants, not all approaches showed conclusive signal selection. Population genetic analysis indicates that 614G increases relative 614D...
<ns4:p><ns4:bold>Background</ns4:bold>: The COVID-19 epidemic was declared a Global Pandemic by WHO on 11 March 2020. By 24 2020, over 440,000 cases and almost 20,000 deaths had been reported worldwide. In response to the fast-growing epidemic, which began in Chinese city of Wuhan, Hubei, China imposed strict social distancing Wuhan 23 January 2020 followed closely similar measures other provinces. These interventions have impacted economic productivity China, ability economy resume without...
<ns4:p><ns4:bold>Background</ns4:bold>: The COVID-19 epidemic was declared a Global Pandemic by WHO on 11 March 2020. By 24 2020, over 440,000 cases and almost 20,000 deaths had been reported worldwide. In response to the fast-growing epidemic, which began in Chinese city of Wuhan, Hubei, China imposed strict social distancing Wuhan 23 January 2020 followed closely similar measures other provinces. These interventions have impacted economic productivity China, ability economy resume without...
Population genetic modeling can enhance Bayesian phylogenetic inference by providing a realistic prior on the distribution of branch lengths and times common ancestry. The parameters population model may also have intrinsic importance, simultaneous estimation phylogeny has enabled phylodynamic growth rates, reproduction numbers, effective size through time. Phylodynamic based pathogen sequence data emerged as useful supplement to epidemic surveillance, however commonly-used mechanistic...
Abstract Elaboration of Bayesian phylogenetic inference methods has continued at pace in recent years with major new advances nearly all aspects the joint modelling evolutionary data. It is increasingly appreciated that some questions can only be adequately answered by combining evidence from multiple independent sources data, including genome sequences, sampling dates, phenotypic radiocarbon fossil occurrences, and biogeographic range information among others. Including relevant data into a...
Abstract Phylogenetic dating is one of the most powerful and commonly used methods drawing epidemiological interpretations from pathogen genomic data. Building such trees requires considering a molecular clock model which represents rate at substitutions accumulate on genomes. When constant throughout tree then said to be strict, but this often not an acceptable assumption. Alternatively, relaxed models consider variations in rate, based distribution rates for each branch. However, we show...
Abstract As of 1st June 2020, the US Centers for Disease Control and Prevention reported 104,232 confirmed or probable COVID-19-related deaths in US. This was more than twice number next most severely impacted country. We jointly modelled epidemic at state-level, using publicly available death data within a Bayesian hierarchical semi-mechanistic framework. For each state, we estimate individuals that have been infected, are currently infectious time-varying reproduction (the average...
Abstract Unprecedented public health interventions including travel restrictions and national lockdowns have been implemented to stem the COVID-19 epidemic, but effectiveness of non-pharmaceutical is still debated. We carried out a phylogenetic analysis more than 29,000 publicly available whole genome SARS-CoV-2 sequences from 57 locations estimate time that epidemic originated in different places. These estimates were examined relation dates most stringent each location as well number...
The identification of services during the execution service-based applications to replace in them that are no longer available and/or fail satisfy certain requirements is an important issue. In this paper, we present a framework support runtime service discovery. This can execute discovery queries pull and push mode. mode, it executes when need for finding replacement arises. subscribed be executed proactively and, parallel with operation application, identify adequate could used if...
Analysis of genetic sequence data from the SARS-CoV-2 pandemic can provide insights into epidemic origins, worldwide dispersal, and epidemiological history. With few exceptions, genomic analysis has focused on geographically distributed sets with isolates in any given location. Here, we report an 20 whole SARS- CoV-2 genomes a single relatively small constrained outbreak Weifang, People's Republic China. Using Bayesian model-based phylodynamic methods, estimate mean basic reproduction number (
A useless variable is one whose value contributes nothing to the final outcome of a computation. Such variables are unlikely occur in human-produced code, but may be introduced by various program transformations. We would like eliminate parameters from procedures and corresponding actual their call sites. This transformation extension higher-order programming variety dead-code elimination optimizations that important compilers for first-order imperative languages.
We present a static verification tool (SVT), system that performs on UML models composed of class and state machine diagrams. Additionally, the SVT allows user to add extra behavior specification in form guards effects by defining small action language. are checked against properties written special-purpose property language specify linear temporal logic formulas explicitly reason about components. Thus, provides strong foundation for design reliable systems step towards model-driven security.
Abstract Analysis of genetic sequence data from the SARS-CoV-2 pandemic can provide insights into epidemic origins, worldwide dispersal, and epidemiological history. With few exceptions, genomic analysis has focused on geographically distributed sets with isolates in any given location. Here we report an 20 whole SARS-CoV 2 genomes a single relatively small constrained outbreak Weifang, People’s Republic China. Using Bayesian model-based phylodynamic methods, estimate mean basic reproduction...
Abstract Population genetic modeling can enhance Bayesian phylogenetic inference by providing a realistic prior on the distribution of branch lengths and times common ancestry.The parameters population model may also have intrinsic importance, simultaneous estimation phylogeny has enabled phylodynamic growth rates, reproduction numbers, effective size through time. Phylodynamic based pathogen sequence data emerged as useful supplement to epidemic surveillance, however commonly-used...