List of papers

Invited papers

  • Chris Brown. Real polynomial constraints: satisfiability checking brings a  new perspective to symbolic computing  (Saturday, September 24, 9:20-10:10)
  • Erika Abraham. Symbolic Computation Techniques in Satisfiability Checking (Saturday, September 24, 13:30-14:20)
  • Sorin Stratulat. Mechanically Certifying Formula-based Noetherian Induction Reasoning (Sunday, September 25, 9:00-9:50)
  • Qamrul Hassan Ansari. Split type Problems in Nonlinear Analysis (Sunday, September 25, 13:30-14:20)
  • Tetsuo Ida. Reflection on Geometric Exercises in Origami (Monday, September 26, 13:00-13:50)
  • Stephen Watt. How Can We Build a Global Digital Mathematics Library? (Monday, September 26, 13:50-14:40)

Symbolic Computation

Session 1:  Sunday,  September 25 (10:10-11:30)  Chair: Erika Abraham

  • Zongyan Huang, Matthew England, James H. Davenport, Lawrence C. Paulson. Using Machine Learning to decide when to Precondition Cylindrical Algebraic Decomposition with Groebner Bases
  • Eliana Duarte, Daniel Lichtblau. Polynomial GCDs by syzygies
  • Changbo Chen, Svyatoslav Covanov, Farnam Mansouri, Marc Moreno Maza, Yuzhen Xie. Parallel Integer Polynomial Multiplication
  • Andrzej Mroz. Effective nondeterministic positive definiteness test for unidiagonal integral matrices

Session 2:  Monday,  September 26 (15:40-16:20) Chair: Gabriel Istrate

  • Shaoshi Chen, Stephen Watt. Combinatorics of Hybrid Sets
  • Tateaki Sasaki and Daiju Inaba. Various Enhancements of Extended Hensel Construction for Sparse Multivariate Polynomials

Numerical Computing

Session 1: Saturday, September 24 (10:30-11:50)  Chair: Eva Kaslik

  • Changbo Chen and Wenyuan Wu. A Numerical Method for Analyzing the Stability of Bi-parametric Biological Systems
  • Darian Onchis and Simone Zappala. Approximate Duals of Gabor-like Frames Based on Realizable Multi-Window Spline-Type Constructions
  • Daniel Lichtblau. Linking Fourier and PCA Methods for Image Look-up
  • Flavius Turcu, Charles Dossal and Marc Nicodeme. Identifiability for gauge regularizations and algorithms for block-sparse synthesis in compressive sensing

 Session 2:  Saturday,  September 24 (16:40-18:00)  Chair:  Q.A. Ansari

  • Chemseddine Chohra, Philippe Langlois, David Parello. Parallel experiments with RARE-BLAS
  • Olivier Lafitte, Stephane Dellacherie, Erell Jamelot and Riyaz Mouhamad. Numerical results for the coupling of a simple neutronics diffusion model and a simple hydrodynamics low mach number model
  • Ajinkya Borle, Samuel Lomonaco. Convergence Acceleration of Iterative Methods for Inverting Real Matrices Using Frobenius Norm Minimization
  • Andrada Băban, Cosmin Bonchiș, Alexandru Fikl and Florin Roșu. Parallel simulations for Fractional-Order Systems

 Logic and Programming

Session 1: Sunday, September 25 (14:40-15:40) Chair: Tudor Jebelean

  • Martin Heule. The Quest for Perfect and Compact Symmetry Breaking for Graph Problems
  • Vlad Radulescu, Stefan Andrei, Albert Cheng. Resource Bounding for Non-preemptive Task Scheduling on a Multiprocessor Platform
  • Matteo Camilli, Carlo Bellettini, Lorenzo Capra, Mattia Monga. Coverability Analysis of Time Basic Petri Nets with Non-Urgent Behavior

 Session 2: Sunday, September 25 (16:00-17:00) Chair:  Sorin Stratulat

  • Ana Turlea, Florin Ipate, Raluca Lefticaru. A Hybrid Test Generation Approach from Extended Finite State Machines
  • Katalin Fazekas, Martina Seidl and Armin Biere. A Duality-Aware Calculus for Quantified Boolean Formulas
  • Aurelian Rădoacă. Venn Diagrams for Multisets

 Advances in the Theory of Computing

