Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Viorica Sofronie-Stokkermans |
Hierarchical Reasoning in Local Theory Extensions and Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014, Timisoara, Romania, September 22-25, 2014, pp. 34-41, 2014, IEEE Computer Society, 978-1-4799-8447-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Paul Tarau |
New Arithmetic Algorithms for Hereditarily Binary Natural Numbers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014, Timisoara, Romania, September 22-25, 2014, pp. 109-116, 2014, IEEE Computer Society, 978-1-4799-8447-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Mihai Ovidiu Tirsa, Emil-Ioan Slusanschi, Marian Doru Suran |
Performance Improvements for the "Linear Nonadiabatic Nonradial Waves" Pulsational Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014, Timisoara, Romania, September 22-25, 2014, pp. 487-493, 2014, IEEE Computer Society, 978-1-4799-8447-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Corina Rotar |
Central Dogma of Molecular Biology - New Paradigm in Evolutionary Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014, Timisoara, Romania, September 22-25, 2014, pp. 285-292, 2014, IEEE Computer Society, 978-1-4799-8447-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Adrian Groza, Irina Dragoste, Iulia Sincai, Ioana Jimborean, Vasile Moraru |
An Ontology Selection and Ranking System Based on the Analytic Hierarchy Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014, Timisoara, Romania, September 22-25, 2014, pp. 293-300, 2014, IEEE Computer Society, 978-1-4799-8447-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Darian M. Onchis, Doina Frunzaverde, Mihail Gaianu, Relu Ciubotariu |
Multi-phase Identification in Microstructures Images Using a GPU Accelerated Fuzzy C-Means Segmentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014, Timisoara, Romania, September 22-25, 2014, pp. 602-607, 2014, IEEE Computer Society, 978-1-4799-8447-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Petru Florin Mihancea, Edit Mercedes Mera-Batiz, Marius Minea |
Guiding Random Test Generation for Intra-class Dataflow Coverage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014, Timisoara, Romania, September 22-25, 2014, pp. 149-155, 2014, IEEE Computer Society, 978-1-4799-8447-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | M. Ali Rostami, H. Martin Bücker, Christian Vogt, Ralf Seidler, David Neuhäuser, Volker Rath |
A Distributed-Memory Parallelization of a Shared-Memory Parallel Ensemble Kalman Filter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014, Timisoara, Romania, September 22-25, 2014, pp. 455-462, 2014, IEEE Computer Society, 978-1-4799-8447-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Takacs |
Using Cylindrical Algebraic Decomposition and Local Fourier Analysis to Study Numerical Methods: Two Examples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014, Timisoara, Romania, September 22-25, 2014, pp. 42-49, 2014, IEEE Computer Society, 978-1-4799-8447-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | David J. Wilson, Matthew England 0001, Russell J. Bradford, James H. Davenport |
Using the Distribution of Cells by Dimension in a Cylindrical Algebraic Decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014, Timisoara, Romania, September 22-25, 2014, pp. 53-60, 2014, IEEE Computer Society, 978-1-4799-8447-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Ciortea, Olivier Boissier, Antoine Zimmermann, Adina Magda Florea |
Open and Interoperable Socio-technical Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014, Timisoara, Romania, September 22-25, 2014, pp. 251-257, 2014, IEEE Computer Society, 978-1-4799-8447-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ivan Simecek, Daniel Langr, Jan Trdlicka |
Efficient Converting of Large Sparse Matrices to Quadtree Format. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014, Timisoara, Romania, September 22-25, 2014, pp. 122-129, 2014, IEEE Computer Society, 978-1-4799-8447-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Christophe Mouilleron, Amine Najahi, Guillaume Revy |
Automated Synthesis of Target-Dependent Programs for Polynomial Evaluation in Fixed-Point Arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014, Timisoara, Romania, September 22-25, 2014, pp. 141-148, 2014, IEEE Computer Society, 978-1-4799-8447-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Lorenzo Cianciaruso, Francesco di Forenza, Elisabetta Di Nitto, Marco Miglierina, Nicolas Ferry 0001, Arnor Solberg |
Using Models at Runtime to Support Adaptable Monitoring of Multi-clouds Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014, Timisoara, Romania, September 22-25, 2014, pp. 401-408, 2014, IEEE Computer Society, 978-1-4799-8447-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Bartosz Papis, Andrzej Pacut |
Multispace, Dynamic, Fixed-Radius, All Nearest Neighbours Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014, Timisoara, Romania, September 22-25, 2014, pp. 244-250, 2014, IEEE Computer Society, 978-1-4799-8447-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Marcin Gasiorek, Daniel Simson, Katarzyna Zajac 0002 |
On Corank Two Edge-Bipartite Graphs and Simply Extended Euclidean Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014, Timisoara, Romania, September 22-25, 2014, pp. 66-73, 2014, IEEE Computer Society, 978-1-4799-8447-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Norbert Tihanyi |
Fast Method for Locating Peak Values of the Riemann Zeta Function on the Critical Line. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014, Timisoara, Romania, September 22-25, 2014, pp. 91-96, 2014, IEEE Computer Society, 978-1-4799-8447-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | George Anescu |
An Imperialistic Strategy Approach to Continuous Global Optimization Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014, Timisoara, Romania, September 22-25, 2014, pp. 549-556, 2014, IEEE Computer Society, 978-1-4799-8447-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ulderico Fugacci, Federico Iuricich, Leila De Floriani |
Efficient Computation of Simplicial Homology through Acyclic Matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014, Timisoara, Romania, September 22-25, 2014, pp. 587-593, 2014, IEEE Computer Society, 978-1-4799-8447-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Calin-Adrian Popa |
Enhanced Gradient Descent Algorithms for Complex-Valued Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014, Timisoara, Romania, September 22-25, 2014, pp. 272-279, 2014, IEEE Computer Society, 978-1-4799-8447-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Amine Barkat, Alysson Diniz dos Santos, Thi Thao Nguyen Ho |
Open Stack and Cloud Stack: Open Source Solutions for Building Public and Private Clouds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014, Timisoara, Romania, September 22-25, 2014, pp. 429-436, 2014, IEEE Computer Society, 978-1-4799-8447-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Daniel-Eugen Butoianu, Doru Todinca |
Performance Evaluation of Fuzzy Automata Using VHDL Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014, Timisoara, Romania, September 22-25, 2014, pp. 196-203, 2014, IEEE Computer Society, 978-1-4799-8447-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Sicun Gao, Soonho Kong, Edmund M. Clarke |
Proof Generation from Delta-Decisions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014, Timisoara, Romania, September 22-25, 2014, pp. 156-163, 2014, IEEE Computer Society, 978-1-4799-8447-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Gheorghe Paun |
Spiking Neural P Systems - A Quick Survey and Some Research Topics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014, Timisoara, Romania, September 22-25, 2014, pp. 20-25, 2014, IEEE Computer Society, 978-1-4799-8447-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Franz Winkler 0001, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen M. Watt, Daniela Zaharie (eds.) |
16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014, Timisoara, Romania, September 22-25, 2014 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![IEEE Computer Society, 978-1-4799-8447-3 The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
1 | Danilo Ardagna, Michele Ciavotta, Riccardo Lancellotti |
A Receding Horizon Approach for the Runtime Management of IaaS Cloud Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014, Timisoara, Romania, September 22-25, 2014, pp. 445-452, 2014, IEEE Computer Society, 978-1-4799-8447-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Gabriel Ciobanu, Dan Cojocar |
Expressing BBUFs Lookup Using the π-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014, Timisoara, Romania, September 22-25, 2014, pp. 511-518, 2014, IEEE Computer Society, 978-1-4799-8447-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Marco Miglierina |
Application Deployment and Management in the Cloud. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014, Timisoara, Romania, September 22-25, 2014, pp. 422-428, 2014, IEEE Computer Society, 978-1-4799-8447-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Botond Bocsi, Hunor Jakab, Lehel Csató |
Simulation-Extrapolation Gaussian Processes for Input Noise Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014, Timisoara, Romania, September 22-25, 2014, pp. 189-195, 2014, IEEE Computer Society, 978-1-4799-8447-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Monica Tirea, Viorel Negru |
Intelligent Stock Market Analysis System - A Fundamental and Macro-economical Analysis Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014, Timisoara, Romania, September 22-25, 2014, pp. 519-526, 2014, IEEE Computer Society, 978-1-4799-8447-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Darian M. Onchis, Smaranda Laura Gotia |
Enhancing Dental Radiographic Images in Spline-Type Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014, Timisoara, Romania, September 22-25, 2014, pp. 559-564, 2014, IEEE Computer Society, 978-1-4799-8447-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Elena V. Ravve |
Views and Updates over Distributed Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014, Timisoara, Romania, September 22-25, 2014, pp. 341-348, 2014, IEEE Computer Society, 978-1-4799-8447-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Massimiliano Rak, Mauro Turtur, Umberto Villano |
Early Prediction of the Cost of HPC Application Execution in the Cloud. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014, Timisoara, Romania, September 22-25, 2014, pp. 409-416, 2014, IEEE Computer Society, 978-1-4799-8447-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Yan Jin 0002, Rong Qu, Jason A. D. Atkin |
A Population-Based Incremental Learning Method for Constrained Portfolio Optimisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014, Timisoara, Romania, September 22-25, 2014, pp. 212-219, 2014, IEEE Computer Society, 978-1-4799-8447-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ines Janusch, Walter G. Kropatsch, Wolfgang Busch |
Topological Image Analysis and (Normalised) Representations for Plant Phenotyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014, Timisoara, Romania, September 22-25, 2014, pp. 579-586, 2014, IEEE Computer Society, 978-1-4799-8447-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Tetsuo Ida |
Huzita's Basic Origami Fold in Geometric Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014, Timisoara, Romania, September 22-25, 2014, pp. 11-13, 2014, IEEE Computer Society, 978-1-4799-8447-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Matteo Camilli, Carlo Bellettini, Lorenzo Capra, Mattia Monga |
CTL Model Checking in the Cloud Using MapReduce. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014, Timisoara, Romania, September 22-25, 2014, pp. 333-340, 2014, IEEE Computer Society, 978-1-4799-8447-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Emanuel Florentin Olariu, Cristian Frasinaru |
A Lowest Level Rule Push-Relabel Algorithm for Submodular Flows and Matroid Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014, Timisoara, Romania, September 22-25, 2014, pp. 97-102, 2014, IEEE Computer Society, 978-1-4799-8447-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Cristina Marinescu |
How Good Is Genetic Programming at Predicting Changes and Defects? ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014, Timisoara, Romania, September 22-25, 2014, pp. 544-548, 2014, IEEE Computer Society, 978-1-4799-8447-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Marzieh Malekimajd, Alessandro Maria Rizzi, Danilo Ardagna, Michele Ciavotta, Mauro Passacantando, Ali Movaghar 0001 |
Optimal Capacity Allocation for Executing MapReduce Jobs in Cloud Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014, Timisoara, Romania, September 22-25, 2014, pp. 385-392, 2014, IEEE Computer Society, 978-1-4799-8447-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Simon Robillard |
Catamorphism Generation and Fusion Using Coq. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014, Timisoara, Romania, September 22-25, 2014, pp. 180-185, 2014, IEEE Computer Society, 978-1-4799-8447-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Adela-Maria Sirbu, Alexandrina Rogozan, Laura Diosan, Abdelaziz Bensrhair |
Pedestrian Recognition by Using a Kernel-Based Multi-modality Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014, Timisoara, Romania, September 22-25, 2014, pp. 258-263, 2014, IEEE Computer Society, 978-1-4799-8447-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Alexandru Butoi, Alexandru Stan, Gheorghe Cosmin Silaghi |
Reliable Management of Virtualized Resources Using Fault Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014, Timisoara, Romania, September 22-25, 2014, pp. 309-316, 2014, IEEE Computer Society, 978-1-4799-8447-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Doina Cosovan, Razvan Benchea, Dragos Gavrilut |
A Practical Guide for Detecting the Java Script-Based Malware Using Hidden Markov Models and Linear Classifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014, Timisoara, Romania, September 22-25, 2014, pp. 236-243, 2014, IEEE Computer Society, 978-1-4799-8447-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Elena V. Ravve |
Analyzing WMSOL Definable Properties on Sum-Like Weighted Labeled Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014, Timisoara, Romania, September 22-25, 2014, pp. 375-382, 2014, IEEE Computer Society, 978-1-4799-8447-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Karunakar Reddy Bayyapu, Paul Fischer |
Load Scheduling in a Cloud Based Massive Video-Storage Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014, Timisoara, Romania, September 22-25, 2014, pp. 349-356, 2014, IEEE Computer Society, 978-1-4799-8447-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Olga D. Dunaeva, Herbert Edelsbrunner, Anton Lukyanov, Michael Machin, Daria Malkova |
The Classification of Endoscopy Images with Persistent Homology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014, Timisoara, Romania, September 22-25, 2014, pp. 565-570, 2014, IEEE Computer Society, 978-1-4799-8447-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Remus-Daniel Ene, Vasile Marinca, Romeo Negrea |
Optimal Homotopy Asymptotic Method for Viscous Boundary Layer Flow in Unbounded Domain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014, Timisoara, Romania, September 22-25, 2014, pp. 103-108, 2014, IEEE Computer Society, 978-1-4799-8447-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Sorin Stratulat |
Implementing Reasoning Modules in Implicit Induction Theorem Provers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014, Timisoara, Romania, September 22-25, 2014, pp. 133-140, 2014, IEEE Computer Society, 978-1-4799-8447-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | William B. Langdon |
Genetic Improvement of Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014, Timisoara, Romania, September 22-25, 2014, pp. 14-19, 2014, IEEE Computer Society, 978-1-4799-8447-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Adela-Maria Sirbu, Gabriela Czibula, Maria-Iuliana Bocicor |
Dynamic Clustering of Gene Expression Data Using a Fuzzy Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014, Timisoara, Romania, September 22-25, 2014, pp. 220-227, 2014, IEEE Computer Society, 978-1-4799-8447-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Tateaki Sasaki |
Solving Parametric Sparse Linear Systems by Local Blocking, II. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014, Timisoara, Romania, September 22-25, 2014, pp. 74-81, 2014, IEEE Computer Society, 978-1-4799-8447-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Emilian Necula |
Mining GPS Data to Learn Driver's Route Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014, Timisoara, Romania, September 22-25, 2014, pp. 264-271, 2014, IEEE Computer Society, 978-1-4799-8447-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Vitaliy Kurlin |
Auto-completion of Contours in Sketches, Maps, and Sparse 2D Images Based on Topological Persistence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014, Timisoara, Romania, September 22-25, 2014, pp. 594-601, 2014, IEEE Computer Society, 978-1-4799-8447-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Michael Codish, Luís Cruz-Filipe, Peter Schneider-Kamp |
The Quest for Optimal Sorting Networks: Efficient Generation of Two-Layer Prefixes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014, Timisoara, Romania, September 22-25, 2014, pp. 359-366, 2014, IEEE Computer Society, 978-1-4799-8447-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Gabriel Ciobanu, Eneia Nicolae Todoran |
Correct Metric Semantics for a Biologically-Inspired Formalism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014, Timisoara, Romania, September 22-25, 2014, pp. 317-324, 2014, IEEE Computer Society, 978-1-4799-8447-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Robert W. McGrail, James M. Belk, Solomon Garber, Japheth Wood, Benjamin Fish |
CSPs and Connectedness: P/NP Dichotomy for Idempotent, Right Quasigroups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014, Timisoara, Romania, September 22-25, 2014, pp. 367-374, 2014, IEEE Computer Society, 978-1-4799-8447-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Pop, Caius Bogdanescu |
Ontology-Based Recommender for Distributed Machine Learning Environment. ![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. 537-542, 2013, IEEE Computer Society, 978-1-4799-3035-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ciprian Oprisa, George Cabau, Adrian Colesa |
From Plagiarism to 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. 227-234, 2013, IEEE Computer Society, 978-1-4799-3035-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Islam A. Elshaarawy, Walid Gomaa 0001 |
An Efficient Computational Framework for Studying Dynamical 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. 138-145, 2013, IEEE Computer Society, 978-1-4799-3035-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Elena V. Ravve, Zeev Volkovich |
A Systematic Approach to Computations on Decomposable Graphs. ![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. 398-405, 2013, IEEE Computer Society, 978-1-4799-3035-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Adrian Jackson |
Stepping Up. ![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. 37-41, 2013, IEEE Computer Society, 978-1-4799-3035-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jose Torres-Jimenez, Idelfonso Izquierdo-Marquez |
Survey of Covering Arrays. ![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. 20-27, 2013, IEEE Computer Society, 978-1-4799-3035-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | David Roche, Debora Gil, Jesús Giraldo |
Detecting Loss of Diversity for an Efficient Termination of EAs. ![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. 561-566, 2013, IEEE Computer Society, 978-1-4799-3035-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Gabriel Iuhasz, Victor Ion Munteanu, Viorel Negru |
Evolutionary Approach to Negotiation in Game AI. ![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. 296-302, 2013, IEEE Computer Society, 978-1-4799-3035-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Sorin Sabau |
Clustering Data Streams Using Mass Estimation. ![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. 289-295, 2013, IEEE Computer Society, 978-1-4799-3035-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Grzegorz Marczak, Daniel Simson, Katarzyna Zajac 0002 |
On Computing Non-negative Loop-Free Edge-Bipartite Graphs. ![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. 68-75, 2013, IEEE Computer Society, 978-1-4799-3035-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | 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. ![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. 424-431, 2013, IEEE Computer Society, 978-1-4799-3035-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Matthieu Kuhn, Guillaume Latu, Stéphane Genaud, Nicolas Crouseilles |
Optimization and Parallelization of Emedge3D on Shared Memory Architecture. ![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. 503-510, 2013, IEEE Computer Society, 978-1-4799-3035-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Radu Tudor Ionescu |
Local Rank Distance. ![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. 219-226, 2013, IEEE Computer Society, 978-1-4799-3035-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Monica Tirea, Viorel Negru |
Managing Risk Behavior on an Evolutionary Market - A Risk Limits and Value-at-Risk Measures 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. 543-550, 2013, IEEE Computer Society, 978-1-4799-3035-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Langr, Ivan Simecek, Pavel Tvrdík, Tomás Dytrych |
Parallel Data Acquisition for Visualization of Very Large Sparse Matrices. ![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. 336-343, 2013, IEEE Computer Society, 978-1-4799-3035-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Middeke, Ahmed Almohaimeed, David J. Jeffrey |
Common Factors in Fraction-Free Matrix Reduction. ![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. 76-80, 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, Pavel Tvrdík |
Space Efficient Formats for Structure of Sparse Matrices Based on Tree Structures. ![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. 344-351, 2013, IEEE Computer Society, 978-1-4799-3035-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Nathalie Rauschmayr, Achim Streit |
Evaluating Moldability of LHCb Jobs for Multicore Job Submission. ![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. 519-525, 2013, IEEE Computer Society, 978-1-4799-3035-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Gabriele Paganelli, Wolfgang Ahrendt |
Verifying (In-)Stability in Floating-Point Programs by Increasing Precision, Using SMT Solving. ![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. 209-216, 2013, IEEE Computer Society, 978-1-4799-3035-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Inese Berzina, Janis Buls, Raivis Bets |
Bounded Bi-ideals and Linear Recurrence. ![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. 383-390, 2013, IEEE Computer Society, 978-1-4799-3035-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Adrian Jackson, Pär Strand |
MDMP: Managed Data Message Passing. ![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. 496-502, 2013, IEEE Computer Society, 978-1-4799-3035-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Marcin Gasiorek |
Efficient Computation of the Isotropy Group of a Finite Graph: A Combinatorial 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. 104-111, 2013, IEEE Computer Society, 978-1-4799-3035-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Agnieszka Polak, Daniel Simson |
Algorithmic Experiences in Coxeter Spectral Study of P-critical Edge-Bipartite Graphs and Posets. ![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. 375-382, 2013, IEEE Computer Society, 978-1-4799-3035-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Nabil Hossain, Robert W. McGrail, James M. Belk, Francesco Matucci |
Deciding Conjugacy in Thompson's Group F in Linear Time. ![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. 89-96, 2013, IEEE Computer Society, 978-1-4799-3035-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | John Christopher Bowers, Ileana Streinu |
Computing Origami Universal Molecules with Cyclic Tournament Forests. ![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. 42-49, 2013, IEEE Computer Society, 978-1-4799-3035-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ioan Dragan, Konstantin Korovin, Laura Kovács, Andrei Voronkov |
Bound Propagation for Arithmetic Reasoning in Vampire. ![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. 169-176, 2013, IEEE Computer Society, 978-1-4799-3035-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Remus-Daniel Ene, Vasile Marinca, Romeo Negrea |
Planar Stretching Flows with Partial Slip. ![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. 126-130, 2013, IEEE Computer Society, 978-1-4799-3035-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Victor-Lucian Spiridon, Emil-Ioan Slusanschi |
N-Body Simulations with GADGET-2. ![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. 526-533, 2013, IEEE Computer Society, 978-1-4799-3035-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Arusoaie |
Engineering Hoare Logic-Based Program Verification in K Framework. ![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. 177-184, 2013, IEEE Computer Society, 978-1-4799-3035-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Lucian Radu Teodorescu, Rodica Potolea |
Compiler Design for Hyper-metaprogramming. ![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. 201-208, 2013, IEEE Computer Society, 978-1-4799-3035-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ivona Brandic |
Reducing Energy Consumption by Using Clouds. ![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. 3-4, 2013, IEEE Computer Society, 978-1-4799-3035-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Thorsten Ehlers, Klaus Jansen |
Online-Scheduling on Identical Machines with Bounded Migration. ![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. 361-366, 2013, IEEE Computer Society, 978-1-4799-3035-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jorge Sevilla Cedillo, Antonio Plaza |
A New Digital Repository for Remotely Sensed Hyperspectral Imagery on GPUs. ![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. 473-480, 2013, IEEE Computer Society, 978-1-4799-3035-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | 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. ![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. 235-242, 2013, IEEE Computer Society, 978-1-4799-3035-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Juan F. Pérez, Giuliano Casale |
Assessing SLA Compliance from Palladio Component Models. ![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. 409-416, 2013, IEEE Computer Society, 978-1-4799-3035-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Abhishek Awasthi, Jörg Lässig, Oliver Kramer 0001 |
Common Due-Date Problem: Exact Polynomial Algorithms for a Given Job Sequence. ![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. 258-264, 2013, IEEE Computer Society, 978-1-4799-3035-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Galina Filipuk, Maciej Haneczok |
On Ladder Operators for Little q-Jacobi Polynomials and Their Generalizations. ![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. 97-103, 2013, IEEE Computer Society, 978-1-4799-3035-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Meyer, Philip D. Healy, Theo Lynn, John P. Morrison |
Quality Assurance for Open Source Software Configuration Management. ![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. 454-461, 2013, IEEE Computer Society, 978-1-4799-3035-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Walid Belkhir, Yannick Chevalier, Michaël Rusinowitch |
Fresh-Variable Automata: Application to Service Composition. ![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. 153-160, 2013, IEEE Computer Society, 978-1-4799-3035-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Leonardo Mendonça de Moura, Dejan Jovanovic |
Model-Driven Decision Procedures for Arithmetic. ![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. 11, 2013, IEEE Computer Society, 978-1-4799-3035-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ermanno Battista, Valentina Casola, Nicola Mazzocca, Massimo Ficco, Massimiliano Rak |
Developing Secure Cloud Applications: A Case Study. ![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. 432-439, 2013, IEEE Computer Society, 978-1-4799-3035-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Rafal Bocian, Mariusz Felisiak, Daniel Simson |
On Coxeter Type Classification of Loop-Free Edge-Bipartite Graphs and Matrix Morsifications. ![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. 115-118, 2013, IEEE Computer Society, 978-1-4799-3035-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Cristina Marinescu |
Should We Beware the Exceptions? An Empirical Study on the Eclipse Project. ![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. 250-257, 2013, IEEE Computer Society, 978-1-4799-3035-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|