- Taha Sevim
, Muhammet Selçuk Güvel
, Lale Özkahya
:
A Fast Counting Method for 6-Motifs with Low Connectivity. MACIS 2019: 324-332 - Lama Tarsissi
, Laurent Vuillon:
Second Order Balance Property on Christoffel Words. MACIS 2019: 295-312 - Metin Evrim Ulu, Murat Cenk
:
A Parallel GPU Implementation of SWIFFTX. MACIS 2019: 202-217 - Ali Kemal Uncu
:
On a Weighted Spin of the Lebesgue Identity. MACIS 2019: 273-279 - Michael Wagner, Ludwig Kampel, Dimitris E. Simos:
IPO-Q: A Quantum-Inspired Approach to the IPO Strategy Used in CA Generation. MACIS 2019: 313-323 - Hamdi Murat Yildirim
:
Exploiting Linearity of Modular Multiplication. MACIS 2019: 249-269 - Haoliang Zhang, Hongbo Xu, Jinqiao Shi, Tingwen Liu, Jing Ya:
SFV-CNN: Deep Text Sentiment Classification with Scenario Feature Representation. MACIS 2019: 382-394 - 2017
- 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: 107-120 - Václav Blazej, Ondrej Suchý
, Tomás Valla
:
A Simple Streaming Bit-Parallel Algorithm for Swap Pattern Matching. MACIS 2017: 333-348 - Johannes Blömer, Gennadij Liske:
Subtleties in Security Definitions for Predicate Encryption with Public Index. MACIS 2017: 438-453 - Robert M. Corless
, Marc Moreno Maza, Steven E. Thornton:
Jordan Canonical Form with Parameters from Frobenius Form with Parameters. MACIS 2017: 179-194 - Xavier Dahan:
On the Bit-Size of Non-radical Triangular Sets. MACIS 2017: 264-269 - James H. Davenport
, Matthew England
:
The Potential and Challenges of CAD with Equational Constraints for SC-Square. MACIS 2017: 280-285 - Phan-Thuan Do, Thi Thu Huong Tran, Vincent Vajnovszki:
Right-Justified Characterization for Generating Regular Pattern Avoiding Permutations. MACIS 2017: 306-319 - Tomasz Dobrowolski:
Improving Enclosure of Interval Scalar Projection Operation. MACIS 2017: 137-146 - Vissarion Fisikopoulos
, Zafeirakis Zafeirakopoulos:
Experimental Study of the Ehrhart Interpolation Polytope. MACIS 2017: 320-324 - Georgios Fotiadis, Elisavet Konstantinou:
Ordinary Pairing-Friendly Genus 2 Hyperelliptic Curves with Absolutely Simple Jacobians. MACIS 2017: 409-424 - Ryoya Fukasaku, Yosuke Sato:
On Real Roots Counting for Non-radical Parametric Ideals. MACIS 2017: 258-263 - Jouhayna Harmouch, Bernard Mourrain, Houssam Khalil:
Decomposition of Low Rank Multi-symmetric Tensor. MACIS 2017: 51-66 - Jonathan D. Hauenstein:
Certification Using Newton-Invariant Subspaces. MACIS 2017: 34-50 - Joris van der Hoeven
:
Fast Chinese Remaindering in Practice. MACIS 2017: 95-106 - Joris van der Hoeven
, Robin Larrieu, Grégoire Lecerf:
Implementing Fast Carryless Multiplication. MACIS 2017: 121-136 - Joris van der Hoeven
, Bernard Mourrain:
Efficient Certification of Numeric Solutions to Eigenproblems. MACIS 2017: 81-94 - Jan Horácek, Jan Burchard, Bernd Becker
, Martin Kreuzer
:
Integrating Algebraic and SAT Solvers. MACIS 2017: 147-162 - Qiao-Long Huang, Xiao-Shan Gao:
Sparse Rational Function Interpolation with Finitely Many Values for the Coefficients. MACIS 2017: 227-242 - David J. Jeffrey, Nick Murdoch:
Stirling Numbers, Lambert W and the Gamma Function. MACIS 2017: 275-279 - Dieter Jungnickel, Spyros S. Magliveras, Vladimir D. Tonchev
, Alfred Wassermann:
On Classifying Steiner Triple Systems by Their 3-Rank. MACIS 2017: 295-305 - Heba al Kafri, David J. Jeffrey, Robert M. Corless
:
Rapidly Convergent Integrals and Function Evaluation. MACIS 2017: 270-274 - Cezary Kaliszyk
, Karol Pak
:
Isabelle Formalization of Set Theoretic Structures and Set Comprehensions. MACIS 2017: 163-178 - Alexander Kogler, Patrick Traxler:
Parallel and Robust Empirical Risk Minimization via the Median Trick. MACIS 2017: 378-391