• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 53 matches

• 2016
• 
  Ilias S. Kotsireas, Siegfried M. Rump, Chee K. Yap:
  Mathematical Aspects of Computer and Information Sciences - 6th International Conference, MACIS 2015, Berlin, Germany, November 11-13, 2015, Revised Selected Papers. Lecture Notes in Computer Science 9582, Springer 2016, ISBN 978-3-319-32858-4 [contents]
• 2015
• 
  Carlos Améndola, Mathias Drton, Bernd Sturmfels:
  Maximum Likelihood Estimates for Gaussian Mixtures Are Transcendental. MACIS 2015: 579-590
• 
  Wenya An, Xiaoyu Chen, Dongming Wang:
  Searching for Geometric Theorems Using Features Retrieved from Diagrams. MACIS 2015: 383-397
• 
  Salvatore Aronica, Alessio Langiu, Francesca Marzi, Salvatore Mazzola, Filippo Mignosi, Giulio Nazzicone:
  Compressing Big Data: When the Rate of Convergence to the Entropy Matters. MACIS 2015: 285-289
• 
  Prashant Batra:
  On the Quality of Some Root-Bounds. MACIS 2015: 591-595
• 
  Andreas Beyer, Yu Liu, Hubert Mara, Susanne Krömker:
  Mesh Reduction to Exterior Surface Parts via Random Convex-Edge Affine Features. MACIS 2015: 63-77
• 
  Johannes Blömer, Jakob Juhnke, Nils Löken:
  Short Group Signatures with Distributed Traceability. MACIS 2015: 166-180
• 
  Janko Böhm, Wolfram Decker, Simon Keicher, Yue Ren:
  Current Challenges in Developing Open Source Computer Algebra Systems. MACIS 2015: 3-24
• 
  Waad Bouaguel, Emna Mouelhi, Ghazi Bel Mufti:
  New Method for Instance Feature Selection Using Redundant Features for Biological Data. MACIS 2015: 398-405
• 
  Olivier Bournez, Daniel Silva Graça, Amaury Pouly:
  Rigorous Numerical Computation of Polynomial Differential Equations Over Unbounded Domains. MACIS 2015: 469-473
• 
  Daniel A. Brake, Daniel J. Bates, Vakhtang Putkaradze, Anthony A. Maciejewski:
  Workspace Multiplicity and Fault Tolerance of Cooperating Robots. MACIS 2015: 109-123
• 
  Daniel A. Brake, Jonathan D. Hauenstein, Andrew J. Sommese:
  Numerical Local Irreducible Decomposition. MACIS 2015: 124-129
• 
  Franz Brauße, Margarita Vladimirovna Korovina, Norbert Th. Müller:
  Using Taylor Models in Exact Real Arithmetic. MACIS 2015: 474-488
• 
  Peter Bürgisser, Kathlén Kohn, Pierre Lairez, Bernd Sturmfels:
  Computing the Chow Variety of Quadratic Space Curves. MACIS 2015: 130-136
• 
  Noah S. Daleo, Jonathan D. Hauenstein:
  Numerically Testing Generically Reduced Projective Schemes for the Arithmetic Gorenstein Property. MACIS 2015: 137-142
• 
  Jacqueline W. Daykin, Mirka Miller, Joe Ryan:
  Trends in Temporal Reasoning: Constraints, Graphs and Posets. MACIS 2015: 290-304
• 
  Jean-Guillaume Dumas, Dominique Duval, Burak Ekici, Damien Pous, Jean-Claude Reynaud:
  Relative Hilbert-Post Completeness for Exceptions. MACIS 2015: 596-610
• 
  Hugo Férée, Martin Ziegler:
  On the Computational Complexity of Positive Linear Functionals on C[0;1]. MACIS 2015: 489-504
• 
  James Freitag, Wei Li:
  Simple Differential Field Extensions and Effective Bounds. MACIS 2015: 343-357
• 
  Ryoya Fukasaku, Hidenao Iwane, Yosuke Sato:
  Improving a CGS-QE Algorithm. MACIS 2015: 231-235
• 
  Joachim Giesen, Sören Laue, Jens K. Müller:
  Reconstructing a Sparse Solution from a Compressed Support Vector Machine. MACIS 2015: 305-319
• 
  Peter Günther, Volker Krummel:
  Implementing Cryptographic Pairings on Accumulator Based Smart Card Architectures. MACIS 2015: 151-165
• 
  Richard Gustavson, Omar León Sánchez:
  A New Bound for the Existence of Differential Field Extensions. MACIS 2015: 358-361
• 
  Radu Hambasan, Michael Kohlhase:
  Faceted Search for Mathematics. MACIS 2015: 406-420
• 
  Joris van der Hoeven:
  Certifying Trajectories of Dynamical Systems. MACIS 2015: 520-532
• 
  Rémi Imbach, Guillaume Moroz, Marc Pouget:
  Numeric and Certified Isolation of the Singularities of the Projection of a Smooth Space Curve. MACIS 2015: 78-92
• 
  Claude-Pierre Jeannerod:
  Exploiting Structure in Floating-Point Arithmetic. MACIS 2015: 25-34
• 
  Michael Joswig, Georg Loho, Benjamin Lorenz, Benjamin Schröter:
  Linear Programs and Convex Hulls Over Fields of Puiseux Fractions. MACIS 2015: 429-445
• 
  Takehiko Kinoshita, Yoshitaka Watanabe, Mitsuhiro T. Nakao:
  H³ and H⁴ Regularities of the Poisson Equation on Polygonal Domains. MACIS 2015: 199-201
• 
  Ágnes Kiss, Juliane Krämer, Anke Stüber:
  On the Optimality of Differential Fault Analyses on CLEFIA. MACIS 2015: 181-196

skipping 23 more matches