Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Computer science protecting human society against epidemics : first IFIP TC 5 international conference, ANTICOVID 2021, virtual event, June 28-29, 2021 : revised selected papers / / Aleksander Byrski [and four others] editors
| Computer science protecting human society against epidemics : first IFIP TC 5 international conference, ANTICOVID 2021, virtual event, June 28-29, 2021 : revised selected papers / / Aleksander Byrski [and four others] editors |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2021] |
| Descrizione fisica | 1 online resource (135 pages) |
| Disciplina | 610.285 |
| Collana | IFIP Advances in Information and Communication Technology |
| Soggetto topico |
Medical informatics
COVID-19 Pandemic, 2020- - Data processing |
| ISBN | 3-030-86582-7 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Preface -- Organization -- Contents -- Bioinformatic and MD Analysis of N501Y SARS-CoV-2 (UK) Variant -- 1 Introduction -- 2 Methods and Results -- 2.1 FoldX Calculations - Mutagenesis Study -- 2.2 Model Preparation -- 2.3 Molecular Dynamics -- 3 Discussion -- 4 Conclusions -- References -- Ensuring Interoperability of Laboratory Tests and Results: A Linguistic Approach for Mapping French Laboratory Terminologies with LOINC -- 1 Background and Significance -- 1.1 LOINC: A Closer Look -- 1.2 Related Work -- 2 Objective -- 3 Materials and Methods -- 3.1 Input Data: Structural and Linguistic Analyses -- 3.2 Linguistic Markers: The Contributing Factor in the Mapping Process -- 3.3 Enriched Linguistic Model for Mapping LOINC Data -- 3.4 Mapping Strategy -- 4 Evaluation -- 4.1 Experimental Setup -- 4.2 Results -- 4.3 Discussion -- 5 Conclusion -- References -- Volunteer Computing Project SiDock@home for Virtual Drug Screening Against SARS-CoV-2 -- 1 Introduction -- 2 BOINC-Based Projects Targeting SARS-CoV-2 -- 2.1 BOINC Middleware -- 2.2 BOINC Projects -- 3 SiDock@home Project -- 3.1 Setup of a BOINC Project -- 3.2 High-Throughput Virtual Screening in SiDock@home -- 4 Conclusion -- References -- An Empirical Investigation of Pandemic Impact on IT Students' Educational Schedule -- 1 Introduction -- 2 Brief Publication Analysis -- 3 Student Survey Results -- 4 Conclusion -- References -- How Newspapers Portrayed COVID-19 -- 1 Introduction -- 2 Background Study -- 3 Data Description -- 4 Data Analysis -- 4.1 Validation of Covid Related Handpicked Features -- 4.2 Guardian (UK) and Daily Star (BD) Discussed Almost Similar Types of Issues -- 4.3 Initial Highlight over Covid and Gradual Degrade in Focus -- 4.4 Propensity of Warning vs Comforting Sentences -- 5 Summary -- 6 Conclusion -- References.
Approximate Solutions of the RSIR Model of COVID-19 Pandemic -- 1 Introduction -- 2 Basic Definitions -- 3 Investigation of the RSIR Model -- 4 Examples of Current Situation Analysis -- 5 Conclusion -- References -- Information Entropy Contribution to COVID-19 Waves Analysis -- 1 Introduction -- 2 Information Entropy -- 2.1 Competition Evolutionary Model for Shannon Entropy -- 2.2 Maximal and Normalized of Cumulative Entropy -- 3 Selecting Data for COVID-19 Entropy Dynamics -- 4 Nominal and Normalized COVID-19 Entropy -- 5 Increased Entropy in 2nd and 3rd COVID-19 Waves -- 6 Conclusions and Further Research -- References -- Computing the Death Rate of COVID-19 -- 1 Introduction -- 1.1 Challenges in Estimating the Death Rate -- 1.2 Prior Approaches to Estimating the Death Rate -- 1.3 Drawbacks of the Prior Approaches -- 1.4 A New Data-Driven Approach to Estimating the Death Rate -- 1.5 Synopsis of Our Findings -- 1.6 Road Map for the Rest of the Paper -- 2 Prior Work and How We Differ -- 3 Definitions and Notation -- 4 Estimating the Infections Sequence -- 5 Inferring IFR and Lag Using the Infections Sequence and Deaths Sequence -- 6 Inferring IFR in Smaller Time Intervals -- 7 Evaluation -- 8 Conclusions and Future Work -- References -- Towards a System to Monitor the Virus's Aerosol-Type Spreading -- 1 Introduction -- 2 Infection Risk Modelling -- 3 System Design -- 3.1 Architecture -- 3.2 Information Visualisation -- 4 Prototype -- 4.1 Initial View -- 4.2 Building Plan Reports -- 4.3 Room Reports -- 5 Conclusions -- References -- Comparison Between Two Systems for Forecasting Covid-19 Infected Cases -- 1 Introduction -- 2 The Review of Two System for Forecasting Covid-19 -- 3 Computational Experiments -- 3.1 Covid-19 Datasets -- 3.2 Analysing the Obtained Results by Using the Two Different Systems -- 4 Conclusion -- References. A Pandemic Digital Global Architecture -- 1 Introduction -- 2 Background on Readiness -- 3 What Is Needed? -- 3.1 Status and Outcome Trusted Information -- 3.2 The Skills Needed -- 4 The Pandemic Dashboard Information System (PDIS) -- 4.1 The Purpose of the PDIS -- 4.2 Operational Phase 1. Regular Monitoring and Predicting -- 4.3 Operational Phase 2. Pandemic Reporting -- 4.4 Data -- 4.5 Information -- 4.6 Infrastructure -- 5 Key Design Points -- 5.1 Timeliness -- 5.2 Ownership, Sponsorship, and Funding -- 6 The High-Level PDIS Architecture Model -- 6.1 Functional Components -- 6.2 The Physical Model -- 7 Key Decisions -- 8 Conclusion and Proposal -- References -- Author Index. |
| Record Nr. | UNISA-996464519803316 |
| Cham, Switzerland : , : Springer, , [2021] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computer science protecting human society against epidemics : first IFIP TC 5 international conference, ANTICOVID 2021, virtual event, June 28-29, 2021 : revised selected papers / / Aleksander Byrski [and four others] editors
| Computer science protecting human society against epidemics : first IFIP TC 5 international conference, ANTICOVID 2021, virtual event, June 28-29, 2021 : revised selected papers / / Aleksander Byrski [and four others] editors |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2021] |
| Descrizione fisica | 1 online resource (135 pages) |
| Disciplina | 610.285 |
| Collana | IFIP Advances in Information and Communication Technology |
| Soggetto topico |
Medical informatics
COVID-19 Pandemic, 2020- - Data processing |
| ISBN | 3-030-86582-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Preface -- Organization -- Contents -- Bioinformatic and MD Analysis of N501Y SARS-CoV-2 (UK) Variant -- 1 Introduction -- 2 Methods and Results -- 2.1 FoldX Calculations - Mutagenesis Study -- 2.2 Model Preparation -- 2.3 Molecular Dynamics -- 3 Discussion -- 4 Conclusions -- References -- Ensuring Interoperability of Laboratory Tests and Results: A Linguistic Approach for Mapping French Laboratory Terminologies with LOINC -- 1 Background and Significance -- 1.1 LOINC: A Closer Look -- 1.2 Related Work -- 2 Objective -- 3 Materials and Methods -- 3.1 Input Data: Structural and Linguistic Analyses -- 3.2 Linguistic Markers: The Contributing Factor in the Mapping Process -- 3.3 Enriched Linguistic Model for Mapping LOINC Data -- 3.4 Mapping Strategy -- 4 Evaluation -- 4.1 Experimental Setup -- 4.2 Results -- 4.3 Discussion -- 5 Conclusion -- References -- Volunteer Computing Project SiDock@home for Virtual Drug Screening Against SARS-CoV-2 -- 1 Introduction -- 2 BOINC-Based Projects Targeting SARS-CoV-2 -- 2.1 BOINC Middleware -- 2.2 BOINC Projects -- 3 SiDock@home Project -- 3.1 Setup of a BOINC Project -- 3.2 High-Throughput Virtual Screening in SiDock@home -- 4 Conclusion -- References -- An Empirical Investigation of Pandemic Impact on IT Students' Educational Schedule -- 1 Introduction -- 2 Brief Publication Analysis -- 3 Student Survey Results -- 4 Conclusion -- References -- How Newspapers Portrayed COVID-19 -- 1 Introduction -- 2 Background Study -- 3 Data Description -- 4 Data Analysis -- 4.1 Validation of Covid Related Handpicked Features -- 4.2 Guardian (UK) and Daily Star (BD) Discussed Almost Similar Types of Issues -- 4.3 Initial Highlight over Covid and Gradual Degrade in Focus -- 4.4 Propensity of Warning vs Comforting Sentences -- 5 Summary -- 6 Conclusion -- References.
Approximate Solutions of the RSIR Model of COVID-19 Pandemic -- 1 Introduction -- 2 Basic Definitions -- 3 Investigation of the RSIR Model -- 4 Examples of Current Situation Analysis -- 5 Conclusion -- References -- Information Entropy Contribution to COVID-19 Waves Analysis -- 1 Introduction -- 2 Information Entropy -- 2.1 Competition Evolutionary Model for Shannon Entropy -- 2.2 Maximal and Normalized of Cumulative Entropy -- 3 Selecting Data for COVID-19 Entropy Dynamics -- 4 Nominal and Normalized COVID-19 Entropy -- 5 Increased Entropy in 2nd and 3rd COVID-19 Waves -- 6 Conclusions and Further Research -- References -- Computing the Death Rate of COVID-19 -- 1 Introduction -- 1.1 Challenges in Estimating the Death Rate -- 1.2 Prior Approaches to Estimating the Death Rate -- 1.3 Drawbacks of the Prior Approaches -- 1.4 A New Data-Driven Approach to Estimating the Death Rate -- 1.5 Synopsis of Our Findings -- 1.6 Road Map for the Rest of the Paper -- 2 Prior Work and How We Differ -- 3 Definitions and Notation -- 4 Estimating the Infections Sequence -- 5 Inferring IFR and Lag Using the Infections Sequence and Deaths Sequence -- 6 Inferring IFR in Smaller Time Intervals -- 7 Evaluation -- 8 Conclusions and Future Work -- References -- Towards a System to Monitor the Virus's Aerosol-Type Spreading -- 1 Introduction -- 2 Infection Risk Modelling -- 3 System Design -- 3.1 Architecture -- 3.2 Information Visualisation -- 4 Prototype -- 4.1 Initial View -- 4.2 Building Plan Reports -- 4.3 Room Reports -- 5 Conclusions -- References -- Comparison Between Two Systems for Forecasting Covid-19 Infected Cases -- 1 Introduction -- 2 The Review of Two System for Forecasting Covid-19 -- 3 Computational Experiments -- 3.1 Covid-19 Datasets -- 3.2 Analysing the Obtained Results by Using the Two Different Systems -- 4 Conclusion -- References. A Pandemic Digital Global Architecture -- 1 Introduction -- 2 Background on Readiness -- 3 What Is Needed? -- 3.1 Status and Outcome Trusted Information -- 3.2 The Skills Needed -- 4 The Pandemic Dashboard Information System (PDIS) -- 4.1 The Purpose of the PDIS -- 4.2 Operational Phase 1. Regular Monitoring and Predicting -- 4.3 Operational Phase 2. Pandemic Reporting -- 4.4 Data -- 4.5 Information -- 4.6 Infrastructure -- 5 Key Design Points -- 5.1 Timeliness -- 5.2 Ownership, Sponsorship, and Funding -- 6 The High-Level PDIS Architecture Model -- 6.1 Functional Components -- 6.2 The Physical Model -- 7 Key Decisions -- 8 Conclusion and Proposal -- References -- Author Index. |
| Record Nr. | UNINA-9910495163403321 |
| Cham, Switzerland : , : Springer, , [2021] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Trends in Functional Programming [[electronic resource] ] : 21st International Symposium, TFP 2020, Krakow, Poland, February 13–14, 2020, Revised Selected Papers / / edited by Aleksander Byrski, John Hughes
| Trends in Functional Programming [[electronic resource] ] : 21st International Symposium, TFP 2020, Krakow, Poland, February 13–14, 2020, Revised Selected Papers / / edited by Aleksander Byrski, John Hughes |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (X, 249 p. 781 illus., 45 illus. in color.) |
| Disciplina | 005.114 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer programming
Computer engineering Computer networks Microprogramming Application software Artificial intelligence Compilers (Computer programs) Programming Techniques Computer Engineering and Networks Control Structures and Microprogramming Computer and Information Systems Applications Artificial Intelligence Compilers and Interpreters |
| ISBN | 3-030-57761-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Domain-specific languages -- PaSe: An Extensible and Inspectable DSL for Micro-Animations -- BinderAnn: Automated Rei cation of Source Annotations for Monadic EDSLs -- Generating next step hints for task oriented programs using symbolic execution -- Debugging and testing -- Scaling Up Delta Debugging of Type Errors -- Flexible Formality: Practical Experience with Agile Formal Methods -- White-Box Path Generation in Recursive Programs -- Reasoning and effects -- A Proof Assistant Based Formalisation of a Subset of Sequential Core Erlang -- One-shot Algebraic Effects as Coroutines -- An equational modeling of asynchronous concurrent programming -- State will do -- Parallelism -- Placement Strategies: Structured Skeleton Composition with Location-Aware Remote Data. |
| Record Nr. | UNISA-996418289203316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Trends in Functional Programming : 21st International Symposium, TFP 2020, Krakow, Poland, February 13–14, 2020, Revised Selected Papers / / edited by Aleksander Byrski, John Hughes
| Trends in Functional Programming : 21st International Symposium, TFP 2020, Krakow, Poland, February 13–14, 2020, Revised Selected Papers / / edited by Aleksander Byrski, John Hughes |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (X, 249 p. 781 illus., 45 illus. in color.) |
| Disciplina |
005.114
005.11 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer programming
Computer engineering Computer networks Microprogramming Application software Artificial intelligence Compilers (Computer programs) Programming Techniques Computer Engineering and Networks Control Structures and Microprogramming Computer and Information Systems Applications Artificial Intelligence Compilers and Interpreters |
| ISBN | 3-030-57761-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Domain-specific languages -- PaSe: An Extensible and Inspectable DSL for Micro-Animations -- BinderAnn: Automated Rei cation of Source Annotations for Monadic EDSLs -- Generating next step hints for task oriented programs using symbolic execution -- Debugging and testing -- Scaling Up Delta Debugging of Type Errors -- Flexible Formality: Practical Experience with Agile Formal Methods -- White-Box Path Generation in Recursive Programs -- Reasoning and effects -- A Proof Assistant Based Formalisation of a Subset of Sequential Core Erlang -- One-shot Algebraic Effects as Coroutines -- An equational modeling of asynchronous concurrent programming -- State will do -- Parallelism -- Placement Strategies: Structured Skeleton Composition with Location-Aware Remote Data. |
| Record Nr. | UNINA-9910416081403321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||