Table of Contents

• Cellular Automata ApplicationsAnca Andreica. 3 [doi]
• On the Nature of Symbolic ExecutionFrank S. de Boer, Marcello M. Bonsangue. 4-5 [doi]
• The Science, Art, and Magic of Constrained Horn ClausesArie Gurfinkel, Nikolaj Bjørner. 6-10 [doi]
• Using Numerical Insights to Improve Symbolic ComputationsJonathan D. Hauenstein. 11-16 [doi]
• Design and Validation of Cloud Storage Systems Using Rewriting LogicPeter Csaba Ölveczky. 17-21 [doi]
• A Review of Algorithms for Symbolic DomainsStephen Watt. 22 [doi]
• An Attempt to Enhance Buchberger's Algorithm by Using Remainder Sequences and GCD OperationTateaki Sasaki. 27-34 [doi]
• Rational Gram-Schmidt-Searching vs. ComputingAaron Naiman. 35-39 [doi]
• Source Code Vulnerabilities Detection Using Loosely Coupled Data and Control FlowsSergiu Zaharia, Traian Rebedea, Stefan Trausan-Matu. 43-46 [doi]
• Solving Critical Point Conditions for the Hamming and Taxicab Distances to Solution Sets of Polynomial EquationsDanielle A. Brake, Noah S. Daleo, Jonathan D. Hauenstein, Samantha N. Sherman. 51-58 [doi]
• Existence and Static Stability of a Capillary Free Surface Appearing in a Dewetted Bridgman Process IIAgneta M. Balint, Stefan Balint. 59-67 [doi]
• Application of T-Splines and Bézier Extraction for Boundary Description in Parametric Integral Equation System for 3D Laplace's EquationKrzysztof Szerszen, Eugeniusz Zieniuk. 68-74 [doi]
• A Visual Solution in Asteroids DetectionDenisa Copandean, Dorian Gorgan. 77-80 [doi]
• Portfolio SAT and SMT Solving of Cardinality Constraints in Sensor Network OptimizationGergely Kovásznai, Krisztián Gajdár, Laura Kovács. 85-91 [doi]
• Superposition Reasoning about Quantified Bitvector FormulasDavid Damestani, Laura Kovács, Martin Suda 0001. 95-99 [doi]
• Bicyclic Connected Graphs Having Smallest Degree DistancesMihaita Dragan, Ioan Tomescu. 105-108 [doi]
• The Graceful Chromatic Number for Some Particular Classes of GraphsRadu Stefan Mincu, Camelia Obreja, Alexandru Popa 0001. 109-115 [doi]
• Digital Tracking Cloud Distributed Architecture for Detection of Faint NEAsRoxana E. Sichitiu, Marc E. Frîncu, Ovidiu Vaduvescu. 121-128 [doi]
• Implementation of Publisher-Subscriber Paradigm Using Virtual OrganismsCiprian Paduraru, Bogdan Ghimis, Miruna Paduraru. 129-136 [doi]
• Investigating Differences between Ancient and Modern Bacterial DNA in Dental Calculus via AutoencodersIulia-Monica Szuhai, Maria-Iuliana Bocicor, Emilia-Loredana Pop, Ioan-Gabriel Mircea, Cristina Mircea. 141-147 [doi]
• An Adversarial Machine Learning Approach to Evaluate the Robustness of a Security SolutionCiprian-Alin Simion, Dragos Teodor Gavrilut, Henri Luchian. 148-154 [doi]
• Towards Automated Quality Assessment Methods in Algorithmic Music CompositionSulyok Csaba. 155-158 [doi]
• Protein Folding Simulation Using Combinatorial Whale Optimization AlgorithmIoan Sima, Bazil Pârv. 159-166 [doi]
• Population Distribution Dynamics in Genetic Algorithms with High-Probability MutationNicolae-Eugen Croitoru. 167-173 [doi]
• Data Driven Sales Prediction Using Communication Sentiment Analysis in B2B CRM SystemsDoru Rotovei, Viorel Negru. 174-181 [doi]
• Shapley Value and Extremal Optimization for the Network Influence Maximization ProblemNoémi Gaskó, Mihai Alexandru Suciu, Tamás Képes, Rodica Ioana Lung. 182-189 [doi]
• A Restaurants Recommendation System: Improving Rating Predictions Using Sentiment AnalysisMara-Renata Petrusel, Sergiu-George Limboi. 190-197 [doi]
• A Machine Learning Perspective for Order Reduction in Electrical Motors ModelingMaria Nutu, Horia F. Pop, Claudia Martis, Sorin-Iulian Cosman, Andreea Madalina Nicorici. 198-205 [doi]
• Handwriting Feature Extraction via Legendre-Sobolev Matrix RepresentationParisa Alvandi, Stephen M. Watt. 206-213 [doi]
• Identification of Elastoplastic Material Properties Using PIES and PSOAgnieszka Boltuc, Krzysztof Szerszen. 214-221 [doi]
• Prediction of Cloud Movement from Satellite Images Using Neural NetworksMarius Penteliuc, Marc Frîncu. 222-229 [doi]
• Methods for Training Neural Networks with Zero False Positives for Malware DetectionDan-Georgian Marculet, Razvan Benchea, Dragos Teodor Gavrilut. 230-236 [doi]
• Interval Arithmetics in Modeling and Solving Uncertainly Defined Boundary Value Problems of ElasticityEugeniusz Zieniuk, Marta Kapturczak, Krzysztof Szerszen. 239-242 [doi]
• Improving Detection of Malicious Office Documents Using One-Side ClassifiersSilviu Constantin Vitel, Gheorghe Balan, Dumitru-Bogdan Prelipcean. 243-247 [doi]
• Preventing File-Less Attacks with Machine Learning TechniquesAlexandru Gabriel Bucevschi, Gheorghe Balan, Dumitru-Bogdan Prelipcean. 248-252 [doi]
• A Multi-Agent Placement System for Virtual Network Functions in a Cloud-Based ArchitectureSara Retal, Abdellah Idrissi, Costin Badica, Ionut Muraretu. 255-262 [doi]
• Feasibility of an Agent-Based Investment Platform for Renewable Energy Source ImplementationMihaela Ilie, Diana Firinca, Ionut Muraretu, Sorin Ilie. 263-269 [doi]
• An Approach of Segmentation Method Using Deep Learning for CT Medical ImagesSebastian-Aurelian Stefaniga, Mihail Gaianu. 273-279 [doi]
• Multi-Control Virtual Reality Driving SimulatorNicolae-Adrian Tocu, Valentin-Catalin Govoreanu, Teodor-Marian Nitescu, Gabriela-Alexandra Luca. 280-283 [doi]
• Assistive Tools for People with Cerebral Palsy: An Eye Tracker Calibration for Vision and Focus TrainingAlin-Marius Cruceat, Alexandru Butean. 284-289 [doi]
• Localizing Pulmonary Lesions Using Fuzzy Deep LearningEsmitt Ramírez, Carles Sánchez, Debora Gil. 290-294 [doi]
• Deep Learning Techniques Applied for Road SegmentationAlexandru Munteanu, Teodora Selea, Marian Neagul. 297-303 [doi]
• Iterative Approximations for Non-Self OperatorsAdrian Petrusel, Radu Trusca. 307-310 [doi]
• Autonomous Image Segmentation by Competitive Unsupervised GrowCutRadu Marginean, Anca Andreica, Laura Diosan, Zoltán Bálint. 313-319 [doi]
• Particle Swarm Optimization of Cellular Automata Rules for Edge DetectionDelia Dumitru, Anca Andreica, Laura Diosan, Zoltán Bálint. 320-325 [doi]
• Evolved Cellular Automata for Edge Detection in Grayscale ImagesAlina Enescu, Anca Andreica, Laura Diosan. 326-332 [doi]
• Evolutionary Design of Deep Neural NetworksPetru Radu. 335-336 [doi]
• Agent-Based Hospital Scheduling SystemKristijan Cincar, Todor Ivascu. 337-338 [doi]
• Artificial Intelligence Improving the Life of Type 1 DiabetesBogdan-Petru Butunoi. 339-340 [doi]
• Motif Detection in Biological NetworksAlina Carunta, Mihai Plesu. 341-342 [doi]
• A Proposed Automatic Speech and Sentiment Recognition Serious Game for Older Adults with Parkinson's DiseaseIoana Andra Codreanu. 343-344 [doi]