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.
Concise Guide to Numerical Algorithmics : The Foundations and Spirit of Scientific Computing / / John Lawrence Nazareth
| Concise Guide to Numerical Algorithmics : The Foundations and Spirit of Scientific Computing / / John Lawrence Nazareth |
| Autore | Nazareth J. L (John Lawrence) |
| Edizione | [First edition.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer Nature Switzerland AG, , [2023] |
| Descrizione fisica | 1 online resource (XIV, 69 p. 9 illus., 7 illus. in color.) |
| Disciplina | 518.1 |
| Collana | SpringerBriefs in Computer Science Series |
| Soggetto topico |
Algorithms
Numerical analysis |
| ISBN | 3-031-21762-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | PART I: RATIONALE AND FOUNDATIONS -- The discussion here is premised on the paper that accompanies this proposal. -- Chapter 1: Algorithmics---The Spirit of Computing -- Chapter 2: Number ---The Language of Science -- Chapter 3: Bringing Number Under the Rubric of Algorithm -- PART II: NUMERICAL ALGORITHMIC SCIENCE -- Chapter 4: Algorithms on Graphs and Networks -- Chapter 5: Uni-Dimensional Equation-Solving and Optimization -- Chapter 6: Matrix-Based and Tensor-Based Computations -- Chapter 7: Linear Programming before the 1984 Revolution -- Chapter 8: Unconstrained Nonlinear Optimization -- Chapter 9: Nonlinear Equation-Solving -- Chapter 10: Constrained Nonlinear Optimization -- Chapter 11: Linear Programming after the 1984 Revolution -- Chapter 12: The Many Other Facets of Numerical Algorithmics -- PART III: CONVERGENCE, COMPLEXITY, AND NUMERICAL ERROR -- Chapter 13: Global Convergence and Asymptotic Rate-of-Convergence -- Chapter 14: Complexity Classes and Analysis -- Chapter 15: Roundoff-Error Analysis -- PART IV: NUMERICAL ALGORITHMIC ENGINEERING -- Chapter 16: Languages and Systems -- Chapter 17: Implementation Techniques and Software Development. |
| Record Nr. | UNINA-9910637724303321 |
Nazareth J. L (John Lawrence)
|
||
| Cham, Switzerland : , : Springer Nature Switzerland AG, , [2023] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Concise Guide to Numerical Algorithmics : The Foundations and Spirit of Scientific Computing / / John Lawrence Nazareth
| Concise Guide to Numerical Algorithmics : The Foundations and Spirit of Scientific Computing / / John Lawrence Nazareth |
| Autore | Nazareth J. L (John Lawrence) |
| Edizione | [First edition.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer Nature Switzerland AG, , [2023] |
| Descrizione fisica | 1 online resource (XIV, 69 p. 9 illus., 7 illus. in color.) |
| Disciplina | 518.1 |
| Collana | SpringerBriefs in Computer Science Series |
| Soggetto topico |
Algorithms
Numerical analysis |
| ISBN | 3-031-21762-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | PART I: RATIONALE AND FOUNDATIONS -- The discussion here is premised on the paper that accompanies this proposal. -- Chapter 1: Algorithmics---The Spirit of Computing -- Chapter 2: Number ---The Language of Science -- Chapter 3: Bringing Number Under the Rubric of Algorithm -- PART II: NUMERICAL ALGORITHMIC SCIENCE -- Chapter 4: Algorithms on Graphs and Networks -- Chapter 5: Uni-Dimensional Equation-Solving and Optimization -- Chapter 6: Matrix-Based and Tensor-Based Computations -- Chapter 7: Linear Programming before the 1984 Revolution -- Chapter 8: Unconstrained Nonlinear Optimization -- Chapter 9: Nonlinear Equation-Solving -- Chapter 10: Constrained Nonlinear Optimization -- Chapter 11: Linear Programming after the 1984 Revolution -- Chapter 12: The Many Other Facets of Numerical Algorithmics -- PART III: CONVERGENCE, COMPLEXITY, AND NUMERICAL ERROR -- Chapter 13: Global Convergence and Asymptotic Rate-of-Convergence -- Chapter 14: Complexity Classes and Analysis -- Chapter 15: Roundoff-Error Analysis -- PART IV: NUMERICAL ALGORITHMIC ENGINEERING -- Chapter 16: Languages and Systems -- Chapter 17: Implementation Techniques and Software Development. |
| Record Nr. | UNISA-996547948803316 |
|
Nazareth J. L (John Lawrence)
|
||
| Cham, Switzerland : , : Springer Nature Switzerland AG, , [2023] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Correct Software in Web Applications and Web Services [[electronic resource] /] / edited by Bernhard Thalheim, Klaus-Dieter Schewe, Andreas Prinz, Bruno Buchberger
| Correct Software in Web Applications and Web Services [[electronic resource] /] / edited by Bernhard Thalheim, Klaus-Dieter Schewe, Andreas Prinz, Bruno Buchberger |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (345 p.) |
| Disciplina |
004
004.0151 005.1 518.1 |
| Collana | Texts & Monographs in Symbolic Computation, A Series of the Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria |
| Soggetto topico |
Software engineering
Computer science—Mathematics Computer mathematics Algorithms Software Engineering/Programming and Operating Systems Mathematical Applications in Computer Science |
| ISBN | 3-319-17112-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Formal modelling and verification of transactional web services composition. A refinement and proof approach with Event-B.-Towards a Model of Services based on Co-creation, Abstraction and Rights Distribution -- Integrating a Model-Driven Approach and Formal Verification for the Development of Secure Service Applications -- A Formal Model of Client-Cloud Interaction -- W*H: The Conceptual Model for Services -- Monitoring of Client-Cloud Interaction -- Formal Reliability Models for Web Services -- What Constitutes a Service on the Web? -- Co-Design of Web Information Systems. |
| Record Nr. | UNINA-9910299252403321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Correlation and autofluorescence microscopy in forensics medicine : time of death detection using polycrystalline cerebrospinal fluid films / / M. S. Harazdyuk
| Correlation and autofluorescence microscopy in forensics medicine : time of death detection using polycrystalline cerebrospinal fluid films / / M. S. Harazdyuk |
| Autore | Harazdyuk M. S. |
| Pubbl/distr/stampa | Singapore : , : Springer, , [2021] |
| Descrizione fisica | 1 online resource (73 pages) : illustrations |
| Disciplina | 518.1 |
| Collana | SpringerBriefs in Physics |
| Soggetto topico |
Forensic pathology
Chemistry, Forensic Death - Time of |
| ISBN | 981-16-0197-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Contents -- Abbreviations and Conventions -- 1 Materials and Methods -- 1.1 Substantiation of the Model of the Object of Study -- 1.2 Characterization of Research Objects -- 1.3 Schemes of Experimental Studies of Microscopic Polarization and Autofluorescence Images of Experimental Samples of Cerebrospinal Fluid -- 1.3.1 Optical Scheme of Spectral-Selective Stokes-Polarimetry and Its Characteristics -- 1.3.2 Optical Scheme of Stokes-Polarimetry with Spatial-Frequency Filtering of Microscopic Images and the Characteristics of This Approach -- 1.3.3 Autofluorescence Laser Polarimetry -- 1.3.4 Measurement of Polarization Maps of the Microscopic Image of PFCSF -- 1.3.5 Methods of Experimental Measurement of the Degree of Mutual Polarization of Microscopic Images of Polycrystalline Films of Cerebrospinal Fluid -- 1.3.6 Polarization-Correlation Map -- 1.3.7 High-Frequency Polarization-Correlation Map -- 1.3.8 Low-Frequency Polarization-Correlation Map -- 1.3.9 Method of Two-Dimensional Mapping of Autofluorescence of Polycrystalline Films of Cerebrospinal Fluid -- 1.3.10 Fluorescence of the Proteins, Nicotinamide-Dinucleotides (NADR) -- 1.3.11 Fluorescence of Flavins, Folic Acids -- 1.3.12 Porphyrin Fluorescence -- 1.3.13 Polarization Maps of Fluorescence of Proteins and NADRs -- 1.3.14 Polarization Maps of the Fluorescence of Flavins and Folic Acids -- 1.3.15 Polarization Maps of the Fluorescence of Porphyrins -- 1.4 Algorithm for Determination of the Time of Death Onset -- References -- 2 Determination of the Time Onset of Death Based on a Statistical Analysis of the Distributions of the Values of the Complex Degrees of Mutual Polarization of Microscopic Images of Polycrystalline Films of Cerebrospinal Fluid.
2.1 The Study of Temporal Post-mortem Changes in the Statistical Structure of the Complex Degree of Mutual Polarization of Microscopic Images of PFCSF -- 2.2 Polarization-Correlation Mapping of Post-mortem Changes in the Complex Degree of Mutual Polarization of Microscopic Images of Optically Anisotropic Polycrystalline CSF Films -- 2.3 Mapping of the Distributions of the Degree of Mutual Polarization of the Set of Points of Microscopic Images of Polycrystalline CSF Films with Large-Scale Spatial-Frequency Filtering -- 2.4 Mapping the Distributions of the Degree of Mutual Polarization of the Set of Points of Microscopic Images of Polycrystalline CSF Films with Small-Scale Spatial-Frequency Filtering -- 2.5 Intervals and Accuracy of AOD Measurements by Two-Dimensional Mapping of Distributions of Values of the Complex Degree of Mutual Polarization of Microscopic Images of CSF Polycrystalline Films -- 3 Studies of the Forensic Effectiveness of the Determination of the Time of Death Onset Based on Laser-Induced Fluorescence of Polycrystalline Films of Cerebrospinal Fluid -- 3.1 Investigation of the Temporal Dynamics of Post-mortem Changes in the Statistical Structure of Spectral-Selective Intensity Distributions of Laser-Induced Fluorescence of Polycrystalline Molecular Films of CSF -- 3.2 Differentiation of the Cause of Death Based on Autofluorescence Microscopy of Polycrystalline Films of Cerebrospinal Fluid -- 3.2.1 "Blue" Region of the Spectrum -- 3.2.2 "Green-Yellow" Region of the Spectrum -- 3.2.3 "Red" Region of the Spectrum -- 3.2.4 "Blue" Region of the Spectrum -- 3.2.5 "Green-Yellow" Region of the Spectrum -- 3.3 Polarimetric Mapping of the Azimuth of Polarization of Spectral-Selective Microscopic Images of Autofluorescence of CSF Polycrystalline Films -- Conclusions. |
| Record Nr. | UNISA-996466727003316 |
|
Harazdyuk M. S.
|
||
| Singapore : , : Springer, , [2021] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Correlation and autofluorescence microscopy in forensics medicine : time of death detection using polycrystalline cerebrospinal fluid films / / M. S. Harazdyuk
| Correlation and autofluorescence microscopy in forensics medicine : time of death detection using polycrystalline cerebrospinal fluid films / / M. S. Harazdyuk |
| Autore | Harazdyuk M. S. |
| Pubbl/distr/stampa | Singapore : , : Springer, , [2021] |
| Descrizione fisica | 1 online resource (73 pages) : illustrations |
| Disciplina | 518.1 |
| Collana | SpringerBriefs in Physics |
| Soggetto topico |
Forensic pathology
Chemistry, Forensic Death - Time of |
| ISBN | 981-16-0197-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Contents -- Abbreviations and Conventions -- 1 Materials and Methods -- 1.1 Substantiation of the Model of the Object of Study -- 1.2 Characterization of Research Objects -- 1.3 Schemes of Experimental Studies of Microscopic Polarization and Autofluorescence Images of Experimental Samples of Cerebrospinal Fluid -- 1.3.1 Optical Scheme of Spectral-Selective Stokes-Polarimetry and Its Characteristics -- 1.3.2 Optical Scheme of Stokes-Polarimetry with Spatial-Frequency Filtering of Microscopic Images and the Characteristics of This Approach -- 1.3.3 Autofluorescence Laser Polarimetry -- 1.3.4 Measurement of Polarization Maps of the Microscopic Image of PFCSF -- 1.3.5 Methods of Experimental Measurement of the Degree of Mutual Polarization of Microscopic Images of Polycrystalline Films of Cerebrospinal Fluid -- 1.3.6 Polarization-Correlation Map -- 1.3.7 High-Frequency Polarization-Correlation Map -- 1.3.8 Low-Frequency Polarization-Correlation Map -- 1.3.9 Method of Two-Dimensional Mapping of Autofluorescence of Polycrystalline Films of Cerebrospinal Fluid -- 1.3.10 Fluorescence of the Proteins, Nicotinamide-Dinucleotides (NADR) -- 1.3.11 Fluorescence of Flavins, Folic Acids -- 1.3.12 Porphyrin Fluorescence -- 1.3.13 Polarization Maps of Fluorescence of Proteins and NADRs -- 1.3.14 Polarization Maps of the Fluorescence of Flavins and Folic Acids -- 1.3.15 Polarization Maps of the Fluorescence of Porphyrins -- 1.4 Algorithm for Determination of the Time of Death Onset -- References -- 2 Determination of the Time Onset of Death Based on a Statistical Analysis of the Distributions of the Values of the Complex Degrees of Mutual Polarization of Microscopic Images of Polycrystalline Films of Cerebrospinal Fluid.
2.1 The Study of Temporal Post-mortem Changes in the Statistical Structure of the Complex Degree of Mutual Polarization of Microscopic Images of PFCSF -- 2.2 Polarization-Correlation Mapping of Post-mortem Changes in the Complex Degree of Mutual Polarization of Microscopic Images of Optically Anisotropic Polycrystalline CSF Films -- 2.3 Mapping of the Distributions of the Degree of Mutual Polarization of the Set of Points of Microscopic Images of Polycrystalline CSF Films with Large-Scale Spatial-Frequency Filtering -- 2.4 Mapping the Distributions of the Degree of Mutual Polarization of the Set of Points of Microscopic Images of Polycrystalline CSF Films with Small-Scale Spatial-Frequency Filtering -- 2.5 Intervals and Accuracy of AOD Measurements by Two-Dimensional Mapping of Distributions of Values of the Complex Degree of Mutual Polarization of Microscopic Images of CSF Polycrystalline Films -- 3 Studies of the Forensic Effectiveness of the Determination of the Time of Death Onset Based on Laser-Induced Fluorescence of Polycrystalline Films of Cerebrospinal Fluid -- 3.1 Investigation of the Temporal Dynamics of Post-mortem Changes in the Statistical Structure of Spectral-Selective Intensity Distributions of Laser-Induced Fluorescence of Polycrystalline Molecular Films of CSF -- 3.2 Differentiation of the Cause of Death Based on Autofluorescence Microscopy of Polycrystalline Films of Cerebrospinal Fluid -- 3.2.1 "Blue" Region of the Spectrum -- 3.2.2 "Green-Yellow" Region of the Spectrum -- 3.2.3 "Red" Region of the Spectrum -- 3.2.4 "Blue" Region of the Spectrum -- 3.2.5 "Green-Yellow" Region of the Spectrum -- 3.3 Polarimetric Mapping of the Azimuth of Polarization of Spectral-Selective Microscopic Images of Autofluorescence of CSF Polycrystalline Films -- Conclusions. |
| Record Nr. | UNINA-9910736497803321 |
|
Harazdyuk M. S.
|
||
| Singapore : , : Springer, , [2021] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Design and analysis of algorithms / Jeffrey D. Smith
| Design and analysis of algorithms / Jeffrey D. Smith |
| Autore | Smith, Jeffrey Dean <1951- > |
| Pubbl/distr/stampa | Boston, : PWS-KENT, 1989 |
| Descrizione fisica | XIII, 447 p. ; 25 cm |
| Disciplina |
518
518.1 |
| Collana | Computer science series |
| Soggetto topico |
Algoritmi
Analisi numerica |
| ISBN | 0534915728 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-NAP0395664 |
|
Smith, Jeffrey Dean <1951- >
|
||
| Boston, : PWS-KENT, 1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Digital Platforms and Algorithmic Subjectivities / / edited by Emiliana Armano, Marco Briziarelli and Elisabetta Risi
| Digital Platforms and Algorithmic Subjectivities / / edited by Emiliana Armano, Marco Briziarelli and Elisabetta Risi |
| Pubbl/distr/stampa | London, United Kingdom : , : University of Westminster Press, , 2022 |
| Descrizione fisica | 1 online resource (270 pages) |
| Disciplina | 518.1 |
| Soggetto topico |
Subjectivity
Algorithms Digital Technology |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910624372103321 |
| London, United Kingdom : , : University of Westminster Press, , 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Digital Platforms and Algorithmic Subjectivities / / edited by Emiliana Armano, Marco Briziarelli, Elisabetta Risi
| Digital Platforms and Algorithmic Subjectivities / / edited by Emiliana Armano, Marco Briziarelli, Elisabetta Risi |
| Pubbl/distr/stampa | England : , : University of Westminister Press, , 2022 |
| Descrizione fisica | 1 online resource (258 pages) |
| Disciplina | 518.1 |
| Collana | Critical Digital and Social Media Studies |
| Soggetto topico | Algorithms |
| Soggetto non controllato | platform economy; digital subjectivities; gig economy; social theory; platform society; digital media |
| ISBN | 9781914386084 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910622199403321 |
| England : , : University of Westminister Press, , 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Discrete calculus by analogy [[electronic resource] /] / F.A. Izadi, N. Aliev, G. Bagirov
| Discrete calculus by analogy [[electronic resource] /] / F.A. Izadi, N. Aliev, G. Bagirov |
| Autore | Izadi F. A |
| Pubbl/distr/stampa | [Saif Zone, Sharjah, U.A.E.], : Bentham eBooks, 2009 |
| Descrizione fisica | 1 online resource (155 p.) |
| Disciplina | 518.1 |
| Altri autori (Persone) |
AlievN
BagirovG |
| Soggetto topico |
Computer science - Mathematics
Calculus |
| Soggetto genere / forma | Electronic books. |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Discrete Calculus by Analogy; Calculus2.jpg.pdf; Cover Page; Content.pdf; Chapter 1; Chapter 2; Chapter 3; Chapter 4; Appendix; Bibliography; Index |
| Record Nr. | UNINA-9910456296503321 |
|
Izadi F. A
|
||
| [Saif Zone, Sharjah, U.A.E.], : Bentham eBooks, 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Discrete calculus by analogy [[electronic resource] /] / F.A. Izadi, N. Aliev, G. Bagirov
| Discrete calculus by analogy [[electronic resource] /] / F.A. Izadi, N. Aliev, G. Bagirov |
| Autore | Izadi F. A |
| Pubbl/distr/stampa | [Saif Zone, Sharjah, U.A.E.], : Bentham eBooks, 2009 |
| Descrizione fisica | 1 online resource (155 p.) |
| Disciplina | 518.1 |
| Altri autori (Persone) |
AlievN
BagirovG |
| Soggetto topico |
Computer science - Mathematics
Calculus |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Discrete Calculus by Analogy; Calculus2.jpg.pdf; Cover Page; Content.pdf; Chapter 1; Chapter 2; Chapter 3; Chapter 4; Appendix; Bibliography; Index |
| Record Nr. | UNINA-9910781152703321 |
|
Izadi F. A
|
||
| [Saif Zone, Sharjah, U.A.E.], : Bentham eBooks, 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
