Table of Contents

• Ordinary Differential Equations & ComputabilityOlivier Bournez. 3-5 [doi]
• Proving Reachability Properties by Coinduction (Extended Abstract)Dorel Lucanu. 6-7 [doi]
• Self-adaptive forecast models in predictive maintenance systemsEdwin Lughofer. 8 [doi]
• The Verified Polyhedron Library: an OverviewSylvain Boulmé, Alexandre Maréchal, David Monniaux, Michaël Périn, Hang Yu. 9-17 [doi]
• Reasoning with Quantifiers and Theories Using Saturation-Based ReasoningAndrei Voronkov. 18 [doi]
• Incremental linearization: A practical approach to satisfiability modulo nonlinear arithmetic and transcendental functionsAlessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani. 19-26 [doi]
• Inferring, Learning and Modelling Complex Systems with Bayesian Networks. A TutorialEnachescu Denis, Enachescu Cornelia. 27-33 [doi]
• A set-based approach to model checking of nonlinear systems (invited tutorial)Maria Prandini. 34 [doi]
• Computing the Lowest-Order Element of a Multivariate Elimination Ideal by Using Remainder SequencesTateaki Sasaki, Daiju Inaba. 37-44 [doi]
• Compositional Taylor Model Based Validated IntegrationKristjan Liiva, Paul B. Jackson, Grant O. Passmore, Christoph M. Wintersteiger. 45-52 [doi]
• GPaR: A Parallel Graph Rewriting ToolStéphane Despréaux, Aude Maignan. 53-60 [doi]
• Rational Householder TransformationsAna Carolina Camargos Couto, David Jeffrey. 61-64 [doi]
• Real-Time Computation of Legendre-Sobolev ApproximationsParisa Alvandi, Stephen M. Watt. 67-74 [doi]
• Computation Results of the Riemann Zeta Search ProjectNorbert Tihanyi, Attila Kovács. 75-79 [doi]
• An Axis Symmetric 2D Description of the Growth Process of a Single Crystal Hollow Tube Grown from the Melt by Pulling Down MethodAgneta M. Balint, Stefan Balint, Loredana Tanasie. 80-87 [doi]
• Lax-Like Stability for the Discretization of Pseudodifferential Operators through Gabor Multipliers and Spline-Type SpacesDarian M. Onchis, Simone Zappalá. 88-94 [doi]
• An Image Inpainting Technique Based on Parallel Projection MethodsIrina Maria Artinescu, Costin Radu Boldea. 95-98 [doi]
• Towards Compiling Region Types Into RTSJ-Compliant Java CodeFlorin Craciun, Gabriel Glodean. 101-108 [doi]
• SAT-Based Big-Step Local SearchMorad Muslimany, Michael Codish. 109-116 [doi]
• Order Relations Over Finitely Supported StructuresAndrei Alexandru, Gabriel Ciobanu. 117-124 [doi]
• Experimental Evaluation of Acacia-K: A Tool for Synthesis of Reactive Systems from KLTL+ SpecificationsRodica Condurache. 125-129 [doi]
• The Polylog-Time Hierarchy Captured by Restricted Second-Order LogicFlavio Ferrarotti, Senén González, Klaus-Dieter Schewe, José Maria Turull Torres. 133-140 [doi]
• Extremal Graphs with Respect to the Modified First Zagreb Connection IndexGuillaume Ducoffe , Ruxandra Marinescu-Ghemeci, Camelia Obreja, Alexandru Popa 0001, Rozica-Maria Tache. 141-148 [doi]
• Cheap Non-Standard Analysis and Computability: Some ApplicationsOlivier Bournez, Sabrina Ouazzani. 149-156 [doi]
• A Terminating and Confluent Term Rewriting System for the Pure Equational Theory of QuandlesRobert W. McGrail, Thuy Trang Nguyen, Thanh Thuy Trang Tran, Atri Tripathi. 157-163 [doi]
• On the Abstractness of Continuation SemanticsGabriel Ciobanu, Eneia Nicolae Todoran. 167-174 [doi]
• Scalable Task Deployment System Inspired from Virus Propagation Models for Large Distributed Workflow Based SystemsMihai Bica, Dorian Gorgan. 175-182 [doi]
• A Symmetric Nets Emulator for Adaptive P/T NetsLorenzo Capra, Matteo Camilli. 183-190 [doi]
• Parallel Acceleration of Subgraph Enumeration in the Process of Network Motif DetectionBogdan Eduard-Madalin Mursa, Anca Andreica, Laura Diosan. 191-198 [doi]
• Dual Criteria Determination of the Number of Clusters in DataKaixun Hua, Dan A. Simovici. 201-208 [doi]
• Optimizing the Trade-Off between Single-Stage and Two-Stage Deep Object Detectors using Image Difficulty PredictionPetru Soviany, Radu-Tudor Ionescu. 209-214 [doi]
• Modeling real estate dynamics using survival analysisDiana Minzat, Mihaela Breaban, Henri Luchian. 215-222 [doi]
• Adjusting SVMs for Large Data Sets using Balanced Decision TreesCristina Vatamanu, Dragos Teodor Gavrilut, George Popoiu. 223-229 [doi]
• A CiteSeerX-Based Dataset for Record Linkage and Metadata ExtractionZalán Bodó. 230-236 [doi]
• Integrating Deep Learning for NLP in Romanian PsychologyIoan Cristian Schuszter. 237-244 [doi]
• Using Recommender Systems to Support Navigation in Concept LatticesFlaviu Berbecariu, Christian Sacarea, Diana-Florina Sotropa. 245-252 [doi]
• Genetic Operators in Evolutionary Music CompositionCsaba Sulyok. 253-259 [doi]
• Toward on-Line Predictive Models for Forecasting Workload in CloudsDong Nguyen Doan. 260-265 [doi]
• Formal Concept Analysis Grounded Knowledge Discovery in Electronic Health Record SystemsChristian Sacarea, Diana-Florina Sotropa, Diana Troanca. 266-271 [doi]
• The Rôle of Benchmarking in Symbolic Computation (Position Paper)James H. Davenport. 275-279 [doi]
• An Overview of Obfuscation Techniques used by Malware in Visual Basic for Application ScriptsMarilena Lupascu, Dragos Teodor Gavrilut, Dorel Lucanu. 280-287 [doi]
• An Architecture for a Management Agency for Cloud ResourcesMadalina Erascu, Gabriel Iuhasz, Flavia Micota. 288-295 [doi]
• MES Specific Data Analysis. Case Study with the Baxter RobotDelia Mitrea, Levente Tamas. 296-301 [doi]
• Towards Performance Evaluation ProgrammingEneia Nicolae Todoran. 302-309 [doi]
• A Different Approach to Maximum Clique SearchSándor Szabó, Bogdán Zaválnij. 310-316 [doi]
• An Adaptive Recommender System for Human Resource Allocation in Software Projects - Initial Results on an Agent-Based SimulationMihaela Ilie, Sorin Ilie, Ionut Muraretu. 319-326 [doi]
• Application of Meaningful Text Analytics to Online Product ReviewsCostin Badica, Georgian Vladutu. 327-334 [doi]
• A Self Developing System for Medical Data AnalysisAdriana Dinis, Todor Ivascu, Viorel Negru. 335-339 [doi]
• Back to Front Architecture for Diagnosis as a ServiceCarles Sánchez, Meiguel-Angel Viñas, Coen Atens, Agnès Borràs, Debora Gil. 343-346 [doi]
• Face Detection and Recognition Methods using Deep Learning in Autonomous DrivingSebastian-Aurelian Stefaniga, Mihail Gaianu. 347-354 [doi]
• Face Recognition in Automotive ApplicationsDanut Rotar, Horia Popa Andreescu. 355-359 [doi]
• Parallelizations of an Inpainting Algorithm Based on Convex FeasibilityLiviu Octavian Mafteiu-Scai, Irina Maria Artinescu, Vlad Mafteiu-Scai. 363-367 [doi]
• Survey on Feasibility of Pattern Matching Techniques In Heterogeneous Architectures for BioinformaticsCiprian Pungila, Darius Galis, Viorel Negru. 368-375 [doi]
• A Tool for Fake News DetectionBashar Al Asaad, Madalina Erascu. 379-386 [doi]
• Deep Learning for Metal Corrosion Control: Can Convolutional Neural Networks Measure Inhibitor Efficiency?Ruxandra Stoean, Catalin Stoean, Adriana Samide. 387-393 [doi]
• A four-Phase Meta-Heuristic Algorithm for Solving Large Scale Instances of the Shift Minimization Personnel Task Scheduling ProblemSebastian Nechita, Laura Diosan. 394-400 [doi]
• Unsupervised and Fully Autonomous 3D Medical Image Segmentation Based on Grow CutAlexandru-Ion Marinescu, Zoltán Bálint, Laura-Silvia Diosan, Anca-Mirela Andreica. 401-408 [doi]
• Evolving Mathematical Formulas using LINQ Expression Trees and Direct Applications to Credit ScoringAlexandru-Ion Marinescu, Anca-Mirela. 409-416 [doi]
• Evolving Cellular Automata for Two-Stage Edge DetectionAlina Enescu, Anca Andreica, Laura Diosan. 417-424 [doi]
• Optimizing Cleanset Growth by Using Multi-Class Neural NetworksAdrian Ioan Pîrîu, Mihai Leonte, Nicolae Postolachi, Dragos Teodor Gavrilut. 425-429 [doi]
• Increasing Protection Against Internet Attacks through Contextual Feature PairingGeorgiana Ingrid Stoleru, Adrian-Stefan Popescu, Dragos Teodor Gavrilut. 430-434 [doi]
• Detecting Java Compiled Malware using Machine Learning TechniquesGheorghe Balan, Adrian-Stefan Popescu. 435-439 [doi]
• An Improved Approach to Software Defect Prediction using a Hybrid Machine Learning ModelDiana-Lucia Miholca. 443-448 [doi]
• Heuristic Algorithms for the Longest Filled Common Subsequence ProblemRadu Stefan Mincu, Alexandru Popa 0001. 449-453 [doi]
• Improving ACSTL Iris Segmentation MethodCristina Madalina Noaica. 454-457 [doi]
• The Blockchain, Today and TomorrowOmetita Radu Adrian. 458-462 [doi]
• Estimation of Prediction Intervals in Neural Network-Based Regression ModelsKristian Miok. 463-468 [doi]