default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID15th SYNASC 2013: Timisoara, Romania
- Nikolaj S. Bjørner, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen M. Watt, Daniela Zaharie:
15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2013, Timisoara, Romania, September 23-26, 2013. IEEE Computer Society 2013, ISBN 978-1-4799-3035-7
Invited Papers
- Ivona Brandic
:
Reducing Energy Consumption by Using Clouds. 3-4 - Gabriel Ciobanu:
TiMo: Timed Mobility in Distributed Systems. 5-10 - Leonardo Mendonça de Moura, Dejan Jovanovic:
Model-Driven Decision Procedures for Arithmetic. 11 - Tetsuo Ida, Fadoua Ghourabi, Kazuko Takahashi:
Knot Fold of Regular Polygons: Computer-Assisted Construction and Verification. 12-19 - Jose Torres-Jimenez, Idelfonso Izquierdo-Marquez:
Survey of Covering Arrays. 20-27 - Grigore Rosu:
Specifying Languages and Verifying Programs with K. 28-31 - Dan A. Simovici:
Minability through Compression. 32-36 - Adrian Jackson:
Stepping Up. 37-41 - John Christopher Bowers, Ileana Streinu:
Computing Origami Universal Molecules with Cyclic Tournament Forests. 42-49
Symbolic Computation
- David J. Wilson, James H. Davenport, Matthew England, Russell J. Bradford:
A "Piano Movers" Problem Reformulated. 53-60 - Rui Hu, Stephen M. Watt:
Identifying Features via Homotopy on Handwritten Mathematical Symbols. 61-67 - Grzegorz Marczak, Daniel Simson, Katarzyna Zajac:
On Computing Non-negative Loop-Free Edge-Bipartite Graphs. 68-75 - Johannes Middeke, Ahmed Almohaimeed, David J. Jeffrey:
Common Factors in Fraction-Free Matrix Reduction. 76-80 - Tateaki Sasaki, Tetsu Yamaguchi:
On Algebraic Preprocessing of Floating-Point DAEs for Numerical Model Simulation. 81-88 - Nabil Hossain, Robert W. McGrail, James M. Belk, Francesco Matucci:
Deciding Conjugacy in Thompson's Group F in Linear Time. 89-96 - Galina Filipuk, Maciej Haneczok:
On Ladder Operators for Little q-Jacobi Polynomials and Their Generalizations. 97-103 - Marcin Gasiorek:
Efficient Computation of the Isotropy Group of a Finite Graph: A Combinatorial Approach. 104-111
Numerical Computing
- Rafal Bocian, Mariusz Felisiak, Daniel Simson:
On Coxeter Type Classification of Loop-Free Edge-Bipartite Graphs and Matrix Morsifications. 115-118 - Alexandra Emilia Fortis, Stefan Balint, Teodor-Florin Fortis:
Dependence of the Oscillatory Movements of an Unmanned Aerial Vehicle on the Forward Velocity. 119-125 - Remus-Daniel Ene, Vasile Marinca, Romeo Negrea:
Planar Stretching Flows with Partial Slip. 126-130 - Zinovi L. Krougly, David J. Jeffrey, Dina Tsarapkina:
Software Implementation of Numerical Algorithms in Arbitrary Precision. 131-137 - Islam A. Elshaarawy, Walid Gomaa:
An Efficient Computational Framework for Studying Dynamical Systems. 138-145 - Peter Kovacs, Viktor Vad:
Fast Computing of Non-uniform Sampling Positions for Real Signals. 146-150
Logic and Programming
- Walid Belkhir, Yannick Chevalier, Michaël Rusinowitch:
Fresh-Variable Automata: Application to Service Composition. 153-160 - Sylvain Conchon, Mohamed Iguernelala, Alain Mebsout:
A Collaborative Framework for Non-Linear Integer Arithmetic Reasoning in Alt-Ergo. 161-168 - Ioan Dragan, Konstantin Korovin, Laura Kovács, Andrei Voronkov:
Bound Propagation for Arithmetic Reasoning in Vampire. 169-176 - Andrei Arusoaie:
Engineering Hoare Logic-Based Program Verification in K Framework. 177-184 - Lorenzo Capra, Vincenzo Stile:
An Extension of the Interpreter Pattern to Define Domain-Parametric Rewriting Systems. 185-192 - Érik Martin-Dorel, Laurence Rideau, Laurent Théry, Micaela Mayero, Ioana Pasca:
Certified, Efficient and Sharp Univariate Taylor Models in COQ. 193-200 - Lucian Radu Teodorescu, Rodica Potolea:
Compiler Design for Hyper-metaprogramming. 201-208 - Gabriele Paganelli, Wolfgang Ahrendt:
Verifying (In-)Stability in Floating-Point Programs by Increasing Precision, Using SMT Solving. 209-216
Artificial Intelligence
- Radu Tudor Ionescu:
Local Rank Distance. 219-226 - Ciprian Oprisa, George Cabau, Adrian Colesa:
From Plagiarism to Malware Detection. 227-234 - Alexandru-Ciprian Zavoianu, Edwin Lughofer, Gerd Bramerdorfer, Wolfgang Amrhein, Erich-Peter Klement:
An Effective Ensemble-Based Method for Creating On-the-Fly Surrogate Fitness Functions for Multi-objective Evolutionary Algorithms. 235-242 - Cristian Frasinaru, Florentin Olariu:
Reducing the Number of Useless Revisions Performed by Constraint Solvers Based on AC-3. 243-249 - Cristina Marinescu:
Should We Beware the Exceptions? An Empirical Study on the Eclipse Project. 250-257 - Abhishek Awasthi, Jörg Lässig, Oliver Kramer:
Common Due-Date Problem: Exact Polynomial Algorithms for a Given Job Sequence. 258-264 - Andrei Olaru:
Context Matching for Ambient Intelligence Applications. 265-272 - Monica Tirea:
Traders' Behavior Effect on Stock Price Evolution. 273-280 - Vinicius da Silva Almendra, Denis Enachescu:
Using Self-Organizing Maps for Fraud Prediction at Online Auction Sites. 281-288 - Andrei Sorin Sabau:
Clustering Data Streams Using Mass Estimation. 289-295 - Gabriel Iuhasz, Victor Ion Munteanu, Viorel Negru:
Evolutionary Approach to Negotiation in Game AI. 296-302 - Marius Barat, Dumitru-Bogdan Prelipcean, Dragos Teodor Gavrilut:
An Automatic Updating Perceptron-Based System for Malware Detection. 303-307
Distributed Computing
- Jonas Bardino, Martin Rehr, Brian Vinter:
Cph CT Toolbox: CT Reconstruction for Education, Research and Industrial Applications. 311-320 - Ivan Simecek, Daniel Langr, Erik Srnec:
The Study of Impact of Matrix-Processor Mapping on the Parallel Sparse Matrix-Vector Multiplication. 321-328 - Péter Szilágyi:
Securing Communication in a Peer-to-Peer Messaging Middleware. 329-335 - Daniel Langr, Ivan Simecek, Pavel Tvrdík, Tomás Dytrych:
Parallel Data Acquisition for Visualization of Very Large Sparse Matrices. 336-343 - Ivan Simecek, Daniel Langr, Pavel Tvrdík:
Space Efficient Formats for Structure of Sparse Matrices Based on Tree Structures. 344-351 - Razvan-Mihai Aciu, Horia Ciocarlie:
Algorithm for Cooperative CPU-GPU Computing. 352-358
Advances in the Theory of Computing
- Thorsten Ehlers, Klaus Jansen:
Online-Scheduling on Identical Machines with Bounded Migration. 361-366 - Andrei Alexandru, Gabriel Ciobanu:
Algebraic Properties of Generalized Multisets. 367-374 - Agnieszka Polak, Daniel Simson:
Algorithmic Experiences in Coxeter Spectral Study of P-critical Edge-Bipartite Graphs and Posets. 375-382 - Inese Berzina, Janis Buls, Raivis Bets:
Bounded Bi-ideals and Linear Recurrence. 383-390 - Sebastian Codrin Ditu:
Token Free Bounded Delay Codes and Hash Iteration. 391-397 - Elena V. Ravve, Zeev Volkovich:
A Systematic Approach to Computations on Decomposable Graphs. 398-405
Workshop on the Management of Resources and Services in Cloud and Sky Computing
- Juan F. Pérez, Giuliano Casale:
Assessing SLA Compliance from Palladio Component Models. 409-416 - Elisabetta Di Nitto, Marcos Aurélio Almeida da Silva, Danilo Ardagna, Giuliano Casale, Ciprian Dorin Craciun, Nicolas Ferry, Victor Muntés, Arnor Solberg:
Supporting the Development and Operation of Multi-cloud Applications: The MODAClouds Approach. 417-423 - Andreas Menychtas, Christina Santzaridou, George Kousiouris, Theodora A. Varvarigou, Leire Orue-Echevarria, Juncal Alonso, Jesús Gorroñogoitia, Hugo Bruneliere, Oliver Strauß, Tatiana Senkova, Bram Pellens, Peter Stuer:
ARTIST Methodology and Framework: A Novel Approach for the Migration of Legacy Software on the Cloud. 424-431 - Ermanno Battista, Valentina Casola, Nicola Mazzocca, Massimo Ficco, Massimiliano Rak:
Developing Secure Cloud Applications: A Case Study. 432-439 - Gabriel Ciobanu, Ross Horne:
Non-interleaving Operational Semantics for Geographically Replicated Databases. 440-447 - Silviu Panica, Dana Petcu:
Distributed Resource Identification Service for Cloud Environments. 448-453 - Stefan Meyer, Philip D. Healy, Theo Lynn, John P. Morrison:
Quality Assurance for Open Source Software Configuration Management. 454-461 - Marcos Aurélio Almeida da Silva, Antonin Abherve, Andrey Sadovykh:
From the Desktop to the Multi-clouds: The Case of ModelioSaaS. 462-469
Workshop on HPC for Scientific Problems
- Jorge Sevilla Cedillo, Antonio Plaza:
A New Digital Repository for Remotely Sensed Hyperspectral Imagery on GPUs. 473-480 - Marius Joldos, Octavian Vinteler, Radu Ioan Peter, Ioan Lucian Muntean:
MPI-Based Asynchronous Simulation of Spiking Neural Networks on the Grid. 481-487 - Adrian Jackson, M. Sergio Campobasso:
Optimised Hybrid Parallelisation of a CFD Code on Many Core Architectures. 488-495 - Adrian Jackson, Pär Strand:
MDMP: Managed Data Message Passing. 496-502 - Matthieu Kuhn, Guillaume Latu, Stéphane Genaud, Nicolas Crouseilles:
Optimization and Parallelization of Emedge3D on Shared Memory Architecture. 503-510 - Jérôme Frisch, Ralf-Peter Mundani, Ernst Rank:
Adaptive Distributed Data Structure Management for Parallel CFD Applications. 511-518 - Nathalie Rauschmayr, Achim Streit:
Evaluating Moldability of LHCb Jobs for Multicore Job Submission. 519-525 - Victor-Lucian Spiridon, Emil-Ioan Slusanschi:
N-Body Simulations with GADGET-2. 526-533
Workshop on Agents for Complex Systems
- Daniel Pop, Caius Bogdanescu:
Ontology-Based Recommender for Distributed Machine Learning Environment. 537-542 - Monica Tirea, Viorel Negru:
Managing Risk Behavior on an Evolutionary Market - A Risk Limits and Value-at-Risk Measures Approach. 543-550
Workshop on Natural Computing and Applications
- Mihai Cimpoesu, Andrei Sucila, Henri Luchian:
Resolution of the Probabilistic Vector Machine Problem via Single Linear Program. 553-560 - David Roche, Debora Gil, Jesús Giraldo:
Detecting Loss of Diversity for an Efficient Termination of EAs. 561-566
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-07 23:35 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
