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.
Introduction to Mathematica® with Applications [[electronic resource] /] / by Marian Mureşan
| Introduction to Mathematica® with Applications [[electronic resource] /] / by Marian Mureşan |
| Autore | Mureşan Marian |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XIV, 265 p. 187 illus., 186 illus. in color.) |
| Disciplina | 004.0151 |
| Soggetto topico |
Computer science—Mathematics
Mathematical logic Computer mathematics Mathematics of Computing Mathematical Logic and Formal Languages Mathematical Applications in Computer Science |
| ISBN | 9783319520032 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Foreword -- Preface -- About Mathematica -- First Steps to Mathematica -- Basic Steps to Mathematica -- Sorting Algorithms -- Functions -- Ordinary Differential Equations -- Pi Formulas -- Optimization of Trajectories -- Miscellany -- References -- Index. |
| Record Nr. | UNINA-9910254838003321 |
Mureşan Marian
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Introduction to Morphogenetic Computing [[electronic resource] /] / by Germano Resconi, Xiaolin Xu, Guanglin Xu
| Introduction to Morphogenetic Computing [[electronic resource] /] / by Germano Resconi, Xiaolin Xu, Guanglin Xu |
| Autore | Resconi Germano |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (IX, 172 p. 145 illus.) |
| Disciplina | 004.0151 |
| Collana | Studies in Computational Intelligence |
| Soggetto topico |
Computational intelligence
Artificial intelligence Computer science—Mathematics Computer mathematics Computational Intelligence Artificial Intelligence Mathematical Applications in Computer Science |
| ISBN | 3-319-57615-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Database and Graph Theory [16] -- Crossover and Permutation -- Similarity Between Graphs in Database by Permutations -- Morphogenetic and Morpheme Network to Structured Worlds -- Formal Description and References in Graph Theory. |
| Record Nr. | UNINA-9910254312603321 |
|
Resconi Germano
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
An Introduction to Optimal Satellite Range Scheduling [[electronic resource] /] / by Antonio Jose Vazquez Alvarez, Richard Scott Erwin
| An Introduction to Optimal Satellite Range Scheduling [[electronic resource] /] / by Antonio Jose Vazquez Alvarez, Richard Scott Erwin |
| Autore | Vazquez Alvarez Antonio Jose |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (180 p.) |
| Disciplina | 629.46 |
| Collana | Springer Optimization and Its Applications |
| Soggetto topico |
Calculus of variations
Economic theory Computer science—Mathematics Algorithms Game theory Computer mathematics Calculus of Variations and Optimal Control; Optimization Economic Theory/Quantitative Economics/Mathematical Methods Math Applications in Computer Science Game Theory, Economics, Social and Behav. Sciences Mathematical Applications in Computer Science |
| ISBN | 3-319-25409-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Preface; Acknowledgments; Contents; Acronyms; Symbols; List of Figures; List of Tables; Part I Introduction; 1 Motivation; 1.1 Motivation; 1.2 Why Optimal Scheduling?; 1.3 Why this Book?; 1.4 Structure of the Book; 1.5 Main Contributions; References; 2 Scheduling Process; 2.1 Scheduling Process; 2.2 Scheduler Characteristics; 2.3 Satellite Range Scheduling Problems; 2.4 Issues Beyond the Scope of this Text; References; Part II Satellite Range Scheduling; 3 The Satellite Range Scheduling Problem; 3.1 Problem Formulation; 3.1.1 Model for the Scenario; 3.1.2 Model for the Requests
3.1.3 Problem Constraints3.1.3.1 Preemption; 3.1.3.2 Number of Entities; 3.1.3.3 Duration of the Requests; 3.1.3.4 Redundancy; 3.1.3.5 Precedence; 3.1.3.6 Priority; 3.1.4 Schedule Metrics; 3.2 Complexity of SRS; 3.2.1 Introduction to Complexity Theory; 3.2.2 Complexity of the SRS Problem; 3.3 General Scheduling Problems; 3.3.1 Problem Classification; 3.3.2 Problem Reducibility; 3.4 Relating Satellite and General Scheduling Problems; 3.4.1 One Machine Problems; 3.4.1.1 1 rj,pij Uj; 3.4.1.2 1 rj,pij, prec Uj; 3.4.1.3 1 rj,pij wj Uj; 3.4.1.4 1 rj wj Uj; 3.4.1.5 1 rj,pij pij pij wj Uj 3.4.2 Several Identical Machines Problems3.4.2.1 P rj,pij,CΣ Uj; 3.4.3 Several Unrelated Machines Problems; 3.4.3.1 R rj, pij,CΣ wj Uj; 3.4.3.2 R rj, pij,Cx wj Uj; 3.4.3.3 R rj, pij,CΣ, prec wj Uj; 3.4.3.4 R rj, CΣ wj Uj; 3.4.3.5 R rj, CΣ, prec wj Uj; 3.4.3.6 R rj,pij pij pij,CΣ wj Uj; 3.5 Summary; References; 4 Optimal Satellite Range Scheduling; 4.1 Scenario Model for Fixed Interval SRS; 4.2 Optimal Solution for Fixed Interval SRS; 4.2.1 Description of the Algorithm; 4.2.1.1 Event Generation; 4.2.1.2 Graph Creation; 4.2.1.3 Longest Path Calculation 4.2.2 Optimality of the Solution and Complexityof the Algorithm4.3 Extension of the Algorithm; 4.3.1 Optimal Discretized Variable Slack SRS; 4.3.2 Optimal Fixed Interval SRS with Redundancy; 4.4 Remarks on the Complexity; 4.4.1 Greedy Earliest Deadline Algorithm; 4.4.2 Greedy Maximum Priority Algorithm; 4.4.3 About the Topology of the Scenario; 4.4.4 About the Number of Passes; 4.4.5 About Partial Results; 4.5 Graph Generation Example; Event Generation; Stage Z0; Stage Z1; Stage Z2; Stage Z3; Stage Z4; Rest of Stages; 4.6 Simulations; 4.6.1 Simulation: Practical Case 4.6.2 Simulation: Worst Case4.6.3 Simulation: Number of Passes; 4.6.4 Simulation: Partial Results; 4.7 Summary; References; Part III Variants of Satellite Range Scheduling; 5 Noncooperative Satellite Range Scheduling; 5.1 Scenario Model for the SRS Game; 5.2 Elements of the SRS Game; 5.2.1 Players; 5.2.2 Sequential Decisions; 5.2.3 Actions; 5.2.4 Shared Information; 5.2.5 Payoffs; 5.2.6 Rationality; 5.2.7 Extensive Form; 5.3 SRS Game with Perfect Information; 5.3.1 Description of the Algorithm; 5.3.1.1 Event Generation; 5.3.1.2 Graph Elements; 5.3.1.3 Graph Creation 5.3.2 Stackelberg Equilibrium Solution |
| Record Nr. | UNINA-9910300249303321 |
|
Vazquez Alvarez Antonio Jose
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Large-Scale Scientific Computing [[electronic resource] ] : 11th International Conference, LSSC 2017, Sozopol, Bulgaria, June 5-9, 2017, Revised Selected Papers / / edited by Ivan Lirkov, Svetozar Margenov
| Large-Scale Scientific Computing [[electronic resource] ] : 11th International Conference, LSSC 2017, Sozopol, Bulgaria, June 5-9, 2017, Revised Selected Papers / / edited by Ivan Lirkov, Svetozar Margenov |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XV, 610 p. 158 illus.) |
| Disciplina | 502.85 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Algorithms
Numerical analysis Computer science—Mathematics Computer networks Computer systems Computers, Special purpose Numerical Analysis Mathematical Applications in Computer Science Computer Communication Networks Computer System Implementation Special Purpose and Application-Based Systems |
| ISBN | 3-319-73441-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Space-Time Methods for Solving Time-Dependent PDEs.- Advanced Discretizations and Solvers for Coupled Systems of Partial Differential Equations.- Least-Squares Finite Element Methods -- Advances in Heterogeneous Numerical Methods for Multi Physics Problems -- Advanced Numerical Methods for Nonlinear Elliptic Partial Differential Equations.- Control and Optimization of Dynamical Systems.- HPC and Big Data: Algorithms and Applications.- Toward Exascale Computation.- Application of Metaheuristics to Large-Scale Problems -- Large-Scale Models: Numerical Methods, Parallel Computations and Applications -- Large-Scale Numerical Computations for Sustainable Energy Production and Storage. . |
| Record Nr. | UNISA-996465763303316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Large-Scale Scientific Computing [[electronic resource] ] : 11th International Conference, LSSC 2017, Sozopol, Bulgaria, June 5-9, 2017, Revised Selected Papers / / edited by Ivan Lirkov, Svetozar Margenov
| Large-Scale Scientific Computing [[electronic resource] ] : 11th International Conference, LSSC 2017, Sozopol, Bulgaria, June 5-9, 2017, Revised Selected Papers / / edited by Ivan Lirkov, Svetozar Margenov |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XV, 610 p. 158 illus.) |
| Disciplina | 502.85 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Algorithms
Numerical analysis Computer science—Mathematics Computer networks Computer systems Computers, Special purpose Numerical Analysis Mathematical Applications in Computer Science Computer Communication Networks Computer System Implementation Special Purpose and Application-Based Systems |
| ISBN | 3-319-73441-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Space-Time Methods for Solving Time-Dependent PDEs.- Advanced Discretizations and Solvers for Coupled Systems of Partial Differential Equations.- Least-Squares Finite Element Methods -- Advances in Heterogeneous Numerical Methods for Multi Physics Problems -- Advanced Numerical Methods for Nonlinear Elliptic Partial Differential Equations.- Control and Optimization of Dynamical Systems.- HPC and Big Data: Algorithms and Applications.- Toward Exascale Computation.- Application of Metaheuristics to Large-Scale Problems -- Large-Scale Models: Numerical Methods, Parallel Computations and Applications -- Large-Scale Numerical Computations for Sustainable Energy Production and Storage. . |
| Record Nr. | UNINA-9910349263003321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Lectures on Matrix Field Theory [[electronic resource] /] / by Badis Ydri
| Lectures on Matrix Field Theory [[electronic resource] /] / by Badis Ydri |
| Autore | Ydri Badis |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XII, 352 p. 8 illus., 6 illus. in color.) |
| Disciplina | 530.14 |
| Collana | Lecture Notes in Physics |
| Soggetto topico |
Elementary particles (Physics)
Quantum field theory Mathematical physics Computer science—Mathematics Algebraic geometry Quantum physics Elementary Particles, Quantum Field Theory Mathematical Physics Mathematical Applications in Computer Science Algebraic Geometry Quantum Physics |
| ISBN | 3-319-46003-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Preface -- Introductory Remarks -- The Non-Commutative Moyal-Weyl Spaces Rd -- The Fuzzy Sphere -- Quantum Non-Commutative Phi-Four -- The Multitrace Approach -- Non-Commutative Gauge Theory -- Appendix A - The Landau States -- Appendix B - The Traces TrtAtB and TrtAtBtCtD -- Index. |
| Record Nr. | UNISA-996466815103316 |
|
Ydri Badis
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Lectures on Matrix Field Theory [[electronic resource] /] / by Badis Ydri
| Lectures on Matrix Field Theory [[electronic resource] /] / by Badis Ydri |
| Autore | Ydri Badis |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XII, 352 p. 8 illus., 6 illus. in color.) |
| Disciplina | 530.14 |
| Collana | Lecture Notes in Physics |
| Soggetto topico |
Elementary particles (Physics)
Quantum field theory Mathematical physics Computer science—Mathematics Algebraic geometry Quantum physics Elementary Particles, Quantum Field Theory Mathematical Physics Mathematical Applications in Computer Science Algebraic Geometry Quantum Physics |
| ISBN | 3-319-46003-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Preface -- Introductory Remarks -- The Non-Commutative Moyal-Weyl Spaces Rd -- The Fuzzy Sphere -- Quantum Non-Commutative Phi-Four -- The Multitrace Approach -- Non-Commutative Gauge Theory -- Appendix A - The Landau States -- Appendix B - The Traces TrtAtB and TrtAtBtCtD -- Index. |
| Record Nr. | UNINA-9910250049003321 |
|
Ydri Badis
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Linear Algebra and Group Theory for Physicists and Engineers [[electronic resource] /] / by Yair Shapira
| Linear Algebra and Group Theory for Physicists and Engineers [[electronic resource] /] / by Yair Shapira |
| Autore | Shapira Yair <1960-> |
| Edizione | [2nd ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Birkhäuser, , 2023 |
| Descrizione fisica | 1 online resource (583 pages) |
| Disciplina | 512.2 |
| Soggetto topico |
Algebras, Linear
Mathematical physics Group theory Numerical analysis Computer science—Mathematics Linear Algebra Mathematical Physics Group Theory and Generalizations Numerical Analysis Mathematical Applications in Computer Science Àlgebra lineal Teoria de grups |
| Soggetto genere / forma | Llibres electrònics |
| ISBN |
9783031224225
9783031224218 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part I: Introduction to Linear Algebra -- Vectors and Matrices -- Determinant and Vector Product in Physics -- Markov Matrix and its Spectrum: Towards Search Engines -- Special Relativity: Algebraic Point of View -- Part II: Introduction to Group Theory -- Groups and Isomorphism Theorems -- Projective Geometry in Computer Graphics -- Quantum Mechanics: Algebraic Point of View -- Part III: Polynomials and Basis Functions -- Polynomials and Their Gradient -- Basis Functions: Barycentric Coordinates in 3D -- Part IV: Finite Elements in 3-D. - Automatic Mesh Generation -- Mesh Regularity -- Numerical Integration -- Spline: Variational Model in 3D -- Part V: Permuation Group in Quantum Chemistry -- Determinant and Electronic Structure -- Part VI: The Jordan Form -- The Jordan Form -- Jordan Decomposition -- Algebras and their Derivation -- Part VII: Linearization in Numerical Relativity -- Einstein Equations and their Linearization. |
| Record Nr. | UNINA-9910644262603321 |
|
Shapira Yair <1960->
|
||
| Cham : , : Springer International Publishing : , : Imprint : Birkhäuser, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Linear Algebra and Group Theory for Physicists and Engineers [[electronic resource] /] / by Yair Shapira
| Linear Algebra and Group Theory for Physicists and Engineers [[electronic resource] /] / by Yair Shapira |
| Autore | Shapira Yair |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Birkhäuser, , 2019 |
| Descrizione fisica | 1 online resource (XXXI, 441 p. 92 illus., 1 illus. in color.) |
| Disciplina | 512.5 |
| Soggetto topico |
Matrix theory
Algebra Computer science—Mathematics Computer mathematics Group theory Linear and Multilinear Algebras, Matrix Theory Mathematical Applications in Computer Science Group Theory and Generalizations |
| ISBN | 3-030-17856-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part I Introduction to Linear Algebra -- Vectors and Matrices -- Vector Product in Geometrical Mechanics -- Markov Chain in a Graph -- Special Relativity - Algebraic Point of View -- Part II Introduction to Group Theory -- Group Representation and Isomorphism Theorems -- Projective Geometry in Computer Graphics -- Quantum Mechanics - Algebraic Point of View -- Part III Polynomials and Basis Functions -- Polynomials and their Gradient -- Basis Functions: Barycentric Coordinates in 3-D -- Part IV Finite Elements in 3-D -- Automatic Mesh Generation -- Mesh Regularity -- Numerical Integration -- Spline: Variational Model -- Part V Advanced Applications in Physics and Chemistry -- Quantum Chemistry: Electronic Structure -- General Relativity: Einstein Equations -- References. |
| Record Nr. | UNINA-9910338255503321 |
|
Shapira Yair
|
||
| Cham : , : Springer International Publishing : , : Imprint : Birkhäuser, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Linear Programming Using MATLAB® [[electronic resource] /] / by Nikolaos Ploskas, Nikolaos Samaras
| Linear Programming Using MATLAB® [[electronic resource] /] / by Nikolaos Ploskas, Nikolaos Samaras |
| Autore | Ploskas Nikolaos |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XVII, 637 p. 59 illus., 47 illus. in color.) |
| Disciplina | 519.72 |
| Collana | Springer Optimization and Its Applications |
| Soggetto topico |
Mathematical optimization
Computer software Computer science—Mathematics Algorithms Continuous Optimization Mathematical Software Mathematical Applications in Computer Science |
| ISBN | 3-319-65919-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Introduction -- 2. Linear Programming Algorithms -- 3. Linear Programming Benchmark and Random Problems -- 4. Presolve Methods -- 5. Scaling Techniques -- 6. Pivoting Rules -- 7. Basis Inverse and Update Methods -- 8. Revised Primal Simplex Algorithm -- 9. Exterior Point Simplex Algorithms -- 10. Interior Point Method -- 11. Sensitivity Analysis -- Appendix: MATLAB’s Optimization Toolbox Algorithms -- Appendix: State-of-the-art Linear Programming Solvers;CLP and CPLEX. |
| Record Nr. | UNINA-9910254290003321 |
|
Ploskas Nikolaos
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
