Advertisement

© 2020

Mathematical Aspects of Computer and Information Sciences

8th International Conference, MACIS 2019, Gebze, Turkey, November 13–15, 2019, Revised Selected Papers

  • Daniel Slamanig
  • Elias Tsigaridas
  • Zafeirakis Zafeirakopoulos
Conference proceedings MACIS 2019

Part of the Lecture Notes in Computer Science book series (LNCS, volume 11989)

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 11989)

Table of contents

  1. Front Matter
    Pages i-xi
    PDF

  2. Algorithms and Foundations

    1. Front Matter
      Pages 1-1
      PDF
    2. Certified Hermite Matrices from Approximate Roots - Univariate Case
      Tulay Ayyildiz Akoglu, Agnes Szanto
      Pages 3-9
    3. On Parametric Border Bases
      Yosuke Sato, Hiroshi Sekigawa, Ryoya Fukasaku, Katsusuke Nabeshima
      Pages 10-15
    4. Reliable Computation of the Singularities of the Projection in \(\mathbb R^3\) of a Generic Surface of \(\mathbb R^4\)
      Sény Diatta, Guillaume Moroz, Marc Pouget
      Pages 16-34
    5. Evaluation of Chebyshev Polynomials on Intervals and Application to Root Finding
      Viviane Ledoux, Guillaume Moroz
      Pages 35-41
    6. Proving Two Conjectural Series for \(\zeta (7)\) and Discovering More Series for \(\zeta (7)\)
      Jakob Ablinger
      Pages 42-47
    7. Generalized Integral Dependence Relations
      Katsusuke Nabeshima, Shinichi Tajima
      Pages 48-63
    8. Hilbert-Type Dimension Polynomials of Intermediate Difference-Differential Field Extensions
      Alexander Levin
      Pages 64-79
    9. Comprehensive LU Factors of Polynomial Matrices
      Ana C. Camargos Couto, Marc Moreno Maza, David Linder, David J. Jeffrey, Robert M. Corless
      Pages 80-88
    10. Sublinear Cost Low Rank Approximation via Subspace Sampling
      Victor Y. Pan, Qi Luan, John Svadlenka, Liang Zhao
      Pages 89-104
    11. CUR LRA at Sublinear Cost Based on Volume Maximization
      Qi Luan, Victor Y. Pan
      Pages 105-121
    12. New Practical Advances in Polynomial Root Clustering
      Rémi Imbach, Victor Y. Pan
      Pages 122-137
    13. On the Chordality of Simple Decomposition in Top-Down Style
      Chenqi Mou, Jiahua Lai
      Pages 138-152
    14. Automatic Synthesis of Merging and Inserting Algorithms on Binary Trees Using Multisets in Theorema
      Isabela Drămnesc, Tudor Jebelean
      Pages 153-168
    15. Algebraic Analysis of Bifurcations and Chaos for Discrete Dynamical Systems
      Bo Huang, Wei Niu
      Pages 169-184

  3. Security and Cryptography

    1. Front Matter
      Pages 185-185
      PDF
    2. Acceleration of Spatial Correlation Based Hardware Trojan Detection Using Shared Grids Ratio
      Fatma Nur Esirci, Alp Arslan Bayrakci
      Pages 187-201
    3. A Parallel GPU Implementation of SWIFFTX
      Metin Evrim Ulu, Murat Cenk
      Pages 202-217
    4. Computing an Invariant of a Linear Code
      Mijail Borges-Quintana, Miguel Ángel Borges-Trenard, Edgar Martínez-Moro, Gustavo Torres-Guerrero
      Pages 218-233

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 8th International Conference on Mathematical Aspects of Computer and Information Sciences, MACIS 2019, held in Gebze, Turkey, in November 2019.

The 22 revised papers and 14 short papers presented were carefully reviewed and selected from 66 submissions. The papers are organized in the following topical sections: algorithms and foundation; security and cryptography; combinatorics, codes, designs and graphs; data modeling and machine learning; tools and software track.

Keywords

artificial intelligence computer hardware computer networks computer security computer systems cryptography data mining data security engineering formal logic mathematics matrix algebra numerical methods probability semantics signal processing software engineering theoretical computer science

Editors and affiliations

  1. 1.AIT Austrian Institute of TechnologyViennaAustria
  2. 2.IMJ-PRGSorbonne UniversityParisFrance
  3. 3.Institute of Information TechnologiesGebze Technical UniversityGebzeTurkey

Bibliographic information