Accepted papers

Symbolic Computation

Session 1: Wednesday, 23 September (14:20-15:40)
Chair: Stephen Watt

  • Christoph Koutschan, Helene Ranetbauer, Georg Regensburger and Marie-Therese Wolfram. Symbolic Derivation of Mean-Field PDEs from Lattice-Based Models
  • Masaru Sanuki, Daiju Inaba and Tateaki Sasaki. Computation of GCD of Sparse Multivariate Polynomial by Extended Hensel Construction
  • David Jeffrey, German Kalugin and Nick Murdoch. Lagrange Inversion and series for Lambert W
  • Walid Belkhir, Nicolas Ratier, Duy Duc Nguyen, Bin Yang, Michel Lenzner, Frédéric Zamkostian and Horatiu Cirstea. Towards an automatic tool for multi-scale model derivation illustrated with a micro-mirror array

 Session 2: Wednesday, 23 September (16:00-17:00)
Chair: James Davenport

  • Silvana Ilie, David Jeffrey, Robert M. Corless and Xinyi Zhang. Computation of Stirling numbers and generalizations
  • Lorenzo Capra. An Algebraic Petri Nets Emulator
  • Tateaki Sasaki. Computing Floating-point Groebner Basis with Lazy Representation

Numerical Computing

Session 1: Monday, 21 September (14:40-16:20)
Chair: Manuel Kauers

  • Andrew Smith, Cesar Munoz, Anthony Narkawicz and Mantas Markevicius. A Rigorous Generic Branch and Bound Solver for Nonlinear Problems
  • Marc Nicodème, Flavius Turcu and Charles Dossal. Identifiability and noise robustness for l1-analysis regularizations in compressive sensing
  • Alexandra Emilia Fortis and Stefan Balint. Numerical investigations of equilibriums in a flight with high angle of attack
  • Paul Tarau. The Arithmetic of Even-Odd Trees
  • Ivan Simecek and Daniel Langr. Space and execution efficient formats for modern processor architectures

Session 2: Monday, 21 September (16:40-18:00)
Chair: TBA

  • Helene Lachambre, Benjamin Ricaud, Guillaume Stempfel, Bruno Torresani, Christoph Wiesmeyr and Darian Onchis. Optimal window and lattice in Gabor transform. Application to audio analysis
  • Remus-Daniel Ene, Vasile Marinca and Romeo Negrea. The flow in a viscous fluid over an unsteady stretching surface
  • Kuniyoshi Abe and Seiji Fujino. Variant Implementations of SCBiCG Method for Linear Equations with Complex Symmetric Matrices
  • Jiri Khun and Ivan Simecek. GPU solver for systems of linear equations with infinite precision

 Logic and Programming

Session 1: Monday, 21 September (10:30-12:10)
Chair: Ruzica Piskac

  •  Besik Dundua, Mario Florido and Temur Kutsia. Lambda Calculus with Regular Types
  • Paul Tarau. n Type Inference, Generation and Normalization of SK-combinator Trees
  • Roland Lezuo, Ioan Dragan, Gergö Barany and Andreas Krall. vanHelsing: A Fast Theorem Prover for Debuggable Compiler Verification
  • Aurelian Radoaca. Properties of Multiset Orders by Minimal and Maximal Submultisets

 Session 2: Tuesday, 22 September (10:50-12:10)
Chair: Arie Gurfinkel

 Session 3: Tuesday, 22 September (18:00-18:30) – Poster session   

  • Gabor Kusper and Csaba Biro. Solving SAT by an Iterative Version of the Inclusion-Exclusion Principle
  • Tibor Kiss and Katalin Tünde Jánosi-Rancz. Developing railway interlocking systems with Session types and Event-B
  • Aurelian Radoaca. Properties of Multisets Compared to Sets

 Advances in the Theory of Computing

Session 1: Thursday, 24 September (11:20-12:20)
Chair: Gabriel Istrate

  • Rozica-Maria Tache and Ioan Tomescu. General Sum-Connectivity Index with $\alpha\geq 1$ for Trees and Unicyclic Graphs with $k$ Pendants
  • Andrei Alexandru and Gabriel Ciobanu. Abstract Interpretations by Using Invariant Sets
  • Raivis Bēts. On existence of 1-bounded biideals with WELLDOC property

Artificial Intelligence

Session 1: Tuesday, 22 September (16:10-17:10)
Chair: Ciprian Zavoianu

  • Elena Ravve, Zeev Volkovich and Gerhard Weber. Automatic Definition of Optimal Default Parameters of Models: Image Matting Application
  • Adriana Horelu, Catalin Leordeanu, Elena Apostol, Dan Huru, Mariana Mocanu and Valentin Cristea. Forecasting Techniques for Time Series from Sensor Data
  • Todor Ivascu. An Energy Efficient Intelligent Wireless Body Area Network for Real-time Vital Signs Monitoring

Session 2: Wednesday, 23 September (10:10-12:10)
Chair: Peter Bentley

  • Alexandru-Ciprian Zavoianu, Edwin Lughofer, Gerd Bramerdorfer, Wolfgang Amrhein and Susanne Saminger-Platz. A Surrogate-Based Strategy for Multi-Objective Tolerance Analysis in Electrical Machine Design
  • Călin-Adrian Popa. Lie Algebra-Valued Hopfield Neural Networks
  • Cristina Vatamanu, Razvan Benchea, Dragos Gavrilut and Henri Luchian. Feature creation using genetic programming with application in malware detection
  • Nicolae-Eugen Croitoru. High Probability Mutation and Error Thresholds in Genetic Algorithms
  • Adrian-Stefan Popescu, Dragos Teodor Gavrilut and Dumitru Bogdan Prelipcean. A Study on Techniques for Proactively Identifying Malicious URLs
  • Monica Tirea and Viorel Negru. Stock Market Trading Strategies – Applying Risk and Decision Analysis Models for Detecting Financial Turbulence

Session 3: Wednesday, 23 September (17:20-18:40)
Chair: TBA

  • Ciprian-Octavian Truică, Julien Velcin and Alexandru Boicea. Automatic Language Identification for Romance Languages using Stop Words and Diacritics
  • Dumitru Bogdan Prelipcean, Adrian-Stefan Popescu and Dragos Teodor Gavrilut. Improving malware detection response time with behavior-based statistical analysis techniques
  • Andreea Salinca. Business reviews classification using sentiment analysis
  • Ionel-Alexandru Hosu and Andreea Urzică. Comparative Analysis of Existing Architectures for General Game Agents

Distributed Computing

Session 1: Thursday, 24 September (13:20-14:40)
Chair: Marc Frincu

  • Gabriel Ciobanu and Eneia Nicolae Todoran. Continuation Semantics for Dynamic Hierarchical Systems
  • Bogdan-Constantin Irimie and Dana Petcu. Scalable and fault tolerant monitoring of security parameters in the cloud
  • András Bóta, Miklós Krész and Bogdán Zavalnij. Adaptations of the k-means algorithm to community detection in parallel environments