Session 1:  Monday,  September 26 (15:00-15:40)  Chair: Gabriel Istrate

  • Cătălin Lita. On Complexity of the Detection Problem for Bounded Length Polymorphic Viruses
  • Raivis Bēts and Jānis Buls. Partial finitely generated bi-ideals

Artificial Intelligence

Session 1: Monday, September 26 (9:40-12:00)  Chair: Dan Cristea

  • Eniko Kando and Anca Mărginean. Towards Lexicalization of DBpedia Ontology with Unsupervised Learning and Semantic Role Labeling
  • Maria-Dorinela Sirbu, Ana Secui, Mihai Dascălu, Scott Crossley, Stefan Ruseti, Stefan Trăușan-Mătu. Extracting Gamers’ Opinions from Reviews
  • Ciprian-Octavian Truică, Florin Rădulescu and Alexandru Boicea. Comparing different term weighting schemas for Topic Modeling
  • Zsuzsanna Marian, Ioan-Gabriel Mircea, Istvan Gergely Czibula and Gabriela Czibula. A novel approach for software defect prediction using fuzzy decision trees
  • Diana-Lucia Miholca, Gabriela Czibula, Ioan-Gabriel Mircea and Istvan Gergely Czibula. Machine learning based approaches for sex identification in bioarchaeology
  • Alina-Delia Călin. Gesture Recognition on Kinect Time Series Data Using Dynamic Time Warping and Hidden Markov Models
  • George Beniamin Cabau, Madga Buhu and Ciprian Oprișa. Malware Classification Based on Dynamic Behavior

Session 2: Monday, September 26 (16:40-19:00)  Chair: Daniela Zaharie

  • Laura Dioșan, Anca Andreica and Irina Voiculescu. Parameterized Cellular Automata in Image Segmentation
  • Patrick Traxler and Alexander Kogler. Efficient and Robust Median-of-Means Algorithms for Location and Regression
  • Annamaria Szenkovits,  Noemi Gasko, Hunor Jakab. Optimizing Test Input Generation for Reactive Systems with an Adaptive Differential Evolution
  • Md Maruf Hussain, Hiroshi Hattori and Noriyuki Fujimoto. A CUDA Implementation of the Standard Particle Swarm Optimization
  • Viorica Rozina Chifu, Ioan Salomie, Laura Petrișor, Emil St. Chifu, Dorin Moldovan. Hybrid Immune based Method for Generating Healthy Meals for Older Adults
  • Nicolae-Eugen Croitoru – Lowering Evolved Artificial Neural Network Overfitting through High-Probability Mutation
  • Anca Ignat and Bogdan Aciobaniței. Handwritten Digit Recognition Using Rotations

 Session 3: Tuesday,  September 27 (13:00-15:00)  Chair: Irina Voiculescu

  • Dan Anton, Dragos Gavriluț, Alexandru Baetu and Adrian Popescu. Detecting malicious URLs. A semi-supervised machine learning system approach.
  • Dragos Gavriluț, George Popoiu and Mihai-Răzvan Benchea. Identifying DGA-based botnets using network anomaly detection
  • Laura Franzoi. Irrelevance in incomplete fuzzy arithmetic
  • Călin-Adrian Popa. Levenberg-Marquardt Learning Algorithm for Quaternion-Valued Neural Networks
  • Monica Tirea and Viorel Negru. Behavioral Trading System – Detecting Crisis, Risk and Stability in Emerging Financial Markets
  • Liviu Octavian Mafteiu-Scai and Călin Alexandru Cornigeanu. Parallel heuristics for systems of equations preconditioning

 Distributed Computing

