Table of Contents

• Enabling Distributed Intelligent Systems in Open Environments through Agreement TechnologiesSascha Ossowski. 3-6 [doi]
• Interactive vs. Automated Proofs in Computational OrigamiTetsuo Ida. 7 [doi]
• Synthesis from Examples: Interaction Models and AlgorithmsSumit Gulwani. 8-14 [doi]
• Computing with Free AlgebrasPaul Tarau. 15-22 [doi]
• What is an Equation?Solomon Marcus, Stephen M. Watt. 23-29 [doi]
• The Flexiformalist ManifestoMichael Kohlhase. 30-35 [doi]
• Experiences in Symbolic Computations for Matrix ProblemsStanislaw Kasjan, Andrzej Mróz. 39-44 [doi]
• Proposal of Singularization of Approximately Singular Polynomial SystemsTateaki Sasaki. 45-52 [doi]
• Solving Robust Glucose-Insulin Control by Dixon Resultant ComputationsLaura Kovács, Béla Paláncz, Levente Kovács. 53-61 [doi]
• Computational Properties of Two P Systems Solving the 3-colouring ProblemAdrian Turcanu, Florentin Ipate. 62-69 [doi]
• Algebraic Theory Exploration: A Comparison of TechnologiesQuratul-ain Mahesar, Volker Sorge. 70-77 [doi]
• A Model Reference Type Algorithm Using Importance ResamplingEmanuel Florentin Olariu. 78-82 [doi]
• Program Verification in the Presence of Complex Numbers, Functions with Branch Cuts etcJames H. Davenport, Russell J. Bradford, Matthew England, David J. Wilson. 83-88 [doi]
• On Computing Mesh Root Systems and the Isotropy Group for Simply-laced Dynkin DiagramsMariusz Felisiak, Daniel Simson. 91-97 [doi]
• Optimal Homotopy Asymptotic Method for Solving a Nonlinear Problem in ElasticityRemus Daniel Ene, Vasile Marinca, Romeo Negrea, Bogdan Caruntu. 98-102 [doi]
• Experimental Study on Parallel Methods for Solving Systems of EquationsStefan Maruster, Viorel Negru, Liviu Octavian Mafteiu-Scai. 103-107 [doi]
• Labelled Tableaux for Temporal Logic with Cardinality ConstraintsClare Dixon, Boris Konev, Renate A. Schmidt, Dmitry Tishkovsky. 111-118 [doi]
• Solving, Reasoning, and Programming in Common LogicTemur Kutsia, Mircea Marin. 119-126 [doi]
• Soundness of a Logic-Based Verification Method for Imperative LoopsMadalina Erascu, Tudor Jebelean. 127-134 [doi]
• Toward an Optimal Power-Aware Scheduling TechniqueStefan Andrei, Albert M. K. Cheng, Vlad Radulescu, Timothy McNicholl. 135-142 [doi]
• Automated Synthesis of Some Algorithms on Finite SetsIsabela Dramnesc, Tudor Jebelean. 143-151 [doi]
• Automating Abstract Syntax Tree Construction for Context Free GrammarsAndrei Arusoaie, Daniel Ionut Vicol. 152-159 [doi]
• Label-Based Programming Language Semantics in K Framework with SDFDenis Bogdanas. 160-167 [doi]
• VHDL Framework for Modeling Fuzzy AutomataDoru Todinca, Daniel Butoianu. 171-178 [doi]
• A Metric for Evaluating the Usability of File SystemsCiprian Oprisa, Adrian Colesa, Iosif Ignat. 179-186 [doi]
• ReFaM: A Software Tool for Minimizing Nondeterministic Finite AutomataAndrey V. Tsyganov. 187-191 [doi]
• The Role of the Multiresolution Textural Features in Improving the Characterization and Recognition of the Liver Tumors, Based on Ultrasound ImagesDelia Mitrea, Sergiu Nedevschi, Radu Badea. 192-199 [doi]
• Variable Density Based Genetic ClusteringAndrei Sorin Sabau. 200-206 [doi]
• Clustering Methods Based on Closest String via Rank DistanceLiviu P. Dinu, Radu-Tudor Ionescu. 207-213 [doi]
• A Genetic Clustering Algorithm by Monomial Projection PursuitMihaela Elena Breaban, Henri Luchian, Dan A. Simovici. 214-219 [doi]
• Clustering to Improve Microblog Stream SummarizationAndrei Olariu. 220-226 [doi]
• Ant Colony Optimisation for Automatically Populating Ontologies with IndividualsMihnea Donciu, Madalina Ionita, Mihai Dascalu, Stefan Trausan-Matu. 227-232 [doi]
• A Fraudster in a Haystack: Crafting a Classifier for Non-delivery Fraud Prediction at Online Auction SitesVinicius Almendra, Denis Enachescu. 233-239 [doi]
• Practical Optimizations for Perceptron Algorithms in Large Malware DatasetDragos Gavrilut, Razvan Benchea, Cristina Vatamanu. 240-246 [doi]
• Optimized Zero False Positives Perceptron Training for Malware DetectionDragos Gavrilut, Razvan Benchea, Cristina Vatamanu. 247-253 [doi]
• Exploring Lorenz DominanceRéka Nagy, Mihai Alexandru Suciu, D. Dumitrescu. 254-259 [doi]
• A Rank-Based Approach of Cosine Similarity with Applications in Automatic ClassificationLiviu P. Dinu, Radu-Tudor Ionescu. 260-264 [doi]
• Grouping of Customer Opinions Written in Natural Language Using Unsupervised Machine LearningFrantisek Darena, Jan Zizka, Karel Burda. 265-270 [doi]
• Relating Two Metric Semantics for Parallel Rewriting of MultisetsGabriel Ciobanu, Eneia Nicolae Todoran. 273-280 [doi]
• Speculative Genetic Scheduling Method for Hadoop EnvironmentsDaniel Pletea, Florin Pop, Valentin Cristea. 281-286 [doi]
• Improving the Responsiveness of Replicated Virtualized Services in Case of Overloaded Replicas ConnectivityAdrian Colesa, Ioan Stan. 287-294 [doi]
• Symbolic State Space Exploration of RT Systems in the CloudCarlo Bellettini, Matteo Camilli, Lorenzo Capra, Mattia Monga. 295-302 [doi]
• A Fault-Tolerant Distributed Solution for the Parallel Gaussian Reduction of Huge ArraysAdrian Mocanu, Nicolae Tapus. 303-310 [doi]
• A Distributed Solver for Dense Linear Feasibility SystemsAndrei Sucila, Mihai Cimpoesu. 311-318 [doi]
• Timed Catalytic Petri NetsBogdan Aman, Gabriel Ciobanu, G. Michele Pinna. 319-326 [doi]
• A New Online Load Balancing Algorithm in Distributed SystemsCiprian Paduraru. 327-334 [doi]
• Unpredictable Random Number Generator Based on the Performance Data Helper InterfaceKinga Marton, Peter Toth, Alin Suciu. 335-340 [doi]
• Methods for Securing Routing Protocols in Ad-Hoc NetworksCiobanu (Defta) Costinela-Luminita, Ciobanu (Iacob) Nicoleta Magdalena. 341-348 [doi]
• ARSYS - Article Recommender SystemCristian Bancu, Monica Dagadita, Mihai Dascalu, Ciprian Dobre, Stefan Trausan-Matu, Adina Magda Florea. 349-355 [doi]
• Minimal Quadtree Format for Compression of Sparse Matrices StorageIvan Simecek, Daniel Langr, Pavel Tvrdík. 359-364 [doi]
• A Computational Framework for the Study of Partition Functions and Graph PolynomialsTomer Kotek, Johann A. Makowsky, Elena V. Ravve. 365-368 [doi]
• On Coxeter Spectral Study of Posets and a Digraph Isomorphism ProblemMarcin Gasiorek, Daniel Simson, Katarzyna Zajac 0002. 369-375 [doi]
• Nominal Fusion CalculusAndrei Alexandru, Gabriel Ciobanu. 376-383 [doi]
• Boolean Evaluation with a Pairing and Unpairing FunctionPaul Tarau, Brenda Luderman. 384-390 [doi]
• OFBench: An Enterprise Application Benchmark for Cloud Resource Management StudiesJean Moschetta, Giuliano Casale. 393-399 [doi]
• SENSAPP as a Reference Platform to Support Cloud Experiments: From the Internet of Things to the Internet of ServicesSébastien Mosser, Franck Fleurey, Brice Morin, Franck Chauvel, Arnor Solberg, Iokanaan Goutier. 400-406 [doi]
• Cloud4SOA: Multi-cloud Application Management Across PaaS OfferingsFrancesco D'Andria, Stefano Bocconi, Jesus Gorronogoitia Cruz, James Ahtes, Dimitris Zeginis. 407-414 [doi]
• Benchmarks in the Cloud: The mOSAIC Benchmarking FrameworkMassimiliano Rak, Giuseppe Aversano. 415-422 [doi]
• Evaluating the Auto Scaling Performance of Flexiscale and Amazon EC2 CloudsFilippo Lorenzo Ferraris, Davide Franceschelli, Mario Pio Gioiosa, Donato Lucia, Danilo Ardagna, Elisabetta Di Nitto, Tabassum Sharif. 423-429 [doi]
• Evaluation of the CAP Properties on Amazon SimpleDB and Windows Azure Table StorageSimone Benefico, Eva Gjeci, Ricardo Gonzalez Gomarasca, Eros Lever, Santo Lombardo, Danilo Ardagna, Elisabetta Di Nitto. 430-435 [doi]
• Towards Multi-tenant and Interoperable Monitoring of Virtual Machines in CloudDaniel Tovarnák, Tomás Pitner. 436-442 [doi]
• Issues in Handling Complex Data Structures with NoSQL DatabasesSanto Lombardo, Elisabetta Di Nitto, Danilo Ardagna. 443-448 [doi]
• Minimizing Resource Rent Loss while Maximizing User Availability in Cloud Applications through Online Switching of the Scaling MethodMarc Frîncu, Adrian F. Spataru. 449-456 [doi]
• Service Lifecycle in the Cloud EnvironmentVictor Ion Munteanu, Teodor Florin Fortis, Viorel Negru. 457-464 [doi]
• Trust Model Engines in Cloud ComputingMarcela Roxana Farcasescu. 465-470 [doi]
• Towards Interactive Steering of a Very Large Floating Structure Code by Using HPC Parallelisation StrategiesJérôme Frisch, Ruiping Gao, Ralf-Peter Mundani, Chien-Ming Wang, Ernst Rank. 473-480 [doi]
• Dynamics Analysis of Parallel Simulations of the Spike Response ModelIoan Lucian Muntean, Radu Ioan Peter, Marius Joldos. 481-486 [doi]
• Optimizing Parallel CFD Simulations of 2D Compressible FlowsAna Claudia Sima, Emil Slusanschi. 487-494 [doi]
• Service Brokering in Cloud GovernanceVictor Ion Munteanu, Cristina Mindruta, Teodor Florin Fortis. 497-504 [doi]
• Neural Network Predictions of Stock Price FluctuationsGabriel Iuhasz, Monica Tirea, Viorel Negru. 505-512 [doi]
• Ubiquitous Multi-agent Environmental Hazard ManagementAndrei Mocanu, Sorin Ilie, Costin Badica. 513-521 [doi]