Computational life sciences : data engineering and data mining for life sciences / / edited by Jens Dörpinghaus [and three others] |
Edizione | [1st ed. 2022.] |
Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2023] |
Descrizione fisica | 1 online resource (593 pages) |
Disciplina | 005.7 |
Collana | Studies in Big Data |
Soggetto topico |
Big data
Ciències de la vida Processament de dades Gestió de bases de dades Mineria de dades |
Soggetto genere / forma | Llibres electrònics |
ISBN | 3-031-08411-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Interesting Programming Languages used in Life Sciences -- Introduction to Java -- Basic Data Processing -- Algorithm Design -- Data and Knowledge Management -- Databases and Knowledge Graphs -- Knowledge Discovery and AI approaches for the Life Sciences -- Longitudinal Data. |
Record Nr. | UNINA-9910678263603321 |
Cham, Switzerland : , : Springer, , [2023] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Computational life sciences : data engineering and data mining for life sciences / / edited by Jens Dörpinghaus [and three others] |
Edizione | [1st ed. 2022.] |
Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2023] |
Descrizione fisica | 1 online resource (593 pages) |
Disciplina | 005.7 |
Collana | Studies in Big Data |
Soggetto topico |
Big data
Ciències de la vida Processament de dades Gestió de bases de dades Mineria de dades |
Soggetto genere / forma | Llibres electrònics |
ISBN | 3-031-08411-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Interesting Programming Languages used in Life Sciences -- Introduction to Java -- Basic Data Processing -- Algorithm Design -- Data and Knowledge Management -- Databases and Knowledge Graphs -- Knowledge Discovery and AI approaches for the Life Sciences -- Longitudinal Data. |
Record Nr. | UNISA-996518464703316 |
Cham, Switzerland : , : Springer, , [2023] | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Computational mathematics, nanoelectronics, and astrophysics : cmna 2018, indore, india, november 1-3 / / edited by Shaibal Mukherjee, 3 others |
Pubbl/distr/stampa | Singapore : , : Springer, , [2021] |
Descrizione fisica | 1 online resource (202 pages) : illustrations |
Disciplina | 700 |
Collana | Springer Proceedings in Mathematics and Statistics |
Soggetto topico |
Nanoelectronics - Mathematics
Numerical analysis - Data processing Astrophysics - Mathematics Anàlisi numèrica Processament de dades Nanoelectrònica Astrofísica Matemàtica |
Soggetto genere / forma |
Congressos
Llibres electrònics |
ISBN | 981-15-9708-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996466547303316 |
Singapore : , : Springer, , [2021] | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Computational mathematics, nanoelectronics, and astrophysics : cmna 2018, indore, india, november 1-3 / / edited by Shaibal Mukherjee, 3 others |
Pubbl/distr/stampa | Singapore : , : Springer, , [2021] |
Descrizione fisica | 1 online resource (202 pages) : illustrations |
Disciplina | 700 |
Collana | Springer Proceedings in Mathematics and Statistics |
Soggetto topico |
Nanoelectronics - Mathematics
Numerical analysis - Data processing Astrophysics - Mathematics Anàlisi numèrica Processament de dades Nanoelectrònica Astrofísica Matemàtica |
Soggetto genere / forma |
Congressos
Llibres electrònics |
ISBN | 981-15-9708-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910484739203321 |
Singapore : , : Springer, , [2021] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Computational Methods in Engineering / / by S. P. Venkateshan, Prasanna Swaminathan |
Autore | Venkateshan S. P. |
Edizione | [1st ed. 2023.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 |
Descrizione fisica | 1 online resource (824 pages) |
Disciplina | 620.001518 |
Soggetto topico |
Engineering mathematics
Mechanics, Applied Engineering—Data processing Solids Mechanical engineering Engineering Mathematics Engineering Mechanics Mathematical and Computational Engineering Applications Solid Mechanics Mechanical Engineering Matemàtica per a enginyers Processament de dades |
Soggetto genere / forma | Llibres electrònics |
Soggetto non controllato |
Engineering
Technology & Engineering |
ISBN | 3-031-08226-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Introduction -- Solution of linear equations -- Computation of eigenvalues -- Solution of algebraic equations -- Interpolation. |
Record Nr. | UNINA-9910728945403321 |
Venkateshan S. P.
![]() |
||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Computational physiology : Simula Summer School 2021 -- student reports / / editor, Kimberly J. McCabe |
Autore | McCabe Kimberly J |
Pubbl/distr/stampa | Cham, : Springer International Publishing AG, 2022 |
Descrizione fisica | 1 online resource (xi, 109 pages) : illustrations (some color) |
Altri autori (Persone) | McCabeKimberly J |
Collana | Simula SpringerBriefs on computing |
Soggetto topico |
Physiology - Computer simulation
Physiology - Data processing Fisiologia Processament de dades Simulació per ordinador |
Soggetto genere / forma |
Congressos
Llibres electrònics |
Soggetto non controllato |
Computational Physiology
Scientific computing Electrophysiology Pharmacology Mechanics Machine learning Fluid mechanics Bioengineering Numerical analysis |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Intro -- Preface -- Acknowledgements -- Contents -- Chapter 1 A Pipeline for Automated Coordinate Assignment in Anatomically Accurate Biventricular Models -- 1.1 Introduction -- 1.2 Methods -- 1.2.1 Semi-Automated Surface Extraction -- Algorithm 1 -- 1.2.2 Biventricular Coordinate System -- 1.2.2.1 Creation of the Coordinate System Cobiveco -- 1.2.3 Mapping Vector Fields -- 1.3 Results -- 1.4 Conclusion -- 1.4.1 Limitations -- References -- Chapter 2 3D Simulations of Fetal and Maternal Ventricular Excitation for Investigating the Abdominal ECG -- 2.1 Introduction -- 2.2 Methods
2.2.1 Geometrical mesh construction -- 2.2.2 Electrophysiological modelling -- 2.2.3 Extracellular potential measurements -- 2.2.4 Fetal ECG extraction using signal processing methods -- 2.3 Results -- 2.4 Discussion -- 2.5 Conclusions -- References -- Chapter 3 Ordinary Differential Equation-based Modeling of Cells in Human Cartilage -- 3.1 Introduction -- 3.2 Methods -- 3.2.1 Mathematical modelling of ATP-sensitive K+ currents -- 3.2.2 Population of Models -- 3.3 Results -- 3.3.1 Validation -- 3.3.2 Results for the ATP-sensitive K+ currents -- 3.3.3 Populations of Models 3.4 Discussion and Conclusion -- References -- Chapter 4 Conduction Velocity in Cardiac Tissue as Function of Ion Channel Conductance and Distribution -- 4.1 Introduction -- 4.2 Models and methods -- 4.2.1 The monodomain model -- 4.2.2 The EMI model -- 4.3 Results -- 4.4 Discussion -- 4.4.1 Influence of ion channel conductance on CV -- 4.4.2 Influence of ion channel distribution -- 4.5 Conclusions -- References -- Chapter 5 Computational Prediction of Cardiac Electropharmacology - How Much Does the Model Matter? -- 5.1 Introduction -- 5.2 Methods -- 5.2.1 Models of Cardiac Electrophysiology 5.2.2 Feature Extraction -- 5.2.3 Sensitivity Analysis and Translation -- 5.3 Results -- 5.3.1 Model Translation -- 5.3.2 Translation Discrepancies -- 5.4 Discussion -- 5.5 Conclusion -- References -- Chapter 6 A Computational Study of Flow Instabilities in Aneurysms -- 6.1 Introduction -- 6.2 Methods -- 6.2.1 Baseflow equations -- 6.2.2 Flow perturbations and instability -- 6.2.3 Discretization -- 6.2.4 Computational Methodology -- 6.3 Results -- 6.4 Discussion -- References Chapter 7 Investigating the Multiscale Impact of Deoxyadenosine Triphosphate (dATP) on Pulmonary Arterial Hypertension (PAH) Induced Heart Failure -- 7.1 Introduction -- 7.2 Methods -- 7.2.1 Cell Level Changes -- 7.2.1.1 The SERCA Pump and Calcium transients -- 7.2.1.2 Cross-bridge cycling kinetics -- 7.2.2 Organ Level Model -- 7.3 Results -- 7.4 Discussion and Conclusion -- 7.5 Acknowledgements -- 7.6 Supplementary Information -- References -- Chapter 8 Identifying Ionic Channel Block in a Virtual Cardiomyocyte Population Using Machine Learning Classifiers -- 8.1 Introduction -- 8.2 Methods 8.2.1 Data |
Record Nr. | UNINA-9910567787803321 |
McCabe Kimberly J
![]() |
||
Cham, : Springer International Publishing AG, 2022 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Computational physiology : Simula Summer School 2021 -- student reports / / editor, Kimberly J. McCabe |
Autore | McCabe Kimberly J |
Pubbl/distr/stampa | Cham, : Springer International Publishing AG, 2022 |
Descrizione fisica | 1 online resource (xi, 109 pages) : illustrations (some color) |
Altri autori (Persone) | McCabeKimberly J |
Collana | Simula SpringerBriefs on computing |
Soggetto topico |
Physiology - Computer simulation
Physiology - Data processing Fisiologia Processament de dades Simulació per ordinador |
Soggetto genere / forma |
Congressos
Llibres electrònics |
Soggetto non controllato |
Computational Physiology
Scientific computing Electrophysiology Pharmacology Mechanics Machine learning Fluid mechanics Bioengineering Numerical analysis |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Intro -- Preface -- Acknowledgements -- Contents -- Chapter 1 A Pipeline for Automated Coordinate Assignment in Anatomically Accurate Biventricular Models -- 1.1 Introduction -- 1.2 Methods -- 1.2.1 Semi-Automated Surface Extraction -- Algorithm 1 -- 1.2.2 Biventricular Coordinate System -- 1.2.2.1 Creation of the Coordinate System Cobiveco -- 1.2.3 Mapping Vector Fields -- 1.3 Results -- 1.4 Conclusion -- 1.4.1 Limitations -- References -- Chapter 2 3D Simulations of Fetal and Maternal Ventricular Excitation for Investigating the Abdominal ECG -- 2.1 Introduction -- 2.2 Methods
2.2.1 Geometrical mesh construction -- 2.2.2 Electrophysiological modelling -- 2.2.3 Extracellular potential measurements -- 2.2.4 Fetal ECG extraction using signal processing methods -- 2.3 Results -- 2.4 Discussion -- 2.5 Conclusions -- References -- Chapter 3 Ordinary Differential Equation-based Modeling of Cells in Human Cartilage -- 3.1 Introduction -- 3.2 Methods -- 3.2.1 Mathematical modelling of ATP-sensitive K+ currents -- 3.2.2 Population of Models -- 3.3 Results -- 3.3.1 Validation -- 3.3.2 Results for the ATP-sensitive K+ currents -- 3.3.3 Populations of Models 3.4 Discussion and Conclusion -- References -- Chapter 4 Conduction Velocity in Cardiac Tissue as Function of Ion Channel Conductance and Distribution -- 4.1 Introduction -- 4.2 Models and methods -- 4.2.1 The monodomain model -- 4.2.2 The EMI model -- 4.3 Results -- 4.4 Discussion -- 4.4.1 Influence of ion channel conductance on CV -- 4.4.2 Influence of ion channel distribution -- 4.5 Conclusions -- References -- Chapter 5 Computational Prediction of Cardiac Electropharmacology - How Much Does the Model Matter? -- 5.1 Introduction -- 5.2 Methods -- 5.2.1 Models of Cardiac Electrophysiology 5.2.2 Feature Extraction -- 5.2.3 Sensitivity Analysis and Translation -- 5.3 Results -- 5.3.1 Model Translation -- 5.3.2 Translation Discrepancies -- 5.4 Discussion -- 5.5 Conclusion -- References -- Chapter 6 A Computational Study of Flow Instabilities in Aneurysms -- 6.1 Introduction -- 6.2 Methods -- 6.2.1 Baseflow equations -- 6.2.2 Flow perturbations and instability -- 6.2.3 Discretization -- 6.2.4 Computational Methodology -- 6.3 Results -- 6.4 Discussion -- References Chapter 7 Investigating the Multiscale Impact of Deoxyadenosine Triphosphate (dATP) on Pulmonary Arterial Hypertension (PAH) Induced Heart Failure -- 7.1 Introduction -- 7.2 Methods -- 7.2.1 Cell Level Changes -- 7.2.1.1 The SERCA Pump and Calcium transients -- 7.2.1.2 Cross-bridge cycling kinetics -- 7.2.2 Organ Level Model -- 7.3 Results -- 7.4 Discussion and Conclusion -- 7.5 Acknowledgements -- 7.6 Supplementary Information -- References -- Chapter 8 Identifying Ionic Channel Block in a Virtual Cardiomyocyte Population Using Machine Learning Classifiers -- 8.1 Introduction -- 8.2 Methods 8.2.1 Data |
Record Nr. | UNISA-996479366103316 |
McCabe Kimberly J
![]() |
||
Cham, : Springer International Publishing AG, 2022 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Computational reconstruction of missing data in biological research / / Feng Bao |
Autore | Bao Feng |
Edizione | [1st ed. 2021.] |
Pubbl/distr/stampa | Gateway East, Singapore : , : Tsinghua University Press : , : Springer, , [2021] |
Descrizione fisica | 1 online resource (XVII, 105 p. 43 illus., 41 illus. in color.) |
Disciplina | 570.285 |
Collana | Springer theses |
Soggetto topico |
Biology - Data processing
Biologia Processament de dades Aprenentatge automàtic Estructures de dades (Informàtica) Estadística matemàtica |
Soggetto genere / forma | Llibres electrònics |
ISBN | 981-16-3064-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Chapter 1 Introduction -- Chapter 2 Fast computational recovery of missing features for large-scale biological data -- Chapter 3 Computational recovery of information from low-quality and missing labels -- Chapter 4 Computational recovery of sample missings -- Chapter 5 Summary and outlook. |
Record Nr. | UNINA-9910495162503321 |
Bao Feng
![]() |
||
Gateway East, Singapore : , : Tsinghua University Press : , : Springer, , [2021] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Computational reconstruction of missing data in biological research / / Feng Bao |
Autore | Bao Feng |
Edizione | [1st ed. 2021.] |
Pubbl/distr/stampa | Gateway East, Singapore : , : Tsinghua University Press : , : Springer, , [2021] |
Descrizione fisica | 1 online resource (XVII, 105 p. 43 illus., 41 illus. in color.) |
Disciplina | 570.285 |
Collana | Springer theses |
Soggetto topico |
Biology - Data processing
Biologia Processament de dades Aprenentatge automàtic Estructures de dades (Informàtica) Estadística matemàtica |
Soggetto genere / forma | Llibres electrònics |
ISBN | 981-16-3064-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Chapter 1 Introduction -- Chapter 2 Fast computational recovery of missing features for large-scale biological data -- Chapter 3 Computational recovery of information from low-quality and missing labels -- Chapter 4 Computational recovery of sample missings -- Chapter 5 Summary and outlook. |
Record Nr. | UNISA-996466406003316 |
Bao Feng
![]() |
||
Gateway East, Singapore : , : Tsinghua University Press : , : Springer, , [2021] | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Computer algebra : an algorithm-oriented introduction / / Wolfram Koepf |
Autore | Koepf Wolfram |
Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2021] |
Descrizione fisica | 1 online resource (394 pages) |
Disciplina | 512.0285 |
Collana | Springer Undergraduate Texts in Mathematics and Technology |
Soggetto topico |
Algebra - Data processing
Computer science - Mathematics Àlgebra Processament de dades Algorismes computacionals |
Soggetto genere / forma | Llibres electrònics |
ISBN | 3-030-78017-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Intro -- Preface -- Contents -- Chapter 1 Introduction to Computer Algebra -- 1.1 Capabilities of Computer Algebra Systems -- 1.2 Additional Remarks -- 1.3 Exercises -- Chapter 2 Programming in Computer Algebra Systems -- 2.1 Internal Representation of Expressions -- 2.2 Pattern Matching -- 2.3 Control Structures -- 2.4 Recursion and Iteration -- 2.5 Remember Programming -- 2.6 Divide-and-Conquer Programming -- 2.7 Programming through Pattern Matching -- 2.8 Additional Remarks -- 2.9 Exercises -- Chapter 3 Number Systems and Integer Arithmetic -- 3.1 Number Systems -- 3.2 Integer Arithmetic: Addition and Multiplication -- 3.3 Integer Arithmetic: Division with Remainder -- 3.4 The Extended Euclidean Algorithm -- 3.5 Unique Factorization -- 3.6 Rational Arithmetic -- 3.7 Additional Remarks -- 3.8 Exercises -- Chapter 4 Modular Arithmetic -- 4.1 Residue Class Rings -- 4.2 Modulare Square Roots -- 4.3 Chinese Remainder Theorem -- 4.4 Fermat's Little Theorem -- 4.5 Modular Logarithms -- 4.6 Pseudoprimes -- 4.7 Additional Remarks -- 4.8 Exercises -- Chapter 5 Coding Theory and Cryptography -- 5.1 Basic Concepts of Coding Theory -- 5.2 Prefix Codes -- 5.3 Check Digit Systems -- 5.4 Error Correcting Codes -- 5.5 Asymmetric Ciphers -- 5.6 Additional Remarks -- 5.7 Exercises -- Chapter 6 Polynomial Arithmetic -- 6.1 Polynomial Rings -- 6.2 Multiplication: The Karatsuba Algorithm -- 6.3 Fast Multiplication with FFT -- 6.4 Division with Remainder -- 6.5 Polynomial Interpolation -- 6.6 The Extended Euclidean Algorithm -- 6.7 Unique Factorization -- 6.8 Squarefree Factorization -- 6.9 Rational Functions -- 6.10 Additional Remarks -- 6.11 Exercises -- Chapter 7 Algebraic Numbers -- 7.1 Polynomial Quotient Rings -- 7.2 Chinese Remainder Theorem -- 7.3 Algebraic Numbers -- 7.4 Finite Fields -- 7.5 Resultants -- 7.6 Polynomial Systems of Equations.
7.7 Additional Remarks -- 7.8 Exercises -- Chapter 8 Factorization in Polynomial Rings -- 8.1 Preliminary Considerations -- 8.2 Efficient Factorization in Zp[x] -- 8.3 Squarefree Factorization of Polynomials over Finite Fields -- 8.4 Efficient Factorization in Q[x] -- 8.5 Hensel Lifting -- 8.6 Multivariate Factorization -- 8.7 Additional Remarks -- 8.8 Exercises -- Chapter 9 Simplification and Normal Forms -- 9.1 Normal Forms and Canonical Forms -- 9.2 Normal Forms and Canonical Forms for Polynomials -- 9.3 Normal Forms for Rational Functions -- 9.4 Normal Forms for Trigonometric Polynomials -- 9.5 Additional Remarks -- 9.6 Exercises -- Chapter 10 Power Series -- 10.1 Formal Power Series -- 10.2 Taylor Polynomials -- 10.3 Computation of Formal Power Series -- 10.3.1 Holonomic Differential Equations -- 10.3.2 Holonomic Recurrence Equations -- 10.3.3 Hypergeometric Functions -- 10.3.4 Efficient Computation of Taylor Polynomials of Holonomic Functions -- 10.4 Algebraic Functions -- 10.5 Implicit Functions -- 10.6 Additional Remarks -- 10.7 Exercises -- Chapter 11 Algorithmic Summation -- 11.1 Definite Summation -- 11.2 Difference Calculus -- 11.3 Indefinite Summation -- 11.4 Indefinite Summation of Hypergeometric Terms -- 11.5 Definite Summation of Hypergeometric Terms -- 11.6 Additional Remarks -- 11.7 Exercises -- Chapter 12 Algorithmic Integration -- 12.1 The Bernoulli Algorithm for Rational Functions -- 12.2 Algebraic Prerequisites -- 12.3 Rational Part -- 12.4 Logarithmic Case -- 12.5 Additional Remarks -- 12.6 Exercises -- References -- List of Symbols -- Mathematica List of Keywords -- Index. |
Record Nr. | UNISA-996466389303316 |
Koepf Wolfram
![]() |
||
Cham, Switzerland : , : Springer, , [2021] | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|