# Mathematical Aspects of Computer and Information Sciences

## Book Description

Mathematical Aspects of Computer and Information Sciences: 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings (Lecture Notes in Computer Science)

This book constitutes the refereed proceedings of the 7th International Conference on Mathematical Aspects of Computer and Information Sciences, MACIS 2017, held in Vienna, Austria, in November 2017.

The 28 revised papers and 8 short papers presented were carefully reviewed and selected from 67 submissions. The papers are organized in the following topical sections: foundation of algorithms in mathematics, engineering and scientific computation; combinatorics and codes in computer science; data modeling and analysis; and mathematical aspects of information security and cryptography.

### Table of Contents

Chapter 1. Automated Reasoning for Knot Semigroups and -orbifold Groups of Knots

Chapter 2. Balancing Expression Dags for More Efficient Lazy Adaptive Evaluation

Chapter 3. Certification Using Newton-Invariant Subspaces

Chapter 4. Decomposition of Low Rank Multi-symmetric Tensor

Chapter 5. Dimension Quasi-polynomials of Inversive Difference Field Extensions with Weighted Translations

Chapter 6. Efficient Certification of Numeric Solutions to Eigenproblems

Chapter 7. Fast Chinese Remaindering in Practice

Chapter 8. Homotopies for Connected Components of Algebraic Sets with Application to Computing Critical Sets

Chapter 9. Implementing Fast Carryless Multiplication

Chapter 10. Improving Enclosure of Interval Scalar Projection Operation

Chapter 11. Integrating Algebraic and SAT Solvers

Chapter 12. Isabelle Formalization of Set Theoretic Structures and Set Comprehensions

Chapter 13. Jordan Canonical Form with Parameters from Frobenius Form with Parameters

Chapter 14. Knowledge-Based Interoperability for Mathematical Software Systems

Chapter 15. On Interval Methods with Zero Rewriting and Exact Geometric Computation

Chapter 16. Sparse Rational Function Interpolation with Finitely Many Values for the Coefficients

Chapter 17. Virtual Theories – A Uniform Interface to Mathematical Knowledge Bases

Chapter 18. On Real Roots Counting for Non-radical Parametric Ideals

Chapter 19. On the Bit-Size of Non-radical Triangular Sets

Chapter 20. Rapidly Convergent Integrals and Function Evaluation

Chapter 21. Stirling Numbers, Lambert W and the Gamma Function

Chapter 22. The Potential and Challenges of CAD with Equational Constraints for SC-Square

Chapter 23. New Small 4-Designs with Nonabelian Automorphism Groups

Chapter 24. On Classifying Steiner Triple Systems by Their 3-Rank

Chapter 25. Right-Justified Characterization for Generating Regular Pattern Avoiding Permutations

Chapter 26. Experimental Study of the Ehrhart Interpolation Polytope

Chapter 27. On Testing Isomorphism of Graphs of Bounded Eigenvalue Multiplicity

Chapter 28. A Simple Streaming Bit-Parallel Algorithm for Swap Pattern Matching

Chapter 29. Epidemic Intelligence Statistical Modelling for Biosurveillance

Chapter 30. Mining Acute Stroke Patients' Data Using Supervised Machine Learning

Chapter 31. Parallel and Robust Empirical Risk Minimization via the Median Trick

Chapter 32. Leakage-Resilient Riffle Shuffle

Chapter 33. Ordinary Pairing-Friendly Genus 2 Hyperelliptic Curves with Absolutely Simple Jacobians

Chapter 34. Statistical Testing of PRNG: Generalized Gambler's Ruin Problem

Chapter 35. Subtleties in Security Definitions for Predicate Encryption with Public Index

Chapter 36. Code-Based Key Encapsulation from McEliece's Cryptosystem

## Book Details

- Title: Mathematical Aspects of Computer and Information Sciences
- Length: 462 pages
- Edition: 1st ed. 2017
- Language: English
- Publisher: Springer
- Publication Date: 2018-01-25
- ISBN-10: 3319724525
- ISBN-13: 9783319724522

## Book DownloadTry Audible and Get 2 Free Audiobooks »

Download Link | Format | Size (MB) | Upload Date |
---|---|---|---|

Download from UsersCloud | True PDF | 9.3 | 12/26/2017 |

Download from UsersCloud | True PDF | 9.3 | 09/12/2018 |