Advertisement

Mathematical Aspects of Computer and Information Sciences

7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings

  • Johannes Blömer
  • Ilias S. Kotsireas
  • Temur Kutsia
  • Dimitris E. Simos
Conference proceedings MACIS 2017

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

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

Table of contents

  1. Front Matter
    Pages I-XI
  2. Foundation of Algorithms in Mathematics, Engineering and Scientific Computation

    1. Front Matter
      Pages 1-1
    2. Jonathan D. Hauenstein
      Pages 34-50
    3. Jouhayna Harmouch, Bernard Mourrain, Houssam Khalil
      Pages 51-66
    4. Joris van der Hoeven, Bernard Mourrain
      Pages 81-94
    5. Joris van der Hoeven
      Pages 95-106
    6. Daniel J. Bates, Dani A. Brake, Jonathan D. Hauenstein, Andrew J. Sommese, Charles W. Wampler
      Pages 107-120
    7. Joris van der Hoeven, Robin Larrieu, Grégoire Lecerf
      Pages 121-136
    8. Jan Horáček, Jan Burchard, Bernd Becker, Martin Kreuzer
      Pages 147-162
    9. Robert M. Corless, Marc Moreno Maza, Steven E. Thornton
      Pages 179-194
    10. Michael Kohlhase, Luca De Feo, Dennis Müller, Markus Pfeiffer, Florian Rabe, Nicolas M. Thiéry et al.
      Pages 195-210
    11. Tom Wiesing, Michael Kohlhase, Florian Rabe
      Pages 243-257
    12. Ryoya Fukasaku, Yosuke Sato
      Pages 258-263
    13. Heba al Kafri, David J. Jeffrey, Robert M. Corless
      Pages 270-274
    14. David J. Jeffrey, Nick Murdoch
      Pages 275-279
    15. James H. Davenport, Matthew England
      Pages 280-285
  3. Combinatorics and Codes in Computer Science

    1. Front Matter
      Pages 287-287
    2. Vedran Krčadinac, Mario Osvin Pavčević
      Pages 289-294
    3. Dieter Jungnickel, Spyros S. Magliveras, Vladimir D. Tonchev, Alfred Wassermann
      Pages 295-305
    4. Phan Thuan Do, Thi Thu Huong Tran, Vincent Vajnovszki
      Pages 306-319
    5. Vissarion Fisikopoulos, Zafeirakis Zafeirakopoulos
      Pages 320-324
  4. Data Modeling and Analysis

    1. Front Matter
      Pages 331-331
    2. Václav Blažej, Ondřej Suchý, Tomáš Valla
      Pages 333-348
    3. Christina Parpoula, Alex Karagrigoriou, Angeliki Lambrou
      Pages 349-363
    4. Alexander Kogler, Patrick Traxler
      Pages 378-391
  5. Mathematical Aspects of Information Security and Cryptography

    1. Front Matter
      Pages 393-393
    2. Paweł Lorek, Michał Kulis, Filip Zagórski
      Pages 395-408
    3. Paweł Lorek, Marcin Słowik, Filip Zagórski
      Pages 425-437
  6. Back Matter
    Pages 461-462

About these proceedings

Introduction

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.

Keywords

artificial intelligence cryptography data mining data security eigenvalues and eigenfunctions formal logic matrix algebra numerical methods probability problem solving project management regular expressions robots satisfiability semantics set theory software engineering stream ciphers surveillance systems theorem proving

Editors and affiliations

  • Johannes Blömer
    • 1
  • Ilias S. Kotsireas
    • 2
  • Temur Kutsia
    • 3
  • Dimitris E. Simos
    • 4
  1. 1.University of PaderbornPaderbornGermany
  2. 2.Wilfrid Laurier UniversityWaterlooCanada
  3. 3.Johannes Kepler University LinzLinzAustria
  4. 4.SBA ResearchViennaAustria

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-72453-9
  • Copyright Information Springer International Publishing AG 2017
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-72452-2
  • Online ISBN 978-3-319-72453-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Electronics