Session 1: Saturday, September 45 (14:40-16:00)  Chair:  Dana Petcu

  • Gabriel Ciobanu and Eneia Nicolae Todoran. Continuation Semantics of a Language inspired by Membrane Computing with Symport/Antiport Interactions
  • Byron Moutafis, Christos Filelis-Papadopoulos, George Gravvanis and John Morrison. On issues concerning Cloud environments in scope of scalable multi-projection methods
  • Nicolas Gutierrez, Manuela Wiesinger-Widi. AUGURY: A time-series based application for the analysis and forecasting of system and network performance metrics
  • Dong Nguyen Doan and Gabriel Iuhasz. Tuning Logstash Garbage Collection for High Throughput in a Monitoring Platform

 WORKSHOPS

 IAFP Workshop – Iterative Approximation of Fixed Points

       Session 1: Saturday, September 24  (10:30-12:45)  Chair: Stefan Mărușter

  • Rale Nikolić, Sinisa Jesic and Natasa Cirovic. Fixed point theorem for non-self mappings in strictly convex Fuzzy metric spaces
  • Margareta-Eliza Balazs. A Maia type fixed point theorem on product metric spaces 
  • Cristina Ticala. Iterative Approximations of Asymptotically Demicontractive mappings defined as admissible perturbations
  • Monika Zakany. The Continuity of Almost Local Contractions
  • Muhammad Arshid Zia. Fixed point approximation for Suzuki generalized nonexpansive mappings using Picard-S iteration process
  • Emirhan Hacıoğlu and Vatan Karakaya. Fixed Point Theorems for a New Multivalued Generalized Hybrid Mappings in CAT(κ) Spaces
  • Yunus Atalan and Vatan Karakaya. On Fixed Point Results for a New Kirk Type Iteration Method
  • Kadri Dogan and Faik Gursoy. Some Fixed Point Results for Continuous Functions on an Arbitrary Intervals
  • Faik Gursoy. Some collage theorems and data dependence result for multivalued WR operators

      Session 2 : Saturday, September 24  (14:40-16:20)  Chair: Vasile Berinde

  • Ioan A. Rus. Relevant classes of weakly Picard operators
  • Adrian Petrusel. Coupled coincidence points for single-valued operators in complete metric spaces
  • Adrian Petrusel, Ioan A. Rus and Marcel Serban. Contributions to the fixed point theory of diagonal operators
  • Melània-Iulia Dobrican. Coupled Fixed Point Theorems in Metric Spaces Endowed with a Reflexive Relation

      Session 3 : Sunday, September 25  (10:10-11:50)  Chair: Adrian Petrusel 

  • Stefan Mărușter. Estimating Local Radius of Convergence
  • Dan Marinescu, Mihai Monea. About Karamata mean value theorem, some consequences and some stability results
  • Dorel Mihet and Claudia Zaharia. Probabilistic stability for Baker’s functional equation
  • Liviu Octavian Mafteiu-Scai and Călin Alexandru Cornigeanu. A Comparative Study of Bandwidth and Average Bandwidth of Matrices and their Influence in Solving Systems of Equations
  • Laszlo Balog, Vasile Berinde and Mădălina Păcurar. Approximating Fixed Points of Nonself Contractive Type Mappings in Banach Spaces Endowed with a Graph

 ACSys workshop – Agents for Complex Systems

      Session 1 : Saturday, September 24  (16:40-17:40)  Chair: Catalin Stoean

  •  Lucian Luncean, Andrei Mocanu and Alex Becheru. Automated Negotiation Framework for the Transport Logistics Service
  • Todor Ivascu, Adriana Dinis and Viorel Negru. Towards a Multi-agent System for Medical Records Processing and Knowledge Discovery
  • Doru Rotovei. Multi-Agent Aspect Level Sentiment Analysis in CRM Systems

