Table of Contents

• Model-Driven Design of Cloud Applications with Quality-of-Service Guarantees: The MODAClouds Approach, MICAS TutorialMarcos Aurélio Almeida da Silva, Danilo Ardagna, Nicolas Ferry, Juan F. Pérez. 3-10 [doi]
• Huzita's Basic Origami Fold in Geometric AlgebraTetsuo Ida. 11-13 [doi]
• Genetic Improvement of ProgramsWilliam B. Langdon. 14-19 [doi]
• Spiking Neural P Systems - A Quick Survey and Some Research TopicsGheorghe Paun. 20-25 [doi]
• A Streamlined Difference Ring Theory: Indefinite Nested Sums, the Alternating Sign, and the Parameterized Telescoping ProblemCarsten Schneider. 26-33 [doi]
• Hierarchical Reasoning in Local Theory Extensions and ApplicationsViorica Sofronie-Stokkermans. 34-41 [doi]
• Using Cylindrical Algebraic Decomposition and Local Fourier Analysis to Study Numerical Methods: Two ExamplesStefan Takacs. 42-49 [doi]
• Using the Distribution of Cells by Dimension in a Cylindrical Algebraic DecompositionDavid J. Wilson, Matthew England, Russell J. Bradford, James H. Davenport. 53-60 [doi]
• Branch Differences and Lambert WD. J. Jeffrey, J. E. Jankowski. 61-65 [doi]
• On Corank Two Edge-Bipartite Graphs and Simply Extended Euclidean DiagramsMarcin Gasiorek, Daniel Simson, Katarzyna Zajac 0002. 66-73 [doi]
• Solving Parametric Sparse Linear Systems by Local Blocking, IITateaki Sasaki. 74-81 [doi]
• Lipschitz Bounds for Noise Robustness in Compressive Sensing: Two AlgorithmsMarc Nicodeme, Charles Dossal, Flavius Turcu, Yannick Berthoumieu. 85-90 [doi]
• Fast Method for Locating Peak Values of the Riemann Zeta Function on the Critical LineNorbert Tihanyi. 91-96 [doi]
• A Lowest Level Rule Push-Relabel Algorithm for Submodular Flows and Matroid OptimizationEmanuel Florentin Olariu, Cristian Frasinaru. 97-102 [doi]
• Optimal Homotopy Asymptotic Method for Viscous Boundary Layer Flow in Unbounded DomainRemus Daniel Ene, Vasile Marinca, Romeo Negrea. 103-108 [doi]
• New Arithmetic Algorithms for Hereditarily Binary Natural NumbersPaul Tarau. 109-116 [doi]
• On the Computation of the Hansen CoefficientsPetru Calin Bazavan, Lucian-Florentin Barbulescu, Paul Cefola. 117-121 [doi]
• Efficient Converting of Large Sparse Matrices to Quadtree FormatIvan Simecek, Daniel Langr, Jan Trdlicka. 122-129 [doi]
• Implementing Reasoning Modules in Implicit Induction Theorem ProversSorin Stratulat. 133-140 [doi]
• Automated Synthesis of Target-Dependent Programs for Polynomial Evaluation in Fixed-Point ArithmeticChristophe Mouilleron, Amine Najahi, Guillaume Revy. 141-148 [doi]
• Guiding Random Test Generation for Intra-class Dataflow CoveragePetru Florin Mihancea, Edit Mercedes Mera-Batiz, Marius Minea. 149-155 [doi]
• Proof Generation from Delta-DecisionsSicun Gao, Soonho Kong, Edmund M. Clarke. 156-163 [doi]
• Reducing Partial Equivalence to Partial CorrectnessStefan Ciobaca. 164-171 [doi]
• A Heuristic-Based Approach for Reducing the Power Consumption of Real-Time Embedded SystemsVlad Radulescu, Stefan Andrei, Albert M. K. Cheng. 172-179 [doi]
• Catamorphism Generation and Fusion Using CoqSimon Robillard. 180-185 [doi]
• Simulation-Extrapolation Gaussian Processes for Input Noise ModelingBotond Bocsi, Hunor Jakab, Lehel Csató. 189-195 [doi]
• Performance Evaluation of Fuzzy Automata Using VHDL SimulationDaniel-Eugen Butoianu, Doru Todinca. 196-203 [doi]
• Using Domain Specific Hierarchical Good Practice for Ranking Service CompositionsAnca Marginean, Ioan Alfred Letia, Sergiu Zaporojan. 204-211 [doi]
• A Population-Based Incremental Learning Method for Constrained Portfolio OptimisationYan Jin, Rong Qu, Jason A. D. Atkin. 212-219 [doi]
• Dynamic Clustering of Gene Expression Data Using a Fuzzy ApproachAdela-Maria Sirbu, Gabriela Czibula, Maria-Iuliana Bocicor. 220-227 [doi]
• Opinion Influence Analysis in Online Forum ThreadsDumitru-Clementin Cercel, Stefan Trausan-Matu. 228-235 [doi]
• A Practical Guide for Detecting the Java Script-Based Malware Using Hidden Markov Models and Linear ClassifiersDoina Cosovan, Razvan Benchea, Dragos Gavrilut. 236-243 [doi]
• Multispace, Dynamic, Fixed-Radius, All Nearest Neighbours ProblemBartosz Papis, Andrzej Pacut. 244-250 [doi]
• Open and Interoperable Socio-technical NetworksAndrei Ciortea, Olivier Boissier, Antoine Zimmermann, Adina Magda Florea. 251-257 [doi]
• Pedestrian Recognition by Using a Kernel-Based Multi-modality ApproachAdela-Maria Sirbu, Alexandrina Rogozan, Laura Diosan, Abdelaziz Bensrhair. 258-263 [doi]
• Mining GPS Data to Learn Driver's Route PatternsEmilian Necula. 264-271 [doi]
• Enhanced Gradient Descent Algorithms for Complex-Valued Neural NetworksCalin-Adrian Popa. 272-279 [doi]
• A Practical Approach on Cleaning-Up Large Data SetsMarius Barat, Dumitru-Bogdan Prelipcean, Dragos Teodor Gavrilut. 280-284 [doi]
• Central Dogma of Molecular Biology - New Paradigm in Evolutionary ComputationCorina Rotar. 285-292 [doi]
• An Ontology Selection and Ranking System Based on the Analytic Hierarchy ProcessAdrian Groza, Irina Dragoste, Iulia Sincai, Ioana Jimborean, Vasile Moraru. 293-300 [doi]
• High-Probability Mutation in Basic Genetic AlgorithmsNicolae-Eugen Croitoru. 301-305 [doi]
• Reliable Management of Virtualized Resources Using Fault TreesAlexandru Butoi, Alexandru Stan, Gheorghe Cosmin Silaghi. 309-316 [doi]
• Correct Metric Semantics for a Biologically-Inspired FormalismGabriel Ciobanu, Eneia Nicolae Todoran. 317-324 [doi]
• Implementing Powerlists with Bulk Synchronous Parallel MLFrédéric Loulergue, Virginia Niculescu, Julien Tesson. 325-332 [doi]
• CTL Model Checking in the Cloud Using MapReduceMatteo Camilli, Carlo Bellettini, Lorenzo Capra, Mattia Monga. 333-340 [doi]
• Views and Updates over Distributed DatabasesElena V. Ravve. 341-348 [doi]
• Load Scheduling in a Cloud Based Massive Video-Storage EnvironmentKarunakar Reddy Bayyapu, Paul Fischer. 349-356 [doi]
• The Quest for Optimal Sorting Networks: Efficient Generation of Two-Layer PrefixesMichael Codish, Luís Cruz-Filipe, Peter Schneider-Kamp. 359-366 [doi]
• CSPs and Connectedness: P/NP Dichotomy for Idempotent, Right QuasigroupsRobert W. McGrail, James M. Belk, Solomon Garber, Japheth Wood, Benjamin Fish. 367-374 [doi]
• Analyzing WMSOL Definable Properties on Sum-Like Weighted Labeled TreesElena V. Ravve. 375-382 [doi]
• Optimal Capacity Allocation for Executing MapReduce Jobs in Cloud SystemsMarzieh Malekimajd, Alessandro Maria Rizzi, Danilo Ardagna, Michele Ciavotta, Mauro Passacantando, Ali Movaghar. 385-392 [doi]
• Evaluating Weighted Round Robin Load Balancing for Cloud Web ServicesWeikun Wang, Giuliano Casale. 393-400 [doi]
• Using Models at Runtime to Support Adaptable Monitoring of Multi-clouds ApplicationsLorenzo Cianciaruso, Francesco di Forenza, Elisabetta Di Nitto, Marco Miglierina, Nicolas Ferry, Arnor Solberg. 401-408 [doi]
• Early Prediction of the Cost of HPC Application Execution in the CloudMassimiliano Rak, Mauro Turtur, Umberto Villano. 409-416 [doi]
• A Distributed File System over Heterogeneous SaaS Storage PlatformsMarco Scavuzzo. 417-421 [doi]
• Application Deployment and Management in the CloudMarco Miglierina. 422-428 [doi]
• Open Stack and Cloud Stack: Open Source Solutions for Building Public and Private CloudsAmine Barkat, Alysson Diniz dos Santos, Thi Thao Nguyen Ho. 429-436 [doi]
• Optimization Techniques within the Hadoop Eco-system: A SurveyGiulia Rumi, Claudia Colella, Danilo Ardagna. 437-444 [doi]
• A Receding Horizon Approach for the Runtime Management of IaaS Cloud SystemsDanilo Ardagna, Michele Ciavotta, Riccardo Lancellotti. 445-452 [doi]
• A Distributed-Memory Parallelization of a Shared-Memory Parallel Ensemble Kalman FilterM. Ali Rostami, H. Martin Bücker, Christian Vogt, Ralf Seidler, David Neuhäuser, Volker Rath. 455-462 [doi]
• Interactive Data Exploration for High-Performance Fluid Flow Computations through Porous MediaNevena Perovic, Jérôme Frisch, Ralf-Peter Mundani, Ernst Rank. 463-470 [doi]
• Fault-Tolerant Global Load Balancing in X10Marco Bungart, Claudia Fohry, Jonas Posner. 471-478 [doi]
• Register Caching for Stencil Computations on GPUsThomas L. Falch, Anne C. Elster. 479-486 [doi]
• Performance Improvements for the "Linear Nonadiabatic Nonradial Waves" Pulsational ModelMihai Ovidiu Tirsa, Emil-Ioan Slusanschi, Marian Doru Suran. 487-493 [doi]
• NSGA-II: Implementation and Performance Metrics Extraction for CPU and GPUFlorina Roxana Padurariu, Cristina Marinescu. 494-499 [doi]
• A Parallel, Distributed, High-Performance Architecture for Simulating Particle-Based ModelsAdrian Sabou, Dorian Gorgan. 500-507 [doi]
• Expressing BBUFs Lookup Using the π-CalculusGabriel Ciobanu, Dan Cojocar. 511-518 [doi]
• Intelligent Stock Market Analysis System - A Fundamental and Macro-economical Analysis ApproachMonica Tirea, Viorel Negru. 519-526 [doi]
• Semantic Modeling of Information for Freight Transportation BrokerLucian Luncean, Costin Badica. 527-534 [doi]
• Investigation of Alternative Evolutionary Prototype Generation in Medical ClassificationCatalin Stoean, Ruxandra Stoean, Adrian Sandita. 537-543 [doi]
• How Good Is Genetic Programming at Predicting Changes and Defects?Cristina Marinescu. 544-548 [doi]
• An Imperialistic Strategy Approach to Continuous Global Optimization ProblemGeorge Anescu. 549-556 [doi]
• Enhancing Dental Radiographic Images in Spline-Type SpacesDarian M. Onchis, Smaranda Laura Gotia. 559-564 [doi]
• The Classification of Endoscopy Images with Persistent HomologyOlga D. Dunaeva, Herbert Edelsbrunner, Anton Lukyanov, Michael Machin, Daria Malkova. 565-570 [doi]
• Computing Homological Information Based on Directed Graphs within Discrete ObjectsAldo Gonzalez-Lorenzo, Alexandra Bac, Jean-Luc Mari, Pedro Real. 571-578 [doi]
• Topological Image Analysis and (Normalised) Representations for Plant PhenotypingInes Janusch, Walter G. Kropatsch, Wolfgang Busch. 579-586 [doi]
• Efficient Computation of Simplicial Homology through Acyclic MatchingUlderico Fugacci, Federico Iuricich, Leila De Floriani. 587-593 [doi]
• Auto-completion of Contours in Sketches, Maps, and Sparse 2D Images Based on Topological PersistenceVitaliy Kurlin. 594-601 [doi]
• Multi-phase Identification in Microstructures Images Using a GPU Accelerated Fuzzy C-Means SegmentationDarian M. Onchis, Doina Frunzaverde, Mihail Gaianu, Relu Ciubotariu. 602-607 [doi]