Computer Mathematics [[electronic resource] ] : 9th Asian Symposium (ASCM2009), Fukuoka, December 2009, 10th Asian Symposium (ASCM2012), Beijing, October 2012, Contributed Papers and Invited Talks / / edited by Ruyong Feng, Wen-shin Lee, Yosuke Sato |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (498 p.) |
Disciplina | 004.0151 |
Soggetto topico |
Computer mathematics
Computer software Computational Mathematics and Numerical Analysis Computational Science and Engineering Mathematical Software |
ISBN | 3-662-43799-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Sparse Polynomial Interpolation by Variable Shift in the Presence of Noise and Outliers in the Evaluations -- An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions -- Finding the Symbolic Solution of a Geometric Problem through Numeric Computations -- A Simple Quantifier-free Formula of Positive Semidefinite Cyclic Ternary Quartic Forms -- The vanishing ideal of a finite set of points with multiplicity structures -- Signature-based Method of Deciding Program Termination -- High-precision eigenvalue bound for the Laplacian with singularities -- Degree and dimension estimates for invariant ideals of P-solvable recurrences -- POLY : A new polynomial data structure for Maple 17 -- A Symbolic Approach to Compute a Null-Space Basis in the Projection Method -- Real Root Isolation of Polynomial Equations Based on Hybrid Computation -- Overview of the Mathemagix type system -- Resultant-Free Computation of Indefinite Hyperexponential Integrals -- ImUp: A Maple Package for Uniformity-Improved Reparameterization of Plane Curves -- The Diagonal Reduction Algorithm Using Fast Givens -- Constructing Generalized Bent Functions from Trace Forms over Galois Rings -- Matrix Formula of Differential Resultant for First Order Generic Ordinary Differential Polynomials -- Simplification of the lattice based attack of Boneh and Durfee for RSA cryptoanalysis -- A Practical Implementation of a Modular Algorithm for Ore Polynomial Matrices -- Computing Popov Forms of Matrices over PBW Extensions -- On the simplest quartic fields and related Thue equations -- On the Implementation of Boolean Gröbner Bases -- Towards the calculation of Casimir forces for inhomogeneous planar media -- Comprehensive Gröbner Bases in a Java Computer Algebra System -- A Symbolic Approach to Compute a Null-Space Basis in the Projection Method -- Real Root Isolation of Regular Chains -- A Practical Method for Floating-point Groebner Basis Computation -- Series-Expansion of Multivariate Algebraic Functions at Singular Points: Nonmonic Case -- A Sequence of Nearest Polynomials with Given Factors -- Digitisation Workflow in the Czech Digital Mathematics Library -- The Implementation and Complexity Analysis of the Branch Gröbner Bases Algorithm over Boolean Ring. |
Record Nr. | UNINA-9910299982603321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Computer Simulations in Science and Engineering [[electronic resource] ] : Concepts - Practices - Perspectives / / by Juan Manuel Durán |
Autore | Durán Juan Manuel |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (225 pages) |
Disciplina | 003.3 |
Collana | The Frontiers Collection |
Soggetto topico |
Physics
Philosophy and science Computer simulation Computer mathematics Applied mathematics Engineering mathematics Numerical and Computational Physics, Simulation Philosophy of Science Simulation and Modeling Computational Science and Engineering Mathematical and Computational Engineering |
ISBN | 3-319-90882-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Introduction -- The universe of computer simulations -- Units of analysis I: Models and computer simulations -- Units of analysis II: Laboratory experimentation and computer simulations -- Trusting computer simulations -- Epistemological functions of computer simulations -- Technological Paradigms -- Ethics and computer simulations. |
Record Nr. | UNINA-9910739452703321 |
Durán Juan Manuel | ||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Computing Characterizations of Drugs for Ion Channels and Receptors Using Markov Models [[electronic resource] /] / by Aslak Tveito, Glenn T. Lines |
Autore | Tveito Aslak |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Basingstoke, : Springer Nature, 2015 |
Descrizione fisica | 1 online resource (XVI, 261 p. 129 illus., 30 illus. in color.) |
Disciplina | 004 |
Collana | Lecture Notes in Computational Science and Engineering |
Soggetto topico |
Computer mathematics
Medicine Optical data processing Computational Science and Engineering Biomedicine, general Computer Imaging, Vision, Pattern Recognition and Graphics |
Soggetto non controllato |
Life Sciences
Pharmacology and Toxicology Economics Political Economy Development International Relations International Political Economy African Studies African Economics |
ISBN | 3-319-30030-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Preface -- Background: Contents and Method -- One-dimensional calcium release -- Models of open and state blockers -- Two-dimensional calcium release -- Computing theoretical drugs in the two-dimensional case -- Generalized systems -- Calcium-induced calcium release -- Numerical release for CICR -- A prototypical model of an ion channel -- Inactivated ion channels -- A simple model of the sodium channel -- Mutations affecting the mean open time -- The burst mode -- Whole sale action potentials -- . |
Record Nr. | UNINA-9910164341503321 |
Tveito Aslak | ||
Basingstoke, : Springer Nature, 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Computing the Continuous Discretely [[electronic resource] ] : Integer-Point Enumeration in Polyhedra / / by Matthias Beck, Sinai Robins |
Autore | Beck Matthias |
Edizione | [2nd ed. 2015.] |
Pubbl/distr/stampa | New York, NY : , : Springer New York : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (XX, 285 p. 54 illus., 1 illus. in color.) |
Disciplina | 516.11 |
Collana | Undergraduate Texts in Mathematics |
Soggetto topico |
Combinatorics
Number theory Convex geometry Discrete geometry Computer mathematics Number Theory Convex and Discrete Geometry Computational Science and Engineering |
ISBN | 1-4939-2969-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | The Coin-Exchange Problem of Frobenius -- A Gallery of Discrete Volumes -- Counting Lattice Points in Polytopes: The Ehrhart Theory -- Reciprocity -- Face Numbers and the Dehn–Sommerville Relations in Ehrhartian Terms -- Magic Squares -- Finite Fourier Analysis -- Dedekind Sums -- Zonotopes -- h-Polynomials and h*-Polynomials -- The Decomposition of a Polytope Into Its Cones -- Euler–Maclaurin Summation in Rd -- Solid Angles -- A Discrete Version of Green's Theorem Using Elliptic Functions. |
Record Nr. | UNINA-9910300255603321 |
Beck Matthias | ||
New York, NY : , : Springer New York : , : Imprint : Springer, , 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Configurable intelligent optimization algorithm [[electronic resource] ] : design and practice in manufacturing / / by Fei Tao, Lin Zhang, Yuanjun Laili |
Autore | Tao Fei |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (364 p.) |
Disciplina | 519.3 |
Collana | Springer Series in Advanced Manufacturing |
Soggetto topico |
Computer-aided engineering
Manufactures Computer mathematics Computer-Aided Engineering (CAD, CAE) and Design Manufacturing, Machines, Tools, Processes Computational Science and Engineering |
ISBN | 3-319-08840-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | From the Contents: Brief History and Overview of Intelligent Optimization Algorithms -- Recent Advances of intelligent optimization algorithms in manufacturing -- Dynamic Configuration Intelligent Optimization Algorithms -- Improvement and hybridization of Intelligent Optimization Algorithms DC-OIA. |
Record Nr. | UNINA-9910299856303321 |
Tao Fei | ||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Conformal Geometry [[electronic resource] ] : Computational Algorithms and Engineering Applications / / by Miao Jin, Xianfeng Gu, Ying He, Yalin Wang |
Autore | Jin Miao |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (318 pages) |
Disciplina | 516.35 |
Soggetto topico |
Computer mathematics
Applied mathematics Engineering mathematics Optical data processing Computational Science and Engineering Mathematical and Computational Engineering Computer Imaging, Vision, Pattern Recognition and Graphics |
ISBN | 3-319-75332-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Introduction -- Topological Algorithms -- Harmonic Map -- Harmonic and Holomorphic Forms -- Discrete Ricci Flow -- Computer Graphics -- Computer Vision -- Geometric Modeling -- Medical Imaging -- Wireless Sensor Networks. |
Record Nr. | UNINA-9910300119203321 |
Jin Miao | ||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Contributions to Partial Differential Equations and Applications [[electronic resource] /] / edited by B. N. Chetverushkin, W. Fitzgibbon, Y.A. Kuznetsov, P. Neittaanmäki, J. Periaux, O. Pironneau |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (XI, 452 p. 105 illus., 73 illus. in color.) |
Disciplina | 515.353 |
Collana | Computational Methods in Applied Sciences |
Soggetto topico |
Fluid mechanics
Partial differential equations Chemometrics Computer mathematics Biology—Technique Epidemiology Engineering Fluid Dynamics Partial Differential Equations Math. Applications in Chemistry Computational Science and Engineering Biological Techniques |
ISBN | 3-319-78325-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Preface -- Career papers -- The career of Prof. W. Fitzgibbon, by Jeff Morgan, Jacques Periaux -- The career of Prof. Yuri Kuznetsov, by Boris Chetverushkin, William Fitzgibbon, Jacques Periaux, and Olivier Pironneau -- The career of Prof. Olivier Pironneau, by William Fitzgibbon and Jacques Periaux -- Scientific contributions -- Mean field games for modeling crowd motion, by Yves Achdou and Jean-Michel Lasry -- Remarks about spatially structured SI model systems with cross diffusion, by Vanaya Anaya, Mostafa Bendahmane, Michel Langlais, and Mauricio Sepúlveda -- Automatic clustering in large sets of time series, by Robert Azencott, Viktoria Muravina, Rasoul Hekmati, Wei Zhang, and Michael Paldino -- Zero viscosity boundary effect limit and turbulence, by Claude Bardos -- Parabolic equations with quadratic growth in Rn, by Alain Bensoussan, Jens Frehse, Shige Peng, and Sheung Chi Phillip Yam -- On the sensitivity to the filtering radius in Leray models of incompressible flow, by Luca Bertagna, Annalisa Quaini, Leo G. Rebholz, and Alessandro Veneziani -- Model order reduction for problems with large convection effects, by Nicolas Cagniart, Yvon Maday, and Benjamin Stamm -- Parametric optimization of pulsating jets in unsteady flow by Multiple-Gradient Descent Algorithm (MGDA), by Jean-Antoine Désidéri and Regis Duvigneau -- Mixed formulation of a linearized lubrication fracture model in a poro-elastic medium, by Vivette Girault, Mary Wheeler, Kundan Kumar, and Gurpreet Singh -- Two decades of wave-like equation for the numerical simulation of incompressible viscous flow: A review, by Roland Glowinski and Tsorng–Whay Pan -- An arbitrary Lagrangian-Eulerian Finite Element method preserving convex invariants of hyperbolic systems, by Jean-Luc Guermond, Bojan Popov, Laura Saavedra, and Yong Yang -- Dual-primal isogeometric tearing and interconnecting methods, by Christoph Hofer and Ulrich Langer -- C0 Interior Penalty Discontinuous Galerkin approximation of a sixth order Cahn-Hilliard equation modeling microemulsification processes, by Ronald Hoppe and Christopher Linsenmann -- On existence “in the large” of a solution to modified Navier–Stokes equations, by George Kobelkov -- An algebraic solver for the Oseen problem with application to hemodynamics, by Igor Konshin, Maxim Olshanskii, and Yuri Vassilevski -- Martin’s problem for volume-surface reaction-diffusion systems, by Jeff Morgan and Vandana Sharma -- A posteriori error estimates for the electric field integral equation on polyhedral, by Ricardo Nochetto and Benjamin Stamm -- On some weighted Stokes problems: applications on Smagorinsky models, by Jacques Rappaz and Jonathan Rochat -- Poincaré type inequalities for vector functions with zero mean normal traces on the boundary and applications to interpolation methods, by Sergey Repin -- The ensemble interpretation of quantum mechanics and the two-slit experiment, by Glenn Webb. . |
Record Nr. | UNINA-9910337600103321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Convection in Ferro-Nanofluids: Experiments and Theory [[electronic resource] ] : Physical Mechanisms, Flow Patterns, and Heat Transfer / / by Aleksandra A. Bozhko, Sergey A. Suslov |
Autore | Bozhko Aleksandra A |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (279 pages) |
Disciplina | 530.42 |
Collana | Advances in Mechanics and Mathematics |
Soggetto topico |
Computer mathematics
Fluid mechanics Thermodynamics Heat engineering Heat transfer Mass transfer Mathematical physics Computational Science and Engineering Engineering Fluid Dynamics Engineering Thermodynamics, Heat and Mass Transfer Mathematical Physics |
ISBN | 3-319-94427-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Ferrofluids: Composition and Physical Processes -- Governing Equations -- Infinite Vertical Layer -- Experimental Methodology -- Thermogravitational Convection -- Thermomagnetic Convection -- Concluding Remarks -- A. Brief Summary of the Used Numerical Approximation -- B. Copyright Permissions. |
Record Nr. | UNINA-9910300115103321 |
Bozhko Aleksandra A | ||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Convection with Local Thermal Non-Equilibrium and Microfluidic Effects [[electronic resource] /] / by Brian Straughan |
Autore | Straughan Brian |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (318 p.) |
Disciplina | 620.11296 |
Collana | Advances in Mechanics and Mathematics |
Soggetto topico |
Partial differential equations
Mathematical physics Fluid mechanics Computer mathematics Partial Differential Equations Theoretical, Mathematical and Computational Physics Engineering Fluid Dynamics Computational Science and Engineering |
ISBN | 3-319-13530-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Introduction -- Thermal Convection with LTNE -- Rotating Convection with LTNE -- Double Diffusive Convection with LTNE -- Vertical Porous Convection with LTNE -- Penetrative Convection -- LTNE and Multi-layers -- Other Convection/Microfluidic Scenarios -- Convection with Slip Boundary Conditions -- Convection in a Porous Layer with Solid Partitions -- Convection with Produting Baffles -- Anisotropic Inertia Effect -- Bidispersive Porous Media -- Resonance in Thermal Convection -- Thermal Convection in Nanofluids -- References. |
Record Nr. | UNINA-9910299762103321 |
Straughan Brian | ||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Conversations About Challenges in Computing [[electronic resource] /] / edited by Are Magnus Bruaset, Aslak Tveito |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (99 p.) |
Disciplina | 004 |
Soggetto topico |
Computer mathematics
Partial differential equations Mathematical models Biomathematics Computer organization User interfaces (Computer systems) Computational Science and Engineering Partial Differential Equations Mathematical Modeling and Industrial Mathematics Physiological, Cellular and Medical Topics Computer Systems Organization and Communication Networks User Interfaces and Human Computer Interaction |
ISBN | 3-319-00209-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Part I: Communications Systems: 1 The Nature of the Beast: An interview with Olav Lysne -- 2 Igniting the New Internet: An interview with Keith Marzullo -- 3 The Internet of Things: An interview with Heinrich Stüttgen -- Part II: Computational Science: 4 The Mathematics of the Mind: An interview with Hans Petter Langtangen -- 5 Solving Puzzle Earth by Adaptive Mesh Refinement: An interview with Carsten Burstedde -- 6 Computational Inverse Problems Can Drive a Big Data Revolution: An interview with Omar Ghattas.- 7 Towards the ‘Google Heart’: An interview with Natalia Trayanova -- 8 As Simple as Possible, but Not Simpler: An interview with Alfio Quarteroni -- Part III: Software Engineering -- 9 A Caring Critic: An interview with Magne Jørgensen -- 10 Through the Looking Glass into Digital Space: An interview with Paola Inverardi -- 11 Harmonizing the Babel of Voices: An interview with Martin Shepperd -- 12 Mediating between Man and Machine: An interview with Bashar Nuseibeh. . |
Record Nr. | UNINA-9910438035903321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2013 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|