Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Catalin-Valeriu Lita |
On Complexity of the Detection Problem for Bounded Length Polymorphic Viruses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2016, Timisoara, Romania, September 24-27, 2016, pp. 371-378, 2016, IEEE, 978-1-5090-5707-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Anca Ignat, Bogdan Aciobanitei |
Handwritten Digit Recognition Using Rotations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2016, Timisoara, Romania, September 24-27, 2016, pp. 303-306, 2016, IEEE, 978-1-5090-5707-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Lucian Luncean, Andrei Mocanu, Alexandru Petrut Becheru |
Automated Negotiation Framework for the Transport Logistics Service. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2016, Timisoara, Romania, September 24-27, 2016, pp. 387-394, 2016, IEEE, 978-1-5090-5707-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Diana-Lucia Miholca, Gabriela Czibula, Ioan-Gabriel Mircea, István Gergely Czibula |
Machine Learning Based Approaches for Sex Identification in Bioarchaeology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2016, Timisoara, Romania, September 24-27, 2016, pp. 311-314, 2016, IEEE, 978-1-5090-5707-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ana Turlea, Florentin Ipate, Raluca Lefticaru |
A Hybrid Test Generation Approach Based on Extended Finite State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2016, Timisoara, Romania, September 24-27, 2016, pp. 173-180, 2016, IEEE, 978-1-5090-5707-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | James H. Davenport, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen M. Watt, Daniela Zaharie (eds.) |
18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2016, Timisoara, Romania, September 24-27, 2016 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![IEEE, 978-1-5090-5707-8 The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Zongyan Huang, Matthew England 0001, James H. Davenport, Lawrence C. Paulson |
Using Machine Learning to Decide When to Precondition Cylindrical Algebraic Decomposition with Groebner Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2016, Timisoara, Romania, September 24-27, 2016, pp. 45-52, 2016, IEEE, 978-1-5090-5707-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Aurelian Radoaca |
Venn Diagrams for Multisets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2016, Timisoara, Romania, September 24-27, 2016, pp. 187-194, 2016, IEEE, 978-1-5090-5707-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ionel-Alexandru Hosu, Andreea Urzica |
Comparative Analysis of Existing Architectures for General Game Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Timisoara, Romania, September 21-24, 2015, pp. 257-260, 2015, IEEE Computer Society, 978-1-5090-0461-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Monica Tirea, Viorel Negru |
Stock Market Trading Strategies Applying Risk and Decision Analysis Models for Detecting Financial Turbulence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Timisoara, Romania, September 21-24, 2015, pp. 216-223, 2015, IEEE Computer Society, 978-1-5090-0461-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Kauers |
Creative Telescoping via Hermite Reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Timisoara, Romania, September 21-24, 2015, pp. 11, 2015, IEEE Computer Society, 978-1-5090-0461-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Walid Belkhir, Nicolas Ratier, Duy Duc Nguyen, Bin Yang, Michel Lenczner, Frédéric Zamkotsian, Horatiu Cirstea |
Towards an Automatic Tool for Multi-scale Model Derivation Illustrated with a Micro-mirror Array. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Timisoara, Romania, September 21-24, 2015, pp. 47-54, 2015, IEEE Computer Society, 978-1-5090-0461-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Alex Becheru, Costin Badica, Mihaita Antonie |
Complex Network Analysis of a Tourism Content Sharing Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Timisoara, Romania, September 21-24, 2015, pp. 407-414, 2015, IEEE Computer Society, 978-1-5090-0461-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Todor Ivascu |
An Energy Efficient Intelligent Wireless Body Area Network for Real-Time Vital Signs Monitoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Timisoara, Romania, September 21-24, 2015, pp. 265-270, 2015, IEEE Computer Society, 978-1-5090-0461-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Olaru, Adina Magda Florea |
A Framework for Integrating Heterogeneous Agent Communication Platforms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Timisoara, Romania, September 21-24, 2015, pp. 399-406, 2015, IEEE Computer Society, 978-1-5090-0461-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Masaru Sanuki, Daiju Inaba, Tateaki Sasaki |
Computation of GCD of Sparse Multivariate Polynomials by Extended Hensel Construction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Timisoara, Romania, September 21-24, 2015, pp. 34-41, 2015, IEEE Computer Society, 978-1-5090-0461-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | George Ganea, Radu Marinescu 0001 |
Modeling Design Flaw Evolution Using Complex Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Timisoara, Romania, September 21-24, 2015, pp. 433-436, 2015, IEEE Computer Society, 978-1-5090-0461-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Adrian-Stefan Popescu, Dumitru-Bogdan Prelipcean, Dragos Teodor Gavrilut |
A Study on Techniques for Proactively Identifying Malicious URLs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Timisoara, Romania, September 21-24, 2015, pp. 204-211, 2015, IEEE Computer Society, 978-1-5090-0461-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Alexandru-Ciprian Zavoianu, Edwin Lughofer, Gerd Bramerdorfer, Wolfgang Amrhein, Susanne Saminger-Platz |
A Surrogate-Based Strategy for Multi-objective Tolerance Analysis in Electrical Machine Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Timisoara, Romania, September 21-24, 2015, pp. 195-203, 2015, IEEE Computer Society, 978-1-5090-0461-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Roland Lezuo, Ioan Dragan, Gergö Barany, Andreas Krall |
vanHelsing: A Fast Proof Checker for Debuggable Compiler Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Timisoara, Romania, September 21-24, 2015, pp. 167-174, 2015, IEEE Computer Society, 978-1-5090-0461-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Valentina Casola, Alessandra De Benedictis, Massimiliano Rak, Umberto Villano |
SLA-Based Secure Cloud Application Development: The SPECS Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Timisoara, Romania, September 21-24, 2015, pp. 337-344, 2015, IEEE Computer Society, 978-1-5090-0461-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ruzica Piskac |
From Decision Procedures to Synthesis Procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Timisoara, Romania, September 21-24, 2015, pp. 3-10, 2015, IEEE Computer Society, 978-1-5090-0461-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Aurelian Radoaca |
Properties of Multisets Compared to Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Timisoara, Romania, September 21-24, 2015, pp. 187-188, 2015, IEEE Computer Society, 978-1-5090-0461-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | George Anescu, Ilie Prisecaru |
NSC-PSO, a Novel PSO Variant without Speeds and Coefficients. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Timisoara, Romania, September 21-24, 2015, pp. 460-467, 2015, IEEE Computer Society, 978-1-5090-0461-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Aurelian Radoaca |
Simple Venn Diagrams for Multisets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Timisoara, Romania, September 21-24, 2015, pp. 181-184, 2015, IEEE Computer Society, 978-1-5090-0461-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Marc Nicodeme, Flavius Turcu, Charles Dossal |
Identifiability and Noise Robustness for l1-Analysis Regularizations in Compressive Sensing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Timisoara, Romania, September 21-24, 2015, pp. 79-84, 2015, IEEE Computer Society, 978-1-5090-0461-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Cristina Bianca Pop, Viorica Rozina Chifu, Ioan Salomie, Cristian Prigoana, Tiberiu Boros, Dorin Moldovan |
Generating Healthy Menus for Older Adults Using a Hybrid Honey Bees Mating Optimization Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Timisoara, Romania, September 21-24, 2015, pp. 452-459, 2015, IEEE Computer Society, 978-1-5090-0461-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Grigore Lupescu, Emil-Ioan Slusanschi, Nicolae Tapus |
Extensions over OpenCL for Latency Reduction and Critical Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Timisoara, Romania, September 21-24, 2015, pp. 379-385, 2015, IEEE Computer Society, 978-1-5090-0461-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ciprian-Octavian Truica, Julien Velcin, Alexandru Boicea |
Automatic Language Identification for Romance Languages Using Stop Words and Diacritics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Timisoara, Romania, September 21-24, 2015, pp. 243-246, 2015, IEEE Computer Society, 978-1-5090-0461-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Paul Tarau |
The Arithmetic of Even-Odd Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Timisoara, Romania, September 21-24, 2015, pp. 90-97, 2015, IEEE Computer Society, 978-1-5090-0461-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Andrei, Albert M. K. Cheng, Vlad Radulescu |
An Improved Upper-Bound Algorithm for Non-preemptive Task Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Timisoara, Romania, September 21-24, 2015, pp. 153-159, 2015, IEEE Computer Society, 978-1-5090-0461-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Calin-Adrian Popa |
Lie Algebra-Valued Hopfield Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Timisoara, Romania, September 21-24, 2015, pp. 212-215, 2015, IEEE Computer Society, 978-1-5090-0461-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Koutschan, Helene Ranetbauer, Georg Regensburger, Marie-Therese Wolfram |
Symbolic Derivation of Mean-Field PDEs from Lattice-Based Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Timisoara, Romania, September 21-24, 2015, pp. 27-33, 2015, IEEE Computer Society, 978-1-5090-0461-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Gabriel Iuhasz, Ioan Dragan |
An Overview of Monitoring Tools for Big Data and Cloud Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Timisoara, Romania, September 21-24, 2015, pp. 363-366, 2015, IEEE Computer Society, 978-1-5090-0461-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Elena V. Ravve, Zeev Volkovich, Gerhard-Wilhelm Weber |
Incremental Reasoning on Strongly Distributed Multi-agent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Timisoara, Romania, September 21-24, 2015, pp. 415-422, 2015, IEEE Computer Society, 978-1-5090-0461-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Alexandra Emilia Fortis, Stefan Balint |
Numerical Investigations of Equilibriums in a Flight with High Angle of Attack. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Timisoara, Romania, September 21-24, 2015, pp. 85-89, 2015, IEEE Computer Society, 978-1-5090-0461-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | András Bóta, Miklós Krész, Bogdán Zaválnij |
Adaptations of the k-Means Algorithm to Community Detection in Parallel Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Timisoara, Romania, September 21-24, 2015, pp. 299-302, 2015, IEEE Computer Society, 978-1-5090-0461-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Catalin Stoean, Ruxandra Stoean, Adrian Sandita, Cristian Mesina, Daniela Ciobanu, Corina Lavinia Gruia |
Investigation on Parameter Effect for Semi-automatic Contour Detection in Histopathological Image Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Timisoara, Romania, September 21-24, 2015, pp. 445-451, 2015, IEEE Computer Society, 978-1-5090-0461-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Monica Tirea, Viorel Negru |
Text Mining News System - Quantifying Certain Phenomena Effect on the Stock Market Behavior. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Timisoara, Romania, September 21-24, 2015, pp. 391-398, 2015, IEEE Computer Society, 978-1-5090-0461-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | David J. Jeffrey, G. A. Kalugin, Nick Murdoch |
Lagrange Inversion and Lambert W. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Timisoara, Romania, September 21-24, 2015, pp. 42-46, 2015, IEEE Computer Society, 978-1-5090-0461-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Meyer, John P. Morrison |
Supporting Heterogeneous Pools in a Single Ceph Storage Cluster. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Timisoara, Romania, September 21-24, 2015, pp. 352-359, 2015, IEEE Computer Society, 978-1-5090-0461-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Elena V. Ravve, Zeev Volkovich, Gerhard-Wilhelm Weber |
Automatic Definition of Optimal Default Parameters of Models: Image Matting Application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Timisoara, Romania, September 21-24, 2015, pp. 251-254, 2015, IEEE Computer Society, 978-1-5090-0461-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ivan Simecek, Daniel Langr |
Space and Execution Efficient Formats for Modern Processor Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Timisoara, Romania, September 21-24, 2015, pp. 98-105, 2015, IEEE Computer Society, 978-1-5090-0461-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Lorenzo Capra |
An Algebraic Petri Nets Emulator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Timisoara, Romania, September 21-24, 2015, pp. 61-65, 2015, IEEE Computer Society, 978-1-5090-0461-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Alexandru, Gabriel Ciobanu |
Static Analysis in Finitely Supported Mathematics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Timisoara, Romania, September 21-24, 2015, pp. 312-319, 2015, IEEE Computer Society, 978-1-5090-0461-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Arie Gurfinkel |
Algorithmic Logic-Based Verification with SeaHorn. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Timisoara, Romania, September 21-24, 2015, pp. 12-15, 2015, IEEE Computer Society, 978-1-5090-0461-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Besik Dundua, Mário Florido, Temur Kutsia |
Lambda Calculus with Regular Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Timisoara, Romania, September 21-24, 2015, pp. 129-136, 2015, IEEE Computer Society, 978-1-5090-0461-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Violeta Tulceanu |
A Matter of Trust: Smart Home System Relying on Logic, BCI, and Sensor Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Timisoara, Romania, September 21-24, 2015, pp. 177-180, 2015, IEEE Computer Society, 978-1-5090-0461-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Laura Kovács, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen M. Watt, Daniela Zaharie (eds.) |
17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Timisoara, Romania, September 21-24, 2015 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![IEEE Computer Society, 978-1-5090-0461-4 The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
1 | Michele Guerriero, Michele Ciavotta, Giovanni Paolo Gibilisco, Danilo Ardagna |
A Model-Driven DevOps Framework for QoS-Aware Cloud Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Timisoara, Romania, September 21-24, 2015, pp. 345-351, 2015, IEEE Computer Society, 978-1-5090-0461-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Cristina Vatamanu, Dragos Gavrilut, Razvan Benchea, Henri Luchian |
Feature Extraction Using Genetic Programming with Applications in Malware Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Timisoara, Romania, September 21-24, 2015, pp. 224-231, 2015, IEEE Computer Society, 978-1-5090-0461-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Bogdan-Constantin Irimie, Dana Petcu |
Scalable and Fault Tolerant Monitoring of Security Parameters in the Cloud. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Timisoara, Romania, September 21-24, 2015, pp. 289-295, 2015, IEEE Computer Society, 978-1-5090-0461-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jérôme Frisch, Ralf-Peter Mundani |
Measuring and Comparing the Scaling Behaviour of a High-Performance CFD Code on Different Supercomputing Infrastructures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Timisoara, Romania, September 21-24, 2015, pp. 371-378, 2015, IEEE Computer Society, 978-1-5090-0461-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jiri Khun, Ivan Simecek, Róbert Lórencz |
GPU Solver for Systems of Linear Equations with Infinite Precision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Timisoara, Romania, September 21-24, 2015, pp. 121-124, 2015, IEEE Computer Society, 978-1-5090-0461-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Peter J. Bentley |
Building a Nature-Inspired Computer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Timisoara, Romania, September 21-24, 2015, pp. 20-21, 2015, IEEE Computer Society, 978-1-5090-0461-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Silvana Ilie, David J. Jeffrey, Robert M. Corless, X. Zhang |
Computation of Stirling Numbers and Generalizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Timisoara, Romania, September 21-24, 2015, pp. 57-60, 2015, IEEE Computer Society, 978-1-5090-0461-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ansar Rafique, Dimitri Van Landuyt, Wouter Joosen |
Expressive Data Storage Policies for Multi-cloud Storage Configurations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Timisoara, Romania, September 21-24, 2015, pp. 329-336, 2015, IEEE Computer Society, 978-1-5090-0461-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Kuniyoshi Abe, Seiji Fujino |
Variant Implementations of SCBiCG Method for Linear Equations with Complex Symmetric Matrices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Timisoara, Romania, September 21-24, 2015, pp. 117-120, 2015, IEEE Computer Society, 978-1-5090-0461-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Hélène Lachambre, Benjamin Ricaud, Guillaume Stempfel, Bruno Torrésani, Christoph Wiesmeyr, Darian Onchis-Moaca |
Optimal Window and Lattice in Gabor Transform. Application to Audio Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Timisoara, Romania, September 21-24, 2015, pp. 109-112, 2015, IEEE Computer Society, 978-1-5090-0461-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Gábor Kusper, Csaba Biró |
Solving SAT by an Iterative Version of the Inclusion-Exclusion Principle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Timisoara, Romania, September 21-24, 2015, pp. 189-190, 2015, IEEE Computer Society, 978-1-5090-0461-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ioana Andra Codreanu, Adina Magda Florea |
A Proposed Serious Game Architecture to Self-Management HealthCare for Older Adults. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Timisoara, Romania, September 21-24, 2015, pp. 437-440, 2015, IEEE Computer Society, 978-1-5090-0461-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Nicolae-Eugen Croitoru |
High Probability Mutation and Error Thresholds in Genetic Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Timisoara, Romania, September 21-24, 2015, pp. 271-276, 2015, IEEE Computer Society, 978-1-5090-0461-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Hedin, Andrei Sabelfeld |
Web Application Security Using JSFlow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Timisoara, Romania, September 21-24, 2015, pp. 16-19, 2015, IEEE Computer Society, 978-1-5090-0461-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Gabriel Ciobanu, Eneia Nicolae Todoran |
Continuation Semantics for Dynamic Hierarchical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Timisoara, Romania, September 21-24, 2015, pp. 281-288, 2015, IEEE Computer Society, 978-1-5090-0461-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Emil St. Chifu, Tiberiu St. Letia, Viorica R. Chifu |
Unsupervised Aspect Level Sentiment Analysis Using Self-Organizing Maps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Timisoara, Romania, September 21-24, 2015, pp. 468-475, 2015, IEEE Computer Society, 978-1-5090-0461-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Woltran |
Dynamic Programming on Tree Decompositions in Practice - Some Lessons Learned. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Timisoara, Romania, September 21-24, 2015, pp. 22, 2015, IEEE Computer Society, 978-1-5090-0461-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Aurelian Radoaca |
Properties of Multiset Orders by Minimal and Maximal Submultisets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Timisoara, Romania, September 21-24, 2015, pp. 145-152, 2015, IEEE Computer Society, 978-1-5090-0461-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Todor Ivascu, Bogdan Manate, Viorel Negru |
A Multi-agent Architecture for Ontology-Based Diagnosis of Mental Disorders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Timisoara, Romania, September 21-24, 2015, pp. 423-430, 2015, IEEE Computer Society, 978-1-5090-0461-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Remus-Daniel Ene, Vasile Marinca, Romeo Negrea |
The Flow in a Viscous Fluid over an Unsteady Stretching Surface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Timisoara, Romania, September 21-24, 2015, pp. 113-116, 2015, IEEE Computer Society, 978-1-5090-0461-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Raivis Bets, Janis Buls |
On the Existence of 1-Bounded Bi-ideals with the WELLDOC Property. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Timisoara, Romania, September 21-24, 2015, pp. 320-324, 2015, IEEE Computer Society, 978-1-5090-0461-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Isabela Dramnesc, Tudor Jebelean, Sorin Stratulat |
Combinatorial Techniques for Proof-Based Synthesis of Sorting Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Timisoara, Romania, September 21-24, 2015, pp. 137-144, 2015, IEEE Computer Society, 978-1-5090-0461-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Paul Tarau |
On Synergies between Type Inference, Generation and Normalization of SK-Combinator Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Timisoara, Romania, September 21-24, 2015, pp. 160-166, 2015, IEEE Computer Society, 978-1-5090-0461-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Rozica-Maria Tache, Ioan Tomescu |
General Sum-Connectivity Index with α ≥ 1 for Trees and Unicyclic Graphs with k Pendants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Timisoara, Romania, September 21-24, 2015, pp. 307-311, 2015, IEEE Computer Society, 978-1-5090-0461-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Adriana Horelu, Catalin Adrian Leordeanu, Elena Apostol, Dan Huru, Mariana Mocanu, Valentin Cristea |
Forecasting Techniques for Time Series from Sensor Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Timisoara, Romania, September 21-24, 2015, pp. 261-264, 2015, IEEE Computer Society, 978-1-5090-0461-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Andreea Salinca |
Business Reviews Classification Using Sentiment Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Timisoara, Romania, September 21-24, 2015, pp. 247-250, 2015, IEEE Computer Society, 978-1-5090-0461-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Andrew P. Smith 0001, César A. Muñoz, Anthony J. Narkawicz, Mantas Markevicius |
A Rigorous Generic Branch and Bound Solver for Nonlinear Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Timisoara, Romania, September 21-24, 2015, pp. 71-78, 2015, IEEE Computer Society, 978-1-5090-0461-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Dumitru-Bogdan Prelipcean, Adrian-Stefan Popescu, Dragos Teodor Gavrilut |
Improving Malware Detection Response Time with Behavior-Based Statistical Analysis Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Timisoara, Romania, September 21-24, 2015, pp. 232-239, 2015, IEEE Computer Society, 978-1-5090-0461-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Thomas L. Falch, Anne C. Elster |
Register Caching for Stencil Computations on GPUs. ![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. 479-486, 2014, IEEE Computer Society, 978-1-4799-8447-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Ciobaca |
Reducing Partial Equivalence to Partial Correctness. ![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. 164-171, 2014, IEEE Computer Society, 978-1-4799-8447-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Weikun Wang, Giuliano Casale |
Evaluating Weighted Round Robin Load Balancing for Cloud Web Services. ![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. 393-400, 2014, IEEE Computer Society, 978-1-4799-8447-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Petru Calin Bazavan, Lucian-Florentin Barbulescu, Paul Cefola |
On the Computation of the Hansen Coefficients. ![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. 117-121, 2014, IEEE Computer Society, 978-1-4799-8447-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Catalin Stoean, Ruxandra Stoean, Adrian Sandita |
Investigation of Alternative Evolutionary Prototype Generation in Medical Classification. ![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. 537-543, 2014, IEEE Computer Society, 978-1-4799-8447-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Dumitru-Clementin Cercel, Stefan Trausan-Matu |
Opinion Influence Analysis in Online Forum Threads. ![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. 228-235, 2014, IEEE Computer Society, 978-1-4799-8447-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Giulia Rumi, Claudia Colella, Danilo Ardagna |
Optimization Techniques within the Hadoop Eco-system: A Survey. ![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. 437-444, 2014, IEEE Computer Society, 978-1-4799-8447-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Marius Barat, Dumitru-Bogdan Prelipcean, Dragos Teodor Gavrilut |
A Practical Approach on Cleaning-Up Large Data Sets. ![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. 280-284, 2014, IEEE Computer Society, 978-1-4799-8447-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Nicolae-Eugen Croitoru |
High-Probability Mutation in Basic Genetic Algorithms. ![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. 301-305, 2014, IEEE Computer Society, 978-1-4799-8447-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Adrian Sabou, Dorian Gorgan |
A Parallel, Distributed, High-Performance Architecture for Simulating Particle-Based Models. ![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. 500-507, 2014, IEEE Computer Society, 978-1-4799-8447-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Vlad Radulescu, Stefan Andrei, Albert M. K. Cheng |
A Heuristic-Based Approach for Reducing the Power Consumption of Real-Time Embedded 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. 172-179, 2014, IEEE Computer Society, 978-1-4799-8447-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Florina Roxana Padurariu, Cristina Marinescu |
NSGA-II: Implementation and Performance Metrics Extraction for CPU and GPU. ![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. 494-499, 2014, IEEE Computer Society, 978-1-4799-8447-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Marco Bungart, Claudia Fohry, Jonas Posner |
Fault-Tolerant Global Load Balancing in X10. ![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. 471-478, 2014, IEEE Computer Society, 978-1-4799-8447-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Anca Nicoleta Marginean, Ioan Alfred Letia, Sergiu Zaporojan |
Using Domain Specific Hierarchical Good Practice for Ranking Service Compositions. ![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. 204-211, 2014, IEEE Computer Society, 978-1-4799-8447-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Carsten Schneider |
A Streamlined Difference Ring Theory: Indefinite Nested Sums, the Alternating Sign, and the Parameterized Telescoping 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. 26-33, 2014, IEEE Computer Society, 978-1-4799-8447-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | D. J. Jeffrey, Julia E. Jankowski |
Branch Differences and Lambert W. ![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. 61-65, 2014, IEEE Computer Society, 978-1-4799-8447-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Lucian Luncean, Costin Badica |
Semantic Modeling of Information for Freight Transportation Broker. ![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. 527-534, 2014, IEEE Computer Society, 978-1-4799-8447-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Marco Scavuzzo |
A Distributed File System over Heterogeneous SaaS Storage Platforms. ![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. 417-421, 2014, IEEE Computer Society, 978-1-4799-8447-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Aldo Gonzalez-Lorenzo, Alexandra Bac, Jean-Luc Mari, Pedro Real 0001 |
Computing Homological Information Based on Directed Graphs within Discrete Objects. ![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. 571-578, 2014, IEEE Computer Society, 978-1-4799-8447-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Marcos Aurélio Almeida da Silva, Danilo Ardagna, Nicolas Ferry 0001, Juan F. Pérez |
Model-Driven Design of Cloud Applications with Quality-of-Service Guarantees: The MODAClouds Approach, MICAS Tutorial. ![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. 3-10, 2014, IEEE Computer Society, 978-1-4799-8447-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Frédéric Loulergue, Virginia Niculescu, Julien Tesson |
Implementing Powerlists with Bulk Synchronous Parallel ML. ![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. 325-332, 2014, IEEE Computer Society, 978-1-4799-8447-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Marc Nicodeme, Charles Dossal, Flavius Turcu, Yannick Berthoumieu |
Lipschitz Bounds for Noise Robustness in Compressive Sensing: Two Algorithms. ![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. 85-90, 2014, IEEE Computer Society, 978-1-4799-8447-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Nevena Perovic, Jérôme Frisch, Ralf-Peter Mundani, Ernst Rank |
Interactive Data Exploration for High-Performance Fluid Flow Computations through Porous Media. ![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. 463-470, 2014, IEEE Computer Society, 978-1-4799-8447-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|