Table of Contents

• SMT Solving for Arithmetic Theories: Theory and Tool SupportErika Ábrahám, Gereon Kremer. 1-8 [doi]
• Challenges in Verifying Arithmetic Circuits Using Computer AlgebraArmin Biere, Manuel Kauers, Daniela Ritirc. 9-15 [doi]
• Gröbner Bases Computation and Macaulay MatricesBruno Buchberger. 16 [doi]
• Concurrency for the Masses: The Paradigm of Software Transactional MemoryPanagiota Fatourou. 17-22 [doi]
• Models of Computation for OrigamiTetsuo Ida. 23-25 [doi]
• Numerical P Systems (After Ten Years)Gheorghe Paun. 26-29 [doi]
• Concurrent Reflective Abstract State MachinesKlaus-Dieter Schewe. 30-35 [doi]
• Theorema 2.0: A Brief TutorialWolfgang Windsteiger. 36-38 [doi]
• Resolving Zero Divisors Using Hensel LiftingJohn Kluesner, Michael B. Monagan. 39-48 [doi]
• Maximal Radius for Stabilty Regions of Explicit Runge Kutta Methods by Real Quantifier EliminationRobert Vajda. 49-54 [doi]
• Simple Relation between the Lowest-Order Element of Ideal 〈G, H〉 and the Last Element of Polynomial Remainder SequenceTateaki Sasaki, Daiju Inaba. 55-62 [doi]
• Properties and Computation of the Functional Inverse of GammaK. Amenyo Folitse, David J. Jeffrey, Robert M. Corless. 63-66 [doi]
• Fast Matrix Operations in Computer AlgebraZak Tonks, Gregory Sankaran, James H. Davenport. 67-70 [doi]
• Rational Orthonormal MatricesNasir Khattak, D. J. Jeffrey. 71-74 [doi]
• Toward Non-flat Geometrical Origami Folds with Eos SystemFadoua Ghourabi. 75-78 [doi]
• Parametric Study of the Accuracy of an Approximate Solution for the Mild-Slope EquationEmmanuel Audusse, Olivier D. Lafitte, Agnès Leroy, Benjamin Melinand, Chi-Tuan Pham, Pierrick Quemar. 79-85 [doi]
• An SDP-based Method for the Real Radical Ideal Membership TestFei Wang, Greg Reid, Henry Wolkowicz. 86-93 [doi]
• Existence of Gaps on the Path of Equilibriums in Case of Longitudinal Flight with Constant Forward VelocityAgneta Maria Balint, Stefan Balint. 94-98 [doi]
• Constructive Realizable Multi-resolution Wavelet-Like Systems Based on Multi-windows Spline-Type SpacesDarian M. Onchis, Simone Zappalá. 99-104 [doi]
• Effective Construction of Convex Hull AlgorithmsPeter Mitura, Ivan Simecek, Ivan Kotenkov. 105-112 [doi]
• Towards a Clausal Analysis of Proof SchemataDavid Cerna, Michael Peter Lettmann. 113-120 [doi]
• Formalization and Closedness of Finite Dimensional SubspacesFlorian Faissole. 121-128 [doi]
• A Certified Procedure for RL VerificationAndrei Arusoaie, David Nowak, Vlad Rusu, Dorel Lucanu. 129-136 [doi]
• VIAP - Automated System for Verifying Integer Assignment Programs with LoopsPritom Rajkhowa, Fangzhen Lin. 137-144 [doi]
• Deciding and Interpolating Algebraic Data Types by ReductionHossein Hojjat, Philipp Rümmer. 145-152 [doi]
• A Test Suite Generation Approach Based on EFSMs Using a Multi-objective Genetic AlgorithmAna Turlea, Florentin Ipate, Raluca Lefticaru. 153-160 [doi]
• A Comparison of Open-Source Static Analysis Tools for Vulnerability Detection in C/C++ CodeAndrei Arusoaie, Stefan Ciobaca, Vlad Craciun, Dragos Gavrilut, Dorel Lucanu. 161-168 [doi]
• System Description: Statistical Parsing of Informalized Mizar FormulasCezary Kaliszyk, Josef Urban, Jirí Vyskocil. 169-172 [doi]
• A Boolean Approach for Detection of Frequent ItemsDan A. Simovici, Roman A. Sizov, Selim Mimaroglu. 173-179 [doi]
• Improving Lost/Won Classification in CRM Systems Using Sentiment AnalysisDoru Rotovei, Viorel Negru. 180-187 [doi]
• Learning to Maximize Return in a Stag Hunt Collaborative Scenario through Deep Reinforcement LearningAndrei Cristian Nica, Tudor Berariu, Florin Gogianu, Adina Magda Florea. 188-195 [doi]
• Jaccard-Like Fuzzy Distances for Computational LinguisticsLaura Franzoi. 196-202 [doi]
• Topic Modeling Using Contextual CuesCiprian-Octavian Truica, Elena Simona Apostol, Catalin Adrian Leordeanu. 203-210 [doi]
• MultiNetCom: An Extended Framework for Communities Detection in Multi-relational NetworksRamona Stoica. 211-218 [doi]
• Bandwidths Optimization on Sparse Matrices Using Brain Storm OptimizationLiviu Octavian Mafteiu-Scai, Emanuela Mafteiu-Scai, Teodora Voina. 219-224 [doi]
• ReaderBench: Building Comprehensive Sociograms of Online CommunitiesDorinela Sirbu, Marilena Panaite, Ana Secui, Mihai Dascalu, Nicolae Nistor, Stefan Trausan-Matu. 225-231 [doi]
• Machine Learning based Malware Detection. How to Balance Memory Footprint with Model AccuracyDragos Teodor Gavrilut, Anton Dan Gabriel, George Popoiu. 232-238 [doi]
• A Hierarchical Clustering-Based Approach for Software Restructuring at the Package LevelMarian Zsuzsanna, István Gergely Czibula, Gabriela Czibula. 239-246 [doi]
• An Unsupervised Learning Based Conceptual Coupling MeasureDiana-Lucia Miholca, Gabriela Czibula, Marian Zsuzsanna, István Gergely Czibula. 247-254 [doi]
• Automated Negotiation Strategies Prediction in Multi-agent SystemsLavinia-Stefania Sirbu, Serban Radu. 255-262 [doi]
• Defect Detection in Porcelain Industry Based on Deep Learning TechniquesAdriana Birlutiu, Adrian Burlacu, Manuella Kadar, Daniela Onita. 263-270 [doi]
• Identifying Socio-Cognitive Structures in Online Knowledge Building Communities Using Cohesion Network AnalysisNicolae Nistor, Marilena Panaite, Mihai Dascalu, Stefan Trausan-Matu. 271-274 [doi]
• Practical Aspects Related to Using Hidden Markov Models for Detecting Metamorphic File InfectorsDoina Cosovan, Catalin-Valeriu Lita. 275-278 [doi]
• Outliers Detection in Analysis of Cognitive Emotion Regulation Questionnaire for TeenagersAdriana Mihaela Coroiu. 279-283 [doi]
• WARP: Efficient Automatic Web Service CompositionPaul Diac. 284-285 [doi]
• Color Grading with Neural NetworkVictor Artigues. 286-287 [doi]
• A Data Aggregation Strategy Based on Wavelet for the Internet of ThingsBarbara Guidi, Andrea De Salve, Laura Ricci. 288-295 [doi]
• Abstract Continuation Semantics for Asynchronous ConcurrencyGabriel Ciobanu, Eneia Nicolae Todoran. 296-303 [doi]
• Measuring and Visualizing the Scrappiness Level of a WebsiteDarius Bufnea, Diana Sotropa. 304-311 [doi]
• Ensuring Domain Consistency in an Adaptive Framework with Distributed Topology for Fluid Flow SimulationsChristoph Ertl, Ralf-Peter Mundani. 312-319 [doi]
• An Approach to Performance Evaluation ProgrammingEneia Nicolae Todoran. 320-329 [doi]
• Road Traffic Segments CharacterizationCristian-Nicolae Babau, Raul Razvan Suditu, Marius Marcu, Vladimir-Ioan Cretu. 330-337 [doi]
• Solving 2-D Pattern Matching using Networks of Polarized Picture Processors with Circular PermutationStefan Popescu. 338-343 [doi]
• Social Principles in Agent-Based Trust Management for the Internet of ThingsKalliopi Kravari, Nick Bassiliades. 344-351 [doi]
• A Home Based Health-Care Solution for Older Adults Using KinectIoana Andra Codreanu, Adina Magda Florea, Irina Mocanu. 352-355 [doi]
• Towards a Complex Evolutionary Agent-Based System for Medical Sensor DataAdriana Dinis, Todor Ivascu, Viorel Negru. 356-360 [doi]
• Integration of Jason Reinforcement Learning Agents into an Interactive ApplicationCostin Badica, Alex Becheru, Samuel Felton. 361-368 [doi]
• Volume Estimation in Point Cloud using Multi-Agent SystemVictor Artigues. 369-372 [doi]
• CYBERH: Cyber-Physical Systems in Health for Personalized AssistanceDebora Gil, Aura Hernández-Sabaté, David Castells-Rufas, Jordi Carrabina. 373-376 [doi]
• Performance Analysis of Morphological Operation in CPU and GPU for Medical ImagesSebastian-Aurelian Stefaniga, Mihail Gaianu. 377-384 [doi]
• Algorithm Fusion for Windscreen Obstruction Detection in Autonomous DrivingPetru Radu, Cezar Valeriu Regep. 385-388 [doi]
• A Comparative Study of Machine Learning Methods for Traffic Sign RecognitionIoan Cristian Schuszter. 389-392 [doi]
• Numerically Optimizing Weights for Monte Carlo Integration on Smooth Compact ManifoldsMartin Ehler, Manuel Gräf. 393-396 [doi]
• Detecting Proteine Coding Regions Using a Customized Multi-scales Splines ConstructionDarian M. Onchis. 397-400 [doi]
• Designing Data Interchange Services for Learning ComponentsAlina Andreica, Fernando Paulo Belfo, Florina Covaci. 401-408 [doi]
• Using Deep Networks for Semantic Segmentation of Satellite ImagesTeodora Selea, Marian Neagul. 409-415 [doi]
• Distributed Optical Character Recognition for Old Romanian PrintsDaniel Pop, Bogdan Irimie, Dana Petcu. 416-418 [doi]
• Classifier Result Aggregation for Automatically Grading Histopathological ImagesCatalin Stoean, Daniel Lichtblau. 419-425 [doi]
• A Bio-inspired Method for Generating Healthy Meals for SeniorsViorica Rozina Chifu, Emil Stefan Chifu, Cristina Bianca Pop, Ioan Salomie, Madalina Lupu. 426-433 [doi]
• An Adaptive Penalty Function Method for Constrained Continuous Optimization in Population-Based Meta-Heuristic Optimization MethodsGeorge Anescu. 434-441 [doi]