HPC-ST workshop – High Performance Computing in Science and Technology

      Session 1: Sunday, September 25  (14:40-15:40) Chair: Dana Petcu  

  • Aygul Jamal, Marc Baboulin, Amal Khabou and Masha Sosonkina. A hybrid CPU/GPU approach for the parallel algebraic recursive multilevel solver pARMS
  • Grigore Lupescu, Emil Slusanschi and Nicolae Tapus. Analysis of OpenCL work-group reduce for Intel GPUs
  • Mafteiu-Scai Liviu Octavian and Călin Alexandru Cornigeanu. A Parallel Heuristic for Bandwidth Reduction Based on Matrix Geometry

 MICAS workshop – Management of resources and services in Cloud and Sky computing

       Session 1: Monday, September 26  (17:40-18:20) Chair: Florin Fortis

  •  Ehsan Ataie, Eugenio Gianniti, Danilo Ardagna and Ali Movaghar. A Combined Analytical Modeling/Machine Learning Approach for Performance Prediction of MapReduce Jobs in Hadoop Clusters
  • Alina Andreica. Towards Building a Uniform Cloud Database Representation for Data Interchange

       NCA Workshop – Natural Computing and Applications

     Session 1: Monday,  September 26  (15:00-16:00)  Chair: Flavia Micota

  • Stefan Postăvaru and Ionuț Mihăița Pleșea. Censoring Sensitive Data From Images
  • Cătălin Stoean. In Search of the Optimal Set of Indicators when Classifying Histopathological Images
  • Liviu Oană, Adrian Spătaru. Use of genetic algorithms in numerical weather prediction

Geoinfo Workshop – Geoinformatics

        Session 1: Tuesday, September 27  (10:20-12:20)  Chair: Marcel Torok-Oance

  • Gheorghe Stăncălie. The SnowBall Project  – Remote sensing, model and in-situ data fusion for snowpack parameters and related hazards in a climate change perspective
  • Arnt B. Salberg, Jarle Bauck Hamar, Florina Ardelean, Thomas Johansen and Michael Kampffmeyer. Automatic detection and segmentation of avalanches in remote sensing images using deep convolutional neural networks
  • Rune Solberg, Øystein Rudjord, Øivind Due Trier, Gheorghe Stancalie, Andrei Diamandi and Anisoara Irimescu. Single and multi-sensor snow wetness mapping by Sentinel-1 and Sentinel-3 data
  • Ion Nedelcu, Anișoara Irimescu, Andrei Diamandi, Denis Mihăilescu, Vasile Crăciunescu, Gheorghe Stancalie and Radu Constantin Gogu. Some Considerations on Using Copernicus Sentinel Satellite Data for Characterizing the Snow Cover in the Romanian Mountains
  • Marius Matreata and Simona Matreata. Snow water equivalent estimation using a data fusion approach
  • Alexandru Dumitrescu, Roxana Bojariu, Sorin Ionut Dascalu, Madalina Gothard, Marius -Victor Birsan, Roxana Cica, Liliana Velea, Gheorghe Stancalie and Anisoara Irimescu. High Resolution Temperature and Precipitation under Present and Future Climate Scenarios

      Session 2: Tuesday, September 27  (13:00-15:00)  Chair: Gheorghe Stancalie

  • Vasile Crăciunescu, Gheorghe Stancalie and Anisoara Irimescu. MODIS-based, mapping and analysis platform for flood affected areas. Case study: 2006 Danube floods
  • Andrei Diamandi, Elena Mateescu, Gheorghe Stancalie,Oana Nicola, Anisoara Irimescu, Denis Mihailescu,Vasile Craciunescu, Luca Eduard, Ionut Sandric and Daniela Saizu. Assessment of SMOS and SMAP soil moisture products over Romania with in-situ data
  • Marcel Török-Oance, Anişoara Irimescu, Narcisa Milian, Andrei Diamandi, Florina Ardelean and Mircea Voiculescu. Snow avalanche hazard assessment in Făgăraș Mountains, Southern Carpathians
  • Florina Ardelean, Marcel Török-Oance, Arnt-Børre Salberg, Mircea Voiculescu, Narcisa Milian and Anișoara Irimescu. Numerical simulation of documented snow avalanche events in Făgăraș Mountains
  • Andra Moldovan and Marcel Torok-Oance. Using OBIA for delineating eligible grassland parcels for agricultural subsidies in L.P.I.S. (Land Parcel Identification System)
  • Tiberiu Banu and Marcel Torok-Oance. Using OBIA for delineating management units in forest planning projects. Case study: National Park Cozia