Accepted Submissions

53 accepted papers for MACIS 2015

Noah Daleo and Jonathan Hauenstein.
	Numerically Testing Generically Reduced Projective Schemes for the Arithmetic Gorenstein Property

Nobit Yamamoto, Kaname Matsue and Tomohiro Hiwaki.
	Construction of Lyapunov functions by validated computation

Kenta Kobayashi.
	A Recursive Formula for the Circumradius of the n-Simplex

Olivier Bournez, Daniel Graça and Amaury Pouly.
	Rigorous numerical computation of polynomial differential equations over unbounded domains

Jordan Ninin.
	Global Optimization based on Contractor Programming: an Overview of the IBEX library

Carlos Amendola, Mathias Drton and Bernd Sturmfels.
	Maximum Likelihood Estimates for Gaussian Mixtures Are Transcendental

Katsuhisa Ozaki and Takeshi Ogita.
	Error-Free Transformation of Matrix Multiplication by A Posteriori Verification

Prashant Batra.
	On the quality of some root-bounds

Marc Mörig.
	Another Classroom Example of Robustness Problems in Planar Convex Hull Computation

Marc Mörig and Stefan Schirra.
	Precision-Driven Computation in the Evaluation of Expression-Dags with Common Subexpressions: 
		Problems and Solutions

Franz Brauße, Margarita Korovina and Norbert Th.Müller.
	Using Taylor Models in Exact Real Arithmetic

Gleb Pogudin.
	A ``polynomial shifting'' trick in differential algebra

Takehiko Kinoshita, Yoshitaka Watanabe and Mitsuhiro Nakao.
	H3 and H4 regularities of the Poisson equation on polygonal domains

Matthias Schroeder, Florian Steinberg and Martin Ziegler.
	Average-Case Complexity of Real Functions

Rouven Walter, Thore Kübart and Wolfgang Kuechlin.
	Optimal Coverage in Automotive Configuration

Bhagyesh Patil.
	The Bernstein branch-and-prune algorithm for constrained global optimization of 
		multivariate polynomial MINLPs

Ryoya Fukasaku, Hidenao Iwane and Yosuke Sato.
	Improving a CGS-QE algorithm

Ágnes Kiss, Anke Stüber and Juliane Krämer.
	On the Optimality of Differential Fault Analyses on CLEFIA

Richard Gustavson and Omar Leon Sanchez.
	A new bound for the existence of differential field extensions

Daniel Brake, Jonathan Hauenstein and Andrew Sommese.
	Numerical local irreducible decomposition

Peter Günther and Volker Krummel.
	Implementing Cryptographic Pairings on Accumulator based Smart Card Architectures

Waad Bouaguel.
	A New Approach for Wrapper Feature Selection using Genetic Algorithm for Big Data

Waad Bouaguel and Emna Mouelhi.
	New Method for Instance Feature Selection Using Redundant Features for Biological Data

Akitoshi Takayasu, Makoto Mizuguchi, Takayuki Kubo and Shin'Ichi Oishi.
	Verified computations for solutions to semilinear parabolic equations using the evolution operator

Dominique Monnet, Jordan Ninin and Benoit Clement.
	Global Optimization of $H_\infty$ problem: Application to robust control synthesis 
		under structural constraint

Naoya Yamanaka, Tomoaki Okayama and Shin'Ichi Oishi.
	Verified Error Bounds for the Real Gamma Function using Double Exponential Formula 
		over Semi-infinite Interval

James Freitag and Wei Li.
	Simple differential field extensions and effective bounds

Sergei Sidorov.
	Linear k-Monotonicity Preserving Algorithms and Their Approximation Properties

Peter Kutas.
	Complexity questions concerning the explicit isomorphism problem over number fields

Peter Bürgisser, Kathlén Kohn, Pierre Lairez and Bernd Sturmfels.
	Computing the Chow Variety of Quadratic Space Curves

Michael Joswig, Georg Loho, Benjamin Lorenz and Benjamin Schröter.
	Parametric linear programs and convex hulls

Tomasz Kociumaka, Jakub Radoszewski and Bartłomiej Wiśniewski.
	Subquadratic-Time Algorithms for Abelian Stringology Problems

Sergio De Agostino.
	Compressing Massive Data on a Distributed System

Rémi Imbach, Guillaume Moroz and Marc Pouget.
	Numeric and Certified Isolation of the Singularities of the Projection of a Smooth Space Curve

Tomoaki Okayama.
	Explicit error bound for modified numerical iterated integration by means of Sinc methods

Alexander Levin.
	Dimension Polynomials of Intermediate Fields of Inversive Difference Field Extensions

Joachim Giesen, Soeren Laue and Jens K.Mueller.
	Reconstructing a Sparse Solution from a Compressed Support Vector Machine

Hugo Férée and Martin Ziegler.
	On the Computational Complexity of Positive Linear Functionals on C[0;1]

Radu Hambasan and Michael Kohlhase.
	Faceted Search for Mathematics

Shizuka Shirai and Tetsuo Fukui.
	Evaluation of a Predictive Algorithm for Converting Linear Strings to Mathematical Formulae 
		for an Input Method

Katsusuke Nabeshima and Shinichi Tajima.
	Solving extended ideal membership problems in rings of convergent power series via Groebner bases

Andreas Beyer, Yu Liu, Hubert Mara and Susanne Krömker.
	Mesh Reduction to Exterior Surface Parts via Random Convex-Edge Affine Features

Marko Lange.
	A new matrix splitting based relaxation for the quadratic assignment problem

Jakob Juhnke, Johannes Blömer and Nils Löken.
	Short Group Signatures with Distributed Traceability

Jackie Daykin, Mirka Miller and Joe Ryan.
	Temporal Reasoning: Constraints and Graphs

Wenya An, Xiaoyu Chen and Dongming Wang.
	Searching for Geometric Theorems Using Features Retrieved from Diagrams

Jean-Guillaume Dumas, Burak Ekici, Damien Pous, Jean-Claude Reynaud and Dominique Duval.
	Relative Hilbert-Post completeness for exceptions

Joris van der Hoeven.
	Certifying trajectories of dynamical systems

Daniel Brake, Daniel Bates, Vakhtang Putkaradze and Anthony Maciejewski.
	Workspace Multiplicity and Fault Tolerance of Cooperating Robots

Frank Quedenfeld and Christopher Wolf.
	Advanced Algebraic Attack on Trivium

Munehiro Kobayashi, Hidenao Iwane, Takuya Matsuzaki and Hirokazu Anai.
	Efficient subformula orders for real quantifier elimination of non-prenex formulas

Velislava Stoykova.
	Using Statistical Search to Discover Semantic Relations of Political Lexica – 
	Evidences from Bulgarian-Slovak EUROPARL 7 Corpu

Alessio Langiu, Francesca Marzi, Filippo Mignosi and Giulio Nazzicone.
	Compressing Big Data: 
		When the Rate of Convergence to the Entropy Matters