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.