Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Ana Claudia Sima, Emil Slusanschi |
Optimizing Parallel CFD Simulations of 2D Compressible Flows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, Timisoara, Romania, September 26-29, 2012, pp. 487-494, 2012, IEEE Computer Society, 978-1-4673-5026-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Sucila, Mihai Cimpoesu |
A Distributed Solver for Dense Linear Feasibility Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, Timisoara, Romania, September 26-29, 2012, pp. 311-318, 2012, IEEE Computer Society, 978-1-4673-5026-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Emanuel Florentin Olariu |
A Model Reference Type Algorithm Using Importance Resampling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, Timisoara, Romania, September 26-29, 2012, pp. 78-82, 2012, IEEE Computer Society, 978-1-4673-5026-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Sumit Gulwani |
Synthesis from Examples: Interaction Models and Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, Timisoara, Romania, September 26-29, 2012, pp. 8-14, 2012, IEEE Computer Society, 978-1-4673-5026-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Andrey V. Tsyganov |
ReFaM: A Software Tool for Minimizing Nondeterministic Finite Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, Timisoara, Romania, September 26-29, 2012, pp. 187-191, 2012, IEEE Computer Society, 978-1-4673-5026-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Vinicius Almendra, Denis Enachescu |
A Supervised Learning Process to Elicit Fraud Cases in Online Auction Sites. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2011, Timisoara, Romania, September 26-29, 2011, pp. 168-174, 2011, IEEE Computer Society, 978-1-4673-0207-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Voichita Popescu, Mihai Bace, Sergiu Nedevschi |
Probabilistic Approach for Automated Reasoning for Lane Identification in Intelligent Vehicles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2011, Timisoara, Romania, September 26-29, 2011, pp. 255-258, 2011, IEEE Computer Society, 978-1-4673-0207-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Rémi Imbach, Pascal Mathis, Pascal Schreck |
Tracking Method for Reparametrized Geometrical Constraint Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2011, Timisoara, Romania, September 26-29, 2011, pp. 31-38, 2011, IEEE Computer Society, 978-1-4673-0207-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Carlo Bellettini, Lorenzo Capra |
Reachability Analysis of Time Basic Petri Nets: A Time Coverage Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2011, Timisoara, Romania, September 26-29, 2011, pp. 110-117, 2011, IEEE Computer Society, 978-1-4673-0207-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Dragos Gavrilut, Liviu Ciortuz |
Dealing with Class Noise in Large Training Datasets for Malware Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2011, Timisoara, Romania, September 26-29, 2011, pp. 401-407, 2011, IEEE Computer Society, 978-1-4673-0207-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Octav Brudaru, Cristian Rotaru, Iulian Marius Furdu |
Static Segregative Genetic Algorithm for Optimizing Variable Ordering of ROBDDs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2011, Timisoara, Romania, September 26-29, 2011, pp. 222-229, 2011, IEEE Computer Society, 978-1-4673-0207-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Dongming Wang 0001, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen M. Watt, Daniela Zaharie (eds.) |
13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2011, Timisoara, Romania, September 26-29, 2011 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![IEEE Computer Society, 978-1-4673-0207-4 The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Calin Sandru |
Enhancing Objects' Autonomy through the Classification of Objects' Interactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2011, Timisoara, Romania, September 26-29, 2011, pp. 373-380, 2011, IEEE Computer Society, 978-1-4673-0207-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Gerald Schaefer |
Hybrid Fuzzy Rule-Based Classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2011, Timisoara, Romania, September 26-29, 2011, pp. 13-15, 2011, IEEE Computer Society, 978-1-4673-0207-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Sofia Neata, Andreea Urzica, Adina Magda Florea |
Trust Model for Virtual Organizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2011, Timisoara, Romania, September 26-29, 2011, pp. 357-364, 2011, IEEE Computer Society, 978-1-4673-0207-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Mihnea Donciu, Madalina Ionita, Mihai Dascalu, Stefan Trausan-Matu |
The Runner - Recommender System of Workout and Nutrition for Runners. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2011, Timisoara, Romania, September 26-29, 2011, pp. 230-238, 2011, IEEE Computer Society, 978-1-4673-0207-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Petr Bujok, Josef Tvrdík |
Parallel Migration Models Applied to Competitive Differential Evolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2011, Timisoara, Romania, September 26-29, 2011, pp. 306-312, 2011, IEEE Computer Society, 978-1-4673-0207-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jérôme Frisch, Ralf-Peter Mundani, Ernst Rank |
Communication Schemes of a Parallel Fluid Solver for Multi-scale Environmental Simulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2011, Timisoara, Romania, September 26-29, 2011, pp. 391-397, 2011, IEEE Computer Society, 978-1-4673-0207-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Anamaria Szekely, Anita Hejja, Robert Andrei Buchmann |
Mapping a Relational Database into a RDF Repository. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2011, Timisoara, Romania, September 26-29, 2011, pp. 175-182, 2011, IEEE Computer Society, 978-1-4673-0207-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ernest Scheiber |
On the Interpolation Trigonometric Polynomial with an Arbitrary Even Number of Nodes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2011, Timisoara, Romania, September 26-29, 2011, pp. 71-74, 2011, IEEE Computer Society, 978-1-4673-0207-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Adina Magda Florea |
Self-Organizing Context Aware Agent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2011, Timisoara, Romania, September 26-29, 2011, pp. 3-10, 2011, IEEE Computer Society, 978-1-4673-0207-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Laura Kovács |
Symbol Elimination in Program Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2011, Timisoara, Romania, September 26-29, 2011, pp. 12, 2011, IEEE Computer Society, 978-1-4673-0207-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Anton Alin-Adrian |
A Method for Submodelling Inside Transient Flows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2011, Timisoara, Romania, September 26-29, 2011, pp. 75-82, 2011, IEEE Computer Society, 978-1-4673-0207-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Cristian-Mircea Dinu, Florin Pop, Valentin Cristea |
Pattern Detection Model for Monitoring Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2011, Timisoara, Romania, September 26-29, 2011, pp. 268-275, 2011, IEEE Computer Society, 978-1-4673-0207-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Adrian Mocanu, Nicolae Tapus |
A Distributed Approach for Solving Systems of Nonlinear Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2011, Timisoara, Romania, September 26-29, 2011, pp. 284-290, 2011, IEEE Computer Society, 978-1-4673-0207-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Frédéric Chyzak, James H. Davenport, Christoph Koutschan, Bruno Salvy |
On Kahan's Rules for Determining Branch Cuts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2011, Timisoara, Romania, September 26-29, 2011, pp. 47-51, 2011, IEEE Computer Society, 978-1-4673-0207-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Marco Bodrato, Alberto Zanoni |
Long Integers and Polynomial Evaluation with Estrin's Scheme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2011, Timisoara, Romania, September 26-29, 2011, pp. 39-46, 2011, IEEE Computer Society, 978-1-4673-0207-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Diana Trandabat |
Towards Extracting Semantic Information from Texts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2011, Timisoara, Romania, September 26-29, 2011, pp. 199-206, 2011, IEEE Computer Society, 978-1-4673-0207-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Matthieu Martel |
RangeLab: A Static-Analyzer to Bound the Accuracy of Finite-Precision Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2011, Timisoara, Romania, September 26-29, 2011, pp. 118-122, 2011, IEEE Computer Society, 978-1-4673-0207-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Stephen M. Watt |
Computational Tools for Mathematical Collaboration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2011, Timisoara, Romania, September 26-29, 2011, pp. 16-18, 2011, IEEE Computer Society, 978-1-4673-0207-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Vinicius Almendra, Bianca Roman |
Using Exploratory Data Analysis for Fraud Elicitation through Supervised Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2011, Timisoara, Romania, September 26-29, 2011, pp. 251-254, 2011, IEEE Computer Society, 978-1-4673-0207-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Octavian Cira, Stefan Maruster |
Optimal Inequality Factor for Ehrlich-Aberth's Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2011, Timisoara, Romania, September 26-29, 2011, pp. 63-70, 2011, IEEE Computer Society, 978-1-4673-0207-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Mariusz Felisiak, Daniel Simson |
Experiences in Computing Mesh Root Systems for Dynkin Diagrams Using Maple and C++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2011, Timisoara, Romania, September 26-29, 2011, pp. 83-86, 2011, IEEE Computer Society, 978-1-4673-0207-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Anita Hejja, Robert Andrei Buchmann, Anamaria Szekely |
Integration of Association Rule Detection with Rule-Based Ontological Support for Product Recommendation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2011, Timisoara, Romania, September 26-29, 2011, pp. 137-144, 2011, IEEE Computer Society, 978-1-4673-0207-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Marin, Florin Pop |
Intelligent Web-History Based on a Hybrid Clustering Algorithm for Future-Internet Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2011, Timisoara, Romania, September 26-29, 2011, pp. 145-152, 2011, IEEE Computer Society, 978-1-4673-0207-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Luminita State, Iuliana Paraschiv-Munteanu |
A Probabilistic Model-Free Approach in Learning Multivariate Noisy Linear Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2011, Timisoara, Romania, September 26-29, 2011, pp. 239-246, 2011, IEEE Computer Society, 978-1-4673-0207-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Tateaki Sasaki |
A Theory and an Algorithm of Approximate Gröbner Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2011, Timisoara, Romania, September 26-29, 2011, pp. 23-30, 2011, IEEE Computer Society, 978-1-4673-0207-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Liviu Ciortuz, Vlad Saveluc |
Learning to Unlearn in Lattices of Concepts: A Case Study in Fluid Construction Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2011, Timisoara, Romania, September 26-29, 2011, pp. 160-167, 2011, IEEE Computer Society, 978-1-4673-0207-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Alexandru, Gabriel Ciobanu |
Nominal Semantics of the pi I-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2011, Timisoara, Romania, September 26-29, 2011, pp. 331-338, 2011, IEEE Computer Society, 978-1-4673-0207-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Octav Brudaru, Adrian Vilcu, Diana Popovici |
Cellular Genetic Algorithm with Communicating Grids for a Delivery Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2011, Timisoara, Romania, September 26-29, 2011, pp. 215-221, 2011, IEEE Computer Society, 978-1-4673-0207-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Radu-Ioan Ciobanu, Ciprian Dobre, Valentin Cristea |
A Data Dissemination Algorithm for Opportunistic Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2011, Timisoara, Romania, September 26-29, 2011, pp. 299-305, 2011, IEEE Computer Society, 978-1-4673-0207-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Gabriel Ciobanu, Eneia Nicolae Todoran |
Metric Denotational Semantics for Parallel Rewriting of Multisets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2011, Timisoara, Romania, September 26-29, 2011, pp. 276-283, 2011, IEEE Computer Society, 978-1-4673-0207-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Oleg V. Zubkov, Dmitry V. Chistikov, Andrey A. Voronenko |
An Upper Bound on Checking Test Complexity for Almost All Cographs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2011, Timisoara, Romania, September 26-29, 2011, pp. 323-330, 2011, IEEE Computer Society, 978-1-4673-0207-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Inese Berzina, Raivis Bets, Janis Buls, Edmunds Cers, Liga Kulesa |
On a Non-periodic Shrinking Generator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2011, Timisoara, Romania, September 26-29, 2011, pp. 348-354, 2011, IEEE Computer Society, 978-1-4673-0207-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Lucian Radu Teodorescu, Razvan Boldizsar, Mihai Alexandru Ordean, Melania Duma 0002, Laura Detesan, Mihaela Ordean |
Part of Speech Tagging for Romanian Text-to-Speech System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2011, Timisoara, Romania, September 26-29, 2011, pp. 153-159, 2011, IEEE Computer Society, 978-1-4673-0207-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Alexandru Gherega, Valentin Pupezescu |
Multi-agent Resource Allocation Algorithm Based on the XSufferage Heuristic for Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2011, Timisoara, Romania, September 26-29, 2011, pp. 313-320, 2011, IEEE Computer Society, 978-1-4673-0207-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Liviu Petrisor Dinu, Radu Tudor Ionescu |
A Genetic Approximation of Closest String via Rank Distance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2011, Timisoara, Romania, September 26-29, 2011, pp. 207-214, 2011, IEEE Computer Society, 978-1-4673-0207-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Maria-Iuliana Bocicor, Gabriela Czibula, István Gergely Czibula |
A Reinforcement Learning Approach for Solving the Fragment Assembly Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2011, Timisoara, Romania, September 26-29, 2011, pp. 191-198, 2011, IEEE Computer Society, 978-1-4673-0207-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Anca Dinu |
Short Text Categorization via Coherence Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2011, Timisoara, Romania, September 26-29, 2011, pp. 247-250, 2011, IEEE Computer Society, 978-1-4673-0207-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Franz Winkler 0001 |
What can Symbolic Computation Contribute to Mathematics? ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2011, Timisoara, Romania, September 26-29, 2011, pp. 19-20, 2011, IEEE Computer Society, 978-1-4673-0207-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Beáta Reiz, Sándor Pongor |
Psychologically Inspired, Rule-Based Outlier Detection in Noisy Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2011, Timisoara, Romania, September 26-29, 2011, pp. 131-136, 2011, IEEE Computer Society, 978-1-4673-0207-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Emilian Necula, Raluca Necula, Adrian Iftene |
A GIS Integrated Solution for Traffic Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2011, Timisoara, Romania, September 26-29, 2011, pp. 183-190, 2011, IEEE Computer Society, 978-1-4673-0207-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Réka Nagy, D. Dumitrescu, Rodica Ioana Lung |
Lorenz Equilibrium: Concept and Evolutionary Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2011, Timisoara, Romania, September 26-29, 2011, pp. 408-412, 2011, IEEE Computer Society, 978-1-4673-0207-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Andrei, Albert M. K. Cheng, Vlad Radulescu |
Estimating the Number of Processors towards an Efficient Non-preemptive Scheduling Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2011, Timisoara, Romania, September 26-29, 2011, pp. 93-100, 2011, IEEE Computer Society, 978-1-4673-0207-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Mihail Asavoae, Irina Mariuca Asavoae |
Using the Executable Semantics for CFG Extraction and Unfolding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2011, Timisoara, Romania, September 26-29, 2011, pp. 123-127, 2011, IEEE Computer Society, 978-1-4673-0207-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Victor Bacu, Danut Mihon, Teodor Stefanut, Denisa Rodila, Dorian Gorgan, Pierluigi Cau, Simone Manca |
Grid Based Services and Tools for Hydrological Model Processing and Visualization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2011, Timisoara, Romania, September 26-29, 2011, pp. 291-298, 2011, IEEE Computer Society, 978-1-4673-0207-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Isabela Dramnesc, Tudor Jebelean |
Proof Techniques for Synthesis of Sorting Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2011, Timisoara, Romania, September 26-29, 2011, pp. 101-109, 2011, IEEE Computer Society, 978-1-4673-0207-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ioan Lucian Muntean, Laura Maria Dansorean |
Searching Simulation Scenarios on the Grid with ELSIGExplorer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2011, Timisoara, Romania, September 26-29, 2011, pp. 261-267, 2011, IEEE Computer Society, 978-1-4673-0207-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Liliana Cojocaru, Erkki Mäkinen |
On the Complexity of Szilard Languages of Matrix Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2011, Timisoara, Romania, September 26-29, 2011, pp. 339-347, 2011, IEEE Computer Society, 978-1-4673-0207-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | George Sacerdotianu, Sorin Ilie, Costin Badica |
Software Framework for Agent-Based Games and Simulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2011, Timisoara, Romania, September 26-29, 2011, pp. 381-388, 2011, IEEE Computer Society, 978-1-4673-0207-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Erich L. Kaltofen |
What is Hybrid Symbolic-Numeric Computation? ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2011, Timisoara, Romania, September 26-29, 2011, pp. 11, 2011, IEEE Computer Society, 978-1-4673-0207-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Vesna Jevtic, Dalibor Dobrilovic, Jelena Stojanov, Zeljko Stojanov |
Project Duration Assessment Model Based on Modified Shortest Path Algorithm and Superposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2011, Timisoara, Romania, September 26-29, 2011, pp. 87-90, 2011, IEEE Computer Society, 978-1-4673-0207-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Valentin Tanasa, Dorothée Normand-Cyrot |
A Computer Aided Software for Nonlinear Digital Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2011, Timisoara, Romania, September 26-29, 2011, pp. 52-59, 2011, IEEE Computer Society, 978-1-4673-0207-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Monica Tirea, Ioan Tandau, Viorel Negru |
Multi-agent Stock Trading Algorithm Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2011, Timisoara, Romania, September 26-29, 2011, pp. 365-372, 2011, IEEE Computer Society, 978-1-4673-0207-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Maya Dimitrova, Anna K. Lekova, Mo Adda |
Personality Filter in Mobile Networks with Communication Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010, pp. 565-568, 2010, IEEE Computer Society, 978-0-7695-4324-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Cristian Giumale, Lorina Negreanu, Mihnea Muraru, Matei Popovici |
Modeling Ontologies for Time-Dependent Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010, pp. 202-208, 2010, IEEE Computer Society, 978-0-7695-4324-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Andrei, Albert M. K. Cheng, Gheorghe Grigoras, Vlad Radulescu |
An Efficient Scheduling Algorithm for the Multiprocessor Platform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010, pp. 245-252, 2010, IEEE Computer Society, 978-0-7695-4324-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Mauricio Alba-Castro, María Alpuente, Santiago Escobar 0001 |
Approximating Non-interference and Erasure in Rewriting Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010, pp. 124-132, 2010, IEEE Computer Society, 978-0-7695-4324-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Cristina Bianca Pop, Viorica R. Chifu, Ioan Salomie, Mihaela Dînsoreanu, Tudor David, Vlad Acretoaie |
Ant-Inspired Technique for Automatic Web Service Composition and Selection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010, pp. 449-455, 2010, IEEE Computer Society, 978-0-7695-4324-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Damian Mierzwinski, Dariusz Walczak, Marcin Wolski, Marcin Wrzos |
Surveillance System in Service-Oriented Manner. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010, pp. 427-433, 2010, IEEE Computer Society, 978-0-7695-4324-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Alexandra Coldea, Adrian Colesa, Iosif Ignat |
OrcFS: Organized Relationships between Components of the File System for Efficient File Retrieval. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010, pp. 434-441, 2010, IEEE Computer Society, 978-0-7695-4324-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Octav Brudaru, Cristian Rotaru |
Dynamic Segregative Genetic Algorithm for Assembly Lines Balancing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010, pp. 229-236, 2010, IEEE Computer Society, 978-0-7695-4324-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Alina Andreica, Daniel Stuparu, Florina Covaci, Gabriel Pop, Arpad Imre |
A Software Services Framework for Providing E-Learning and Dedicated Information Systems Facilities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010, pp. 573-576, 2010, IEEE Computer Society, 978-0-7695-4324-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Madalina Hodorog, Bernard Mourrain, Josef Schicho |
A Symbolic-Numeric Algorithm for Computing the Alexander Polynomial of a Plane Curve Singularity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010, pp. 21-28, 2010, IEEE Computer Society, 978-0-7695-4324-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Laurentiu Bucur, Adina Florea |
Exploring Chaos with Sparse Kernel Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010, pp. 239-242, 2010, IEEE Computer Society, 978-0-7695-4324-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Rémi Bertin, Pierre Coucheney, Arnaud Legrand, Corinne Touati |
Practical Implementation Issues of Lagrangian Based Distributed Optimization Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010, pp. 331-334, 2010, IEEE Computer Society, 978-0-7695-4324-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ioan Alfred Letia, Radu Razvan Slavescu |
Helpful Behavior Based on Trust for Web Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010, pp. 526-533, 2010, IEEE Computer Society, 978-0-7695-4324-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Cristina Mindruta, Dana Petcu |
A Semantic Services Architecture for Solving ODE Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010, pp. 301-307, 2010, IEEE Computer Society, 978-0-7695-4324-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Teodor Stefanut, George Popescu, Dorian Gorgan |
E-Learning Platform for Educational Resources Repurposing in Earth Observation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010, pp. 308-314, 2010, IEEE Computer Society, 978-0-7695-4324-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Denisa Rodila, Dorian Gorgan |
Integration of Spatial Data Infrastructures with Grid Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010, pp. 269-277, 2010, IEEE Computer Society, 978-0-7695-4324-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Vlad Ciobanu, Florin Pop, Decebal Popescu, Valentin Cristea |
A Distributed Approach to Business Intelligence Systems Synchronization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010, pp. 581-585, 2010, IEEE Computer Society, 978-0-7695-4324-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Yasuhiko Minamide, Yuto Sakuma, Andrei Voronkov |
Translating Regular Expression Matching into Transducers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010, pp. 107-115, 2010, IEEE Computer Society, 978-0-7695-4324-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Charlotte Truchet, Marie Pelleau, Frédéric Benhamou |
Abstract Domains for Constraint Programming, with the Example of Octagons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010, pp. 72-79, 2010, IEEE Computer Society, 978-0-7695-4324-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Adriana Szekeres, Silviu Horia Baranga, Ciprian Dobre, Valentin Cristea |
A Keyword Search Algorithm for Structured Peer-to-Peer Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010, pp. 253-260, 2010, IEEE Computer Society, 978-0-7695-4324-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Vlad Saveluc, Liviu Ciortuz |
FCGlight: A System for Studying the Evolution of Natural Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010, pp. 188-193, 2010, IEEE Computer Society, 978-0-7695-4324-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Virgil Emil Cazanescu |
Programming via Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010, pp. 3, 2010, IEEE Computer Society, 978-0-7695-4324-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Zoltán Ádám Mann, Aniko Szajko |
Improved Bounds on the Complexity of Graph Coloring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010, pp. 347-354, 2010, IEEE Computer Society, 978-0-7695-4324-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Alberto Calvi, Silvio Ranise, Luca Viganò 0001 |
Automated Validation of Security-Sensitive Web Services Specified in BPEL and RBAC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010, pp. 456-464, 2010, IEEE Computer Society, 978-0-7695-4324-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Robert Andrei Buchmann, Radu Meza, Anita Hejja |
An Eye Tracking Semantic Repository for User Profiling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010, pp. 215-222, 2010, IEEE Computer Society, 978-0-7695-4324-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Adriana Draghici, Marius Sandu-Popa, Razvan Deaconescu, Nicolae Tapus |
A Peer-to-Peer Swarm Creation and Management Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010, pp. 545-548, 2010, IEEE Computer Society, 978-0-7695-4324-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Huy Tran, Ta'id Holmes, Ernst Oberortner, Emmanuel Mulo, Agnieszka Betkowska Cavalcante, Jacek Serafinski, Marek Tluczek, Aliaksandr Birukou, Florian Daniel, Patrícia Silveira, Uwe Zdun, Schahram Dustdar |
An End-to-End Framework for Business Compliance in Process-Driven SOAs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010, pp. 407-414, 2010, IEEE Computer Society, 978-0-7695-4324-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Adriana Popovici, Dan Popovici |
Dilatability to Quantum Linear Cellular Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010, pp. 355-361, 2010, IEEE Computer Society, 978-0-7695-4324-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Corina Rotar |
Endocrine Control Evolutionary Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010, pp. 174-181, 2010, IEEE Computer Society, 978-0-7695-4324-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Mircea Trifu |
The Q-ImPrESS Method - An Overview. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010, pp. 415-416, 2010, IEEE Computer Society, 978-0-7695-4324-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Adrian Colesa, Ioan Stan, Iosif Ignat |
Transparent Fault-Tolerance Based on Asynchronous Virtual Machine Replication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010, pp. 442-448, 2010, IEEE Computer Society, 978-0-7695-4324-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Florin Pop |
SORMSYS: Towards a Resource Management Platform for Self-Organizing Large Scale Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010, pp. 534-541, 2010, IEEE Computer Society, 978-0-7695-4324-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Irina Mariuca Asavoae, Mihail Asavoae, Dorel Lucanu |
Path Directed Symbolic Execution in the K Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010, pp. 133-141, 2010, IEEE Computer Society, 978-0-7695-4324-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Javier Vázquez-Salceda, Wamberto Weber Vasconcelos, Julian A. Padget, Frank Dignum, Siobhán Clarke, Manel Palau, Paul Sergeant, Kees Nieuwenhuis |
ALIVE: A Model-Driven Framework to Develop Dynamic, Flexible, Distributed Service-Oriented Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010, pp. 485-492, 2010, IEEE Computer Society, 978-0-7695-4324-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Michele Martone, Salvatore Filippone, Marcin Paprzycki, Salvatore Tucci |
On BLAS Operations with Recursively Stored Sparse Matrices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010, pp. 49-56, 2010, IEEE Computer Society, 978-0-7695-4324-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Madalina Erascu, Tudor Jebelean |
A Purely Logical Approach to the Termination of Imperative Loops. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010, pp. 142-149, 2010, IEEE Computer Society, 978-0-7695-4324-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|