


default search action
8th MACIS 2019: Gebze, Turkey
- Daniel Slamanig

, Elias P. Tsigaridas, Zafeirakis Zafeirakopoulos
:
Mathematical Aspects of Computer and Information Sciences - 8th International Conference, MACIS 2019, Gebze, Turkey, November 13-15, 2019, Revised Selected Papers. Lecture Notes in Computer Science 11989, Springer 2020, ISBN 978-3-030-43119-8
Algorithms and Foundations
- Tulay Ayyildiz Akoglu, Ágnes Szántó:

Certified Hermite Matrices from Approximate Roots - Univariate Case. 3-9 - Yosuke Sato, Hiroshi Sekigawa

, Ryoya Fukasaku, Katsusuke Nabeshima:
On Parametric Border Bases. 10-15 - Sény Diatta, Guillaume Moroz, Marc Pouget:

Reliable Computation of the Singularities of the Projection in ℝ3 of a Generic Surface of ℝ4. 16-34 - Viviane Ledoux, Guillaume Moroz:

Evaluation of Chebyshev Polynomials on Intervals and Application to Root Finding. 35-41 - Jakob Ablinger

:
Proving Two Conjectural Series for ζ (7) and Discovering More Series for ζ (7). 42-47 - Katsusuke Nabeshima, Shinichi Tajima:

Generalized Integral Dependence Relations. 48-63 - Alexander B. Levin:

Hilbert-Type Dimension Polynomials of Intermediate Difference-Differential Field Extensions. 64-79 - Ana C. Camargos Couto

, Marc Moreno Maza, David Linder, David J. Jeffrey
, Robert M. Corless
:
Comprehensive LU Factors of Polynomial Matrices. 80-88 - Victor Y. Pan, Qi Luan, John Svadlenka, Liang Zhao:

Sublinear Cost Low Rank Approximation via Subspace Sampling. 89-104 - Qi Luan, Victor Y. Pan:

CUR LRA at Sublinear Cost Based on Volume Maximization. 105-121 - Rémi Imbach, Victor Y. Pan:

New Practical Advances in Polynomial Root Clustering. 122-137 - Chenqi Mou, Jiahua Lai:

On the Chordality of Simple Decomposition in Top-Down Style. 138-152 - Isabela Dramnesc, Tudor Jebelean

:
Automatic Synthesis of Merging and Inserting Algorithms on Binary Trees Using Multisets in Theorema. 153-168 - Bo Huang, Wei Niu:

Algebraic Analysis of Bifurcations and Chaos for Discrete Dynamical Systems. 169-184
Security and Cryptography
- Fatma Nur Esirci

, Alp Arslan Bayrakci
:
Acceleration of Spatial Correlation Based Hardware Trojan Detection Using Shared Grids Ratio. 187-201 - Metin Evrim Ulu, Murat Cenk

:
A Parallel GPU Implementation of SWIFFTX. 202-217 - Mijail Borges-Quintana

, Miguel Angel Borges-Trenard
, Edgar Martínez-Moro, Gustavo Torres-Guerrero:
Computing an Invariant of a Linear Code. 218-233 - Sanyam Mehta, Vishal Saraswat

:
Generalized Secret Sharing Schemes Using NμMDS Codes. 234-248 - Hamdi Murat Yildirim

:
Exploiting Linearity of Modular Multiplication. 249-269
Combinatorics, Codes, Designs and Graphs
- Ali Kemal Uncu

:
On a Weighted Spin of the Lebesgue Identity. 273-279 - Yasemin Büyükçolak

, Didem Gözüpek
, Sibel Özkan
:
Edge-Critical Equimatchable Bipartite Graphs. 280-287 - Nour Alnajjarine

, Michel Lavrauw
:
Determining the Rank of Tensors in $\mathbb {F}_q^2\otimes \mathbb {F}_q^3\otimes \mathbb {F}_q^3$. 288-294 - Lama Tarsissi

, Laurent Vuillon:
Second Order Balance Property on Christoffel Words. 295-312 - Michael Wagner, Ludwig Kampel, Dimitris E. Simos:

IPO-Q: A Quantum-Inspired Approach to the IPO Strategy Used in CA Generation. 313-323 - Taha Sevim

, Muhammet Selçuk Güvel
, Lale Özkahya
:
A Fast Counting Method for 6-Motifs with Low Connectivity. 324-332 - Per Alexandersson

, Petter Restadh
:
LaserTank is NP-Complete. 333-338
Data Modeling and Machine Learning
- Dorian Florescu, Matthew England

:
Improved Cross-Validation for Classifiers that Make Algorithmic Choices to Minimise Runtime Without Compromising Output Correctness. 341-356 - Luca Carlini, Nihat Ay, Christiane Görgen:

A Numerical Efficiency Analysis of a Common Ancestor Condition. 357-363 - Türkü Özlüm Çelik, Asgar Jamneshan, Guido Montúfar, Bernd Sturmfels, Lorenzo Venturello

:
Optimal Transport to a Variety. 364-381 - Haoliang Zhang, Hongbo Xu, Jinqiao Shi, Tingwen Liu

, Jing Ya:
SFV-CNN: Deep Text Sentiment Classification with Scenario Feature Representation. 382-394 - Muhammad Zubair Islam

, Kashif Mehmood
, Hyung Seok Kim:
Reinforcement Learning Based Interactive Agent for Personalized Mathematical Skill Enhancement. 395-407 - Sahin Isik

, Kemal Özkan
:
Common Vector Approach Based Image Gradients Computation for Edge Detection. 408-421 - Bilal Mokhtari, Kamal Eddine Melkemi, Dominique Michelucci, Sebti Foufou:

Optimizing Query Perturbations to Enhance Shape Retrieval. 422-437 - Chahrazed Kettaf, Abderrahmane Yousfate:

Authorship Attribution by Functional Discriminant Analysis. 438-449
Tools and Software Track
- Angelos Mantzaflaris:

An Overview of Geometry Plus Simulation Modules. 453-456 - Antonio Jiménez-Pastor

:
DD-Finite Functions Implemented in Sage. 457-462

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














