Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Letitia Velcescu, Laurentiu Vasile |
Relational Operators in Heterogeneous Random Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2009, Timisoara, Romania, September 26-29, 2009, pp. 407-412, 2009, IEEE Computer Society, 978-1-4244-5910-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Madalina Erascu, Tudor Jebelean |
A Calculus for Imperative Programs: Formalization and Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2009, Timisoara, Romania, September 26-29, 2009, pp. 77-84, 2009, IEEE Computer Society, 978-1-4244-5910-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Yanli Huang, Dongming Wang 0001 |
Computing Self-intersection Loci of Parametrized Surfaces Using Regular Systems and Groebner Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2009, Timisoara, Romania, September 26-29, 2009, pp. 28-36, 2009, IEEE Computer Society, 978-1-4244-5910-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Nadia Bonchis |
The Lucas Optimal Growth Model on Finite Horizon. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2009, Timisoara, Romania, September 26-29, 2009, pp. 113-117, 2009, IEEE Computer Society, 978-1-4244-5910-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Tetsuo Ida |
A Compiler for Origami Construction and Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2009, Timisoara, Romania, September 26-29, 2009, pp. 9, 2009, IEEE Computer Society, 978-1-4244-5910-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Marieta Nastase, Ciprian Dobre, Florin Pop, Valentin Cristea |
Fault Tolerance Using a Front-End Service for Large Scale Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2009, Timisoara, Romania, September 26-29, 2009, pp. 229-236, 2009, IEEE Computer Society, 978-1-4244-5910-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | David Edwards Jr. |
A Numerical Solution of the Semi Linear Singularly Perturbed Boundary Value Problem Using Multi Region Finite Difference Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2009, Timisoara, Romania, September 26-29, 2009, pp. 130-136, 2009, IEEE Computer Society, 978-1-4244-5910-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Alberto Zanoni |
Toom-Cook 8-way for Long Integers Multiplication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2009, Timisoara, Romania, September 26-29, 2009, pp. 54-57, 2009, IEEE Computer Society, 978-1-4244-5910-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Gabriel Ciobanu, Eneia Nicolae Todoran |
A Methodology for Concurrent Languages Development Based on Denotational Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2009, Timisoara, Romania, September 26-29, 2009, pp. 290-298, 2009, IEEE Computer Society, 978-1-4244-5910-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Voronkov |
Satisfiability and Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2009, Timisoara, Romania, September 26-29, 2009, pp. 16, 2009, IEEE Computer Society, 978-1-4244-5910-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Marius Paltanea, Sabin Tabirca, Yin Jie Chen, Mark Tangney |
Cancer Prediction Modeling from Volumetric Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2009, Timisoara, Romania, September 26-29, 2009, pp. 162-167, 2009, IEEE Computer Society, 978-1-4244-5910-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Cristian Cira Mihai |
Finding the Solutions of Nonlinear Equation Systems from an Interval. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2009, Timisoara, Romania, September 26-29, 2009, pp. 124-129, 2009, IEEE Computer Society, 978-1-4244-5910-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Victor Felea, Marian Razvan Balta |
Expansions and Equivalence of Queries Using Views with Parameters and Negation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008, pp. 31-38, 2008, IEEE Computer Society, 978-0-7695-3523-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Claudiu Cobârzan, Alin Mihaila, Cristina Mihaila |
Dynamics of a Utility Based Distributed Video Proxy-Cache. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008, pp. 231-238, 2008, IEEE Computer Society, 978-0-7695-3523-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Schumann |
Non-Well-Founded Probabilities and Coinductive Probability Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008, pp. 54-57, 2008, IEEE Computer Society, 978-0-7695-3523-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Eneia Nicolae Todoran, Nicolae Gherman |
Semantic Interpreter for Modern Communication Abstractions in Concurrent Object-Oriented Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008, pp. 289-294, 2008, IEEE Computer Society, 978-0-7695-3523-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Cristian Vidrascu |
Coverability Problems for Jumping Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008, pp. 158-163, 2008, IEEE Computer Society, 978-0-7695-3523-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Florin Chelaru, Liviu Ciortuz |
Combining Old-Fashioned Computer Go with Monte Carlo Go. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008, pp. 216-222, 2008, IEEE Computer Society, 978-0-7695-3523-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Sayan Ghosh 0001, Debarati Kundu, Kaushik Suresh, Swagatam Das, Ajith Abraham |
An Adaptive Particle Swarm Optimizer Using Balanced Explorative and Exploitative Behaviors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008, pp. 543-550, 2008, IEEE Computer Society, 978-0-7695-3523-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Dan C. Cosma |
niSiDe: Interactive Tool for Understanding Distributed Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008, pp. 281-284, 2008, IEEE Computer Society, 978-0-7695-3523-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Doina Tatar, Andreea Diana Mihis, Gabriela Serban Czibula |
Lexical Chains Segmentation in Summarization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008, pp. 95-101, 2008, IEEE Computer Society, 978-0-7695-3523-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Horia Emil Popa, Viorel Negru, Daniel Pop, Ionel Muscalagiu |
DL-AgentRecom - A Multi-Agent Based Recommendation System for Scientific Documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008, pp. 320-324, 2008, IEEE Computer Society, 978-0-7695-3523-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Beáta Reiz, Lehel Csató, Dan Dumitrescu |
Prufer Number Encoding for Genetic Bayesian Network Structure Learning Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008, pp. 239-242, 2008, IEEE Computer Society, 978-0-7695-3523-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Adrian Colesa, Radu Tudoran, Sebastian Banescu |
Software Random Number Generation Based on Race Conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008, pp. 439-444, 2008, IEEE Computer Society, 978-0-7695-3523-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Adrian Iftene, Ionut Pistol, Diana Trandabat |
Grammar-Based Automatic Extraction of Definitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008, pp. 110-115, 2008, IEEE Computer Society, 978-0-7695-3523-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Adrian Iasinschi, Mirel Cosulschi |
Semi-Automated Wrappers Using Rule Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008, pp. 209-215, 2008, IEEE Computer Society, 978-0-7695-3523-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Alexandru Sofronia, Alexandru Popa 0001, Gheorghe Stefanescu |
Undecidability Results for Finite Interactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008, pp. 366-369, 2008, IEEE Computer Society, 978-0-7695-3523-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Adrian Sterca |
Primal Congestion Control Algorithms for Multimedia Streams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008, pp. 348-353, 2008, IEEE Computer Society, 978-0-7695-3523-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Mihai Cipu |
Groebner Bases and Solutions to Diophantine Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008, pp. 77-80, 2008, IEEE Computer Society, 978-0-7695-3523-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Mugurel Ionut Andreica, Nicolae Tapus |
Time Slot Groups - A Data Structure for QoS-Constrained Advance Bandwidth Reservation and Admission Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008, pp. 354-357, 2008, IEEE Computer Society, 978-0-7695-3523-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Luís Soares Barbosa, Sun Meng |
UML Model Refactoring as Refinement: A Coalgebraic Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008, pp. 340-347, 2008, IEEE Computer Society, 978-0-7695-3523-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Amelia Badica, Costin Badica |
From Formal Specification of Code Mobility to Design and Implementation: An UML-Based Mobile Agent Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008, pp. 297-304, 2008, IEEE Computer Society, 978-0-7695-3523-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Dominic Bucerzan |
A Cryptographic Algorithm Based on a Pseudorandom Number Generator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008, pp. 453-456, 2008, IEEE Computer Society, 978-0-7695-3523-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Oana Nicolae, Gerd Wagner 0001 |
Verbalising R2ML Rules into SBVR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008, pp. 265-272, 2008, IEEE Computer Society, 978-0-7695-3523-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Florian Mircea Boian, Rares Florin Boian |
Solving Storage Limitations Using a Peer-to-Peer Web File System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008, pp. 335-339, 2008, IEEE Computer Society, 978-0-7695-3523-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Constantin Bota, Bogdan Caruntu, Marius Babescu |
Analytic Approximate Periodic Solutions Based on Harmonic Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008, pp. 177-182, 2008, IEEE Computer Society, 978-0-7695-3523-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Giovanni Bernardi 0001, Michele Bugliesi, Damiano Macedonio, Sabina Rossi |
A Theory of Adaptable Contract-Based Service Composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008, pp. 327-334, 2008, IEEE Computer Society, 978-0-7695-3523-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Alin Suciu, Kinga Marton, Zoltan Antal |
Data Flow Entropy Collector. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008, pp. 445-448, 2008, IEEE Computer Society, 978-0-7695-3523-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Béla Genge, Piroska Haller |
A Modeling Framework for Generating Security Protocol Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008, pp. 362-365, 2008, IEEE Computer Society, 978-0-7695-3523-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Andrei-Horia Mogos, Adina Magda Florea |
Solving the Countdown Problem Using Automatic Composition of Semantic Web Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008, pp. 310-315, 2008, IEEE Computer Society, 978-0-7695-3523-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Mihaela Breaban, Silvia Luchian |
Shaping Up Clusters with PSO. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008, pp. 532-537, 2008, IEEE Computer Society, 978-0-7695-3523-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | René Wörzberger, Thomas Kurpick, Thomas Heer |
Checking Correctness and Compliance of Integrated Process Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008, pp. 576-583, 2008, IEEE Computer Society, 978-0-7695-3523-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Crenguta Madalina Bogdan |
Concern-Oriented and Ontology-Based Design Approach of Software Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008, pp. 249-252, 2008, IEEE Computer Society, 978-0-7695-3523-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Sorin Iftene, Daniel Pasaila |
A CRT-Based Solution to Yao's Millionaires' Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008, pp. 189-192, 2008, IEEE Computer Society, 978-0-7695-3523-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Lucian Hancu |
Supply Chain Risk Management by Mining Business Dependencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008, pp. 102-109, 2008, IEEE Computer Society, 978-0-7695-3523-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Pasaila, Irina Mohorianu, Liviu Ciortuz |
Using Base Pairing Probabilities for MiRNA Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008, pp. 519-525, 2008, IEEE Computer Society, 978-0-7695-3523-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Mugurel Ionut Andreica, Eliana-Dina Tirsa |
Towards a Real-Time Scheduling Framework for Data Transfers in Tree Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008, pp. 467-474, 2008, IEEE Computer Society, 978-0-7695-3523-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Mihut, Horia Ciocirlie |
Implementing a Brokered Notification System for Grid Middleware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008, pp. 422-429, 2008, IEEE Computer Society, 978-0-7695-3523-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Petru Florin Mihancea |
Towards a Reverse Engineering Dataflow Analysis Framework for Java and C++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008, pp. 285-288, 2008, IEEE Computer Society, 978-0-7695-3523-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Catalin V. Bîrjoveanu |
Secrecy for Bounded Security Protocols under Composed Keys and Disequality Tests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008, pp. 193-196, 2008, IEEE Computer Society, 978-0-7695-3523-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Andrei |
Termination Analysis by Program Inversion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008, pp. 277-280, 2008, IEEE Computer Society, 978-0-7695-3523-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Mogos Radu Ioan, Socoll Paula Liliana |
Using Mobile Agents and Intelligent Data Analysis Techniques for Climate Environment Modeling and Weather Analysis and Prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008, pp. 316-319, 2008, IEEE Computer Society, 978-0-7695-3523-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Dan C. Ciresan |
Avoiding Segmentation in Multi-Digit Numeral String Recognition by Combining Single and Two-Digit Classifiers Trained without Negative Examples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008, pp. 225-230, 2008, IEEE Computer Society, 978-0-7695-3523-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Georgiana Macariu, Dacian Tudor, Vladimir Cretu |
Designing a Dynamic Replication Engine for Grid Shared Data Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008, pp. 402-409, 2008, IEEE Computer Society, 978-0-7695-3523-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Dan Cojocar |
BBUFs: A New Lookup Mechanism Based on IPV6. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008, pp. 358-361, 2008, IEEE Computer Society, 978-0-7695-3523-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Viorel Negru, Tudor Jebelean, Dana Petcu, Daniela Zaharie (eds.) |
SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![IEEE Computer Society, 978-0-7695-3523-4 The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Georgiana Caltais, Eugen-Ioan Goriac, Dorel Lucanu, Gheorghe Grigoras |
A Rewrite Stack Machine for ROC!. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008, pp. 85-91, 2008, IEEE Computer Society, 978-0-7695-3523-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Victor Bacu, Lucian Muresan, Dorian Gorgan |
Cluster Based Modeling and Remote Visualization of Virtual Geographical Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008, pp. 416-421, 2008, IEEE Computer Society, 978-0-7695-3523-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Hugo Zbinden |
Random Numbers for Quantum Key Distribution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008, pp. 19, 2008, IEEE Computer Society, 978-0-7695-3523-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | P. Vijay Suman, Paritosh K. Pandya |
Timed and Hybrid Automata in SAL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008, pp. 480-486, 2008, IEEE Computer Society, 978-0-7695-3523-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Mihaiela Lupea |
Axiomatization of Credulous Reasoning in Default Logics using Sequent Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008, pp. 47-53, 2008, IEEE Computer Society, 978-0-7695-3523-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Florin Pop, Ciprian Dobre, Valentin Cristea |
Decentralized Dynamic Resource Allocation for Workflows in Grid Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008, pp. 557-563, 2008, IEEE Computer Society, 978-0-7695-3523-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Iulia Costin |
Complementaries of Greek Means with Respect to the Logarithmic Mean. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008, pp. 81-84, 2008, IEEE Computer Society, 978-0-7695-3523-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Vahid Khalilzad-Sharghi, Alireza Talebpour, Alireza Kamali-Asl, Nastaran Hendijani |
Automatic Assessment of Cardiac Artery Disease by Using DCAD Module. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008, pp. 243-246, 2008, IEEE Computer Society, 978-0-7695-3523-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Sandra Maria Gómez Canaval, Abraham Gutierrez Rodriguez, Santiago Alonso Villaverde |
Hardware Implementation of P Systems Using Microcontrollers. An Operating Environment for Implementing a Partially Parallel Distributed Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008, pp. 489-495, 2008, IEEE Computer Society, 978-0-7695-3523-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Camelia Chira, Camelia-Mihaela Pintea, Dumitru Dumitrescu |
Multi-Population Agent Search: Stigmergy and Heterogeneity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008, pp. 526-531, 2008, IEEE Computer Society, 978-0-7695-3523-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Tatsiana Galibus, Gennadii Matveev, Nikolay Shenets |
Some Structural and Security Properties of the Modular Secret Sharing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008, pp. 197-200, 2008, IEEE Computer Society, 978-0-7695-3523-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Mugurel Ionut Andreica, Nicolae Tapus |
Optimal Scheduling of Two Communication Flows on Multiple Disjoint Packet-Type Aware Paths. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008, pp. 137-144, 2008, IEEE Computer Society, 978-0-7695-3523-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Razvan Stefanescu, Viorel Arnautu |
The Numerical Solutions for an Elliptic Control Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008, pp. 173-176, 2008, IEEE Computer Society, 978-0-7695-3523-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Octavian Cret, Alin Suciu, Tamas Györfi |
Practical Issues in Implementing TRNGs in FPGAs Based on the Ring Oscillator Sampling Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008, pp. 433-438, 2008, IEEE Computer Society, 978-0-7695-3523-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Alexandra Cernian, Dorin Carstoiu, Adriana Olteanu |
Clustering Heterogeneous Web Data using Clustering by Compression. Cluster Validity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008, pp. 123-126, 2008, IEEE Computer Society, 978-0-7695-3523-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Elena S. Smirnova, Stephen M. Watt |
Communicating Mathematics via Pen-Based Interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008, pp. 9-18, 2008, IEEE Computer Society, 978-0-7695-3523-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Alberto Arteta, Luis Fernández, Javier Gil |
Algorithm for Application of Evolution Rules Based on Linear Diofantic Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008, pp. 496-500, 2008, IEEE Computer Society, 978-0-7695-3523-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Lorenzo Capra |
A (Timed) State-Transition Semantics for Reflective Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008, pp. 164-170, 2008, IEEE Computer Society, 978-0-7695-3523-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | István Gergely Czibula, Gabriela Czibula |
Clustering Based Automatic Refactorings Identification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008, pp. 253-256, 2008, IEEE Computer Society, 978-0-7695-3523-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Ioan Lazar, Bazil Pârv, Simona Motogna, István Gergely Czibula, Codrut-Lucian Lazar |
iComponent: A Platform Independent Component Model for Dynamic Execution Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008, pp. 257-264, 2008, IEEE Computer Society, 978-0-7695-3523-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Alexandru Cârstea, Georgiana Macariu, Marc Frîncu, Dana Petcu |
Workflow Management for Symbolic Grid Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008, pp. 373-379, 2008, IEEE Computer Society, 978-0-7695-3523-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Ciprian Bortos, Mihaela Ordean, Gheorghe Cosmin Silaghi |
Broadcasting Clouds Masks and Snow Areas Detected in MedioGrid to Mobile Devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008, pp. 410-415, 2008, IEEE Computer Society, 978-0-7695-3523-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Gabriel Chindris, Marius Muresan |
Bipolar Junction Effects for High Entropy Data Harvesters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008, pp. 449-452, 2008, IEEE Computer Society, 978-0-7695-3523-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Bogdan Aman, Gabriel Ciobanu |
Resource Competition and Synchronization in Membranes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008, pp. 145-151, 2008, IEEE Computer Society, 978-0-7695-3523-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Joachim Melcher, Detlef Seese |
Towards Validating Prediction Systems for Process Understandability: Measuring Process Understandability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008, pp. 564-571, 2008, IEEE Computer Society, 978-0-7695-3523-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Mugurel Ionut Andreica, Nicolae Tapus |
Constrained Content Distribution and Communication Scheduling for Several Restricted Classes of Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008, pp. 129-136, 2008, IEEE Computer Society, 978-0-7695-3523-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Michel Hurfin, Jean-Pierre Le Narzul |
Design and Performance Evaluation of a Resource Allocation System Based on Agreement Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008, pp. 387-393, 2008, IEEE Computer Society, 978-0-7695-3523-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Tudor Jebelean, Gábor Kusper |
Multi-Domain Logic and its Applications to SAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008, pp. 3-8, 2008, IEEE Computer Society, 978-0-7695-3523-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Razvan Alecsandrescu, Florin Pop, Valentin Cristea |
A Distributed Algorithm for Critical Area Detection in Satellite Imagery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008, pp. 380-386, 2008, IEEE Computer Society, 978-0-7695-3523-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Armin Größlinger, Stefan Schuster |
On Computing Solutions of Linear Diophantine Equations with One Non-linear Parameter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008, pp. 69-76, 2008, IEEE Computer Society, 978-0-7695-3523-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Elena Bautu, Andrei Bautu, Henri Luchian |
An Evolutionary Approach for Modeling Time Series. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008, pp. 507-513, 2008, IEEE Computer Society, 978-0-7695-3523-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Alexander V. Lyaletski |
On Some Problems of Efficient Inference Search in First-Order Cut-Free Modal Sequent Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008, pp. 39-46, 2008, IEEE Computer Society, 978-0-7695-3523-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Radu Tiberiu Trimbitas, Maria Gabriela Trimbitas |
Gauss-Lobatto-Kronrod Formulae and Adaptive Numerical Integration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008, pp. 183-186, 2008, IEEE Computer Society, 978-0-7695-3523-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Alan P. Sexton, Volker Sorge, Stephen M. Watt |
Abstract Matrix Arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008, pp. 61-68, 2008, IEEE Computer Society, 978-0-7695-3523-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Andrei, Albert Mo Kim Cheng |
Optimizing Automotive Cyber-Physical System Specifications with Multi-Event Dependencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008, pp. 475-479, 2008, IEEE Computer Society, 978-0-7695-3523-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Victoria Iordan, Alexandru Cicortas |
Considerations on Using Ontologies in Complex Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008, pp. 305-309, 2008, IEEE Computer Society, 978-0-7695-3523-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Joachim Melcher, Detlef Seese |
Visualization and Clustering of Business Process Collections Based on Process Metric Values. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008, pp. 572-575, 2008, IEEE Computer Society, 978-0-7695-3523-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Dongming Wang 0001 |
Triangular Decomposition for Algebraic and Geometric Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008, pp. 28, 2008, IEEE Computer Society, 978-0-7695-3523-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Ruxandra Stoean, Catalin Stoean, D. Dumitrescu |
Investigating Landscape Topology for Subpopulation Differentiation in Genetic Chromodynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008, pp. 551-554, 2008, IEEE Computer Society, 978-0-7695-3523-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Silviu Panica, Marian Neagul, Dana Petcu, Teodor Stefanut, Dorian Gorgan |
Designing a Grid-Based Training Platform for Earth Observation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008, pp. 394-397, 2008, IEEE Computer Society, 978-0-7695-3523-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Vladiela Petrascu, Dan Ioan Chiorean, Dragos Petrascu |
ContractCML - A Contract Aware Component Modeling Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008, pp. 273-276, 2008, IEEE Computer Society, 978-0-7695-3523-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Anca Gog, Camelia Chira, D. Dumitrescu, Daniela Zaharie |
Analysis of Some Mating and Collaboration Strategies in Evolutionary Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008, pp. 538-542, 2008, IEEE Computer Society, 978-0-7695-3523-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Cristina Gherghina, Eliza Isbasoiu |
Grid Services and Satellite Image Processing for Urban and River Bed Changes Assessment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008, pp. 398-401, 2008, IEEE Computer Society, 978-0-7695-3523-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Bautu, Elena Bautu, Henri Luchian |
Searching Ground States of Ising Spin Glasses with a Tree Bond-Based Representation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008, pp. 501-506, 2008, IEEE Computer Society, 978-0-7695-3523-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|