Table of Contents

• Symbolic Computation Techniques in Satisfiability CheckingErika Ábrahám. 3-10 [doi]
• Bridging Two Communities to Solve Real ProblemsChristopher W. Brown. 11-14 [doi]
• The Time Yards Model - Rethinking the Way to Look at TextsDan Cristea. 15-22 [doi]
• Revisit of "Geometric Exercise in Paper Folding" from a Viewpoint of Computational OrigamiTetsuo Ida. 23-28 [doi]
• Structural vs. Cyclic Induction: A Report on Some Experiments with CoqSorin Stratulat. 29-36 [doi]
• How to Build a Global Digital Mathematics LibraryStephen M. Watt. 37-40 [doi]
• Using Machine Learning to Decide When to Precondition Cylindrical Algebraic Decomposition with Groebner BasesZongyan Huang, Matthew England, James H. Davenport, Lawrence C. Paulson. 45-52 [doi]
• Polynomial GCDs by SyzygiesEliana Duarte, Daniel Lichtblau. 53-59 [doi]
• Combinatorics of Hybrid SetsShaoshi Chen, Stephen M. Watt. 60-64 [doi]
• Effective Nondeterministic Positive Definiteness Test for Unidiagonal Integral MatricesAndrzej Mróz. 65-71 [doi]
• Parallel Integer Polynomial MultiplicationChangbo Chen, Svyatoslav Covanov, Farnam Mansouri, Marc Moreno Maza, Ning Xie 0001, Yuzhen Xie. 72-80 [doi]
• Various Enhancements for Extended Hensel Construction of Sparse Multivariate PolynomialsTateaki Sasaki, Daiju Inaba. 83-86 [doi]
• A Numerical Method for Analyzing the Stability of Bi-Parametric Biological SystemsChangbo Chen, Wenyuan Wu. 91-98 [doi]
• Approximate Duals of Gabor-Like Frames Based on Realizable Multi-Window Spline-Type ConstructionsDarian M. Onchis, Simone Zappalá. 99-104 [doi]
• Linking Fourier and PCA Methods for Image Look-UpDaniel Lichtblau. 105-110 [doi]
• Identifiability for Gauge Regularizations and Algorithms for Block-Sparse Synthesis in Compressive SensingFlavius Turcu, Charles Dossal, Marc Nicodeme. 111-118 [doi]
• Numerical Results for the Coupling of a Simple Neutronics Diffusion Model and a Simple Hydrodynamics Low Mach Number Model without Coupling CodesStéphane Dellacherie, Erell Jamelot, Olivier D. Lafitte, Riyaz Mouhamad. 119-124 [doi]
• Convergence Acceleration of Iterative Methods for Inverting Real Matrices Using Frobenius Norm MinimizationAjinkya Borle, Samuel J. Lomonaco. 125-132 [doi]
• Parallel Experiments with RARE-BLASChemseddine Chohra, Philippe Langlois, David Parello. 135-138 [doi]
• Parallel Simulations for Fractional-Order SystemsAndrada Baban, Cosmin Bonchis, Alexandru Fikl, Florin Rosu. 141-144 [doi]
• The Quest for Perfect and Compact Symmetry Breaking for Graph ProblemsMarijn J. H. Heule. 149-156 [doi]
• Resource Bounding for Non-Preemptive Task Scheduling on a Multiprocessor PlatformVlad Radulescu, Stefan Andrei, Albert M. K. Cheng. 157-164 [doi]
• Coverability Analysis of Time Basic Petri Nets with Non-Urgent BehaviorMatteo Camilli, Carlo Bellettini, Lorenzo Capra, Mattia Monga. 165-172 [doi]
• A Hybrid Test Generation Approach Based on Extended Finite State MachinesAna Turlea, Florentin Ipate, Raluca Lefticaru. 173-180 [doi]
• A Duality-Aware Calculus for Quantified Boolean FormulasKatalin Fazekas, Martina Seidl, Armin Biere. 181-186 [doi]
• Venn Diagrams for MultisetsAurelian Radoaca. 187-194 [doi]
• Parameterized Cellular Automata in Image SegmentationAnca Andreica, Laura Diosan, Irina Voiculescu. 199-205 [doi]
• Efficient and Robust Median-of-Means Algorithms for Location and RegressionAlexander Kogler, Patrick Traxler. 206-213 [doi]
• Optimizing Test Input Generation for Reactive Systems with an Adaptive Differential EvolutionAnnamária Szenkovits, Noémi Gaskó, Hunor Jakab. 214-218 [doi]
• A CUDA Implementation of the Standard Particle Swarm OptimizationMd. Maruf Hussain, Hiroshi Hattori, Noriyuki Fujimoto. 219-226 [doi]
• Extracting Gamers' Opinions from ReviewsDorinela Sirbu, Ana Secui, Mihai Dascalu, Scott Andrew Crossley, Stefan Ruseti, Stefan Trausan-Matu. 227-232 [doi]
• Detecting Malicious URLs: A Semi-Supervised Machine Learning System ApproachAnton Dan Gabriel, Dragos Teodor Gavrilut, Baetu Ioan Alexandru, Adrian-Stefan Popescu. 233-239 [doi]
• A Novel Approach for Software Defect Prediction Using Fuzzy Decision TreesZsuzsanna Marian, Ioan-Gabriel Mircea, István Gergely Czibula, Gabriela Czibula. 240-247 [doi]
• Hybrid Immune Based Method for Generating Healthy Meals for Older AdultsViorica Rozina Chifu, Ioan Salomie, Laura Petrisor, Emil St. Chifu, Dorin Moldovan. 248-255 [doi]
• Towards Lexicalization of DBpedia Ontology with Unsupervised Learning and Semantic Role LabelingAnca Nicoleta Marginean, Kando Eniko. 256-263 [doi]
• Gesture Recognition on Kinect Time Series Data Using Dynamic Time Warping and Hidden Markov ModelsAlina Delia Calin. 264-271 [doi]
• Levenberg-Marquardt Learning Algorithm for Quaternion-Valued Neural NetworksCalin-Adrian Popa. 272-278 [doi]
• Behavioral Trading System - Detecting Crisis, Risk and Stability in Financial MarketsMonica Tirea, Viorel Negru. 279-286 [doi]
• Irrelevance in Incomplete Fuzzy ArithmeticLaura Franzoi. 287-291 [doi]
• Identifying DGA-Based Botnets Using Network Anomaly DetectionDragos Teodor Gavrilut, George Popoiu, Razvan Benchea. 292-299 [doi]
• Handwritten Digit Recognition Using RotationsAnca Ignat, Bogdan Aciobanitei. 303-306 [doi]
• Comparing Different Term Weighting Schemas for Topic ModelingCiprian-Octavian Truica, Florin Radulescu, Alexandru Boicea. 307-310 [doi]
• Machine Learning Based Approaches for Sex Identification in BioarchaeologyDiana-Lucia Miholca, Gabriela Czibula, Ioan-Gabriel Mircea, István Gergely Czibula. 311-314 [doi]
• Malware Classification Based on Dynamic BehaviorGeorge Cabau, Magda Buhu, Ciprian Pavel Oprisa. 315-318 [doi]
• Parallel Heuristics for Systems of Equations PreconditioningLiviu Octavian Mafteiu-Scai, Calin Alexandru Cornigeanu. 319-322 [doi]
• Lowering Evolved Artificial Neural Network Overfitting through High-Probability MutationNicolae-Eugen Croitoru. 325-329 [doi]
• Continuation Semantics of a Language Inspired by Membrane Computing with Symport/Antiport InteractionsGabriel Ciobanu, Eneia Nicolae Todoran. 335-342 [doi]
• On Issues Concerning Cloud Environments in Scope of Scalable Multi-Projection MethodsByron E. Moutafis, Christos K. Filelis-Papadopoulos, George A. Gravvanis, John P. Morrison. 343-350 [doi]
• AUGURY: A Time Series Based Application for the Analysis and Forecasting of System and Network Performance MetricsNicolas Gutierrez, Manuela Wiesinger-Widi. 351-358 [doi]
• Tuning Logstash Garbage Collection for High Throughput in a Monitoring PlatformDong Nguyen Doan, Gabriel Iuhasz. 359-365 [doi]
• On Complexity of the Detection Problem for Bounded Length Polymorphic VirusesCatalin-Valeriu Lita. 371-378 [doi]
• Partial Finitely Generated Bi-IdealsRaivis Bets, Janis Buls. 379-383 [doi]
• Automated Negotiation Framework for the Transport Logistics ServiceLucian Luncean, Andrei Mocanu, Alexandru Petrut Becheru. 387-394 [doi]
• Towards a Multi-Agent System for Medical Records Processing and Knowledge DiscoveryTodor Ivascu, Adriana Dinis, Viorel Negru. 395-399 [doi]
• Multi-Agent Aspect Level Sentiment Analysis in CRM SystemsDoru Rotovei. 400-407 [doi]
• A Hybrid CPU/GPU Approach for the Parallel Algebraic Recursive Multilevel Solver pARMSAygul Jamal, Marc Baboulin, Amal Khabou, Masha Sosonkina. 411-416 [doi]
• Analysis of OpenCL Work-Group Reduce for Intel GPUsGrigore Lupescu, Emil-Ioan Slusanschi, Nicolae Tapus. 417-423 [doi]
• A Parallel Heuristic for Bandwidth Reduction Based on Matrix GeometryLiviu Octavian Mafteiu-Scai, Calin Alexandru Cornigeanu. 424-427 [doi]
• A Combined Analytical Modeling Machine Learning Approach for Performance Prediction of MapReduce Jobs in Cloud EnvironmentEhsan Ataie, Eugenio Gianniti, Danilo Ardagna, Ali Movaghar. 431-439 [doi]
• Censoring Sensitive Data from ImagesStefan Postavaru, Ionut-MihaIta Plesea. 443-448 [doi]
• In Search of the Optimal Set of Indicators when Classifying Histopathological ImagesCatalin Stoean. 449-455 [doi]
• Use of Genetic Algorithms in Numerical Weather PredictionLiviu Oana, Adrian F. Spataru. 456-461 [doi]
• Computing Boolean Border BasesJan Horácek, Martin Kreuzer, Ange Salome Messeng Ekossono. 465-472 [doi]