Frontiers in Algorithmics [[electronic resource] ] : 9th International Workshop, FAW 2015, Guilin, China, July 3-5, 2015, Proceedings / / edited by Jianxin Wang, Chee Yap |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (XI, 335 p. 54 illus.) |
Disciplina | 005.1 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Algorithms
Computer science—Mathematics Discrete mathematics Computer science Discrete Mathematics in Computer Science Theory of Computation |
ISBN | 3-319-19647-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Graph Modification Problems: A Modern Perspective -- Soft Subdivision Search in Motion Planning, II: Axiomatics -- On r-Gatherings on the Line -- A New Algorithm for Intermediate Dataset Storage in a Cloud-Based Dataflow -- Efficient Computation of the Characteristic Polynomial of a Threshold Graph -- A Fast and Practical Method to Estimate Volumes of Convex Polytopes -- Social Models and Algorithms for Optimization of Contact Immunity of Oral Polio Vaccine -- The Directed Dominating Set Problem: Generalized Leaf Removal and Belief Propagation -- A Linear Time Algorithm for Ordered Partition -- Machine Scheduling with a Maintenance Interval and Job Delivery Coordination -- Lower and Upper Bounds for Random Mimimum Satisfiability Problem -- On Solving Systems of Diagonal Polynomial Equations Over Finite Fields -- Pattern Backtracking Algorithm for the Workflow Satisfiability Problem with User-Independent Constraints -- On the Sound Covering Cycle Problem in Paired de Bruijn Graphs -- Approximation Algorithms for the Multilevel Facility Location Problem with Linear/Submodular Penalties -- Smaller Kernels for Several FPT Problems Based on Simple Observations -- ParameterizedMinimum Cost Partition of a Tree with Supply and Demand -- The Online Storage Strategy for Automated Storage and Retrieval System with Single Open in One Dimension -- Union Closed Tree Convex Sets -- Fast Quantum Algorithms for Least Squares Regression and Statistic Leverage Scores -- A New Distributed Algorithm for Computing a Dominating Set on Grids -- Approximate Model Counting via Extension Rule -- Improved Information Set Decoding for Code-Based Cryptosystems with Constrained Memory -- Truthful Strategy and Resource Integration for Multi-tenant Data Center Demand Response -- Local Search to Approximate Max NAE-k-Sat Tightly -- Faster Computation of the Maximum Dissociation Set and Minimum 3-Path Vertex Cover in Graphs -- Enumeration, Counting, and Random Generation of Ladder Lotteries -- Efficient Modular Reduction Algorithm Without Correction Phase -- Super Solutions of Random Instances of Satisfiability -- A Data Streams Analysis Strategy Based on Hadoop Scheduling Optimization for Smart Grid Application. |
Record Nr. | UNISA-996198523303316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Frontiers in Algorithmics : 9th International Workshop, FAW 2015, Guilin, China, July 3-5, 2015, Proceedings / / edited by Jianxin Wang, Chee Yap |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (XI, 335 p. 54 illus.) |
Disciplina | 005.1 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Algorithms
Computer science—Mathematics Discrete mathematics Computer science Discrete Mathematics in Computer Science Theory of Computation |
ISBN | 3-319-19647-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Graph Modification Problems: A Modern Perspective -- Soft Subdivision Search in Motion Planning, II: Axiomatics -- On r-Gatherings on the Line -- A New Algorithm for Intermediate Dataset Storage in a Cloud-Based Dataflow -- Efficient Computation of the Characteristic Polynomial of a Threshold Graph -- A Fast and Practical Method to Estimate Volumes of Convex Polytopes -- Social Models and Algorithms for Optimization of Contact Immunity of Oral Polio Vaccine -- The Directed Dominating Set Problem: Generalized Leaf Removal and Belief Propagation -- A Linear Time Algorithm for Ordered Partition -- Machine Scheduling with a Maintenance Interval and Job Delivery Coordination -- Lower and Upper Bounds for Random Mimimum Satisfiability Problem -- On Solving Systems of Diagonal Polynomial Equations Over Finite Fields -- Pattern Backtracking Algorithm for the Workflow Satisfiability Problem with User-Independent Constraints -- On the Sound Covering Cycle Problem in Paired de Bruijn Graphs -- Approximation Algorithms for the Multilevel Facility Location Problem with Linear/Submodular Penalties -- Smaller Kernels for Several FPT Problems Based on Simple Observations -- ParameterizedMinimum Cost Partition of a Tree with Supply and Demand -- The Online Storage Strategy for Automated Storage and Retrieval System with Single Open in One Dimension -- Union Closed Tree Convex Sets -- Fast Quantum Algorithms for Least Squares Regression and Statistic Leverage Scores -- A New Distributed Algorithm for Computing a Dominating Set on Grids -- Approximate Model Counting via Extension Rule -- Improved Information Set Decoding for Code-Based Cryptosystems with Constrained Memory -- Truthful Strategy and Resource Integration for Multi-tenant Data Center Demand Response -- Local Search to Approximate Max NAE-k-Sat Tightly -- Faster Computation of the Maximum Dissociation Set and Minimum 3-Path Vertex Cover in Graphs -- Enumeration, Counting, and Random Generation of Ladder Lotteries -- Efficient Modular Reduction Algorithm Without Correction Phase -- Super Solutions of Random Instances of Satisfiability -- A Data Streams Analysis Strategy Based on Hadoop Scheduling Optimization for Smart Grid Application. |
Record Nr. | UNINA-9910483755803321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Mathematical Software -- ICMS 2014 [[electronic resource] ] : 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings / / edited by Hoon Hong, Chee Yap |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (XXXII, 735 p. 194 illus.) |
Disciplina | 510.285 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science—Mathematics
Discrete mathematics Numerical analysis Software engineering Algorithms Computer science Discrete Mathematics in Computer Science Mathematical Applications in Computer Science Numerical Analysis Software Engineering Theory of Computation |
ISBN | 3-662-44199-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Experimental Computation and Visual Theorems -- Soft Math Math Soft -- Flyspecking Flyspeck -- Symbolic Computing Package for Mathematica for Versatile Manipulation of Mathematical Expressions -- Representing, Archiving, and Searching the Space of Mathematical Knowledge -- Early Examples of Software in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory Graphs -- Complexity Analysis of the Bivariate Buchberger Algorithm in Theorema -- Theorema 2.0: A System for Mathematical Theory Exploration -- New Approaches in Black Box Group Theory -- A GAP Package for Computing with Real Semisimple Lie Algebras -- Bacterial Genomics and Computational Group Theory: The BioGAP Package for GAP -- SgpDec: Cascade (De)Compositions of Finite Transformation Semigroups and Permutation Groups -- Approximating Generators for Integral Arithmetic Groups -- Software for Groups: Theory and Practice -- Computation of Genus 0 Belyi Functions -- On Computation of the First Baues–Wirsching Cohomology of a Freely-Generated Small Category -- Codes over a Non Chain Ring with Some Applications -- On the Weight Enumerators of the Projections of the 2-adic Golay Code of Length 24 to Z2e -- Computer Based Reconstruction of Binary Extremal Self-dual Codes of Length 32 -- Magma Implementation of Decoding Algorithms for General Algebraic Geometry Codes -- Reversible Codes and Applications to DNA -- javaPlex: A Research Software Package for Persistent (Co)Homology -- PHAT – Persistent Homology Algorithms Toolbox -- Computing Persistence Modules on Commutative Ladders of Finite Type -- Heuristics for Sphere Recognition -- CAPD::RedHom v2 - Homology Software Based on Reduction Algorithms -- The Gudhi Library: Simplicial Complexes and Persistent Homology -- Bertini real: Software for One- and Two-Dimensional Real Algebraic Sets -- Hom4PS-3: A Parallel Numerical Solver for Systems of Polynomial Equations Based on Polyhedral Homotopy Continuation Methods -- Geometry CGAL – Reliable Geometric Computing for Academia and Industry -- Implementing the L∞ Segment Voronoi Diagram in CGAL and Applying in VLSI Pattern Analysis -- BULL! - The Molecular Geometry Engine Based on Voronoi Diagram, Quasi-Triangulation, and Beta-Complex -- Integrating Circumradius and Area Formulae for Cyclic Pentagons -- Computer Aided Geometry -- The Sustainability of Digital Educational Resources -- A Touch-Operation-Based Dynamic Geometry System: Design and Implementation -- OpenGeo: An Open Geometric Knowledge Base -- On Computing a Cell Decomposition of a Real Surface Containing Infinitely Many Singularities -- Robustly and Efficiently Computing Algebraic Curves and Surfaces -- Computing the Orthogonal Projection of Rational Curves onto Rational Parameterized Surface by Symbolic Methods -- Isotopic Approximation of Algebraic Curves -- Isotopic Arrangement of Simple Curves: An Exact Numerical Approach Based on Subdivision -- Real Quantifier Elimination in the RegularChains Library -- Software for Quantifier Elimination in Propositional Logic -- Quantifier Elimination for Linear Modular Constraints -- Skolemization Modulo Theories -- Incremental QBF Solving by DepQBF -- NLCertify: A Tool for Formal Nonlinear Optimization -- Developing Linear Algebra Packages on Risa/Asir for Eigenproblems -- Mathematical Software for Modified Bessel Functions -- BetaSCP2: A Program for the Optimal Prediction of Side-Chains in Proteins -- Computation of an Improved Lower Bound to Giuga’s Primality Conjecture -- An Extension and Efficient Calculation of the Horner’s Rule for Matrices -- What Is New in CoCoA? -- Maximizing Likelihood Function for Parameter Estimation in Point Clouds via Groebner Basis -- Groebner Basis in Geodesy and Geoinformatics -- Groebner Bases in Theorema -- Effective Computation of Radical of Ideals and Its Application to Invariant Theory -- Generic and Parallel Groebner Bases in JAS -- Application of Groebner Basis Methodology to Nonlinear Mechanics Problems -- Software for Discussing Parametric Polynomial Systems: The Gröbner Cover -- An Algorithm for Computing Standard Bases by Change of Ordering via Algebraic Local Cohomology -- Verification of Gröbner Basis Candidates -- Cylindrical Algebraic Decomposition in the RegularChains Library -- Hierarchical Comprehensive Triangular Decomposition -- A Package for Parametric Matrix Computations -- Choosing a Variable Ordering for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition -- Using the Regular Chains Library to Build Cylindrical Algebraic Decompositions by Projecting and Lifting -- An Improvement of Rosenfeld-Gröbner Algorithm -- Doing Algebraic Geometry with the RegularChains Library -- On Multivariate Birkhoff Rational Interpolation -- Computing Moore-Penrose Inverses of Ore Polynomial Matrices -- Software Using the Gr¨obner Cover for Geometrical Loci Computation and Classification -- Using Maple’s RegularChains Library to Automatically Classify Plane Geometric Loci -- Solving Parametric Polynomial Systems by RealComprehensiveTriangularize -- QE Software Based on Comprehensive Gröbner Systems -- SyNRAC: A Tolbox for Solving Real Algebraic Constraints.-An Algorithm for Computing Tjurina Stratifications of μ-Constant Deformations by Using Local Cohomology Classes with Parameters -- An Implementation Method of Boolean Gröbner Bases and Comprehensive Boolean Gr¨obner Bases on General Computer Algebra Systems -- A Method to Determine if Two Parametric Polynomial Systems Are Equal -- An Implementation Method of a CAS with a Handwriting Interface on Tablet Devices -- New Way of Explanation of the Stochastic Interpretation of Wave Functions and Its Teaching Materials Using KETpic -- IFSGen4LATEX: Interactive Graphical User Interface For Generation and Visualization of Iterated Function Systems in LATEX -- GNU TEXMACS Towards a Scientific Office Suite -- Computer Software Program for Representation and Visualization of Free-Form Curves through Bio-inspired Optimization Techniques -- On Some Attempts to Verify the Effect of Using High-Quality Graphics in Mathematics Education -- Math Web Search Interfaces and the Generation Gap of Mathematicians -- Practice with Computer Algebra Systems in Mathematics Education and Teacher Training Courses -- Development of Visual Aid Materials in Teaching the Bivariate Normal Distributions -- Creating Interactive Graphics for Mathematics Education Utilizing KETpic -- A Tablet-Compatible Web-Interface for Mathematical Collaboration -- Development and Evaluation of a Web-Based Drill System to Master Basic Math Formulae Using a New Interactive Math Input Method -- Generating Data of Mathematical Figures for 3D Printers with KETpic and Educational Impact of the Printed Models -- A Touch-Based Mathematical Expression Editor -- Establishment of KETpic Programming Styles for Drawing -- Integration of Libnormaliz in CoCoALib and CoCoA 5 -- Elements of Design for Containers and Solutions in the LinBox Library -- Recent Developments in Normaliz -- The Basic Polynomial Algebra Subprograms -- Function Interval Arithmetic -- Generating Optimized Sparse Matrix Vector Product over Finite Fields -- swMATH – An Information Service for Mathematical Software -- MathLibre: Modifiable Desktop Environment for Mathematics -- Software Packages for Holonomic Gradient Method -- Metalibm: A Mathematical Functions Code Generator -- From Calculus to Algorithms without Errors -- Dense Arithmetic over Finite Fields with the CUMODP Library. |
Record Nr. | UNISA-996198259203316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Mathematical Software -- ICMS 2014 : 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings / / edited by Hoon Hong, Chee Yap |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (XXXII, 735 p. 194 illus.) |
Disciplina | 510.285 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science—Mathematics
Discrete mathematics Numerical analysis Software engineering Algorithms Computer science Discrete Mathematics in Computer Science Mathematical Applications in Computer Science Numerical Analysis Software Engineering Theory of Computation |
ISBN | 3-662-44199-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Experimental Computation and Visual Theorems -- Soft Math Math Soft -- Flyspecking Flyspeck -- Symbolic Computing Package for Mathematica for Versatile Manipulation of Mathematical Expressions -- Representing, Archiving, and Searching the Space of Mathematical Knowledge -- Early Examples of Software in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory Graphs -- Complexity Analysis of the Bivariate Buchberger Algorithm in Theorema -- Theorema 2.0: A System for Mathematical Theory Exploration -- New Approaches in Black Box Group Theory -- A GAP Package for Computing with Real Semisimple Lie Algebras -- Bacterial Genomics and Computational Group Theory: The BioGAP Package for GAP -- SgpDec: Cascade (De)Compositions of Finite Transformation Semigroups and Permutation Groups -- Approximating Generators for Integral Arithmetic Groups -- Software for Groups: Theory and Practice -- Computation of Genus 0 Belyi Functions -- On Computation of the First Baues–Wirsching Cohomology of a Freely-Generated Small Category -- Codes over a Non Chain Ring with Some Applications -- On the Weight Enumerators of the Projections of the 2-adic Golay Code of Length 24 to Z2e -- Computer Based Reconstruction of Binary Extremal Self-dual Codes of Length 32 -- Magma Implementation of Decoding Algorithms for General Algebraic Geometry Codes -- Reversible Codes and Applications to DNA -- javaPlex: A Research Software Package for Persistent (Co)Homology -- PHAT – Persistent Homology Algorithms Toolbox -- Computing Persistence Modules on Commutative Ladders of Finite Type -- Heuristics for Sphere Recognition -- CAPD::RedHom v2 - Homology Software Based on Reduction Algorithms -- The Gudhi Library: Simplicial Complexes and Persistent Homology -- Bertini real: Software for One- and Two-Dimensional Real Algebraic Sets -- Hom4PS-3: A Parallel Numerical Solver for Systems of Polynomial Equations Based on Polyhedral Homotopy Continuation Methods -- Geometry CGAL – Reliable Geometric Computing for Academia and Industry -- Implementing the L∞ Segment Voronoi Diagram in CGAL and Applying in VLSI Pattern Analysis -- BULL! - The Molecular Geometry Engine Based on Voronoi Diagram, Quasi-Triangulation, and Beta-Complex -- Integrating Circumradius and Area Formulae for Cyclic Pentagons -- Computer Aided Geometry -- The Sustainability of Digital Educational Resources -- A Touch-Operation-Based Dynamic Geometry System: Design and Implementation -- OpenGeo: An Open Geometric Knowledge Base -- On Computing a Cell Decomposition of a Real Surface Containing Infinitely Many Singularities -- Robustly and Efficiently Computing Algebraic Curves and Surfaces -- Computing the Orthogonal Projection of Rational Curves onto Rational Parameterized Surface by Symbolic Methods -- Isotopic Approximation of Algebraic Curves -- Isotopic Arrangement of Simple Curves: An Exact Numerical Approach Based on Subdivision -- Real Quantifier Elimination in the RegularChains Library -- Software for Quantifier Elimination in Propositional Logic -- Quantifier Elimination for Linear Modular Constraints -- Skolemization Modulo Theories -- Incremental QBF Solving by DepQBF -- NLCertify: A Tool for Formal Nonlinear Optimization -- Developing Linear Algebra Packages on Risa/Asir for Eigenproblems -- Mathematical Software for Modified Bessel Functions -- BetaSCP2: A Program for the Optimal Prediction of Side-Chains in Proteins -- Computation of an Improved Lower Bound to Giuga’s Primality Conjecture -- An Extension and Efficient Calculation of the Horner’s Rule for Matrices -- What Is New in CoCoA? -- Maximizing Likelihood Function for Parameter Estimation in Point Clouds via Groebner Basis -- Groebner Basis in Geodesy and Geoinformatics -- Groebner Bases in Theorema -- Effective Computation of Radical of Ideals and Its Application to Invariant Theory -- Generic and Parallel Groebner Bases in JAS -- Application of Groebner Basis Methodology to Nonlinear Mechanics Problems -- Software for Discussing Parametric Polynomial Systems: The Gröbner Cover -- An Algorithm for Computing Standard Bases by Change of Ordering via Algebraic Local Cohomology -- Verification of Gröbner Basis Candidates -- Cylindrical Algebraic Decomposition in the RegularChains Library -- Hierarchical Comprehensive Triangular Decomposition -- A Package for Parametric Matrix Computations -- Choosing a Variable Ordering for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition -- Using the Regular Chains Library to Build Cylindrical Algebraic Decompositions by Projecting and Lifting -- An Improvement of Rosenfeld-Gröbner Algorithm -- Doing Algebraic Geometry with the RegularChains Library -- On Multivariate Birkhoff Rational Interpolation -- Computing Moore-Penrose Inverses of Ore Polynomial Matrices -- Software Using the Gr¨obner Cover for Geometrical Loci Computation and Classification -- Using Maple’s RegularChains Library to Automatically Classify Plane Geometric Loci -- Solving Parametric Polynomial Systems by RealComprehensiveTriangularize -- QE Software Based on Comprehensive Gröbner Systems -- SyNRAC: A Tolbox for Solving Real Algebraic Constraints.-An Algorithm for Computing Tjurina Stratifications of μ-Constant Deformations by Using Local Cohomology Classes with Parameters -- An Implementation Method of Boolean Gröbner Bases and Comprehensive Boolean Gr¨obner Bases on General Computer Algebra Systems -- A Method to Determine if Two Parametric Polynomial Systems Are Equal -- An Implementation Method of a CAS with a Handwriting Interface on Tablet Devices -- New Way of Explanation of the Stochastic Interpretation of Wave Functions and Its Teaching Materials Using KETpic -- IFSGen4LATEX: Interactive Graphical User Interface For Generation and Visualization of Iterated Function Systems in LATEX -- GNU TEXMACS Towards a Scientific Office Suite -- Computer Software Program for Representation and Visualization of Free-Form Curves through Bio-inspired Optimization Techniques -- On Some Attempts to Verify the Effect of Using High-Quality Graphics in Mathematics Education -- Math Web Search Interfaces and the Generation Gap of Mathematicians -- Practice with Computer Algebra Systems in Mathematics Education and Teacher Training Courses -- Development of Visual Aid Materials in Teaching the Bivariate Normal Distributions -- Creating Interactive Graphics for Mathematics Education Utilizing KETpic -- A Tablet-Compatible Web-Interface for Mathematical Collaboration -- Development and Evaluation of a Web-Based Drill System to Master Basic Math Formulae Using a New Interactive Math Input Method -- Generating Data of Mathematical Figures for 3D Printers with KETpic and Educational Impact of the Printed Models -- A Touch-Based Mathematical Expression Editor -- Establishment of KETpic Programming Styles for Drawing -- Integration of Libnormaliz in CoCoALib and CoCoA 5 -- Elements of Design for Containers and Solutions in the LinBox Library -- Recent Developments in Normaliz -- The Basic Polynomial Algebra Subprograms -- Function Interval Arithmetic -- Generating Optimized Sparse Matrix Vector Product over Finite Fields -- swMATH – An Information Service for Mathematical Software -- MathLibre: Modifiable Desktop Environment for Mathematics -- Software Packages for Holonomic Gradient Method -- Metalibm: A Mathematical Functions Code Generator -- From Calculus to Algorithms without Errors -- Dense Arithmetic over Finite Fields with the CUMODP Library. |
Record Nr. | UNINA-9910484422003321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|