top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
Computational Pathology and Ophthalmic Medical Image Analysis : First International Workshop, COMPAY 2018, and 5th International Workshop, OMIA 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16 - 20, 2018, Proceedings / / edited by Danail Stoyanov, Zeike Taylor, Francesco Ciompi, Yanwu Xu, Anne Martel, Lena Maier-Hein, Nasir Rajpoot, Jeroen van der Laak, Mitko Veta, Stephen McKenna, David Snead, Emanuele Trucco, Mona K. Garvin, Xin Jan Chen, Hrvoje Bogunovic
Computational Pathology and Ophthalmic Medical Image Analysis : First International Workshop, COMPAY 2018, and 5th International Workshop, OMIA 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16 - 20, 2018, Proceedings / / edited by Danail Stoyanov, Zeike Taylor, Francesco Ciompi, Yanwu Xu, Anne Martel, Lena Maier-Hein, Nasir Rajpoot, Jeroen van der Laak, Mitko Veta, Stephen McKenna, David Snead, Emanuele Trucco, Mona K. Garvin, Xin Jan Chen, Hrvoje Bogunovic
Edizione [1st ed. 2018.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Descrizione fisica 1 online resource (XVII, 347 p. 135 illus.)
Disciplina 617.7
616.07
Collana Image Processing, Computer Vision, Pattern Recognition, and Graphics
Soggetto topico Optical data processing
Artificial intelligence
Arithmetic and logic units, Computer
Mathematical statistics
Pattern recognition
Image Processing and Computer Vision
Artificial Intelligence
Arithmetic and Logic Structures
Probability and Statistics in Computer Science
Pattern Recognition
ISBN 3-030-00949-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Improving Accuracy of Nuclei Segmentation by Reducing Histological Image Variability -- Multi-Resolution Networks for Semantic Segmentation in Whole Slide Images -- Improving High Resolution Histology Image Classification with Deep Spatial Fusion Network -- Construction of a Generative Model of H&E Stained Pathology Images of Pancreas Tumors Conditioned by a Voxel Value of MRI Image -- Accurate 3D reconstruction of a whole pancreatic cancer tumor from pathology images with different stains -- Role of Task Complexity and Training in Crowdsourced Image Annotation -- Capturing global spatial context for accurate cell classification in skin cancer histology -- Exploiting Multiple Color Representations to Improve Colon Cancer Detection in Whole Slide H&E Stains -- Leveraging Unlabeled Whole-Slide-Images for Mitosis Detection -- Evaluating Out-of-the-box Methods for the Classification of Hematopoietic Cells in Images of Stained Bone Marrow -- DeepCerv: Deep neural network for segmentation free robust cervical cell classification -- Whole slide image registration for the study of tumor heterogeneity -- Modality Conversion from Pathological Image to Ultrasonic Image Using Convolutional Neural Network -- Structure instance segmentation in renal tissue: a case study on tubular immune cell detection -- Cellular Community Detection for Tissue Phenotyping in Histology Images -- Automatic Detection of Tumor Budding in Colorectal Carcinoma with Deep Learning -- Significance of Hyperparameter Optimization for Metastasis Detection in Breast Histology Images -- Image Magnification Regression Using DenseNet for Exploiting Histopathology Open Access Content -- Uncertainty Driven Pooling Network for Microvessel Segmentation in Routine Histology Images -- Ocular Structures Segmentation from Multi-sequences MRI using 3D Unet with Fully Connected CRFs -- Classification of Findings with Localized Lesions in Fundoscopic Images using a Regionally Guided CNN -- Segmentation of Corneal Nerves Using a U-Net-based Convolutional Neural Network -- Automatic Pigmentation Grading of the Trabecular Meshwork in Gonioscopic Images -- Large Receptive Field Fully Convolutional Network for Semantic Segmentation of Retinal Vasculature in Fundus Images -- Explaining Convolutional Neural Networks for Area Estimation of Choroidal Neovascularization via Genetic Programming -- Joint Segmentation and Uncertainty Visualization of Retinal Layers in Optical Coherence Tomography Images using Bayesian Deep Learning -- cGAN-based lacquer cracks segmentation in ICGA image -- Localizing Optic Disc and Cup for Glaucoma Screening via Deep Object Detection Networks -- Fundus Image Quality-guided Diabetic Retinopathy Grading -- DeepDisc: Optic Disc Segmentation based on Atrous Convolution and Spatial Pyramid Pooling -- Large-scale Left and Right Eye Classification in Retinal Images -- Automatic Segmentation of Cortex and Nucleus in Anterior Segment OCT Images -- Local Estimation of the Degree of Optic Disc Swelling from Color Fundus Photography -- Visual Field based Automatic Diagnosis of Glaucoma Using Deep Convolutional Neural Network -- Towards standardization of retinal vascular measurements: on the effect of image centering -- Feasibility study of Subfoveal Choroidal Thickness Changes in Spectral-Domain Optical Coherence Tomography Measurements of Macular Telangiectasia Type 2 -- Segmentation of retinal layers in OCT images of the mouse eye utilizing polarization contrast -- Glaucoma Diagnosis from Eye Fundus Images Based on Deep Morphometric Feature Estimation -- 2D Modeling and Correction of Fan-beam Scan Geometry in OCT -- A Bottom-up Saliency Estimation Approach for Neonatal Retinal Images.
Record Nr. UNINA-9910349405203321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Computer Algebra in Scientific Computing [[electronic resource] ] : 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings / / edited by Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov
Computer Algebra in Scientific Computing [[electronic resource] ] : 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings / / edited by Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov
Edizione [1st ed. 2016.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016
Descrizione fisica 1 online resource (XIII, 513 p. 61 illus.)
Disciplina 004.0151
Collana Theoretical Computer Science and General Issues
Soggetto topico Algorithms
Computer science—Mathematics
Discrete mathematics
Computer simulation
Numerical analysis
Computer arithmetic and logic units
Discrete Mathematics in Computer Science
Symbolic and Algebraic Manipulation
Computer Modelling
Numerical Analysis
Arithmetic and Logic Structures
ISBN 3-319-45641-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto On the Differential and Full Algebraic Complexities of Operator Matrices Transformations -- Resolving Decompositions for Polynomial Modules -- Setup of Order Conditions for Splitting Methods -- Symbolic Manipulation of Flows of Nonlinear Evolution Equations, with Application in the Analysis of Split-Step Time Integrators -- Improved Computation of Involutive Bases -- Computing all Space Curve Solutions of Polynomial Systems by Polyhedral Methods -- Algorithmic Computation of Polynomial Amoebas -- Sparse Gaussian Elimination Modulo p: an Update -- MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures -- Incompleteness, Undecidability and Automated Proofs (Invited Talk) -- A Numerical Method for Computing Border Curves of Bi-Parametric Real Polynomial Systems and Applications -- The Complexity of Cylindrical Algebraic Decomposition with Respect to Polynomial Degree -- Efficient Simplification Techniques for Special Real Quantifier Elimination with Applications to the Synthesis of Optimal Numerical Algorithms -- Symbolic-Numeric Algorithms for Solving BVPs for a System of ODEs of the Second Order: Multichannel Scattering and Eigenvalue Problems -- Symbolic Algorithm for Generating Irreducible Rotational-Vibrational Bases of Point Groups -- A Symbolic Investigation of the Influence of Aerodynamic Forces on Satellite Equilibria -- Computer Algebra in High-Energy Physics (Invited Talk) -- A Note on Dynamic Gröbner Bases Computation -- Qualitative Analysis of the Reyman-Semenov-Tian-Shansky Integrable Case of the Generalized Kowalewski Top -- On Multiple Eigenvalues of a Matrix Dependent on a Parameter -- A Generalised Branch-and-Bound Approach and its Application in SAT Modulo Nonlinear Integer Arithmetic -- Computing Characteristic Polynomials of Matrices of Structured Polynomials -- Computing Sparse Representations of Systems of Rational Fractions -- On the General Analytical Solution of the Kinematic Cosserat Equations -- Using Sparse Interpolation in Hensel Lifting -- A Survey of Satisfiability Modulo Theory -- Quadric Arrangement in Classifying Rigid Motions of a 3D Digital Image -- A Lower Bound for Computing Lagrange's Real Root Bound -- Enhancing the Extended Hensel Construction by Using Gröbner Bases -- Symbolic-Numerical Optimization and Realization of the Method of Collocations and Least Residuals for Solving the Navier-Stokes Equations -- Pruning Algorithms for Pretropisms of Newton Polytopes -- Computational Aspects of a Bound of Lagrange.
Record Nr. UNISA-996466272803316
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Computer Algebra in Scientific Computing : 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings / / edited by Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov
Computer Algebra in Scientific Computing : 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings / / edited by Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov
Edizione [1st ed. 2016.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016
Descrizione fisica 1 online resource (XIII, 513 p. 61 illus.)
Disciplina 004.0151
Collana Theoretical Computer Science and General Issues
Soggetto topico Algorithms
Computer science—Mathematics
Discrete mathematics
Computer simulation
Numerical analysis
Computer arithmetic and logic units
Discrete Mathematics in Computer Science
Symbolic and Algebraic Manipulation
Computer Modelling
Numerical Analysis
Arithmetic and Logic Structures
ISBN 3-319-45641-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto On the Differential and Full Algebraic Complexities of Operator Matrices Transformations -- Resolving Decompositions for Polynomial Modules -- Setup of Order Conditions for Splitting Methods -- Symbolic Manipulation of Flows of Nonlinear Evolution Equations, with Application in the Analysis of Split-Step Time Integrators -- Improved Computation of Involutive Bases -- Computing all Space Curve Solutions of Polynomial Systems by Polyhedral Methods -- Algorithmic Computation of Polynomial Amoebas -- Sparse Gaussian Elimination Modulo p: an Update -- MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures -- Incompleteness, Undecidability and Automated Proofs (Invited Talk) -- A Numerical Method for Computing Border Curves of Bi-Parametric Real Polynomial Systems and Applications -- The Complexity of Cylindrical Algebraic Decomposition with Respect to Polynomial Degree -- Efficient Simplification Techniques for Special Real Quantifier Elimination with Applications to the Synthesis of Optimal Numerical Algorithms -- Symbolic-Numeric Algorithms for Solving BVPs for a System of ODEs of the Second Order: Multichannel Scattering and Eigenvalue Problems -- Symbolic Algorithm for Generating Irreducible Rotational-Vibrational Bases of Point Groups -- A Symbolic Investigation of the Influence of Aerodynamic Forces on Satellite Equilibria -- Computer Algebra in High-Energy Physics (Invited Talk) -- A Note on Dynamic Gröbner Bases Computation -- Qualitative Analysis of the Reyman-Semenov-Tian-Shansky Integrable Case of the Generalized Kowalewski Top -- On Multiple Eigenvalues of a Matrix Dependent on a Parameter -- A Generalised Branch-and-Bound Approach and its Application in SAT Modulo Nonlinear Integer Arithmetic -- Computing Characteristic Polynomials of Matrices of Structured Polynomials -- Computing Sparse Representations of Systems of Rational Fractions -- On the General Analytical Solution of the Kinematic Cosserat Equations -- Using Sparse Interpolation in Hensel Lifting -- A Survey of Satisfiability Modulo Theory -- Quadric Arrangement in Classifying Rigid Motions of a 3D Digital Image -- A Lower Bound for Computing Lagrange's Real Root Bound -- Enhancing the Extended Hensel Construction by Using Gröbner Bases -- Symbolic-Numerical Optimization and Realization of the Method of Collocations and Least Residuals for Solving the Navier-Stokes Equations -- Pruning Algorithms for Pretropisms of Newton Polytopes -- Computational Aspects of a Bound of Lagrange.
Record Nr. UNINA-9910483386803321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Computer Algebra in Scientific Computing [[electronic resource] ] : 17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015, Proceedings / / edited by Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov
Computer Algebra in Scientific Computing [[electronic resource] ] : 17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015, Proceedings / / edited by Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov
Edizione [1st ed. 2015.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015
Descrizione fisica 1 online resource (XIII, 494 p. 75 illus. in color.)
Disciplina 005.1
Collana Theoretical Computer Science and General Issues
Soggetto topico Algorithms
Computer science—Mathematics
Discrete mathematics
Computer arithmetic and logic units
Discrete Mathematics in Computer Science
Symbolic and Algebraic Manipulation
Arithmetic and Logic Structures
ISBN 3-319-24021-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Intro -- Preface -- Organization -- Contents -- Hypergeometric Solutions of First-Order Linear Difference Systems with Rational-Function Coefficients -- 1 Introduction -- 2 The Problem -- 3 The Reasoning Behind the Algorithm -- 3.1 The Resolving Equation and Matrix -- 3.2 The Minimal Subspace Containing All Solutions with yi=0 -- 3.3 The Use of RNF -- 3.4 The Space of Solutions with yi=0 -- 3.5 When k=m -- 3.6 Selection of yi -- 4 The Algorithm -- 5 On the Resolving Procedure -- 6 Implementation and Experiments -- 6.1 Implementation -- 6.2 Some Experiments -- 6.3 Comparison with the Cyclic Vector Approach -- Janet Bases and Resolutions in CoCoALib -- 1 Introduction -- 2 Involutive Bases and Free Resolutions -- 3 Free Resolutions with Janet Bases -- 4 Benchmarks -- Regular Chains under Linear Changesof Coordinates and Applications -- 1 Introduction -- 2 Preliminaries -- 3 Algorithm for Linear Change of Coordinates -- 4 Noether Normalization and Regular Chains -- 5 Applications of Random Linear Changes of Coordinates -- 6 On the Computation of lim(W(T)) and sat(T) -- 7 Conclusion -- A Standard Basis Free Algorithm for Computing the Tangent Cones of a Space Curve -- 1 Introduction -- 2 Preliminaries -- 2.1 Tangent Cone of a Space Curve -- 2.2 Regular Chains -- 3 Computing Intersection Multiplicities in Higher Dimension -- 4 Computing Tangent Lines as Limits of Secants -- 4.1 An Algorithmic Principle -- 4.2 Algorithm -- 4.3 Equations of Tangent Cones -- 4.4 Examples -- 5 Conclusion -- Research on the Stability of Relative Equilibria of Oblate Axisymmetric Gyrostat by Meansof Symbolic-Numerical Modelling -- 1 Introduction -- 2 Relative Equilibria -- 3 Construction of Symbolical Model and Parametrization of a Problem -- 4 Stability of the Third Class Equilibria -- 4.1 Necessary Conditions of Stability -- 4.2 Stable and Unstable Equilibria.
4.3 Gyroscopic Stabilization: Symbolic-Numerical Modelling -- 5 Parametrical Analysis of the Conditions of Gyroscopic Stabilization for Second Class Equilibria -- 6 Conclusion -- A New Approach for Computing Regular Solutions of Linear Difference Systems -- 1 Factorial Series -- 1.1 Definition -- 1.2 Ring Structure -- 1.3 Translation z z + -- 2 The Functions n -- 2.1 Definition -- 2.2 Properties -- 3 Regular Solutions of Linear Difference Systems -- 4 Appendix -- 4.1 Proof of Proposition 1 -- 4.2 Proof of Theorem 1 -- Solving Polynomial Systems in the Cloud with Polynomial Homotopy Continuation -- 1 Introduction -- 2 Related Work and Alternative Approaches -- 3 Design and Implementation -- 4 Solving by Polynomial Homotopy Continuation -- 4.1 Running a Blackbox Solver -- 4.2 The Scripting Interface phcpy -- 5 Pattern Matching with a Database -- 5.1 The Classification Problem -- 5.2 The Graph Isomorphism Problem -- 5.3 Computing Canonical Graph Labelings With Nauty -- 5.4 Benchmarking the Canonization -- 5.5 Storing Labelings in a Database -- 6 Conclusions -- Finding First Integrals Using Normal Forms Modulo Differential Regular Chains -- 1 Introduction -- 2 Basis of Linear Dependences of Rational Functions -- 2.1 Preliminary Results -- 2.2 Algorithm findKernelBasis -- 2.3 A Variant of findKernelBasis -- 3 Incremental Computation of Linear Dependences -- 3.1 Algorithm incrementalFindDependence -- 3.2 Improvement Using a LU-decomposition -- 3.3 Finding the First Linear Dependence -- 3.4 Complexity of the Linear Algebra -- 4 Application to Finding First Integrals -- 4.1 Basic Differential Algebra -- 4.2 Normal Form Modulo a Differential Regular Chain -- 4.3 Normal Form Modulo a Decomposition -- 4.4 First Integrals in Differential Algebra -- 4.5 Algorithm findAllFirstIntegrals -- 4.6 Complexity -- Simplification of Cylindrical Algebraic Formulas.
1 Introduction -- 2 Preliminary -- 3 Motivating Examples -- 4 Algorithm -- 5 Experimentation -- 6 Conclusions -- Quasi-Steady State - Intuition, Perturbation Theory and Algorithmic Algebra -- 1 Introduction -- 2 Transferring Scientific to Mathematical Notions -- 3 Preliminaries and Notation -- 3.1 Lie Derivatives and Invariance Criteria -- 3.2 Singular Perturbations -- 4 The Ad Hoc Approach -- 5 Reduction in the SPT Setting -- 5.1 Conditions -- 5.2 Reduction of Rational Systems -- 5.3 Algorithmic Aspects -- 6 Identifying ``Small Parameters -- 6.1 Definition and Basic Properties -- 6.2 Structure of the TFPV Set -- 6.3 Algorithmic Aspects -- 7 The Ad Hoc Approach Revisited -- 7.1 Basics and Approximation Properties -- 7.2 Polynomial Systems and Algorithmic Aspects -- 8 Conclusion -- Polynomial Complexity Recognizing a Tropical Linear Variety -- Computing Highest-Order Divisors for a Classof Quasi-Linear Partial Differential Equations -- 1 Bound on a Degree of a Divisor -- 2 Algorithm to Find the Algebraic Variety of All the Divisors -- Symbolic Algorithm for Generating Irreducible Bases of Point Groups in the Space of SO(3) Group -- 1 Introduction -- 2 Rotations -- 2.1 Geometric Rotation -- 2.2 Rotation in Functional Spaces -- 3 Intrinsic Group -- 4 Generalized Projection Operators -- 5 Example of Using the Algorithm for the Octahedral Group -- 5.1 Construction of Elements of the Octahedral Group from Its Generators -- 5.2 Construction of Irreducible Representations of the Octahedral Group O in the Cartesian Bases -- 5.3 GPOs Implementation for Standard and Intrinsic Point Groups -- 6 Conclusion -- Symbolic-Numeric Solution of Boundary-Value Problems for the Schrödinger Equation Usingthe Finite Element Method: Scattering Problem and Resonance States -- 1 Introduction -- 2 Formulation of Boundary-Value Problems.
2.1 Scattering Problem: The Physical Asymptotic Solutions in Longitudinal Coordinates and the Scattering Matrix -- 3 Generation of Algebraic Problems -- 3.1 The Calculation Scheme for the Solution Matrix h=h -- 3.2 The Calculation Scheme for the Solution Matrix h=h -- 3.3 Algorithm for Calculating the Complex Eigenvalues and Eigenfunctions of Metastable States -- 4 Benchmark Calculations -- 5 Conclusion -- Application of Computer Algebra Methodsto Investigation of Influence of Constant Torque on Stationary Motions of Satellite -- 1 Introduction -- 2 Equations of Motion -- 3 Equilibrium Orientations -- 4 Conclusion -- Bounds for the Condition Number of Polynomials Systems with Integer Coefficients -- 1 Introduction -- 1.1 Our Results -- 1.2 Notation -- 2 Condition Number for Univariate Polynomials -- 3 Condition Number for Polynomial Systems -- 3.1 Multivariate Aggregate Condition Number -- On Invariant Manifolds and Their Stabilityin the Problem of Motion of a Rigid Bodyunder the Influence of Two Force Fields -- 1 Introduction -- 2 Formulation of the Problem -- 3 Finding Invariant Manifolds -- 3.1 Finding the Invariant Manifolds Embedded in One Another -- 3.2 Finding the Enveloping Invariant Manifolds -- 3.3 On Invariant Manifolds under Restrictions on the Constantsof the Problem Integrals -- 4 On the Stability of Stationary Invariant Manifolds -- 5 Conclusion -- Homotopy Analysis Method for StochasticDifferential Equations with Maxima -- 1 Introduction -- 2 The Model -- 3 Homotopy Analysis Method -- 4 Homotopy Analysis Method and Stochastic Differential Equation with Third-Order Nonlinearity -- 5 Concluding Remarks -- On the Topology and Visualization of Plane Algebraic Curves -- 1 Introduction -- 2 Topology Computation for Plane Algebraic Curves -- 2.1 Solving the System {f=fy=0} -- 2.2 Computing the Fibers.
2.3 Branch Number Computation and Connection -- 3 Isotopic Meshing for a Plane Curve -- 3.1 Tracing Regular Curve Segments -- 3.2 Error Control for the Meshing of a Plane Curve -- 4 Experiments -- 5 Conclusions -- Piecewise-Quadratics and Reparameterizations for Interpolating Reduced Data -- 1 Introduction -- 2 Problem Formulation and Motivation -- 3 Main Result -- 4 Experiments -- 5 Conclusions -- Parametric Solvable Polynomial Rings and Applications -- 1 Introduction -- 1.1 Related Work -- 1.2 Outline -- 2 Solvable Polynomial Rings -- 2.1 Parametric Solvable Polynomial Rings -- 2.2 Solvable Polynomial Coefficient Rings -- 2.3 Recursive Solvable Polynomial Rings -- 2.4 Solvable Quotient and Residue Rings -- 2.5 Solvable Quotient Rings as Coefficient Rings -- 3 Implementation of Solvable Polynomial Rings -- 3.1 Polynomial Rings -- 3.2 Solvable Polynomial Rings -- 3.3 Recursive Solvable Polynomial Rings -- 3.4 Solvable Quotient and Residue Rings -- 3.5 Solvable Polynomial Rings with Non-commutative Coefficients -- 4 Applications -- 4.1 Comprehensive Gröbner Bases -- 4.2 Gröbner Bases and Applications -- 4.3 Examples -- 4.4 Extension to Free Non-commutative Coefficients -- 5 Conclusions -- Triangular Decomposition of Matrices in a Domain -- 1 Introduction -- 2 Preliminary. Triangular Decomposition in Domain -- 2.1 LDU Algorithm for the Matrix with Nonzero Diagonal Minors Up to the Rank -- 3 Triangular Matrix Decomposition -- 4 LDU Algorithm with Permutation Matrices -- 4.1 Left Upper Block A Is Not Zero Block -- 4.2 Matrix A Has Full Rank, Matrices C and (or) B Are Zero Matrices -- 4.3 Matrix A Has No Full Rank, Matrices C and (or) B Are Zero Matrices, A =0 -- 5 Matrix A is Zero Matrix -- 5.1 Matrix A Is Zero Matrix, C and (or) B Are Nonzero Matrices -- 5.2 All Cases When Half of the Matrix Is Equal to Zero.
6 Example of Triangular Decomposition on Z.
Record Nr. UNISA-996466451203316
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Computer Algebra in Scientific Computing : 17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015, Proceedings / / edited by Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov
Computer Algebra in Scientific Computing : 17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015, Proceedings / / edited by Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov
Edizione [1st ed. 2015.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015
Descrizione fisica 1 online resource (XIII, 494 p. 75 illus. in color.)
Disciplina 005.1
Collana Theoretical Computer Science and General Issues
Soggetto topico Algorithms
Computer science—Mathematics
Discrete mathematics
Computer arithmetic and logic units
Discrete Mathematics in Computer Science
Symbolic and Algebraic Manipulation
Arithmetic and Logic Structures
ISBN 3-319-24021-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Intro -- Preface -- Organization -- Contents -- Hypergeometric Solutions of First-Order Linear Difference Systems with Rational-Function Coefficients -- 1 Introduction -- 2 The Problem -- 3 The Reasoning Behind the Algorithm -- 3.1 The Resolving Equation and Matrix -- 3.2 The Minimal Subspace Containing All Solutions with yi=0 -- 3.3 The Use of RNF -- 3.4 The Space of Solutions with yi=0 -- 3.5 When k=m -- 3.6 Selection of yi -- 4 The Algorithm -- 5 On the Resolving Procedure -- 6 Implementation and Experiments -- 6.1 Implementation -- 6.2 Some Experiments -- 6.3 Comparison with the Cyclic Vector Approach -- Janet Bases and Resolutions in CoCoALib -- 1 Introduction -- 2 Involutive Bases and Free Resolutions -- 3 Free Resolutions with Janet Bases -- 4 Benchmarks -- Regular Chains under Linear Changesof Coordinates and Applications -- 1 Introduction -- 2 Preliminaries -- 3 Algorithm for Linear Change of Coordinates -- 4 Noether Normalization and Regular Chains -- 5 Applications of Random Linear Changes of Coordinates -- 6 On the Computation of lim(W(T)) and sat(T) -- 7 Conclusion -- A Standard Basis Free Algorithm for Computing the Tangent Cones of a Space Curve -- 1 Introduction -- 2 Preliminaries -- 2.1 Tangent Cone of a Space Curve -- 2.2 Regular Chains -- 3 Computing Intersection Multiplicities in Higher Dimension -- 4 Computing Tangent Lines as Limits of Secants -- 4.1 An Algorithmic Principle -- 4.2 Algorithm -- 4.3 Equations of Tangent Cones -- 4.4 Examples -- 5 Conclusion -- Research on the Stability of Relative Equilibria of Oblate Axisymmetric Gyrostat by Meansof Symbolic-Numerical Modelling -- 1 Introduction -- 2 Relative Equilibria -- 3 Construction of Symbolical Model and Parametrization of a Problem -- 4 Stability of the Third Class Equilibria -- 4.1 Necessary Conditions of Stability -- 4.2 Stable and Unstable Equilibria.
4.3 Gyroscopic Stabilization: Symbolic-Numerical Modelling -- 5 Parametrical Analysis of the Conditions of Gyroscopic Stabilization for Second Class Equilibria -- 6 Conclusion -- A New Approach for Computing Regular Solutions of Linear Difference Systems -- 1 Factorial Series -- 1.1 Definition -- 1.2 Ring Structure -- 1.3 Translation z z + -- 2 The Functions n -- 2.1 Definition -- 2.2 Properties -- 3 Regular Solutions of Linear Difference Systems -- 4 Appendix -- 4.1 Proof of Proposition 1 -- 4.2 Proof of Theorem 1 -- Solving Polynomial Systems in the Cloud with Polynomial Homotopy Continuation -- 1 Introduction -- 2 Related Work and Alternative Approaches -- 3 Design and Implementation -- 4 Solving by Polynomial Homotopy Continuation -- 4.1 Running a Blackbox Solver -- 4.2 The Scripting Interface phcpy -- 5 Pattern Matching with a Database -- 5.1 The Classification Problem -- 5.2 The Graph Isomorphism Problem -- 5.3 Computing Canonical Graph Labelings With Nauty -- 5.4 Benchmarking the Canonization -- 5.5 Storing Labelings in a Database -- 6 Conclusions -- Finding First Integrals Using Normal Forms Modulo Differential Regular Chains -- 1 Introduction -- 2 Basis of Linear Dependences of Rational Functions -- 2.1 Preliminary Results -- 2.2 Algorithm findKernelBasis -- 2.3 A Variant of findKernelBasis -- 3 Incremental Computation of Linear Dependences -- 3.1 Algorithm incrementalFindDependence -- 3.2 Improvement Using a LU-decomposition -- 3.3 Finding the First Linear Dependence -- 3.4 Complexity of the Linear Algebra -- 4 Application to Finding First Integrals -- 4.1 Basic Differential Algebra -- 4.2 Normal Form Modulo a Differential Regular Chain -- 4.3 Normal Form Modulo a Decomposition -- 4.4 First Integrals in Differential Algebra -- 4.5 Algorithm findAllFirstIntegrals -- 4.6 Complexity -- Simplification of Cylindrical Algebraic Formulas.
1 Introduction -- 2 Preliminary -- 3 Motivating Examples -- 4 Algorithm -- 5 Experimentation -- 6 Conclusions -- Quasi-Steady State - Intuition, Perturbation Theory and Algorithmic Algebra -- 1 Introduction -- 2 Transferring Scientific to Mathematical Notions -- 3 Preliminaries and Notation -- 3.1 Lie Derivatives and Invariance Criteria -- 3.2 Singular Perturbations -- 4 The Ad Hoc Approach -- 5 Reduction in the SPT Setting -- 5.1 Conditions -- 5.2 Reduction of Rational Systems -- 5.3 Algorithmic Aspects -- 6 Identifying ``Small Parameters -- 6.1 Definition and Basic Properties -- 6.2 Structure of the TFPV Set -- 6.3 Algorithmic Aspects -- 7 The Ad Hoc Approach Revisited -- 7.1 Basics and Approximation Properties -- 7.2 Polynomial Systems and Algorithmic Aspects -- 8 Conclusion -- Polynomial Complexity Recognizing a Tropical Linear Variety -- Computing Highest-Order Divisors for a Classof Quasi-Linear Partial Differential Equations -- 1 Bound on a Degree of a Divisor -- 2 Algorithm to Find the Algebraic Variety of All the Divisors -- Symbolic Algorithm for Generating Irreducible Bases of Point Groups in the Space of SO(3) Group -- 1 Introduction -- 2 Rotations -- 2.1 Geometric Rotation -- 2.2 Rotation in Functional Spaces -- 3 Intrinsic Group -- 4 Generalized Projection Operators -- 5 Example of Using the Algorithm for the Octahedral Group -- 5.1 Construction of Elements of the Octahedral Group from Its Generators -- 5.2 Construction of Irreducible Representations of the Octahedral Group O in the Cartesian Bases -- 5.3 GPOs Implementation for Standard and Intrinsic Point Groups -- 6 Conclusion -- Symbolic-Numeric Solution of Boundary-Value Problems for the Schrödinger Equation Usingthe Finite Element Method: Scattering Problem and Resonance States -- 1 Introduction -- 2 Formulation of Boundary-Value Problems.
2.1 Scattering Problem: The Physical Asymptotic Solutions in Longitudinal Coordinates and the Scattering Matrix -- 3 Generation of Algebraic Problems -- 3.1 The Calculation Scheme for the Solution Matrix h=h -- 3.2 The Calculation Scheme for the Solution Matrix h=h -- 3.3 Algorithm for Calculating the Complex Eigenvalues and Eigenfunctions of Metastable States -- 4 Benchmark Calculations -- 5 Conclusion -- Application of Computer Algebra Methodsto Investigation of Influence of Constant Torque on Stationary Motions of Satellite -- 1 Introduction -- 2 Equations of Motion -- 3 Equilibrium Orientations -- 4 Conclusion -- Bounds for the Condition Number of Polynomials Systems with Integer Coefficients -- 1 Introduction -- 1.1 Our Results -- 1.2 Notation -- 2 Condition Number for Univariate Polynomials -- 3 Condition Number for Polynomial Systems -- 3.1 Multivariate Aggregate Condition Number -- On Invariant Manifolds and Their Stabilityin the Problem of Motion of a Rigid Bodyunder the Influence of Two Force Fields -- 1 Introduction -- 2 Formulation of the Problem -- 3 Finding Invariant Manifolds -- 3.1 Finding the Invariant Manifolds Embedded in One Another -- 3.2 Finding the Enveloping Invariant Manifolds -- 3.3 On Invariant Manifolds under Restrictions on the Constantsof the Problem Integrals -- 4 On the Stability of Stationary Invariant Manifolds -- 5 Conclusion -- Homotopy Analysis Method for StochasticDifferential Equations with Maxima -- 1 Introduction -- 2 The Model -- 3 Homotopy Analysis Method -- 4 Homotopy Analysis Method and Stochastic Differential Equation with Third-Order Nonlinearity -- 5 Concluding Remarks -- On the Topology and Visualization of Plane Algebraic Curves -- 1 Introduction -- 2 Topology Computation for Plane Algebraic Curves -- 2.1 Solving the System {f=fy=0} -- 2.2 Computing the Fibers.
2.3 Branch Number Computation and Connection -- 3 Isotopic Meshing for a Plane Curve -- 3.1 Tracing Regular Curve Segments -- 3.2 Error Control for the Meshing of a Plane Curve -- 4 Experiments -- 5 Conclusions -- Piecewise-Quadratics and Reparameterizations for Interpolating Reduced Data -- 1 Introduction -- 2 Problem Formulation and Motivation -- 3 Main Result -- 4 Experiments -- 5 Conclusions -- Parametric Solvable Polynomial Rings and Applications -- 1 Introduction -- 1.1 Related Work -- 1.2 Outline -- 2 Solvable Polynomial Rings -- 2.1 Parametric Solvable Polynomial Rings -- 2.2 Solvable Polynomial Coefficient Rings -- 2.3 Recursive Solvable Polynomial Rings -- 2.4 Solvable Quotient and Residue Rings -- 2.5 Solvable Quotient Rings as Coefficient Rings -- 3 Implementation of Solvable Polynomial Rings -- 3.1 Polynomial Rings -- 3.2 Solvable Polynomial Rings -- 3.3 Recursive Solvable Polynomial Rings -- 3.4 Solvable Quotient and Residue Rings -- 3.5 Solvable Polynomial Rings with Non-commutative Coefficients -- 4 Applications -- 4.1 Comprehensive Gröbner Bases -- 4.2 Gröbner Bases and Applications -- 4.3 Examples -- 4.4 Extension to Free Non-commutative Coefficients -- 5 Conclusions -- Triangular Decomposition of Matrices in a Domain -- 1 Introduction -- 2 Preliminary. Triangular Decomposition in Domain -- 2.1 LDU Algorithm for the Matrix with Nonzero Diagonal Minors Up to the Rank -- 3 Triangular Matrix Decomposition -- 4 LDU Algorithm with Permutation Matrices -- 4.1 Left Upper Block A Is Not Zero Block -- 4.2 Matrix A Has Full Rank, Matrices C and (or) B Are Zero Matrices -- 4.3 Matrix A Has No Full Rank, Matrices C and (or) B Are Zero Matrices, A =0 -- 5 Matrix A is Zero Matrix -- 5.1 Matrix A Is Zero Matrix, C and (or) B Are Nonzero Matrices -- 5.2 All Cases When Half of the Matrix Is Equal to Zero.
6 Example of Triangular Decomposition on Z.
Record Nr. UNINA-9910484288403321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Computer Algebra in Scientific Computing [[electronic resource] ] : 16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Proceedings / / edited by Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov
Computer Algebra in Scientific Computing [[electronic resource] ] : 16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Proceedings / / edited by Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov
Edizione [1st ed. 2014.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014
Descrizione fisica 1 online resource (XIV, 502 p. 73 illus.)
Disciplina 512.00285
Collana Theoretical Computer Science and General Issues
Soggetto topico Algorithms
Computer science—Mathematics
Discrete mathematics
Computer graphics
Numerical analysis
Computer arithmetic and logic units
Discrete Mathematics in Computer Science
Symbolic and Algebraic Manipulation
Computer Graphics
Numerical Analysis
Arithmetic and Logic Structures
ISBN 3-319-10515-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Relation Algebra, RelView, and Plurality Voting -- An Algorithm for Converting Nonlinear Differential Equations to Integral Equations with an Application to Parameter Estimation from Noisy Data -- Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains -- Computing the Topology of an Arrangement of Implicit and Parametric Curves Given by Values -- Finding a Deterministic Generic Position for an Algebraic Space Curve -- Computer Algebra Experimentation -- On the Parallelization of Subproduct Tree Techniques Targeting -- Many-core Architectures -- Deterministically Computing Reduction Numbers of Polynomial Ideals.
Record Nr. UNISA-996202526503316
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Computer Algebra in Scientific Computing : 16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Proceedings / / edited by Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov
Computer Algebra in Scientific Computing : 16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Proceedings / / edited by Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov
Edizione [1st ed. 2014.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014
Descrizione fisica 1 online resource (XIV, 502 p. 73 illus.)
Disciplina 512.00285
Collana Theoretical Computer Science and General Issues
Soggetto topico Algorithms
Computer science—Mathematics
Discrete mathematics
Computer graphics
Numerical analysis
Computer arithmetic and logic units
Discrete Mathematics in Computer Science
Symbolic and Algebraic Manipulation
Computer Graphics
Numerical Analysis
Arithmetic and Logic Structures
ISBN 3-319-10515-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Relation Algebra, RelView, and Plurality Voting -- An Algorithm for Converting Nonlinear Differential Equations to Integral Equations with an Application to Parameter Estimation from Noisy Data -- Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains -- Computing the Topology of an Arrangement of Implicit and Parametric Curves Given by Values -- Finding a Deterministic Generic Position for an Algebraic Space Curve -- Computer Algebra Experimentation -- On the Parallelization of Subproduct Tree Techniques Targeting -- Many-core Architectures -- Deterministically Computing Reduction Numbers of Polynomial Ideals.
Record Nr. UNINA-9910484397103321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Computer Algebra in Scientific Computing [[electronic resource] ] : 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013, Proceedings / / edited by Vladimir P. Gerdt, Wolfram Koepf, Ernst W. Mayr, Evgenii V. Vorozhtsov
Computer Algebra in Scientific Computing [[electronic resource] ] : 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013, Proceedings / / edited by Vladimir P. Gerdt, Wolfram Koepf, Ernst W. Mayr, Evgenii V. Vorozhtsov
Edizione [1st ed. 2013.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2013
Descrizione fisica 1 online resource (XVI, 443 p. 58 illus.)
Disciplina 005.1
Collana Theoretical Computer Science and General Issues
Soggetto topico Algorithms
Computer science—Mathematics
Discrete mathematics
Computer graphics
Numerical analysis
Computer arithmetic and logic units
Discrete Mathematics in Computer Science
Symbolic and Algebraic Manipulation
Computer Graphics
Numerical Analysis
Arithmetic and Logic Structures
ISBN 3-319-02297-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Polynomial algebra -- the solution of tropical linear systems and tropical polynomial systems -- the theory of matrices -- the use of computer algebra for the investigation of various mathematical and applied topics related to ordinary differential equations -- applications of symbolic computations for solving partial differential equations in mathematical physics -- problems arising at the application of computer algebra methods for finding infinitesimal symmetries -- applications of symbolic and symbolic-numeric algorithms in mechanics and physics -- automatic differentiation -- the application of the CAS Mathematica for the simulation of quantum error correction in quantum computing -- the application of the CAS GAP for the enumeration of Schur rings over the group A5 -- constructive computation of zero separation bounds for arithmetic expressions -- the parallel implementation of fast Fourier transforms with the aid of the Spiral library generation system -- the use of object-oriented languages such as Java or Scala for implementation of categories as type classes -- a survey of industrial applications of approximate computer algebra.
Record Nr. UNISA-996466014503316
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2013
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Computer Algebra in Scientific Computing : 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013, Proceedings / / edited by Vladimir P. Gerdt, Wolfram Koepf, Ernst W. Mayr, Evgenii V. Vorozhtsov
Computer Algebra in Scientific Computing : 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013, Proceedings / / edited by Vladimir P. Gerdt, Wolfram Koepf, Ernst W. Mayr, Evgenii V. Vorozhtsov
Edizione [1st ed. 2013.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2013
Descrizione fisica 1 online resource (XVI, 443 p. 58 illus.)
Disciplina 005.1
Collana Theoretical Computer Science and General Issues
Soggetto topico Algorithms
Computer science—Mathematics
Discrete mathematics
Computer graphics
Numerical analysis
Computer arithmetic and logic units
Discrete Mathematics in Computer Science
Symbolic and Algebraic Manipulation
Computer Graphics
Numerical Analysis
Arithmetic and Logic Structures
ISBN 3-319-02297-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Polynomial algebra -- the solution of tropical linear systems and tropical polynomial systems -- the theory of matrices -- the use of computer algebra for the investigation of various mathematical and applied topics related to ordinary differential equations -- applications of symbolic computations for solving partial differential equations in mathematical physics -- problems arising at the application of computer algebra methods for finding infinitesimal symmetries -- applications of symbolic and symbolic-numeric algorithms in mechanics and physics -- automatic differentiation -- the application of the CAS Mathematica for the simulation of quantum error correction in quantum computing -- the application of the CAS GAP for the enumeration of Schur rings over the group A5 -- constructive computation of zero separation bounds for arithmetic expressions -- the parallel implementation of fast Fourier transforms with the aid of the Spiral library generation system -- the use of object-oriented languages such as Java or Scala for implementation of categories as type classes -- a survey of industrial applications of approximate computer algebra.
Record Nr. UNINA-9910483834503321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2013
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Computer Algebra in Scientific Computing [[electronic resource] ] : 14th International Workshop, CASC 2012, Maribor, Slovenia, September 3-6, 2012, Proceedings / / edited by Vladimir P. Gerdt, Wolfram Koepf, Ernst W. Mayr, Evgenii V. Vorozhtsov
Computer Algebra in Scientific Computing [[electronic resource] ] : 14th International Workshop, CASC 2012, Maribor, Slovenia, September 3-6, 2012, Proceedings / / edited by Vladimir P. Gerdt, Wolfram Koepf, Ernst W. Mayr, Evgenii V. Vorozhtsov
Edizione [1st ed. 2012.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012
Descrizione fisica 1 online resource (XIV, 363 p. 42 illus.)
Disciplina 004.01/51
Collana Theoretical Computer Science and General Issues
Soggetto topico Algorithms
Computer science—Mathematics
Discrete mathematics
Computer graphics
Numerical analysis
Computer arithmetic and logic units
Discrete Mathematics in Computer Science
Symbolic and Algebraic Manipulation
Computer Graphics
Numerical Analysis
Arithmetic and Logic Structures
ISBN 3-642-32973-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto On Polynomial Solutions of Linear Partial Differential and (q-)Difference Equations -- An Algebraic Characterization of Rainbow Connectivity -- Application of the Method of Asymptotic Solution to One Multi-Parameter Problem -- A New Algorithm for Long Integer Cube Computation with Some Insight into Higher Powers -- Lightweight Abstraction for Mathematical Computation in Java -- Calculation of Normal Forms of the Euler–Poisson Equations -- Stability of Equilibrium Positions in the Spatial Circular Restricted Four-Body Problem -- Computing Hopf Bifurcations in Chemical Reaction Networks Using Reaction Coordinates -- Comprehensive Involutive Systems -- A Polynomial-Time Algorithm for the Jacobson Form of a Matrix of Ore Polynomials -- The Resonant Center Problem for a 2:-3 Resonant Cubic Lotka–Volterra System -- Complexity of Solving Systems with Few Independent Monomials and Applications to Mass-Action Kinetics Symbolic-Numerical Calculations of -- High-|m| Rydberg States and Decay Rates in Strong Magnetic Fields -- Quasi-stability versus Genericity -- Invariant Theory: Applications and Computations (Invited Talk) -- Local Generic Position for Root Isolation of Zero-Dimensional Triangular Polynomial Systems -- On Fulton’s Algorithm for Computing Intersection Multiplicities -- A Note on the Space Complexity of Fast D-Finite Function Evaluation -- Inversion Modulo Zero-Dimensional Regular Chains -- Sparse Polynomial Powering Using Heaps -- Stability Conditions of Monomial Bases and Comprehensive Gröbner Systems -- Parallel Reduction of Matrices in Gr¨obner Bases Computations -- Real and Complex Polynomial Root-Finding by Means of Eigen-Solving -- Root-Refining for a Polynomial Equation -- PoCaB: A Software Infrastructure to Explore Algebraic Methods for Bio-chemical Reaction Networks -- Approximately Singular Systems and Ill-Conditioned Polynomial Systems -- Symbolic-Numeric Implementation of the Method of Collocations and Least Squares for 3D Navier–Stokes Equations -- Verifiable Conditions on Asymptotic Stabilisability for a Class of Planar Switched Linear Systems -- Improving Angular Speed Uniformity by Optimal C0 Piecewise Reparameterization -- Usage of Modular Techniques for Efficient Computation of Ideal Operations (Invited Talk).
Record Nr. UNISA-996465277903316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui