Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Sorin Valcan |
Convolutional Neural Network Training System For Eye Location On Infrared Driver Recordings Using Automatically Generated Ground Truth Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2021, Timisoara, Romania, December 7-10, 2021, pp. 222-226, 2021, IEEE, 978-1-6654-0650-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Gereon Kremer, Jens Brandt 0003 |
Implementing arithmetic over algebraic numbers A tutorial for Lazard's lifting scheme in CAD. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2021, Timisoara, Romania, December 7-10, 2021, pp. 4-10, 2021, IEEE, 978-1-6654-0650-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | David M. Cerna |
A Special Case of Schematic Syntactic Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2021, Timisoara, Romania, December 7-10, 2021, pp. 75-82, 2021, IEEE, 978-1-6654-0650-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Lungu Alexandru-Ioan |
Extended Z3 Array. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2021, Timisoara, Romania, December 7-10, 2021, pp. 267-274, 2021, IEEE, 978-1-6654-0650-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Catalin Stoean, Daniel Lichtblau |
Sentiment Analysis from Stock Market News in Romanian using Chaos Game Representation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2021, Timisoara, Romania, December 7-10, 2021, pp. 252-258, 2021, IEEE, 978-1-6654-0650-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Diana Paula Dudau, Florin Alin Sava, Andrei Rusu, Virgil Cervicescu |
Detecting Individuals High in Neuroticism based on the Color Features of the Facebook Profile Picture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2020, Timisoara, Romania, September 1-4, 2020, pp. 286-293, 2020, IEEE, 978-1-7281-7628-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Doru Rotovei, Viorel Negru |
Multi-Agent Recommendation and Aspect Level Sentiment Analysis in B2B CRM Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2020, Timisoara, Romania, September 1-4, 2020, pp. 238-245, 2020, IEEE, 978-1-7281-7628-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Federica Filippini, Marco Lattuada 0001, Arezoo Jahani, Michele Ciavotta, Danilo Ardagna, Edoardo Amaldi |
Hierarchical Scheduling in on-demand GPU-as-a-Service Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2020, Timisoara, Romania, September 1-4, 2020, pp. 125-132, 2020, IEEE, 978-1-7281-7628-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Sorin Valcan, Mihail Gaianu |
Lung Tumor Segmentation Accelerated by CUDA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2020, Timisoara, Romania, September 1-4, 2020, pp. 246-250, 2020, IEEE, 978-1-7281-7628-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Damian A. Tamburri |
Sustainable MLOps: Trends and Challenges. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2020, Timisoara, Romania, September 1-4, 2020, pp. 17-23, 2020, IEEE, 978-1-7281-7628-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Vladusic, Dragan Radolovic |
Infrastructure as Code for Heterogeneous Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2020, Timisoara, Romania, September 1-4, 2020, pp. 1-2, 2020, IEEE, 978-1-7281-7628-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Camelia Obreja |
Results on graceful chromatic number for particular graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2020, Timisoara, Romania, September 1-4, 2020, pp. 109-116, 2020, IEEE, 978-1-7281-7628-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian Ciobanu, Liviu Ciortuz |
Semantic Image Inpainting via Maximum Likelihood. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2020, Timisoara, Romania, September 1-4, 2020, pp. 153-160, 2020, IEEE, 978-1-7281-7628-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Bashar Al Asaad, Doru Rotovei |
Business Decisions Support using Sentiment Analysis in CRM Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2020, Timisoara, Romania, September 1-4, 2020, pp. 315-318, 2020, IEEE, 978-1-7281-7628-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Florin Rosu, Cosmin Bonchis, Eva Kaslik |
Numerical simulation algorithm for fractional-order systems implemented in CUDA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2020, Timisoara, Romania, September 1-4, 2020, pp. 63-66, 2020, IEEE, 978-1-7281-7628-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Cosmin Titiliuc, Stefan Ruseti, Mihai Dascalu |
What's Been Happening in the Romanian News Landscape? A Detailed Analysis Grounded in Natural Language Processing Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2020, Timisoara, Romania, September 1-4, 2020, pp. 195-201, 2020, IEEE, 978-1-7281-7628-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Gábor Kusper, Tamás Balla, Csaba Biró, Tibor Tajti, Zijian Gyozo Yang, Imre Baják |
Generating Minimal Unsatisfiable SAT Instances from Strong Digraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2020, Timisoara, Romania, September 1-4, 2020, pp. 84-92, 2020, IEEE, 978-1-7281-7628-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Elisabetta Di Nitto, Jesús Gorroñogoitia, Indika Kumara, Georgios Meditskos, Dragan Radolovic, Karthee Sivalingam, Román Sosa González |
An Approach to Support Automated Deployment of Applications on Heterogeneous Cloud-HPC Infrastructures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2020, Timisoara, Romania, September 1-4, 2020, pp. 133-140, 2020, IEEE, 978-1-7281-7628-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Teodora Selea, Marius-Florin Pslaru |
AgriSen - A Dataset for Crop Classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2020, Timisoara, Romania, September 1-4, 2020, pp. 259-263, 2020, IEEE, 978-1-7281-7628-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Gabriel-Codrin Cojocaru, Sergiu-Andrei Dinu, Eugen Croitoru |
Increasing the Upper Bound for the EvoMan Game Competition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2020, Timisoara, Romania, September 1-4, 2020, pp. 231-237, 2020, IEEE, 978-1-7281-7628-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Gabriela Csurka |
Deep Visual Domain Adaptation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2020, Timisoara, Romania, September 1-4, 2020, pp. 1-8, 2020, IEEE, 978-1-7281-7628-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Valentin Ganchenko, Valery Starovoitov, Xiangtao Zheng |
Image Semantic Segmentation Based on High-Resolution Networks for Monitoring Agricultural Vegetation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2020, Timisoara, Romania, September 1-4, 2020, pp. 264-269, 2020, IEEE, 978-1-7281-7628-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Gabriel Ciobanu, Eneia Nicolae Todoran |
A Study of Multiparty Interactions in Continuation Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2020, Timisoara, Romania, September 1-4, 2020, pp. 117-124, 2020, IEEE, 978-1-7281-7628-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Alexander V. Lyaletski, Alexandre Lyaletsky |
On One Approach to Goal-Driven Proof Search in Classical First-Order Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2020, Timisoara, Romania, September 1-4, 2020, pp. 75-83, 2020, IEEE, 978-1-7281-7628-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Lucia Georgiana Coca, Ciprian-Gabriel Cusmuliuc, Vladut-Haralambie Morosanu, Teodora Grosu, Adrian Iftene |
Automatic Real-Time Road Crack Identification System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2020, Timisoara, Romania, September 1-4, 2020, pp. 218-223, 2020, IEEE, 978-1-7281-7628-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Spataru Alexe Luca, Ciprian Pungila |
A Metric-Based Approach to Modelling a Virtual Machine for Smart Contract Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2020, Timisoara, Romania, September 1-4, 2020, pp. 302-309, 2020, IEEE, 978-1-7281-7628-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Scott McCallum, Akshar Nair, James H. Davenport, Gregory Sankaran |
The CAD Conundrum: Lex-Least vs Order. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2020, Timisoara, Romania, September 1-4, 2020, pp. 32-35, 2020, IEEE, 978-1-7281-7628-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Robert W. McGrail, Thuy Trang Nguyen, Mary Sharac Granda |
Knot Coloring as Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2020, Timisoara, Romania, September 1-4, 2020, pp. 24-31, 2020, IEEE, 978-1-7281-7628-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | T. J. Ayoub, K. Basu, D. J. Jeffrey |
Recent results on the Lambert W function. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2020, Timisoara, Romania, September 1-4, 2020, pp. 36-39, 2020, IEEE, 978-1-7281-7628-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Ciprian Orhei, Victor Bogdan, Cosmin Bonchis |
Edge map response of dilated and reconstructed classical filters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2020, Timisoara, Romania, September 1-4, 2020, pp. 187-194, 2020, IEEE, 978-1-7281-7628-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | |
22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2020, Timisoara, Romania, September 1-4, 2020 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![IEEE, 978-1-7281-7628-4 The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Dorin-Marian Ionita, Filip-George Manole, Emil-Ioan Slusanschi |
Efficient Parallel Simulations of Wireless Signal Wave Propagation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2020, Timisoara, Romania, September 1-4, 2020, pp. 55-62, 2020, IEEE, 978-1-7281-7628-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Valentin Sergiu Cioaca, Mihai Dascalu, Danielle S. McNamara |
Extractive Summarization using Cohesion Network Analysis and Submodular Set Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2020, Timisoara, Romania, September 1-4, 2020, pp. 161-168, 2020, IEEE, 978-1-7281-7628-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Calin-George Barburescu, Gabriel Iuhasz |
Optimizing Deep Learning Models for Object Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2020, Timisoara, Romania, September 1-4, 2020, pp. 270-277, 2020, IEEE, 978-1-7281-7628-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Hui Wang 0053, Mike Preuss, Michael Emmerich, Aske Plaat |
Tackling Morpion Solitaire with AlphaZero-like Ranked Reward Reinforcement Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2020, Timisoara, Romania, September 1-4, 2020, pp. 149-152, 2020, IEEE, 978-1-7281-7628-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Teodor-Florin Fortis, Alexandra Emilia Fortis |
A bibliometric overview of the International Symposium on Symbolic and Numeric Algorithms for Scientific Computing between 2005 and 2018. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2020, Timisoara, Romania, September 1-4, 2020, pp. 278-285, 2020, IEEE, 978-1-7281-7628-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Leili Rafiee Sevyeri, Robert M. Corless |
Approximate GCD in Lagrange bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2020, Timisoara, Romania, September 1-4, 2020, pp. 40-47, 2020, IEEE, 978-1-7281-7628-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Valentin Rosca, Anca Ignat |
Quality of Pre-trained Deep-Learning Models for Palmprint Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2020, Timisoara, Romania, September 1-4, 2020, pp. 202-209, 2020, IEEE, 978-1-7281-7628-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Diana-Lucia Miholca, Zsuzsanna Onet-Marian |
An analysis of aggregated coupling's suitability for software defect prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2020, Timisoara, Romania, September 1-4, 2020, pp. 141-148, 2020, IEEE, 978-1-7281-7628-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Norbert Tihanyi, Bertalan Borsos |
A general construction for generating pseudorandom sequences using the digit expansion of real functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2020, Timisoara, Romania, September 1-4, 2020, pp. 48-54, 2020, IEEE, 978-1-7281-7628-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Sorin Stratulat |
SPIKE, an automatic theorem prover - revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2020, Timisoara, Romania, September 1-4, 2020, pp. 93-96, 2020, IEEE, 978-1-7281-7628-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Ionut-Adrian Tarba, Mihail Gaianu, Sebastian-Aurelian Stefaniga |
The Driver's Attention Level. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2020, Timisoara, Romania, September 1-4, 2020, pp. 251-258, 2020, IEEE, 978-1-7281-7628-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Togoe Nicolae-Bogdan-Cristian, Spataru Alexe Luca, Ciprian Pungila |
Towards Efficient Governance In Distributed Ledger Systems Using High-Performance Computational Nodes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2020, Timisoara, Romania, September 1-4, 2020, pp. 294-301, 2020, IEEE, 978-1-7281-7628-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Peter Szabó, Béla Genge |
Hybrid Hyper-parameter Optimization for Collaborative Filtering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2020, Timisoara, Romania, September 1-4, 2020, pp. 210-217, 2020, IEEE, 978-1-7281-7628-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Gabriel Gutu-Robu, Darius Mihai, Mihai Dascalu, Mihai Carabas, Stefan Trausan-Matu, Sunhea Choi, Keith M. Godfrey, Brigitte Angela Brands, Berthold Koletzko |
Cohesion Network Analysis: Customized Curriculum Management in Moodle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2020, Timisoara, Romania, September 1-4, 2020, pp. 175-181, 2020, IEEE, 978-1-7281-7628-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Natalia Moanga |
Fischer-Ladner Closure for Many-Sorted Modal Logic with Application for Operational Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2020, Timisoara, Romania, September 1-4, 2020, pp. 67-74, 2020, IEEE, 978-1-7281-7628-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Alexandru Ionascu, Sebastian-Aurelian Stefaniga |
DS Lab Notebook: A new tool for data science applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2020, Timisoara, Romania, September 1-4, 2020, pp. 310-314, 2020, IEEE, 978-1-7281-7628-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Maria-Iuliana Bocicor, Iulia-Monica Szuhai, Emilia-Loredana Pop, Ioan-Gabriel Mircea |
Machine Learning based models for examining differences between modern and ancient DNA in dental calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2020, Timisoara, Romania, September 1-4, 2020, pp. 169-174, 2020, IEEE, 978-1-7281-7628-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Hamid Rahkooy, Cristian Vargas Montero |
A Graph Theoretical Approach for Testing Binomiality of Reversible Chemical Reaction Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2020, Timisoara, Romania, September 1-4, 2020, pp. 101-108, 2020, IEEE, 978-1-7281-7628-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Darian M. Onchis |
Should I trust a deep learning condition monitoring prediction? ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2020, Timisoara, Romania, September 1-4, 2020, pp. 182-186, 2020, IEEE, 978-1-7281-7628-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Letizia Jaccheri, Cristina Pereira, Swetlana Fast |
Gender Issues in Computer Science: Lessons Learnt and Reflections for the Future. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2020, Timisoara, Romania, September 1-4, 2020, pp. 9-16, 2020, IEEE, 978-1-7281-7628-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Mara Deac-Petrusel, Sergiu Limboi |
A Sentiment-based Similarity Model for Recommendation Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2020, Timisoara, Romania, September 1-4, 2020, pp. 224-230, 2020, IEEE, 978-1-7281-7628-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Adam Naumowicz |
An Experiment on Mizar Adjectives with Extra Visible Arguments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2020, Timisoara, Romania, September 1-4, 2020, pp. 97-100, 2020, IEEE, 978-1-7281-7628-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Delia Dumitru, Anca Andreica, Laura Diosan, Zoltán Bálint |
Particle Swarm Optimization of Cellular Automata Rules for Edge 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. 320-325, 2019, IEEE, 978-1-7281-5724-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Roxana E. Sichitiu, Marc E. Frîncu, Ovidiu Vaduvescu |
Digital Tracking Cloud Distributed Architecture for Detection of Faint NEAs. ![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. 121-128, 2019, IEEE, 978-1-7281-5724-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Dan-Georgian Marculet, Razvan Benchea, Dragos Teodor Gavrilut |
Methods for Training Neural Networks with Zero False Positives for Malware 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. 230-236, 2019, IEEE, 978-1-7281-5724-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Stephen M. Watt |
A Review of Algorithms for Symbolic Domains. ![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. 22, 2019, IEEE, 978-1-7281-5724-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Mihaita Dragan, Ioan Tomescu |
Bicyclic Connected Graphs Having Smallest Degree Distances. ![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. 105-108, 2019, IEEE, 978-1-7281-5724-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Alina Enescu, Anca Andreica, Laura Diosan |
Evolved Cellular Automata for Edge Detection in Grayscale 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. 326-332, 2019, IEEE, 978-1-7281-5724-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Bogdan-Petru Butunoi |
Artificial Intelligence Improving the Life of Type 1 Diabetes. ![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. 339-340, 2019, IEEE, 978-1-7281-5724-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ioana-Andra Codreanu |
A Proposed Automatic Speech and Sentiment Recognition Serious Game for Older Adults with Parkinson's Disease. ![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. 343-344, 2019, IEEE, 978-1-7281-5724-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Noémi Gaskó, Mihai Alexandru Suciu, Tamás Képes, Rodica Ioana Lung |
Shapley Value and Extremal Optimization for the Network Influence Maximization Problem. ![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. 182-189, 2019, IEEE, 978-1-7281-5724-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | |
21st International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2019, Timisoara, Romania, September 4-7, 2019 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![IEEE, 978-1-7281-5724-5 The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Tateaki Sasaki |
An Attempt to Enhance Buchberger's Algorithm by Using Remainder Sequences and GCD Operation. ![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. 27-34, 2019, IEEE, 978-1-7281-5724-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Gergely Kovásznai, Krisztián Gajdár, Laura Kovács |
Portfolio SAT and SMT Solving of Cardinality Constraints in Sensor Network Optimization. ![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. 85-91, 2019, IEEE, 978-1-7281-5724-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Agnieszka Boltuc, Krzysztof Szerszen |
Identification of Elastoplastic Material Properties Using PIES and PSO. ![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. 214-221, 2019, IEEE, 978-1-7281-5724-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Frank S. de Boer, Marcello M. Bonsangue |
On the Nature of Symbolic Execution. ![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. 4-5, 2019, IEEE, 978-1-7281-5724-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Esmitt Ramírez, Carles Sánchez, Debora Gil |
Localizing Pulmonary Lesions Using Fuzzy Deep Learning. ![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. 290-294, 2019, IEEE, 978-1-7281-5724-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Mara-Renata Petrusel, Sergiu-George Limboi |
A Restaurants Recommendation System: Improving Rating Predictions Using Sentiment Analysis. ![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. 190-197, 2019, IEEE, 978-1-7281-5724-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Maria Nutu, Horia F. Pop, Claudia Martis, Sorin-Iulian Cosman, Andreea Madalina Nicorici |
A Machine Learning Perspective for Order Reduction in Electrical Motors Modeling. ![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. 198-205, 2019, IEEE, 978-1-7281-5724-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Danielle A. Brake, Noah S. Daleo, Jonathan D. Hauenstein, Samantha N. Sherman |
Solving Critical Point Conditions for the Hamming and Taxicab Distances to Solution Sets of Polynomial Equations. ![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. 51-58, 2019, IEEE, 978-1-7281-5724-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ciprian Paduraru, Bogdan Ghimis, Miruna Paduraru |
Implementation of Publisher-Subscriber Paradigm Using Virtual Organisms. ![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. 129-136, 2019, IEEE, 978-1-7281-5724-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Parisa Alvandi, Stephen M. Watt |
Handwriting Feature Extraction via Legendre-Sobolev Matrix Representation. ![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. 206-213, 2019, IEEE, 978-1-7281-5724-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | David Damestani, Laura Kovács, Martin Suda 0001 |
Superposition Reasoning about Quantified Bitvector Formulas. ![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. 95-99, 2019, IEEE, 978-1-7281-5724-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Radu Stefan Mincu, Camelia Obreja, Alexandru Popa 0001 |
The Graceful Chromatic Number for Some Particular Classes of Graphs. ![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. 109-115, 2019, IEEE, 978-1-7281-5724-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Iulia-Monica Szuhai, Maria-Iuliana Bocicor, Emilia-Loredana Pop, Ioan-Gabriel Mircea, Cristina Mircea |
Investigating Differences between Ancient and Modern Bacterial DNA in Dental Calculus via Autoencoders. ![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. 141-147, 2019, IEEE, 978-1-7281-5724-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Silviu Constantin Vitel, Gheorghe Balan, Dumitru-Bogdan Prelipcean |
Improving Detection of Malicious Office Documents Using One-Side Classifiers. ![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. 243-247, 2019, IEEE, 978-1-7281-5724-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Nicolae-Eugen Croitoru |
Population Distribution Dynamics in Genetic Algorithms with High-Probability Mutation. ![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. 167-173, 2019, IEEE, 978-1-7281-5724-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Radu Marginean, Anca Andreica, Laura Diosan, Zoltán Bálint |
Autonomous Image Segmentation by Competitive Unsupervised GrowCut. ![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. 313-319, 2019, IEEE, 978-1-7281-5724-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Alexandru Munteanu, Teodora Selea, Marian Neagul |
Deep Learning Techniques Applied for Road Segmentation. ![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. 297-303, 2019, IEEE, 978-1-7281-5724-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Peter Csaba Ölveczky |
Design and Validation of Cloud Storage Systems Using Rewriting Logic. ![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. 17-21, 2019, IEEE, 978-1-7281-5724-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Sergiu Zaharia, Traian Rebedea, Stefan Trausan-Matu |
Source Code Vulnerabilities Detection Using Loosely Coupled Data and Control Flows. ![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. 43-46, 2019, IEEE, 978-1-7281-5724-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Agneta M. Balint, Stefan Balint |
Existence and Static Stability of a Capillary Free Surface Appearing in a Dewetted Bridgman Process II. ![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. 59-67, 2019, IEEE, 978-1-7281-5724-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Nicolae-Adrian Tocu, Valentin-Catalin Govoreanu, Teodor-Marian Nitescu, Gabriela-Alexandra Luca |
Multi-Control Virtual Reality Driving Simulator. ![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. 280-283, 2019, IEEE, 978-1-7281-5724-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan D. Hauenstein |
Using Numerical Insights to Improve Symbolic Computations. ![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. 11-16, 2019, IEEE, 978-1-7281-5724-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Marius E. Penteliuc, Marc Frîncu |
Prediction of Cloud Movement from Satellite Images Using Neural Networks. ![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. 222-229, 2019, IEEE, 978-1-7281-5724-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Sara Retal, Abdellah Idrissi, Costin Badica, Ionut Muraretu |
A Multi-Agent Placement System for Virtual Network Functions in a Cloud-Based Architecture. ![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. 255-262, 2019, IEEE, 978-1-7281-5724-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Alin-Marius Cruceat, Alexandru Butean |
Assistive Tools for People with Cerebral Palsy: An Eye Tracker Calibration for Vision and Focus Training. ![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. 284-289, 2019, IEEE, 978-1-7281-5724-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Arie Gurfinkel, Nikolaj S. Bjørner |
The Science, Art, and Magic of Constrained Horn Clauses. ![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. 6-10, 2019, IEEE, 978-1-7281-5724-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Eugeniusz Zieniuk, Marta Kapturczak, Krzysztof Szerszen |
Interval Arithmetics in Modeling and Solving Uncertainly Defined Boundary Value Problems of Elasticity. ![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. 239-242, 2019, IEEE, 978-1-7281-5724-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Anca Andreica |
Cellular Automata Applications. ![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. 3, 2019, IEEE, 978-1-7281-5724-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ioan Sima, Bazil Pârv |
Protein Folding Simulation Using Combinatorial Whale Optimization Algorithm. ![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. 159-166, 2019, IEEE, 978-1-7281-5724-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Alina Carunta, Mihai Plesu |
Motif Detection in Biological Networks. ![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. 341-342, 2019, IEEE, 978-1-7281-5724-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Csaba Sulyok |
Towards Automated Quality Assessment Methods in Algorithmic Music Composition. ![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. 155-158, 2019, IEEE, 978-1-7281-5724-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Aaron E. Naiman |
Rational Gram-Schmidt-Searching vs. Computing. ![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. 35-39, 2019, IEEE, 978-1-7281-5724-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ciprian-Alin Simion, Dragos Teodor Gavrilut, Henri Luchian |
An Adversarial Machine Learning Approach to Evaluate the Robustness of a Security Solution. ![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. 148-154, 2019, IEEE, 978-1-7281-5724-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Adrian Petrusel, Radu Trusca |
Iterative Approximations for Non-Self Operators. ![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. 307-310, 2019, IEEE, 978-1-7281-5724-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Kristijan Cincar, Todor Ivascu |
Agent-Based Hospital Scheduling System. ![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. 337-338, 2019, IEEE, 978-1-7281-5724-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Petru Radu |
Evolutionary Design of Deep Neural Networks. ![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. 335-336, 2019, IEEE, 978-1-7281-5724-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Krzysztof Szerszen, Eugeniusz Zieniuk |
Application of T-Splines and Bézier Extraction for Boundary Description in Parametric Integral Equation System for 3D Laplace's Equation. ![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. 68-74, 2019, IEEE, 978-1-7281-5724-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|