the proceedings contain 21 papers. the special focus in this conference is on computeralgebra in scientificcomputing. the topics include: A Modular Algorithm to Compute the Resultant of Multivariate P...
ISBN:
(纸本)9783031690693
the proceedings contain 21 papers. the special focus in this conference is on computeralgebra in scientificcomputing. the topics include: A Modular Algorithm to Compute the Resultant of Multivariate Polynomials over algebraic Number Fields Presented with Multiple Extensions;the Liouville Generator for Producing Integrable Expressions;symbolic-Numeric Solving Boundary Value Problems: Collective Models of Atomic Nuclei;on Formal Power Series Solutions of Regular Differential Chains;a Dataset for Suggesting Variable Orderings for Cylindrical algebraic Decompositions;stability Analysis of a Differential Model for Quasi-Periodic Plasma Perturbations;counting the Integer Points of Parametric Polytopes: A Maple Implementation;algebraic Representations for Faster Predictions in Convolutional Neural Networks;computing a Basis of the Set of Isogenies Between Two Supersingular Elliptic Curves;on the Radical of a Polynomial Ideal with Parameters;contribution to Integral Elimination;sparse Tensors and Subdivision Methods for Finding the Zero Set of Polynomial Equations;merging Adjacent Cells During Single Cell Construction;computing Clipped Products;fast Integral Bases Computation;on Rational Recursion for Holonomic Sequences;GPU Accelerated Newton for Taylor Series Solutions of Polynomial Homotopies in Multiple Double Precision;new three- and Five-Stage Symplectic Schemes in the Forest–Ruth Family;merging Multiple Algorithms for computing Comprehensive Gröbner Systems Using Parallel Processing.
the proceedings contain 21 papers. the special focus in this conference is on . the topics include: Non-principal Branches of Lambert W. A Tale of 2 Circles;on the Qualitative Analysis of the Equations of Motion of a ...
ISBN:
(纸本)9783031417238
the proceedings contain 21 papers. the special focus in this conference is on . the topics include: Non-principal Branches of Lambert W. A Tale of 2 Circles;on the Qualitative Analysis of the Equations of Motion of a Nonholonomic Mechanical System;solving Parametric Linear Systems Using Sparse Rational Function Interpolation;on the Distance to the Nearest Defective Matrix;effective Algorithm for computing Noetherian Operators of Positive Dimensional Ideals;on the Structure and Generators of Differential Invariant algebras;an Algorithm for the Intersection Problem of Planar Parametric Curves;a Symbolic-Numeric Method for Solving the Poisson Equation in Polar Coordinates;two Variants of Bézout Subresultants for Several Univariate Polynomials;generating Elementary Integrable Expressions;efficient Quotients of Non-commutative Polynomials;inverse Kinematics and Path Planning of Manipulator Using Real Quantifier Elimination Based on Comprehensive Gröbner Systems;how to Automatise Proofs of Operator Statements: Moore–Penrose Inverse;A Case Study;a Modular Algorithm for computingthe Intersection of a One-Dimensional Quasi-Component and a Hypersurface;certified Study of Internal Solitary Waves;root-Squaring for Root-Finding;symbolic-Numerical Algorithm for Solving the Problem of Heavy Ion Collisions in an Optical Model with a Complex Potential;on the Complexity of Linear algebra Operations over algebraic Extension Fields;range Functions of Any Convergence Order and their Amortized Complexity Analysis.
the proceedings contain 21 papers. the special focus in this conference is on computeralgebra in scientificcomputing. the topics include: A General Method of Finding New Symplectic Schemes for Hamiltonian ...
ISBN:
(纸本)9783031147876
the proceedings contain 21 papers. the special focus in this conference is on computeralgebra in scientificcomputing. the topics include: A General Method of Finding New Symplectic Schemes for Hamiltonian Mechanics;a Mechanical Method for Isolating Locally Optimal Points of Certain Radical Functions;subresultant Chains Using Bézout Matrices;application of Symbolic-Numerical Modeling Tools for Analysis of Gyroscopic Stabilization of Gyrostat Equilibria;computer Science for Continuous Data: Survey, Vision, theory, and Practice of a computer Analysis System;computational Aspects of Equivariant Hilbert Series of Canonical Rings for algebraic Curves;symbolic-Numeric Algorithm for Calculations in Geometric Collective Model of Atomic Nuclei;analyses and Implementations of Chordality-Preserving Top-Down Algorithms for Triangular Decomposition;accelerated Subdivision for Clustering Roots of Polynomials Given by Evaluation Oracles;preface;survey on Generalizations of the Intermediate Value theorem and Applications;on Equilibrium Positions in the Problem of the Motion of a System of Two Bodies in a Uniform Gravity Field;an Interpolation Algorithm for computing Dixon Resultants;distance Evaluation to the Set of Matrices with Multiple Eigenvalues;on Boundary Conditions Parametrized by Analytic Functions;computingthe Integer Hull of Convex Polyhedral Sets;a Comparison of Algorithms for Proving Positivity of Linearly Recurrent Sequences;stability Analysis of Periodic Motion of the Swinging Atwood Machine;new Heuristic to Choose a Cylindrical algebraic Decomposition Variable Ordering Motivated by Complexity Analysis.
scientificcomputing is one of the most energy-intensive areas of computer science. Petabytes of data are processed and stored for a single experiment while super-computers consume tens of megawatts. these last years,...
详细信息
ISBN:
(纸本)9798331505295;9798331505288
scientificcomputing is one of the most energy-intensive areas of computer science. Petabytes of data are processed and stored for a single experiment while super-computers consume tens of megawatts. these last years, new lossy compression techniques dedicated to scientific data have been introduced, such as zfp and sz. they allow one to drastically reduce the size of the data but they require additional computations for compression and decompression. Recently, a new homomorphic compressor, named blaz, has been developed which makes it possible to perform matrix operations directly among the compression data. Important gains are obtained since decompression and re-compression operations are avoided and since less operations are needed to compute among the compressed data. In this article, we show that using blazfor linear algebra operations among matrices may reduce the energy consumption by a factor 10 compared to standard operations (without any compression) and by a factor 100 compared to the zfp. Beside measures on sequences of matrix operations, a case study in data analysis in presented.
the proceedings contain 17 papers. the special focus in this conference is on Clinical Image-Based Procedures. the topics include: DCL preface;LL-COVID-19 preface;PPML preface;intestine Segmentation with Small Computa...
ISBN:
(纸本)9783030908737
the proceedings contain 17 papers. the special focus in this conference is on Clinical Image-Based Procedures. the topics include: DCL preface;LL-COVID-19 preface;PPML preface;intestine Segmentation with Small Computational Cost for Diagnosis Assistance of Ileus and Intestinal Obstruction;multi-task Federated Learning for Heterogeneous Pancreas Segmentation;federated Learning in the Cloud for Analysis of Medical Images - Experience with Open Source Frameworks;on the Fairness of Swarm Learning in Skin Lesion Classification;Lessons Learned from the Development and Application of Medical Imaging-Based AI Technologies for Combating COVID-19: Why Discuss, What Next;the Role of Pleura and Adipose in Lung Ultrasound AI;DuCN: Dual-Children Network for Medical Diagnosis and Similar Case Recommendation Towards COVID-19;data Imputation and Reconstruction of Distributed Parkinson’s Disease Clinical Assessments: A Comparative Evaluation of Two Aggregation Algorithms;defending Medical Image Diagnostics Against Privacy Attacks Using Generative Methods: Application to Retinal Diagnostics;generation of Patient-Specific, Ligamentoskeletal, Finite Element Meshes for Scoliosis Correction Planning;Bayesian Graph Neural Networks for EEG-Based Emotion Recognition;ViTBIS: Vision Transformer for Biomedical Image Segmentation;Attention-Guided Pancreatic Duct Segmentation from Abdominal CT Volumes;development of the Next Generation Hand-Held Doppler with Waveform Phasicity Predictive Capabilities Using Deep Learning;learning from Mistakes: An Error-Driven Mechanism to Improve Segmentation Performance Based on Expert Feedback.
We propose a new computational method for comprehensive Grobner systems by merging algorithms developed by Kapur-Sun-Wang and Nabeshima, and leveraging parallel processing. Furthermore, we have implemented this comput...
详细信息
ISBN:
(纸本)9783031690693;9783031690709
We propose a new computational method for comprehensive Grobner systems by merging algorithms developed by Kapur-Sun-Wang and Nabeshima, and leveraging parallel processing. Furthermore, we have implemented this computational method in the computeralgebra system Risa/Asir, we evaluate its effectiveness based on the results of computational experiments.
there has been a growing need to devise processes that can create comprehensive datasets in the world of computeralgebra, both for accurate benchmarking and for new intersections with machine learning technology. We ...
详细信息
ISBN:
(纸本)9783031690693;9783031690709
there has been a growing need to devise processes that can create comprehensive datasets in the world of computeralgebra, both for accurate benchmarking and for new intersections with machine learning technology. We present here a method to generate integrands that are guaranteed to be integrable, dubbed the LIOUVILLE method. It is based on Liouville's theorem and the Parallel Risch Algorithm for symbolic integration. We show that this data generation method retains the best qualities of previous data generation methods, while overcoming some of the issues built into that prior work. the LIOUVILLE generator is able to generate sufficiently complex and realistic integrands, and could be used for benchmarking or machine learning training tasks related to symbolic integration.
Let E, E;be two supersingular elliptic curves defined over a finite field. the set Hom(E, E') of isogenies from E to E' forms a free Z-module of rank 4. We give a way to compute an explicit Z-basis of Hom(E, E...
详细信息
ISBN:
(纸本)9783031690693;9783031690709
Let E, E;be two supersingular elliptic curves defined over a finite field. the set Hom(E, E') of isogenies from E to E' forms a free Z-module of rank 4. We give a way to compute an explicit Z-basis of Hom(E, E'). A key ingredient is finding two isogenies.,. : E. E' of coprime degrees, which we can find using the meet-in-the-middle algorithm over two different supersingular isogeny graphs. We then left-compose the isogenies. and. with endomorphisms of E to obtain generators of Hom(E, E'). Finally, we remove the Z-linear dependency of the generators by linear algebra to get a Z-basis of Hom(E, E').
暂无评论