| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Daniel Slamanig, Elias P. Tsigaridas, Zafeirakis Zafeirakopoulos (eds.) |
Mathematical Aspects of Computer and Information Sciences - 8th International Conference, MACIS 2019, Gebze, Turkey, November 13-15, 2019, Revised Selected Papers  |
MACIS  |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Bo Huang, Wei Niu 0001 |
Algebraic Analysis of Bifurcations and Chaos for Discrete Dynamical Systems. |
MACIS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Nour Alnajjarine, Michel Lavrauw |
Determining the Rank of Tensors in $\mathbb {F}_q^2\otimes \mathbb {F}_q^3\otimes \mathbb {F}_q^3$. |
MACIS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Per Alexandersson, Petter Restadh |
LaserTank is NP-Complete. |
MACIS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Lama Tarsissi, Laurent Vuillon |
Second Order Balance Property on Christoffel Words. |
MACIS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Angelos Mantzaflaris |
An Overview of Geometry Plus Simulation Modules. |
MACIS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Chenqi Mou, Jiahua Lai |
On the Chordality of Simple Decomposition in Top-Down Style. |
MACIS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Sanyam Mehta, Vishal Saraswat |
Generalized Secret Sharing Schemes Using NμMDS Codes. |
MACIS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Fatma Nur Esirci, Alp Arslan Bayrakci |
Acceleration of Spatial Correlation Based Hardware Trojan Detection Using Shared Grids Ratio. |
MACIS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Muhammad Zubair Islam, Kashif Mehmood, Hyung Seok Kim |
Reinforcement Learning Based Interactive Agent for Personalized Mathematical Skill Enhancement. |
MACIS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Sény Diatta, Guillaume Moroz, Marc Pouget |
Reliable Computation of the Singularities of the Projection in ℝ3 of a Generic Surface of ℝ4. |
MACIS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Yosuke Sato, Hiroshi Sekigawa, Ryoya Fukasaku, Katsusuke Nabeshima |
On Parametric Border Bases. |
MACIS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Chahrazed Kettaf, Abderrahmane Yousfate |
Authorship Attribution by Functional Discriminant Analysis. |
MACIS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Victor Y. Pan, Qi Luan, John Svadlenka, Liang Zhao |
Sublinear Cost Low Rank Approximation via Subspace Sampling. |
MACIS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Jiménez-Pastor |
DD-Finite Functions Implemented in Sage. |
MACIS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander B. Levin |
Hilbert-Type Dimension Polynomials of Intermediate Difference-Differential Field Extensions. |
MACIS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Viviane Ledoux, Guillaume Moroz |
Evaluation of Chebyshev Polynomials on Intervals and Application to Root Finding. |
MACIS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Jakob Ablinger |
Proving Two Conjectural Series for ζ (7) and Discovering More Series for ζ (7). |
MACIS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Ali Kemal Uncu |
On a Weighted Spin of the Lebesgue Identity. |
MACIS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Metin Evrim Ulu, Murat Cenk |
A Parallel GPU Implementation of SWIFFTX. |
MACIS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Dorian Florescu, Matthew England 0001 |
Improved Cross-Validation for Classifiers that Make Algorithmic Choices to Minimise Runtime Without Compromising Output Correctness. |
MACIS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Wagner 0026, Ludwig Kampel, Dimitris E. Simos |
IPO-Q: A Quantum-Inspired Approach to the IPO Strategy Used in CA Generation. |
MACIS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Hamdi Murat Yildirim |
Exploiting Linearity of Modular Multiplication. |
MACIS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Isabela Dramnesc, Tudor Jebelean |
Automatic Synthesis of Merging and Inserting Algorithms on Binary Trees Using Multisets in Theorema. |
MACIS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Katsusuke Nabeshima, Shinichi Tajima |
Generalized Integral Dependence Relations. |
MACIS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana C. Camargos Couto, Marc Moreno Maza, David Linder, David J. Jeffrey, Robert M. Corless |
Comprehensive LU Factors of Polynomial Matrices. |
MACIS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Sahin Isik, Kemal Özkan |
Common Vector Approach Based Image Gradients Computation for Edge Detection. |
MACIS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Qi Luan, Victor Y. Pan |
CUR LRA at Sublinear Cost Based on Volume Maximization. |
MACIS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Yasemin Büyükçolak, Didem Gözüpek, Sibel Özkan |
Edge-Critical Equimatchable Bipartite Graphs. |
MACIS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Haoliang Zhang, Hongbo Xu, Jinqiao Shi, Tingwen Liu, Jing Ya |
SFV-CNN: Deep Text Sentiment Classification with Scenario Feature Representation. |
MACIS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Carlini, Nihat Ay, Christiane Görgen |
A Numerical Efficiency Analysis of a Common Ancestor Condition. |
MACIS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Tulay Ayyildiz Akoglu, Ágnes Szántó |
Certified Hermite Matrices from Approximate Roots - Univariate Case. |
MACIS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Rémi Imbach, Victor Y. Pan |
New Practical Advances in Polynomial Root Clustering. |
MACIS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Bilal Mokhtari, Kamal Eddine Melkemi, Dominique Michelucci, Sebti Foufou |
Optimizing Query Perturbations to Enhance Shape Retrieval. |
MACIS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Türkü Özlüm Çelik, Asgar Jamneshan, Guido Montúfar, Bernd Sturmfels, Lorenzo Venturello |
Optimal Transport to a Variety. |
MACIS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Mijail Borges-Quintana, Miguel Angel Borges-Trenard, Edgar Martínez-Moro, Gustavo Torres-Guerrero |
Computing an Invariant of a Linear Code. |
MACIS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Taha Sevim, Muhammet Selçuk Güvel, Lale Özkahya |
A Fast Counting Method for 6-Motifs with Low Connectivity. |
MACIS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Pawel Lorek, Michal Kulis, Filip Zagórski |
Leakage-Resilient Riffle Shuffle. |
MACIS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Schirra, Martin Wilhelm |
On Interval Methods with Zero Rewriting and Exact Geometric Computation. |
MACIS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Phan-Thuan Do, Thi Thu Huong Tran, Vincent Vajnovszki |
Right-Justified Characterization for Generating Regular Pattern Avoiding Permutations. |
MACIS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Edoardo Persichetti |
Code-Based Key Encapsulation from McEliece's Cryptosystem. |
MACIS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Jouhayna Harmouch, Bernard Mourrain, Houssam Khalil |
Decomposition of Low Rank Multi-symmetric Tensor. |
MACIS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Qiao-Long Huang, Xiao-Shan Gao |
Sparse Rational Function Interpolation with Finitely Many Values for the Coefficients. |
MACIS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Takunari Miyazaki |
On Testing Isomorphism of Graphs of Bounded Eigenvalue Multiplicity. |
MACIS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexei Lisitsa 0001, Alexei Vernitski |
Automated Reasoning for Knot Semigroups and \pi π -orbifold Groups of Knots. |
MACIS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Xavier Dahan |
On the Bit-Size of Non-radical Triangular Sets. |
MACIS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | James H. Davenport, Matthew England 0001 |
The Potential and Challenges of CAD with Equational Constraints for SC-Square. |
MACIS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom Wiesing, Michael Kohlhase, Florian Rabe 0001 |
Virtual Theories - A Uniform Interface to Mathematical Knowledge Bases. |
MACIS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Dieter Jungnickel, Spyros S. Magliveras, Vladimir D. Tonchev, Alfred Wassermann |
On Classifying Steiner Triple Systems by Their 3-Rank. |
MACIS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert M. Corless, Marc Moreno Maza, Steven E. Thornton |
Jordan Canonical Form with Parameters from Frobenius Form with Parameters. |
MACIS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Vedran Krcadinac, Mario-Osvin Pavcevic |
New Small 4-Designs with Nonabelian Automorphism Groups. |
MACIS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Johannes Blömer, Gennadij Liske |
Subtleties in Security Definitions for Predicate Encryption with Public Index. |
MACIS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Joris van der Hoeven, Robin Larrieu, Grégoire Lecerf |
Implementing Fast Carryless Multiplication. |
MACIS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | David J. Jeffrey, Nick Murdoch |
Stirling Numbers, Lambert W and the Gamma Function. |
MACIS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Joris van der Hoeven |
Fast Chinese Remaindering in Practice. |
MACIS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Heba al Kafri, David J. Jeffrey, Robert M. Corless |
Rapidly Convergent Integrals and Function Evaluation. |
MACIS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Johannes Blömer, Ilias S. Kotsireas, Temur Kutsia, Dimitris E. Simos (eds.) |
Mathematical Aspects of Computer and Information Sciences - 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings |
MACIS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Ritu Kundu, Toktam Mahmoodi |
Mining Acute Stroke Patients' Data Using Supervised Machine Learning. |
MACIS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Christina Parpoula, Alex Karagrigoriou, Angeliki Lambrou |
Epidemic Intelligence Statistical Modelling for Biosurveillance. |
MACIS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Joris van der Hoeven, Bernard Mourrain |
Efficient Certification of Numeric Solutions to Eigenproblems. |
MACIS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryoya Fukasaku, Yosuke Sato |
On Real Roots Counting for Non-radical Parametric Ideals. |
MACIS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander B. Levin |
Dimension Quasi-polynomials of Inversive Difference Field Extensions with Weighted Translations. |
MACIS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Vissarion Fisikopoulos, Zafeirakis Zafeirakopoulos |
Experimental Study of the Ehrhart Interpolation Polytope. |
MACIS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Cezary Kaliszyk, Karol Pak |
Isabelle Formalization of Set Theoretic Structures and Set Comprehensions. |
MACIS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Kogler, Patrick Traxler |
Parallel and Robust Empirical Risk Minimization via the Median Trick. |
MACIS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Wilhelm |
Balancing Expression Dags for More Efficient Lazy Adaptive Evaluation. |
MACIS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomasz Dobrowolski |
Improving Enclosure of Interval Scalar Projection Operation. |
MACIS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Kohlhase, Luca De Feo, Dennis Müller 0001, Markus Pfeiffer, Florian Rabe 0001, Nicolas M. Thiéry, Victor Vasilyev, Tom Wiesing |
Knowledge-Based Interoperability for Mathematical Software Systems. |
MACIS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel J. Bates, Daniel A. Brake, Jonathan D. Hauenstein, Andrew J. Sommese, Charles W. Wampler |
Homotopies for Connected Components of Algebraic Sets with Application to Computing Critical Sets. |
MACIS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Horácek, Jan Burchard, Bernd Becker 0001, Martin Kreuzer |
Integrating Algebraic and SAT Solvers. |
MACIS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Georgios Fotiadis, Elisavet Konstantinou |
Ordinary Pairing-Friendly Genus 2 Hyperelliptic Curves with Absolutely Simple Jacobians. |
MACIS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Pawel Lorek, Marcin Slowik, Filip Zagórski |
Statistical Testing of PRNG: Generalized Gambler's Ruin Problem. |
MACIS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Václav Blazej, Ondrej Suchý, Tomás Valla |
A Simple Streaming Bit-Parallel Algorithm for Swap Pattern Matching. |
MACIS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan D. Hauenstein |
Certification Using Newton-Invariant Subspaces. |
MACIS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Ilias S. Kotsireas, Siegfried M. Rump, Chee K. Yap (eds.) |
Mathematical Aspects of Computer and Information Sciences - 6th International Conference, MACIS 2015, Berlin, Germany, November 11-13, 2015, Revised Selected Papers |
MACIS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacqueline W. Daykin, Mirka Miller, Joe Ryan 0001 |
Trends in Temporal Reasoning: Constraints, Graphs and Posets. |
MACIS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Brauße, Margarita Vladimirovna Korovina, Norbert Th. Müller |
Using Taylor Models in Exact Real Arithmetic. |
MACIS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Mörig |
Another Classroom Example of Robustness Problems in Planar Convex Hull Computation. |
MACIS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Takehiko Kinoshita, Yoshitaka Watanabe, Mitsuhiro T. Nakao |
H3 and H4 Regularities of the Poisson Equation on Polygonal Domains. |
MACIS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Munehiro Kobayashi, Hidenao Iwane, Takuya Matsuzaki, Hirokazu Anai |
Efficient Subformula Orders for Real Quantifier Elimination of Non-prenex Formulas. |
MACIS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank-M. Quedenfeld, Christopher Wolf |
Advanced Algebraic Attack on Trivium. |
MACIS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Johannes Blömer, Jakob Juhnke, Nils Löken |
Short Group Signatures with Distributed Traceability. |
MACIS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Gustavson, Omar León Sánchez |
A New Bound for the Existence of Differential Field Extensions. |
MACIS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergei P. Sidorov |
Linear k-Monotonicity Preserving Algorithms and Their Approximation Properties. |
MACIS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Wenya An, Xiaoyu Chen 0001, Dongming Wang 0001 |
Searching for Geometric Theorems Using Features Retrieved from Diagrams. |
MACIS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Radu Hambasan, Michael Kohlhase |
Faceted Search for Mathematics. |
MACIS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | James Freitag, Wei Li 0056 |
Simple Differential Field Extensions and Effective Bounds. |
MACIS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel A. Brake, Daniel J. Bates, Vakhtang Putkaradze, Anthony A. Maciejewski |
Workspace Multiplicity and Fault Tolerance of Cooperating Robots. |
MACIS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Schröder 0001, Florian Steinberg 0001, Martin Ziegler 0001 |
Average-Case Bit-Complexity Theory of Real Functions. |
MACIS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel A. Brake, Jonathan D. Hauenstein, Andrew J. Sommese |
Numerical Local Irreducible Decomposition. |
MACIS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Hugo Férée, Martin Ziegler 0001 |
On the Computational Complexity of Positive Linear Functionals on C[0;1]. |
MACIS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Améndola, Mathias Drton, Bernd Sturmfels |
Maximum Likelihood Estimates for Gaussian Mixtures Are Transcendental. |
MACIS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Jordan Ninin |
Global Optimization Based on Contractor Programming: An Overview of the IBEX Library. |
MACIS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Hongbo Li 0012 |
Symbolic Geometric Reasoning with Advanced Invariant Algebras. |
MACIS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Rémi Imbach, Guillaume Moroz, Marc Pouget |
Numeric and Certified Isolation of the Singularities of the Projection of a Smooth Space Curve. |
MACIS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Mörig, Stefan Schirra |
Precision-Driven Computation in the Evaluation of Expression-Dags with Common Subexpressions: Problems and Solutions. |
MACIS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Marko Lange |
A New Matrix Splitting Based Relaxation for the Quadratic Assignment Problem. |
MACIS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Günther 0001, Volker Krummel |
Implementing Cryptographic Pairings on Accumulator Based Smart Card Architectures. |
MACIS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Gleb Pogudin |
A "Polynomial Shifting" Trick in Differential Algebra. |
MACIS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Péter Kutas |
Some Results Concerning the Explicit Isomorphism Problem over Number Fields. |
MACIS |
2015 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license