Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Nikolaj S. Bjørner, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen M. Watt, Daniela Zaharie (eds.) |
15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2013, Timisoara, Romania, September 23-26, 2013 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![IEEE Computer Society, 978-1-4799-3035-7 The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Tetsuo Ida, Fadoua Ghourabi, Kazuko Takahashi |
Knot Fold of Regular Polygons: Computer-Assisted Construction and Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2013, Timisoara, Romania, September 23-26, 2013, pp. 12-19, 2013, IEEE Computer Society, 978-1-4799-3035-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ivan Simecek, Daniel Langr, Erik Srnec |
The Study of Impact of Matrix-Processor Mapping on the Parallel Sparse Matrix-Vector Multiplication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2013, Timisoara, Romania, September 23-26, 2013, pp. 321-328, 2013, IEEE Computer Society, 978-1-4799-3035-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Alexandra Emilia Fortis, Stefan Balint, Teodor-Florin Fortis |
Dependence of the Oscillatory Movements of an Unmanned Aerial Vehicle on the Forward Velocity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2013, Timisoara, Romania, September 23-26, 2013, pp. 119-125, 2013, IEEE Computer Society, 978-1-4799-3035-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Silviu Panica, Dana Petcu |
Distributed Resource Identification Service for Cloud Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2013, Timisoara, Romania, September 23-26, 2013, pp. 448-453, 2013, IEEE Computer Society, 978-1-4799-3035-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Péter Szilágyi |
Securing Communication in a Peer-to-Peer Messaging Middleware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2013, Timisoara, Romania, September 23-26, 2013, pp. 329-335, 2013, IEEE Computer Society, 978-1-4799-3035-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Marius Joldos, Octavian Vinteler, Radu Ioan Peter, Ioan Lucian Muntean |
MPI-Based Asynchronous Simulation of Spiking Neural Networks on the Grid. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2013, Timisoara, Romania, September 23-26, 2013, pp. 481-487, 2013, IEEE Computer Society, 978-1-4799-3035-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian Codrin Ditu |
Token Free Bounded Delay Codes and Hash Iteration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2013, Timisoara, Romania, September 23-26, 2013, pp. 391-397, 2013, IEEE Computer Society, 978-1-4799-3035-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Marcos Aurélio Almeida da Silva, Antonin Abherve, Andrey Sadovykh |
From the Desktop to the Multi-clouds: The Case of ModelioSaaS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2013, Timisoara, Romania, September 23-26, 2013, pp. 462-469, 2013, IEEE Computer Society, 978-1-4799-3035-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Érik Martin-Dorel, Laurence Rideau, Laurent Théry, Micaela Mayero, Ioana Pasca |
Certified, Efficient and Sharp Univariate Taylor Models in COQ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2013, Timisoara, Romania, September 23-26, 2013, pp. 193-200, 2013, IEEE Computer Society, 978-1-4799-3035-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Cristian Frasinaru, Florentin Olariu |
Reducing the Number of Useless Revisions Performed by Constraint Solvers Based on AC-3. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2013, Timisoara, Romania, September 23-26, 2013, pp. 243-249, 2013, IEEE Computer Society, 978-1-4799-3035-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Sylvain Conchon, Mohamed Iguernelala, Alain Mebsout |
A Collaborative Framework for Non-Linear Integer Arithmetic Reasoning in Alt-Ergo. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2013, Timisoara, Romania, September 23-26, 2013, pp. 161-168, 2013, IEEE Computer Society, 978-1-4799-3035-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Mihai Cimpoesu, Andrei Sucila, Henri Luchian |
Resolution of the Probabilistic Vector Machine Problem via Single Linear Program. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2013, Timisoara, Romania, September 23-26, 2013, pp. 553-560, 2013, IEEE Computer Society, 978-1-4799-3035-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Gabriel Ciobanu |
TiMo: Timed Mobility in Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2013, Timisoara, Romania, September 23-26, 2013, pp. 5-10, 2013, IEEE Computer Society, 978-1-4799-3035-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Elisabetta Di Nitto, Marcos Aurélio Almeida da Silva, Danilo Ardagna, Giuliano Casale, Ciprian Dorin Craciun, Nicolas Ferry 0001, Victor Muntés, Arnor Solberg |
Supporting the Development and Operation of Multi-cloud Applications: The MODAClouds Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2013, Timisoara, Romania, September 23-26, 2013, pp. 417-423, 2013, IEEE Computer Society, 978-1-4799-3035-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Grigore Rosu |
Specifying Languages and Verifying Programs with K. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2013, Timisoara, Romania, September 23-26, 2013, pp. 28-31, 2013, IEEE Computer Society, 978-1-4799-3035-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Tateaki Sasaki, Tetsu Yamaguchi |
On Algebraic Preprocessing of Floating-Point DAEs for Numerical Model Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2013, Timisoara, Romania, September 23-26, 2013, pp. 81-88, 2013, IEEE Computer Society, 978-1-4799-3035-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Olaru |
Context Matching for Ambient Intelligence Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2013, Timisoara, Romania, September 23-26, 2013, pp. 265-272, 2013, IEEE Computer Society, 978-1-4799-3035-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Lorenzo Capra, Vincenzo Stile |
An Extension of the Interpreter Pattern to Define Domain-Parametric Rewriting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2013, Timisoara, Romania, September 23-26, 2013, pp. 185-192, 2013, IEEE Computer Society, 978-1-4799-3035-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | David J. Wilson, James H. Davenport, Matthew England 0001, Russell J. Bradford |
A "Piano Movers" Problem Reformulated. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2013, Timisoara, Romania, September 23-26, 2013, pp. 53-60, 2013, IEEE Computer Society, 978-1-4799-3035-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jérôme Frisch, Ralf-Peter Mundani, Ernst Rank |
Adaptive Distributed Data Structure Management for Parallel CFD Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2013, Timisoara, Romania, September 23-26, 2013, pp. 511-518, 2013, IEEE Computer Society, 978-1-4799-3035-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Dan A. Simovici |
Minability through Compression. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2013, Timisoara, Romania, September 23-26, 2013, pp. 32-36, 2013, IEEE Computer Society, 978-1-4799-3035-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Monica Tirea |
Traders' Behavior Effect on Stock Price Evolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2013, Timisoara, Romania, September 23-26, 2013, pp. 273-280, 2013, IEEE Computer Society, 978-1-4799-3035-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Adrian Jackson, M. Sergio Campobasso |
Optimised Hybrid Parallelisation of a CFD Code on Many Core Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2013, Timisoara, Romania, September 23-26, 2013, pp. 488-495, 2013, IEEE Computer Society, 978-1-4799-3035-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Alexandru, Gabriel Ciobanu |
Algebraic Properties of Generalized Multisets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2013, Timisoara, Romania, September 23-26, 2013, pp. 367-374, 2013, IEEE Computer Society, 978-1-4799-3035-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Marius Barat, Dumitru-Bogdan Prelipcean, Dragos Teodor Gavrilut |
An Automatic Updating Perceptron-Based System for Malware Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2013, Timisoara, Romania, September 23-26, 2013, pp. 303-307, 2013, IEEE Computer Society, 978-1-4799-3035-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Gabriel Ciobanu, Ross Horne |
Non-interleaving Operational Semantics for Geographically Replicated Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2013, Timisoara, Romania, September 23-26, 2013, pp. 440-447, 2013, IEEE Computer Society, 978-1-4799-3035-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Rui Hu, Stephen M. Watt |
Identifying Features via Homotopy on Handwritten Mathematical Symbols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2013, Timisoara, Romania, September 23-26, 2013, pp. 61-67, 2013, IEEE Computer Society, 978-1-4799-3035-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Zinovi L. Krougly, David J. Jeffrey, Dina Tsarapkina |
Software Implementation of Numerical Algorithms in Arbitrary Precision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2013, Timisoara, Romania, September 23-26, 2013, pp. 131-137, 2013, IEEE Computer Society, 978-1-4799-3035-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jonas Bardino, Martin Rehr, Brian Vinter |
Cph CT Toolbox: CT Reconstruction for Education, Research and Industrial Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2013, Timisoara, Romania, September 23-26, 2013, pp. 311-320, 2013, IEEE Computer Society, 978-1-4799-3035-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Razvan-Mihai Aciu, Horia Ciocarlie |
Algorithm for Cooperative CPU-GPU Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2013, Timisoara, Romania, September 23-26, 2013, pp. 352-358, 2013, IEEE Computer Society, 978-1-4799-3035-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Peter Kovacs, Viktor Vad |
Fast Computing of Non-uniform Sampling Positions for Real Signals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2013, Timisoara, Romania, September 23-26, 2013, pp. 146-150, 2013, IEEE Computer Society, 978-1-4799-3035-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Vinicius da Silva Almendra, Denis Enachescu |
Using Self-Organizing Maps for Fraud Prediction at Online Auction Sites. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2013, Timisoara, Romania, September 23-26, 2013, pp. 281-288, 2013, IEEE Computer Society, 978-1-4799-3035-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Sascha Ossowski |
Enabling Distributed Intelligent Systems in Open Environments through Agreement Technologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, Timisoara, Romania, September 26-29, 2012, pp. 3-6, 2012, IEEE Computer Society, 978-1-4673-5026-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Remus-Daniel Ene, Vasile Marinca, Romeo Negrea, Bogdan Caruntu |
Optimal Homotopy Asymptotic Method for Solving a Nonlinear Problem in Elasticity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, Timisoara, Romania, September 26-29, 2012, pp. 98-102, 2012, IEEE Computer Society, 978-1-4673-5026-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Tateaki Sasaki |
Proposal of Singularization of Approximately Singular Polynomial Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, Timisoara, Romania, September 26-29, 2012, pp. 45-52, 2012, IEEE Computer Society, 978-1-4673-5026-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Tetsuo Ida |
Interactive vs. Automated Proofs in Computational Origami. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, Timisoara, Romania, September 26-29, 2012, pp. 7, 2012, IEEE Computer Society, 978-1-4673-5026-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Dragos Gavrilut, Razvan Benchea, Cristina Vatamanu |
Practical Optimizations for Perceptron Algorithms in Large Malware Dataset. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, Timisoara, Romania, September 26-29, 2012, pp. 240-246, 2012, IEEE Computer Society, 978-1-4673-5026-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Laura Kovács, Béla Paláncz, Levente Kovács |
Solving Robust Glucose-Insulin Control by Dixon Resultant Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, Timisoara, Romania, September 26-29, 2012, pp. 53-61, 2012, IEEE Computer Society, 978-1-4673-5026-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Santo Lombardo, Elisabetta Di Nitto, Danilo Ardagna |
Issues in Handling Complex Data Structures with NoSQL Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, Timisoara, Romania, September 26-29, 2012, pp. 443-448, 2012, IEEE Computer Society, 978-1-4673-5026-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Adrian Colesa, Ioan Stan |
Improving the Responsiveness of Replicated Virtualized Services in Case of Overloaded Replicas Connectivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, Timisoara, Romania, September 26-29, 2012, pp. 287-294, 2012, IEEE Computer Society, 978-1-4673-5026-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Arusoaie, Daniel Ionut Vicol |
Automating Abstract Syntax Tree Construction for Context Free Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, Timisoara, Romania, September 26-29, 2012, pp. 152-159, 2012, IEEE Computer Society, 978-1-4673-5026-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Clare Dixon, Boris Konev, Renate A. Schmidt, Dmitry Tishkovsky |
Labelled Tableaux for Temporal Logic with Cardinality Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, Timisoara, Romania, September 26-29, 2012, pp. 111-118, 2012, IEEE Computer Society, 978-1-4673-5026-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Delia Mitrea, Sergiu Nedevschi, Radu Badea |
The Role of the Multiresolution Textural Features in Improving the Characterization and Recognition of the Liver Tumors, Based on Ultrasound Images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, Timisoara, Romania, September 26-29, 2012, pp. 192-199, 2012, IEEE Computer Society, 978-1-4673-5026-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Tomer Kotek, Johann A. Makowsky, Elena V. Ravve |
A Computational Framework for the Study of Partition Functions and Graph Polynomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, Timisoara, Romania, September 26-29, 2012, pp. 365-368, 2012, IEEE Computer Society, 978-1-4673-5026-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Gabriel Ciobanu, Eneia Nicolae Todoran |
Relating Two Metric Semantics for Parallel Rewriting of Multisets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, Timisoara, Romania, September 26-29, 2012, pp. 273-280, 2012, IEEE Computer Society, 978-1-4673-5026-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Quratul-ain Mahesar, Volker Sorge |
Algebraic Theory Exploration: A Comparison of Technologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, Timisoara, Romania, September 26-29, 2012, pp. 70-77, 2012, IEEE Computer Society, 978-1-4673-5026-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Massimiliano Rak, Giuseppe Aversano |
Benchmarks in the Cloud: The mOSAIC Benchmarking Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, Timisoara, Romania, September 26-29, 2012, pp. 415-422, 2012, IEEE Computer Society, 978-1-4673-5026-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Mihaela Elena Breaban, Henri Luchian, Dan A. Simovici |
A Genetic Clustering Algorithm by Monomial Projection Pursuit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, Timisoara, Romania, September 26-29, 2012, pp. 214-219, 2012, IEEE Computer Society, 978-1-4673-5026-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Solomon Marcus, Stephen M. Watt |
What is an Equation? ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, Timisoara, Romania, September 26-29, 2012, pp. 23-29, 2012, IEEE Computer Society, 978-1-4673-5026-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ivan Simecek, Daniel Langr, Pavel Tvrdík |
Minimal Quadtree Format for Compression of Sparse Matrices Storage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, Timisoara, Romania, September 26-29, 2012, pp. 359-364, 2012, IEEE Computer Society, 978-1-4673-5026-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Victor Ion Munteanu, Teodor-Florin Fortis, Viorel Negru |
Service Lifecycle in the Cloud Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, Timisoara, Romania, September 26-29, 2012, pp. 457-464, 2012, IEEE Computer Society, 978-1-4673-5026-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ciobanu (Defta) Costinela-Luminita, Ciobanu (Iacob) Nicoleta Magdalena |
Methods for Securing Routing Protocols in Ad-Hoc Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, Timisoara, Romania, September 26-29, 2012, pp. 341-348, 2012, IEEE Computer Society, 978-1-4673-5026-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Adrian Turcanu, Florentin Ipate |
Computational Properties of Two P Systems Solving the 3-colouring Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, Timisoara, Romania, September 26-29, 2012, pp. 62-69, 2012, IEEE Computer Society, 978-1-4673-5026-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Sorin Sabau |
Variable Density Based Genetic Clustering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, Timisoara, Romania, September 26-29, 2012, pp. 200-206, 2012, IEEE Computer Society, 978-1-4673-5026-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Kinga Marton, Peter Toth, Alin Suciu |
Unpredictable Random Number Generator Based on the Performance Data Helper Interface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, Timisoara, Romania, September 26-29, 2012, pp. 335-340, 2012, IEEE Computer Society, 978-1-4673-5026-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jérôme Frisch, Ruiping Gao, Ralf-Peter Mundani, Chien-Ming Wang, Ernst Rank |
Towards Interactive Steering of a Very Large Floating Structure Code by Using HPC Parallelisation Strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, Timisoara, Romania, September 26-29, 2012, pp. 473-480, 2012, IEEE Computer Society, 978-1-4673-5026-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Liviu P. Dinu, Radu Tudor Ionescu |
A Rank-Based Approach of Cosine Similarity with Applications in Automatic Classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, Timisoara, Romania, September 26-29, 2012, pp. 260-264, 2012, IEEE Computer Society, 978-1-4673-5026-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Marcin Gasiorek, Daniel Simson, Katarzyna Zajac 0002 |
On Coxeter Spectral Study of Posets and a Digraph Isomorphism Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, Timisoara, Romania, September 26-29, 2012, pp. 369-375, 2012, IEEE Computer Society, 978-1-4673-5026-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Madalina Erascu, Tudor Jebelean |
Soundness of a Logic-Based Verification Method for Imperative Loops. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, Timisoara, Romania, September 26-29, 2012, pp. 127-134, 2012, IEEE Computer Society, 978-1-4673-5026-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Mocanu, Sorin Ilie, Costin Badica |
Ubiquitous Multi-agent Environmental Hazard Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, Timisoara, Romania, September 26-29, 2012, pp. 513-521, 2012, IEEE Computer Society, 978-1-4673-5026-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ioan Lucian Muntean, Radu Ioan Peter, Marius Joldos |
Dynamics Analysis of Parallel Simulations of the Spike Response Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, Timisoara, Romania, September 26-29, 2012, pp. 481-486, 2012, IEEE Computer Society, 978-1-4673-5026-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Filippo Lorenzo Ferraris, Davide Franceschelli, Mario Pio Gioiosa, Donato Lucia, Danilo Ardagna, Elisabetta Di Nitto, Tabassum Sharif |
Evaluating the Auto Scaling Performance of Flexiscale and Amazon EC2 Clouds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, Timisoara, Romania, September 26-29, 2012, pp. 423-429, 2012, IEEE Computer Society, 978-1-4673-5026-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Cristian Bancu, Monica Dagadita, Mihai Dascalu, Ciprian Dobre, Stefan Trausan-Matu, Adina Magda Florea |
ARSYS - Article Recommender System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, Timisoara, Romania, September 26-29, 2012, pp. 349-355, 2012, IEEE Computer Society, 978-1-4673-5026-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Mariusz Felisiak, Daniel Simson |
On Computing Mesh Root Systems and the Isotropy Group for Simply-laced Dynkin Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, Timisoara, Romania, September 26-29, 2012, pp. 91-97, 2012, IEEE Computer Society, 978-1-4673-5026-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Isabela Dramnesc, Tudor Jebelean |
Automated Synthesis of Some Algorithms on Finite Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, Timisoara, Romania, September 26-29, 2012, pp. 143-151, 2012, IEEE Computer Society, 978-1-4673-5026-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Dragos Gavrilut, Razvan Benchea, Cristina Vatamanu |
Optimized Zero False Positives Perceptron Training for Malware Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, Timisoara, Romania, September 26-29, 2012, pp. 247-253, 2012, IEEE Computer Society, 978-1-4673-5026-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Paul Tarau, Brenda Luderman |
Boolean Evaluation with a Pairing and Unpairing Function. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, Timisoara, Romania, September 26-29, 2012, pp. 384-390, 2012, IEEE Computer Society, 978-1-4673-5026-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Francesco D'Andria, Stefano Bocconi, Jesus Gorronogoitia Cruz, James Ahtes, Dimitris Zeginis |
Cloud4SOA: Multi-cloud Application Management Across PaaS Offerings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, Timisoara, Romania, September 26-29, 2012, pp. 407-414, 2012, IEEE Computer Society, 978-1-4673-5026-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Paul Tarau |
Computing with Free Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, Timisoara, Romania, September 26-29, 2012, pp. 15-22, 2012, IEEE Computer Society, 978-1-4673-5026-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Doru Todinca, Daniel Butoianu |
VHDL Framework for Modeling Fuzzy Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, Timisoara, Romania, September 26-29, 2012, pp. 171-178, 2012, IEEE Computer Society, 978-1-4673-5026-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Marcela Roxana Farcasescu |
Trust Model Engines in Cloud Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, Timisoara, Romania, September 26-29, 2012, pp. 465-470, 2012, IEEE Computer Society, 978-1-4673-5026-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Marc Frîncu, Adrian F. Spataru |
Minimizing Resource Rent Loss while Maximizing User Availability in Cloud Applications through Online Switching of the Scaling Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, Timisoara, Romania, September 26-29, 2012, pp. 449-456, 2012, IEEE Computer Society, 978-1-4673-5026-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ciprian Paduraru |
A New Online Load Balancing Algorithm in Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, Timisoara, Romania, September 26-29, 2012, pp. 327-334, 2012, IEEE Computer Society, 978-1-4673-5026-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Olariu |
Clustering to Improve Microblog Stream Summarization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, Timisoara, Romania, September 26-29, 2012, pp. 220-226, 2012, IEEE Computer Society, 978-1-4673-5026-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Vinicius Almendra, Denis Enachescu |
A Fraudster in a Haystack: Crafting a Classifier for Non-delivery Fraud Prediction at Online Auction Sites. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, Timisoara, Romania, September 26-29, 2012, pp. 233-239, 2012, IEEE Computer Society, 978-1-4673-5026-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Sébastien Mosser 0001, Franck Fleurey, Brice Morin, Franck Chauvel, Arnor Solberg, Iokanaan Goutier |
SENSAPP as a Reference Platform to Support Cloud Experiments: From the Internet of Things to the Internet of Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, Timisoara, Romania, September 26-29, 2012, pp. 400-406, 2012, IEEE Computer Society, 978-1-4673-5026-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Frantisek Darena, Jan Zizka, Karel Burda |
Grouping of Customer Opinions Written in Natural Language Using Unsupervised Machine Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, Timisoara, Romania, September 26-29, 2012, pp. 265-270, 2012, IEEE Computer Society, 978-1-4673-5026-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Mihnea Donciu, Madalina Ionita, Mihai Dascalu, Stefan Trausan-Matu |
Ant Colony Optimisation for Automatically Populating Ontologies with Individuals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, Timisoara, Romania, September 26-29, 2012, pp. 227-232, 2012, IEEE Computer Society, 978-1-4673-5026-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Simone Benefico, Eva Gjeci, Ricardo Gonzalez Gomarasca, Eros Lever, Santo Lombardo, Danilo Ardagna, Elisabetta Di Nitto |
Evaluation of the CAP Properties on Amazon SimpleDB and Windows Azure Table Storage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, Timisoara, Romania, September 26-29, 2012, pp. 430-435, 2012, IEEE Computer Society, 978-1-4673-5026-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Tovarnák, Tomás Pitner |
Towards Multi-tenant and Interoperable Monitoring of Virtual Machines in Cloud. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, Timisoara, Romania, September 26-29, 2012, pp. 436-442, 2012, IEEE Computer Society, 978-1-4673-5026-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jean Moschetta, Giuliano Casale |
OFBench: An Enterprise Application Benchmark for Cloud Resource Management Studies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, Timisoara, Romania, September 26-29, 2012, pp. 393-399, 2012, IEEE Computer Society, 978-1-4673-5026-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Pletea, Florin Pop, Valentin Cristea |
Speculative Genetic Scheduling Method for Hadoop Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, Timisoara, Romania, September 26-29, 2012, pp. 281-286, 2012, IEEE Computer Society, 978-1-4673-5026-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Voronkov, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen M. Watt, Daniela Zaharie (eds.) |
14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, Timisoara, Romania, September 26-29, 2012 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![IEEE Computer Society, 978-1-4673-5026-6 The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Temur Kutsia, Mircea Marin |
Solving, Reasoning, and Programming in Common Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, Timisoara, Romania, September 26-29, 2012, pp. 119-126, 2012, IEEE Computer Society, 978-1-4673-5026-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Réka Nagy, Mihai Suciu 0001, D. Dumitrescu |
Exploring Lorenz Dominance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, Timisoara, Romania, September 26-29, 2012, pp. 254-259, 2012, IEEE Computer Society, 978-1-4673-5026-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Michael Kohlhase |
The Flexiformalist Manifesto. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, Timisoara, Romania, September 26-29, 2012, pp. 30-35, 2012, IEEE Computer Society, 978-1-4673-5026-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Alexandru, Gabriel Ciobanu |
Nominal Fusion Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, Timisoara, Romania, September 26-29, 2012, pp. 376-383, 2012, IEEE Computer Society, 978-1-4673-5026-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Andrei, Albert M. K. Cheng, Vlad Radulescu, Timothy H. McNicholl |
Toward an Optimal Power-Aware Scheduling Technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, Timisoara, Romania, September 26-29, 2012, pp. 135-142, 2012, IEEE Computer Society, 978-1-4673-5026-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Carlo Bellettini, Matteo Camilli, Lorenzo Capra, Mattia Monga |
Symbolic State Space Exploration of RT Systems in the Cloud. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, Timisoara, Romania, September 26-29, 2012, pp. 295-302, 2012, IEEE Computer Society, 978-1-4673-5026-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | James H. Davenport, Russell J. Bradford, Matthew England 0001, David J. Wilson |
Program Verification in the Presence of Complex Numbers, Functions with Branch Cuts etc. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, Timisoara, Romania, September 26-29, 2012, pp. 83-88, 2012, IEEE Computer Society, 978-1-4673-5026-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Maruster, Viorel Negru, Liviu Octavian Mafteiu-Scai |
Experimental Study on Parallel Methods for Solving Systems of Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, Timisoara, Romania, September 26-29, 2012, pp. 103-107, 2012, IEEE Computer Society, 978-1-4673-5026-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Bogdan Aman, Gabriel Ciobanu, G. Michele Pinna |
Timed Catalytic Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, Timisoara, Romania, September 26-29, 2012, pp. 319-326, 2012, IEEE Computer Society, 978-1-4673-5026-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Denis Bogdanas |
Label-Based Programming Language Semantics in K Framework with SDF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, Timisoara, Romania, September 26-29, 2012, pp. 160-167, 2012, IEEE Computer Society, 978-1-4673-5026-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Stanislaw Kasjan, Andrzej Mróz |
Experiences in Symbolic Computations for Matrix Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, Timisoara, Romania, September 26-29, 2012, pp. 39-44, 2012, IEEE Computer Society, 978-1-4673-5026-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ciprian Oprisa, Adrian Colesa, Iosif Ignat |
A Metric for Evaluating the Usability of File Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, Timisoara, Romania, September 26-29, 2012, pp. 179-186, 2012, IEEE Computer Society, 978-1-4673-5026-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Victor Ion Munteanu, Cristina Mindruta, Teodor-Florin Fortis |
Service Brokering in Cloud Governance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, Timisoara, Romania, September 26-29, 2012, pp. 497-504, 2012, IEEE Computer Society, 978-1-4673-5026-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Adrian Mocanu, Nicolae Tapus |
A Fault-Tolerant Distributed Solution for the Parallel Gaussian Reduction of Huge Arrays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, Timisoara, Romania, September 26-29, 2012, pp. 303-310, 2012, IEEE Computer Society, 978-1-4673-5026-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Gabriel Iuhasz, Monica Tirea, Viorel Negru |
Neural Network Predictions of Stock Price Fluctuations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, Timisoara, Romania, September 26-29, 2012, pp. 505-512, 2012, IEEE Computer Society, 978-1-4673-5026-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Liviu P. Dinu, Radu Tudor Ionescu |
Clustering Methods Based on Closest String via Rank Distance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, Timisoara, Romania, September 26-29, 2012, pp. 207-213, 2012, IEEE Computer Society, 978-1-4673-5026-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|