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.
500 Examples and Problems of Applied Differential Equations / / by Ravi P. Agarwal, Simona Hodis, Donal O’Regan
| 500 Examples and Problems of Applied Differential Equations / / by Ravi P. Agarwal, Simona Hodis, Donal O’Regan |
| Autore | Agarwal Ravi P. |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (IX, 388 p. 84 illus., 3 illus. in color.) |
| Disciplina | 515.35 |
| Collana | Problem Books in Mathematics |
| Soggetto topico |
Differential equations
Difference equations Functional equations Differential equations, Partial Sequences (Mathematics) Numerical analysis Ordinary Differential Equations Difference and Functional Equations Partial Differential Equations Sequences, Series, Summability Numerical Analysis |
| ISBN | 3-030-26384-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. First Order Linear Differential Equations -- 2. Some First Order Nonlinear Differential Equations -- 3. Second and Higher Order Differential Equations -- 4. Power Series Solutions -- 5. Systems of First Order Linear Differential Equations -- 6. Runge–Kutta Method -- 7. Stability Theory -- 8. Linear Boundary Value Problems -- 9. Nonlinear Boundary Value Problems -- Index. |
| Record Nr. | UNINA-9910349335203321 |
Agarwal Ravi P.
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Accelerator Programming Using Directives : 7th International Workshop, WACCPD 2020, Virtual Event, November 20, 2020, Proceedings / / edited by Sridutt Bhalachandra, Sandra Wienke, Sunita Chandrasekaran, Guido Juckeland
| Accelerator Programming Using Directives : 7th International Workshop, WACCPD 2020, Virtual Event, November 20, 2020, Proceedings / / edited by Sridutt Bhalachandra, Sandra Wienke, Sunita Chandrasekaran, Guido Juckeland |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
| Descrizione fisica | 1 online resource (108 pages) |
| Disciplina | 005.13 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Compilers (Computer programs)
Computer engineering Computer networks Microprogramming Computer programming Numerical analysis Compilers and Interpreters Computer Engineering and Networks Control Structures and Microprogramming Programming Techniques Numerical Analysis |
| ISBN | 3-030-74224-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Evaluating Performance Portability of OpenMP for SNAP on NVIDIA, Intel, and AMD GPUs using the Roofline Methodology -- Performance Assessment of OpenMP Compilers Targeting NVIDIA V100 GPUs -- GPU acceleration of the FINE/FR CFD solver in a heterogeneous environment with OpenACC directives -- Performance and Portability of a Linear Solver Across Emerging Architectures -- ADELUS: A Performance-Portable Dense LU Solver for Distributed-Memory Hardware-Accelerated Systems. |
| Record Nr. | UNINA-9910484727803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Accurate Scientific Computations [[electronic resource] ] : Symposium, Bad Neuenahr, Federal Republic of Germany March 12-14, 1985. Proceedings / / edited by Willard L. Miranker, Richard A. Toupin
| Accurate Scientific Computations [[electronic resource] ] : Symposium, Bad Neuenahr, Federal Republic of Germany March 12-14, 1985. Proceedings / / edited by Willard L. Miranker, Richard A. Toupin |
| Edizione | [1st ed. 1986.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1986 |
| Descrizione fisica | 1 online resource (XVI, 208 p.) |
| Disciplina | 518 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Numerical analysis
Numerical Analysis |
| ISBN | 3-540-47118-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Computing elementary functions: A new approach for achieving high accuracy and good performance -- Fast elementary function algorithms for 370 machines -- A new arithmetic for scientific computation -- New results on verified inclusions -- Accurate elliptic differential equation solver -- Case studies for augmented floating-point arithmetic -- Strict optimal error and residual estimates for the solution of linear algebraic systems by elimination methods in high-accuracy arithmetic -- Solving large sparse linear systems with guaranteed accuracy -- Symbolic and numeric manipulation of integrals -- Computer algebra and exact solutions to systems of polynomial equations -- The euclidean algorithm for gaussian integers -- An efficient stochastic method for round-off error analysis. |
| Record Nr. | UNISA-996465946603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1986 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Active Inference : First International Workshop, IWAI 2020, Co-located with ECML/PKDD 2020, Ghent, Belgium, September 14, 2020, Proceedings / / edited by Tim Verbelen, Pablo Lanillos, Christopher L. Buckley, Cedric De Boom
| Active Inference : First International Workshop, IWAI 2020, Co-located with ECML/PKDD 2020, Ghent, Belgium, September 14, 2020, Proceedings / / edited by Tim Verbelen, Pablo Lanillos, Christopher L. Buckley, Cedric De Boom |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (VIII, 199 p. 65 illus., 53 illus. in color.) |
| Disciplina | 006.3 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Artificial intelligence
Numerical analysis Computer science - Mathematics Mathematical statistics Computer engineering Computer networks Image processing - Digital techniques Computer vision Social sciences - Data processing Artificial Intelligence Numerical Analysis Probability and Statistics in Computer Science Computer Engineering and Networks Computer Imaging, Vision, Pattern Recognition and Graphics Computer Application in Social and Behavioral Sciences |
| ISBN | 3-030-64919-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Active Inference and Continuous Control -- Active Inference and Machine Learning -- Active Inference: Theory and Biology. |
| Record Nr. | UNINA-9910447242803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Adaptive discontinuous Galerkin methods for non-linear reactive flows / / by Murat Uzunca
| Adaptive discontinuous Galerkin methods for non-linear reactive flows / / by Murat Uzunca |
| Autore | Uzunca Murat |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Birkhäuser, , 2016 |
| Descrizione fisica | 1 online resource (111 p.) |
| Disciplina | 510 |
| Collana | Lecture Notes in Geosystems Mathematics and Computing |
| Soggetto topico |
Numerical analysis
Differential equations, Partial Geophysics Numerical Analysis Partial Differential Equations Geophysics/Geodesy |
| ISBN | 3-319-30130-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1 INTRODUCTION -- 1.1 Geological and computational background -- 1.2 Outline -- 2 DISCONTINUOUS GALERKIN METHODS -- 2.1 Preliminaries -- 2.2 Construction of IPG Methods -- 2.3 Computation Tools for Integral Terms -- 2.4 Effect of Penalty Parameter -- 2.5 Problems with Convection -- 3 ELLIPTIC PROBLEMS WITH ADAPTIVITY -- 3.1 Model Elliptic Problem -- 3.2 Adaptivity -- 3.3 Solution of Linearized Systems -- 3.4 Comparison with Galerkin Least Squares FEM (GLSFEM) -- 3.5 Numerical Examples -- 4 PARABOLIC PROBLEMS WITH TIME-SPACE ADAPTIVITY -- 4.1 Preliminaries and Model Equation -- 4.2 Semi-Discrete and Fully Discrete Formulations -- 4.3 Time-Space Adaptivity for Non-Stationary Problems -- 4.4 Solution of Fully Discrete System -- 4.5 Numerical Examples.-REFERENCES. . |
| Record Nr. | UNINA-9910254069703321 |
|
Uzunca Murat
|
||
| Cham : , : Springer International Publishing : , : Imprint : Birkhäuser, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advanced Boundary Element Methods : Treatment of Boundary Value, Transmission and Contact Problems / / by Joachim Gwinner, Ernst Peter Stephan
| Advanced Boundary Element Methods : Treatment of Boundary Value, Transmission and Contact Problems / / by Joachim Gwinner, Ernst Peter Stephan |
| Autore | Gwinner Joachim |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XVIII, 652 p. 69 illus., 18 illus. in color.) |
| Disciplina | 515.45 |
| Collana | Springer Series in Computational Mathematics |
| Soggetto topico |
Integral equations
Numerical analysis Differential equations, Partial Calculus of variations Applied mathematics Engineering mathematics Mathematical physics Integral Equations Numerical Analysis Partial Differential Equations Calculus of Variations and Optimal Control; Optimization Mathematical and Computational Engineering Theoretical, Mathematical and Computational Physics |
| ISBN | 3-319-92001-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1 Introduction -- 2 Some Elements of Potential Theory -- 3 A Fourier Series Approach -- 4 Mixed BVPs, Transmission Problems and Pseudodifferential Operators -- 5 The Signorini Problem and More Nonsmooth BVPs and Their Boundary Integral Formulation -- 6 A Primer to Boundary Element Methods -- 7 Advanced BEM for BVPs in Polygonal/Polyhedral Domains: h- and p-Versions -- 8 Exponential Convergence of hp-BEM -- 9 Mapping Properties of Integral Operators on Polygons -- 10 A-BEM -- 11 BEM for Contact Problems -- 12 FEM-BEM Coupling -- 13 Time-Domain BEM -- A Linear Operator Theory -- B Pseudodifferential Operators -- C Convex and Nonsmooth Analysis, Variational Inequalities -- D Some Implementation for BEM -- References -- Index. |
| Record Nr. | UNINA-9910300133603321 |
|
Gwinner Joachim
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advanced Computing / / edited by Michael Bader, Hans-Joachim Bungartz, Tobias Weinzierl
| Advanced Computing / / edited by Michael Bader, Hans-Joachim Bungartz, Tobias Weinzierl |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (xii, 240 pages) : illustrations (some color) |
| Disciplina | 003.3 |
| Collana | Lecture Notes in Computational Science and Engineering |
| Soggetto topico |
Mathematics - Data processing
Computer simulation Numerical analysis Engineering mathematics Engineering - Data processing Mathematical physics Computational Mathematics and Numerical Analysis Computational Science and Engineering Computer Modelling Numerical Analysis Mathematical and Computational Engineering Applications Theoretical, Mathematical and Computational Physics |
| ISBN |
9783642387623
3642387624 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A Review of the Finite Cell Method for Nonlinear Structural Analysis of Complex CAD and Image-based Geometric Models: Dominik Schillinger, Quanji Cai, Ralf-Peter Mundani, and Ernst Rank -- Immersed Boundary Methods for Fluid-Structure Interaction and Shape Optimization within an FEM-based PDE Toolbox: Janos Benk, Hans-Joachim Bungartz, Miriam Mehl, and Michael Ulbrich -- Numerical simulation of transport in porous media: some problems from micro to macro scale: Quanji Cai Sheema Kooshapur Michael Manhart, Ralf-Peter Mundani, Ernst Rank, Andreas Springer, Boris Vexler -- Optimal Control of Partially Miscible Two-Phase Flow with Applications to Subsurface CO2 Sequestration: Moritz Simon and Michael Ulbrich -- A Newton-CG Method for Full-Waveform Inversion in a Coupled Solid-Fluid System: Christian Boehm and Michael Ulbrich -- Advances in the Parallelisation of Software for Quantum Chemistry Applications: Martin Roderus, Alexei Matveev, Hans-Joachim Bungartz and Notker Rösch -- Designing Spacecraft High Performance Computing Architectures: Fisnik Kraja, Georg Acher, Arndt Bode -- Requirements Engineering for Computational Seismology Software: Yang Li, Bernd Bruegge, Simon Stähler, Nitesh Narayan, and Heiner Igel -- A High-Performance Interactive Computing Framework for Engineering Applications: Jovana Kneževi´c, Ralf-Peter Mundani, Ernst Rank -- A Framework for the Interactive Handling of High-Dimensional Simulation Data in Complex Geometries: A. Benzina, G. Buse, D. Butnaru, A. Murarasu, M. Treib, V. Varduhn, R.-P. Mundani -- Experiences with a Flexibly Reconfigurable Visualization System on Software Development and Workplace Ergonomics: Marcus Tönnis, Amal Benzina, Gudrun Klinker. |
| Record Nr. | UNINA-9910438030303321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advanced Field-Solver Techniques for RC Extraction of Integrated Circuits / / by Wenjian Yu, Xiren Wang
| Advanced Field-Solver Techniques for RC Extraction of Integrated Circuits / / by Wenjian Yu, Xiren Wang |
| Autore | Yu Wenjian |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (258 p.) |
| Disciplina |
003.3
004 518 620 |
| Soggetto topico |
Electronic circuits
Computer-aided engineering Computer science - Mathematics Numerical analysis Computer simulation Circuits and Systems Computer-Aided Engineering (CAD, CAE) and Design Computational Science and Engineering Numerical Analysis Simulation and Modeling |
| ISBN | 3-642-54298-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Basic Field-Solver Techniques for RC Extraction -- Fast Boundary Element Methods for Capacitance Extraction (I) -- Fast Boundary Element Methods for Capacitance Extraction (II) -- Resistance Extraction of Complex 3-D Interconnects -- Substrate Resistance Extraction with Boundary Element Method -- Extracting Frequency-Dependent Substrate Parasitics -- Process Variation Aware Capacitance Extraction -- Statistical Capacitance Extraction Based on Continuous-Surface Geometric Model -- Fast Floating Random Walk Method for Capacitance Extraction -- FRW Based Solver for Chip-Scale Large Structures. |
| Record Nr. | UNINA-9910299468903321 |
|
Yu Wenjian
|
||
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advanced Finite Element Simulation with MSC Marc : Application of User Subroutines / / by Zia Javanbakht, Andreas Öchsner
| Advanced Finite Element Simulation with MSC Marc : Application of User Subroutines / / by Zia Javanbakht, Andreas Öchsner |
| Autore | Javanbakht Zia |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XV, 347 p. 58 illus.) |
| Disciplina | 620.1 |
| Soggetto topico |
Mechanics, Applied
Solids Numerical analysis Computer-aided engineering Compilers (Computer programs) Solid Mechanics Numerical Analysis Computer-Aided Engineering (CAD, CAE) and Design Compilers and Interpreters |
| ISBN | 3-319-47668-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Fortran - Advanced Features -- Introduction to Marc/Mentat -- Basic Examples -- Advanced Examples -- A Listing of the Customized Modules. |
| Record Nr. | UNINA-9910158704803321 |
|
Javanbakht Zia
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advanced Numerical Approximation of Nonlinear Hyperbolic Equations : Lectures given at the 2nd Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Cetraro, Italy, June 23-28, 1997 / / by B. Cockburn, C. Johnson, C.-W. Shu, E. Tadmor ; edited by Alfio Quarteroni
| Advanced Numerical Approximation of Nonlinear Hyperbolic Equations : Lectures given at the 2nd Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Cetraro, Italy, June 23-28, 1997 / / by B. Cockburn, C. Johnson, C.-W. Shu, E. Tadmor ; edited by Alfio Quarteroni |
| Autore | Cockburn B (Bernardo) |
| Edizione | [1st ed. 1998.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 |
| Descrizione fisica | 1 online resource (VI, 454 p.) |
| Disciplina | 515.353 |
| Collana | C.I.M.E. Foundation Subseries |
| Soggetto topico |
Differential equations
Numerical analysis Thermodynamics Computational intelligence Differential Equations Numerical Analysis Computational Intelligence |
| ISBN | 3-540-49804-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Approximate solutions of nonlinear conservation laws -- An introduction to the Discontinuous Galerkin method for convection-dominated problems -- Adaptive finite element methods for conservation laws -- Essentially non-oscillatory and weighted essentially non-oscillatory schemes for hyperbolic conservation laws. |
| Record Nr. | UNINA-9910146306703321 |
|
Cockburn B (Bernardo)
|
||
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Soggetto topico
-
Numerical Analysis
(1508)
- Numerical analysis (1508)
- Algorithms (681)
- Discrete mathematics (487)
- Discrete Mathematics in Computer Science (483)