Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Mihaela Ilie, Diana Firinca, Ionut Muraretu, Sorin Ilie |
Feasibility of an Agent-Based Investment Platform for Renewable Energy Source Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 21st International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2019, Timisoara, Romania, September 4-7, 2019, pp. 263-269, 2019, IEEE, 978-1-7281-5724-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Doru Rotovei, Viorel Negru |
Data Driven Sales Prediction Using Communication Sentiment Analysis in B2B CRM Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 21st International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2019, Timisoara, Romania, September 4-7, 2019, pp. 174-181, 2019, IEEE, 978-1-7281-5724-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Alexandru Gabriel Bucevschi, Gheorghe Balan, Dumitru-Bogdan Prelipcean |
Preventing File-Less Attacks with Machine Learning Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 21st International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2019, Timisoara, Romania, September 4-7, 2019, pp. 248-252, 2019, IEEE, 978-1-7281-5724-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Denisa Copandean, Dorian Gorgan |
A Visual Solution in Asteroids Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 21st International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2019, Timisoara, Romania, September 4-7, 2019, pp. 77-80, 2019, IEEE, 978-1-7281-5724-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian-Aurelian Stefaniga, Mihail Gaianu |
An Approach of Segmentation Method Using Deep Learning for CT Medical Images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 21st International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2019, Timisoara, Romania, September 4-7, 2019, pp. 273-279, 2019, IEEE, 978-1-7281-5724-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Morad Muslimany, Michael Codish |
SAT-Based Big-Step Local Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018, Timisoara, Romania, September 20-23, 2018, pp. 109-116, 2018, IEEE, 978-1-7281-0625-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Adriana Dinis, Todor Ivascu, Viorel Negru |
A Self Developing System for Medical Data Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018, Timisoara, Romania, September 20-23, 2018, pp. 335-339, 2018, IEEE, 978-1-7281-0625-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Alexandru, Gabriel Ciobanu |
Order Relations Over Finitely Supported Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018, Timisoara, Romania, September 20-23, 2018, pp. 117-124, 2018, IEEE, 978-1-7281-0625-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Alexandru-Ion Marinescu, Zoltán Bálint, Laura-Silvia Diosan, Anca-Mirela Andreica |
Unsupervised and Fully Autonomous 3D Medical Image Segmentation Based on Grow Cut. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018, Timisoara, Romania, September 20-23, 2018, pp. 401-408, 2018, IEEE, 978-1-7281-0625-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Christian Sacarea, Diana-Florina Sotropa, Diana Troanca |
Formal Concept Analysis Grounded Knowledge Discovery in Electronic Health Record Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018, Timisoara, Romania, September 20-23, 2018, pp. 266-271, 2018, IEEE, 978-1-7281-0625-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Voronkov |
Reasoning with Quantifiers and Theories Using Saturation-Based Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018, Timisoara, Romania, September 20-23, 2018, pp. 18, 2018, IEEE, 978-1-7281-0625-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ciprian Pungila, Darius Galis, Viorel Negru |
Survey on Feasibility of Pattern Matching Techniques In Heterogeneous Architectures for Bioinformatics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018, Timisoara, Romania, September 20-23, 2018, pp. 368-375, 2018, IEEE, 978-1-7281-0625-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Maria Prandini |
A set-based approach to model checking of nonlinear systems (invited tutorial). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018, Timisoara, Romania, September 20-23, 2018, pp. 34, 2018, IEEE, 978-1-7281-0625-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ruxandra Stoean, Catalin Stoean, Adriana Samide |
Deep Learning for Metal Corrosion Control: Can Convolutional Neural Networks Measure Inhibitor Efficiency? ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018, Timisoara, Romania, September 20-23, 2018, pp. 387-393, 2018, IEEE, 978-1-7281-0625-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Rodica Condurache |
Experimental Evaluation of Acacia-K: A Tool for Synthesis of Reactive Systems from KLTL+ Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018, Timisoara, Romania, September 20-23, 2018, pp. 125-129, 2018, IEEE, 978-1-7281-0625-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Darian M. Onchis, Simone Zappalá |
Lax-Like Stability for the Discretization of Pseudodifferential Operators through Gabor Multipliers and Spline-Type Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018, Timisoara, Romania, September 20-23, 2018, pp. 88-94, 2018, IEEE, 978-1-7281-0625-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Dong Nguyen Doan |
Toward on-Line Predictive Models for Forecasting Workload in Clouds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018, Timisoara, Romania, September 20-23, 2018, pp. 260-265, 2018, IEEE, 978-1-7281-0625-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani |
Incremental linearization: A practical approach to satisfiability modulo nonlinear arithmetic and transcendental functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018, Timisoara, Romania, September 20-23, 2018, pp. 19-26, 2018, IEEE, 978-1-7281-0625-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Norbert Tihanyi, Attila Kovács |
Computation Results of the Riemann Zeta Search Project. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018, Timisoara, Romania, September 20-23, 2018, pp. 75-79, 2018, IEEE, 978-1-7281-0625-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Sándor Szabó, Bogdán Zaválnij |
A Different Approach to Maximum Clique Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018, Timisoara, Romania, September 20-23, 2018, pp. 310-316, 2018, IEEE, 978-1-7281-0625-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Irina Maria Artinescu, Costin Radu Boldea |
An Image Inpainting Technique Based on Parallel Projection Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018, Timisoara, Romania, September 20-23, 2018, pp. 95-98, 2018, IEEE, 978-1-7281-0625-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Edwin Lughofer |
Self-adaptive forecast models in predictive maintenance systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018, Timisoara, Romania, September 20-23, 2018, pp. 8, 2018, IEEE, 978-1-7281-0625-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Kristjan Liiva, Paul B. Jackson, Grant O. Passmore, Christoph M. Wintersteiger |
Compositional Taylor Model Based Validated Integration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018, Timisoara, Romania, September 20-23, 2018, pp. 45-52, 2018, IEEE, 978-1-7281-0625-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ana Carolina Camargos Couto, David J. Jeffrey |
Rational Householder Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018, Timisoara, Romania, September 20-23, 2018, pp. 61-64, 2018, IEEE, 978-1-7281-0625-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Liviu Octavian Mafteiu-Scai, Irina Maria Artinescu, Vlad Mafteiu-Scai |
Parallelizations of an Inpainting Algorithm Based on Convex Feasibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018, Timisoara, Romania, September 20-23, 2018, pp. 363-367, 2018, IEEE, 978-1-7281-0625-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Mihai Bica, Dorian Gorgan |
Scalable Task Deployment System Inspired from Virus Propagation Models for Large Distributed Workflow Based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018, Timisoara, Romania, September 20-23, 2018, pp. 175-182, 2018, IEEE, 978-1-7281-0625-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Parisa Alvandi, Stephen M. Watt |
Real-Time Computation of Legendre-Sobolev Approximations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018, Timisoara, Romania, September 20-23, 2018, pp. 67-74, 2018, IEEE, 978-1-7281-0625-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Olivier Bournez |
Ordinary Differential Equations & Computability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018, Timisoara, Romania, September 20-23, 2018, pp. 3-5, 2018, IEEE, 978-1-7281-0625-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Florin Craciun, Gabriel Glodean |
Towards Compiling Region Types Into RTSJ-Compliant Java Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018, Timisoara, Romania, September 20-23, 2018, pp. 101-108, 2018, IEEE, 978-1-7281-0625-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Zalán Bodó |
A CiteSeerX-Based Dataset for Record Linkage and Metadata Extraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018, Timisoara, Romania, September 20-23, 2018, pp. 230-236, 2018, IEEE, 978-1-7281-0625-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Mihaela Ilie, Sorin Ilie, Ionut Muraretu |
An Adaptive Recommender System for Human Resource Allocation in Software Projects - Initial Results on an Agent-Based Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018, Timisoara, Romania, September 20-23, 2018, pp. 319-326, 2018, IEEE, 978-1-7281-0625-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Carles Sánchez, Meiguel-Angel Viñas, Coen Atens, Agnès Borràs, Debora Gil |
Back to Front Architecture for Diagnosis as a Service. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018, Timisoara, Romania, September 20-23, 2018, pp. 343-346, 2018, IEEE, 978-1-7281-0625-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ioan Cristian Schuszter |
Integrating Deep Learning for NLP in Romanian Psychology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018, Timisoara, Romania, September 20-23, 2018, pp. 237-244, 2018, IEEE, 978-1-7281-0625-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Eneia Nicolae Todoran |
Towards Performance Evaluation Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018, Timisoara, Romania, September 20-23, 2018, pp. 302-309, 2018, IEEE, 978-1-7281-0625-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Dorel Lucanu |
Proving Reachability Properties by Coinduction (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018, Timisoara, Romania, September 20-23, 2018, pp. 6-7, 2018, IEEE, 978-1-7281-0625-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Olivier Bournez, Sabrina Ouazzani |
Cheap Non-Standard Analysis and Computability: Some Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018, Timisoara, Romania, September 20-23, 2018, pp. 149-156, 2018, IEEE, 978-1-7281-0625-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian-Aurelian Stefaniga, Mihail Gaianu |
Face Detection and Recognition Methods using Deep Learning in Autonomous Driving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018, Timisoara, Romania, September 20-23, 2018, pp. 347-354, 2018, IEEE, 978-1-7281-0625-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Danut Rotar, Horia Popa Andreescu |
Face Recognition in Automotive Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018, Timisoara, Romania, September 20-23, 2018, pp. 355-359, 2018, IEEE, 978-1-7281-0625-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe, José Maria Turull Torres |
The Polylog-Time Hierarchy Captured by Restricted Second-Order Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018, Timisoara, Romania, September 20-23, 2018, pp. 133-140, 2018, IEEE, 978-1-7281-0625-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Alina Enescu, Anca Andreica, Laura Diosan |
Evolving Cellular Automata for Two-Stage Edge Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018, Timisoara, Romania, September 20-23, 2018, pp. 417-424, 2018, IEEE, 978-1-7281-0625-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Tateaki Sasaki, Daiju Inaba |
Computing the Lowest-Order Element of a Multivariate Elimination Ideal by Using Remainder Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018, Timisoara, Romania, September 20-23, 2018, pp. 37-44, 2018, IEEE, 978-1-7281-0625-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Cristina Madalina Noaica |
Improving ACSTL Iris Segmentation Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018, Timisoara, Romania, September 20-23, 2018, pp. 454-457, 2018, IEEE, 978-1-7281-0625-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Lorenzo Capra, Matteo Camilli |
A Symmetric Nets Emulator for Adaptive P/T Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018, Timisoara, Romania, September 20-23, 2018, pp. 183-190, 2018, IEEE, 978-1-7281-0625-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Stéphane Despréaux, Aude Maignan |
GPaR: A Parallel Graph Rewriting Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018, Timisoara, Romania, September 20-23, 2018, pp. 53-60, 2018, IEEE, 978-1-7281-0625-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Diana Minzat, Mihaela Breaban, Henri Luchian |
Modeling real estate dynamics using survival analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018, Timisoara, Romania, September 20-23, 2018, pp. 215-222, 2018, IEEE, 978-1-7281-0625-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Adrian Ioan Pîrîu, Mihai Leonte, Nicolae Postolachi, Dragos Teodor Gavrilut |
Optimizing Cleanset Growth by Using Multi-Class Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018, Timisoara, Romania, September 20-23, 2018, pp. 425-429, 2018, IEEE, 978-1-7281-0625-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Bogdan Eduard-Madalin Mursa, Anca Andreica, Laura Diosan |
Parallel Acceleration of Subgraph Enumeration in the Process of Network Motif Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018, Timisoara, Romania, September 20-23, 2018, pp. 191-198, 2018, IEEE, 978-1-7281-0625-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Gabriel Ciobanu, Eneia Nicolae Todoran |
On the Abstractness of Continuation Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018, Timisoara, Romania, September 20-23, 2018, pp. 167-174, 2018, IEEE, 978-1-7281-0625-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | |
20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018, Timisoara, Romania, September 20-23, 2018 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![IEEE, 978-1-7281-0625-0 The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Robert W. McGrail, Thuy Trang Nguyen, Thanh Thuy Trang Tran, Atri Tripathi |
A Terminating and Confluent Term Rewriting System for the Pure Equational Theory of Quandles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018, Timisoara, Romania, September 20-23, 2018, pp. 157-163, 2018, IEEE, 978-1-7281-0625-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Ducoffe, Ruxandra Marinescu-Ghemeci, Camelia Obreja, Alexandru Popa 0001, Rozica Maria Tache |
Extremal Graphs with Respect to the Modified First Zagreb Connection Index. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018, Timisoara, Romania, September 20-23, 2018, pp. 141-148, 2018, IEEE, 978-1-7281-0625-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Diana-Lucia Miholca |
An Improved Approach to Software Defect Prediction using a Hybrid Machine Learning Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018, Timisoara, Romania, September 20-23, 2018, pp. 443-448, 2018, IEEE, 978-1-7281-0625-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Agneta M. Balint, Stefan Balint, Loredana Tanasie |
An Axis Symmetric 2D Description of the Growth Process of a Single Crystal Hollow Tube Grown from the Melt by Pulling Down Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018, Timisoara, Romania, September 20-23, 2018, pp. 80-87, 2018, IEEE, 978-1-7281-0625-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ometita Radu Adrian |
The Blockchain, Today and Tomorrow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018, Timisoara, Romania, September 20-23, 2018, pp. 458-462, 2018, IEEE, 978-1-7281-0625-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Bashar Al Asaad, Madalina Erascu |
A Tool for Fake News Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018, Timisoara, Romania, September 20-23, 2018, pp. 379-386, 2018, IEEE, 978-1-7281-0625-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Georgiana Ingrid Stoleru, Adrian-Stefan Popescu, Dragos Teodor Gavrilut |
Increasing Protection Against Internet Attacks through Contextual Feature Pairing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018, Timisoara, Romania, September 20-23, 2018, pp. 430-434, 2018, IEEE, 978-1-7281-0625-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Enachescu Denis, Enachescu Cornelia |
Inferring, Learning and Modelling Complex Systems with Bayesian Networks. A Tutorial. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018, Timisoara, Romania, September 20-23, 2018, pp. 27-33, 2018, IEEE, 978-1-7281-0625-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Sylvain Boulmé, Alexandre Maréchal, David Monniaux, Michaël Périn, Hang Yu 0005 |
The Verified Polyhedron Library: an Overview. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018, Timisoara, Romania, September 20-23, 2018, pp. 9-17, 2018, IEEE, 978-1-7281-0625-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Gheorghe Balan, Adrian-Stefan Popescu |
Detecting Java Compiled Malware using Machine Learning Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018, Timisoara, Romania, September 20-23, 2018, pp. 435-439, 2018, IEEE, 978-1-7281-0625-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | James H. Davenport |
The Rôle of Benchmarking in Symbolic Computation (Position Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018, Timisoara, Romania, September 20-23, 2018, pp. 275-279, 2018, IEEE, 978-1-7281-0625-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Flaviu Berbecariu, Christian Sacarea, Diana-Florina Sotropa |
Using Recommender Systems to Support Navigation in Concept Lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018, Timisoara, Romania, September 20-23, 2018, pp. 245-252, 2018, IEEE, 978-1-7281-0625-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian Nechita, Laura Diosan |
A four-Phase Meta-Heuristic Algorithm for Solving Large Scale Instances of the Shift Minimization Personnel Task Scheduling Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018, Timisoara, Romania, September 20-23, 2018, pp. 394-400, 2018, IEEE, 978-1-7281-0625-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Csaba Sulyok |
Genetic Operators in Evolutionary Music Composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018, Timisoara, Romania, September 20-23, 2018, pp. 253-259, 2018, IEEE, 978-1-7281-0625-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Cristina Vatamanu, Dragos Teodor Gavrilut, George Popoiu |
Adjusting SVMs for Large Data Sets using Balanced Decision Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018, Timisoara, Romania, September 20-23, 2018, pp. 223-229, 2018, IEEE, 978-1-7281-0625-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Costin Badica, Georgian Vladutu |
Application of Meaningful Text Analytics to Online Product Reviews. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018, Timisoara, Romania, September 20-23, 2018, pp. 327-334, 2018, IEEE, 978-1-7281-0625-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Delia Mitrea, Levente Tamas |
MES Specific Data Analysis. Case Study with the Baxter Robot. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018, Timisoara, Romania, September 20-23, 2018, pp. 296-301, 2018, IEEE, 978-1-7281-0625-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Marilena Lupascu, Dragos Teodor Gavrilut, Dorel Lucanu |
An Overview of Obfuscation Techniques used by Malware in Visual Basic for Application Scripts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018, Timisoara, Romania, September 20-23, 2018, pp. 280-287, 2018, IEEE, 978-1-7281-0625-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Madalina Erascu, Gabriel Iuhasz, Flavia Micota |
An Architecture for a Management Agency for Cloud Resources. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018, Timisoara, Romania, September 20-23, 2018, pp. 288-295, 2018, IEEE, 978-1-7281-0625-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Radu Stefan Mincu, Alexandru Popa 0001 |
Heuristic Algorithms for the Longest Filled Common Subsequence Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018, Timisoara, Romania, September 20-23, 2018, pp. 449-453, 2018, IEEE, 978-1-7281-0625-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Alexandru-Ion Marinescu, Anca-Mirela Andreica |
Evolving Mathematical Formulas using LINQ Expression Trees and Direct Applications to Credit Scoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018, Timisoara, Romania, September 20-23, 2018, pp. 409-416, 2018, IEEE, 978-1-7281-0625-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Kristian Miok |
Estimation of Prediction Intervals in Neural Network-Based Regression Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018, Timisoara, Romania, September 20-23, 2018, pp. 463-468, 2018, IEEE, 978-1-7281-0625-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Petru Soviany, Radu Tudor Ionescu |
Optimizing the Trade-Off between Single-Stage and Two-Stage Deep Object Detectors using Image Difficulty Prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018, Timisoara, Romania, September 20-23, 2018, pp. 209-214, 2018, IEEE, 978-1-7281-0625-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Kaixun Hua, Dan A. Simovici |
Dual Criteria Determination of the Number of Clusters in Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018, Timisoara, Romania, September 20-23, 2018, pp. 201-208, 2018, IEEE, 978-1-7281-0625-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Panagiota Fatourou |
Concurrency for the Masses: The Paradigm of Software Transactional Memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2017, Timisoara, Romania, September 21-24, 2017, pp. 17-22, 2017, IEEE Computer Society, 978-1-5386-2626-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Cristian-Nicolae Babau, Raul Razvan Suditu, Marius Marcu, Vladimir-Ioan Cretu |
Road Traffic Segments Characterization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2017, Timisoara, Romania, September 21-24, 2017, pp. 330-337, 2017, IEEE Computer Society, 978-1-5386-2626-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Peter Mitura, Ivan Simecek, Ivan Kotenkov |
Effective Construction of Convex Hull Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2017, Timisoara, Romania, September 21-24, 2017, pp. 105-112, 2017, IEEE Computer Society, 978-1-5386-2626-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Dan A. Simovici, Roman A. Sizov, Selim Mimaroglu |
A Boolean Approach for Detection of Frequent Items. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2017, Timisoara, Romania, September 21-24, 2017, pp. 173-179, 2017, IEEE Computer Society, 978-1-5386-2626-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Petru Radu, Cezar Valeriu Regep |
Algorithm Fusion for Windscreen Obstruction Detection in Autonomous Driving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2017, Timisoara, Romania, September 21-24, 2017, pp. 385-388, 2017, IEEE Computer Society, 978-1-5386-2626-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Adriana Birlutiu, Adrian Burlacu, Manuella Kadar, Daniela Onita |
Defect Detection in Porcelain Industry Based on Deep Learning Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2017, Timisoara, Romania, September 21-24, 2017, pp. 263-270, 2017, IEEE Computer Society, 978-1-5386-2626-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Bruno Buchberger |
Gröbner Bases Computation and Macaulay Matrices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2017, Timisoara, Romania, September 21-24, 2017, pp. 16, 2017, IEEE Computer Society, 978-1-5386-2626-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Nasir Khattak, D. J. Jeffrey |
Rational Orthonormal Matrices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2017, Timisoara, Romania, September 21-24, 2017, pp. 71-74, 2017, IEEE Computer Society, 978-1-5386-2626-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Emmanuel Audusse, Olivier D. Lafitte, Agnès Leroy, Benjamin Melinand, Chi-Tuan Pham, Pierrick Quemar |
Parametric Study of the Accuracy of an Approximate Solution for the Mild-Slope Equation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2017, Timisoara, Romania, September 21-24, 2017, pp. 79-85, 2017, IEEE Computer Society, 978-1-5386-2626-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ioana Andra Codreanu, Adina Magda Florea, Irina Mocanu |
A Home Based Health-Care Solution for Older Adults Using Kinect. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2017, Timisoara, Romania, September 21-24, 2017, pp. 352-355, 2017, IEEE Computer Society, 978-1-5386-2626-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Zak Tonks, Gregory Sankaran, James H. Davenport |
Fast Matrix Operations in Computer Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2017, Timisoara, Romania, September 21-24, 2017, pp. 67-70, 2017, IEEE Computer Society, 978-1-5386-2626-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | David M. Cerna, Michael Peter Lettmann |
Towards a Clausal Analysis of Proof Schemata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2017, Timisoara, Romania, September 21-24, 2017, pp. 113-120, 2017, IEEE Computer Society, 978-1-5386-2626-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Viorica Rozina Chifu, Emil Stefan Chifu, Cristina Bianca Pop, Ioan Salomie, Madalina Lupu |
A Bio-inspired Method for Generating Healthy Meals for Seniors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2017, Timisoara, Romania, September 21-24, 2017, pp. 426-433, 2017, IEEE Computer Society, 978-1-5386-2626-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Paul Diac |
WARP: Efficient Automatic Web Service Composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2017, Timisoara, Romania, September 21-24, 2017, pp. 284-285, 2017, IEEE Computer Society, 978-1-5386-2626-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ana Turlea, Florentin Ipate, Raluca Lefticaru |
A Test Suite Generation Approach Based on EFSMs Using a Multi-objective Genetic Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2017, Timisoara, Romania, September 21-24, 2017, pp. 153-160, 2017, IEEE Computer Society, 978-1-5386-2626-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Barbara Guidi, Andrea De Salve, Laura Ricci |
A Data Aggregation Strategy Based on Wavelet for the Internet of Things. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2017, Timisoara, Romania, September 21-24, 2017, pp. 288-295, 2017, IEEE Computer Society, 978-1-5386-2626-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Gabriel Ciobanu, Eneia Nicolae Todoran |
Abstract Continuation Semantics for Asynchronous Concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2017, Timisoara, Romania, September 21-24, 2017, pp. 296-303, 2017, IEEE Computer Society, 978-1-5386-2626-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Cezary Kaliszyk, Josef Urban, Jirí Vyskocil |
System Description: Statistical Parsing of Informalized Mizar Formulas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2017, Timisoara, Romania, September 21-24, 2017, pp. 169-172, 2017, IEEE Computer Society, 978-1-5386-2626-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Doina Cosovan, Catalin-Valeriu Lita |
Practical Aspects Related to Using Hidden Markov Models for Detecting Metamorphic File Infectors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2017, Timisoara, Romania, September 21-24, 2017, pp. 275-278, 2017, IEEE Computer Society, 978-1-5386-2626-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Alina Andreica, Fernando Paulo Belfo, Florina Covaci |
Designing Data Interchange Services for Learning Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2017, Timisoara, Romania, September 21-24, 2017, pp. 401-408, 2017, IEEE Computer Society, 978-1-5386-2626-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Florian Faissole |
Formalization and Closedness of Finite Dimensional Subspaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2017, Timisoara, Romania, September 21-24, 2017, pp. 121-128, 2017, IEEE Computer Society, 978-1-5386-2626-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Wolfgang Windsteiger |
Theorema 2.0: A Brief Tutorial. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2017, Timisoara, Romania, September 21-24, 2017, pp. 36-38, 2017, IEEE Computer Society, 978-1-5386-2626-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Popescu |
Solving 2-D Pattern Matching using Networks of Polarized Picture Processors with Circular Permutation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2017, Timisoara, Romania, September 21-24, 2017, pp. 338-343, 2017, IEEE Computer Society, 978-1-5386-2626-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Adriana Dinis, Todor Ivascu, Viorel Negru |
Towards a Complex Evolutionary Agent-Based System for Medical Sensor Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2017, Timisoara, Romania, September 21-24, 2017, pp. 356-360, 2017, IEEE Computer Society, 978-1-5386-2626-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Teodora Selea, Marian Neagul |
Using Deep Networks for Semantic Segmentation of Satellite Images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2017, Timisoara, Romania, September 21-24, 2017, pp. 409-415, 2017, IEEE Computer Society, 978-1-5386-2626-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Pritom Rajkhowa, Fangzhen Lin |
VIAP - Automated System for Verifying Integer Assignment Programs with Loops. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2017, Timisoara, Romania, September 21-24, 2017, pp. 137-144, 2017, IEEE Computer Society, 978-1-5386-2626-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Dorinela Sirbu, Marilena Panaite, Ana Secui, Mihai Dascalu, Nicolae Nistor, Stefan Trausan-Matu |
ReaderBench: Building Comprehensive Sociograms of Online Communities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2017, Timisoara, Romania, September 21-24, 2017, pp. 225-231, 2017, IEEE Computer Society, 978-1-5386-2626-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|