default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID22nd SYNASC 2020: Timisoara, Romania
- 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2020, Timisoara, Romania, September 1-4, 2020. IEEE 2020, ISBN 978-1-7281-7628-4
- Gabriela Csurka:
Deep Visual Domain Adaptation. 1-8 - Daniel Vladusic, Dragan Radolovic:
Infrastructure as Code for Heterogeneous Computing. 1-2 - Letizia Jaccheri, Cristina Pereira
, Swetlana Fast:
Gender Issues in Computer Science: Lessons Learnt and Reflections for the Future. 9-16 - Damian A. Tamburri:
Sustainable MLOps: Trends and Challenges. 17-23 - Robert W. McGrail, Thuy Trang Nguyen, Mary Sharac Granda:
Knot Coloring as Verification. 24-31 - Scott McCallum, Akshar Nair, James H. Davenport, Gregory Sankaran:
The CAD Conundrum: Lex-Least vs Order. 32-35 - Toufic J. Ayoub, Kishore Basu, D. J. Jeffrey:
Recent results on the Lambert W function. 36-39 - Leili Rafiee Sevyeri, Robert M. Corless:
Approximate GCD in Lagrange bases. 40-47 - Norbert Tihanyi, Bertalan Borsos:
A general construction for generating pseudorandom sequences using the digit expansion of real functions. 48-54 - Dorin-Marian Ionita, Filip-George Manole, Emil-Ioan Slusanschi:
Efficient Parallel Simulations of Wireless Signal Wave Propagation. 55-62 - Florin Rosu, Cosmin Bonchis, Eva Kaslik:
Numerical simulation algorithm for fractional-order systems implemented in CUDA. 63-66 - Natalia Moanga:
Fischer-Ladner Closure for Many-Sorted Modal Logic with Application for Operational Semantics. 67-74 - Alexander V. Lyaletski, Alexandre Lyaletsky:
On One Approach to Goal-Driven Proof Search in Classical First-Order Logic. 75-83 - Gábor Kusper, Tamás Balla, Csaba Biró, Tibor Tajti, Zijian Gyozo Yang, Imre Baják:
Generating Minimal Unsatisfiable SAT Instances from Strong Digraphs. 84-92 - Sorin Stratulat:
SPIKE, an automatic theorem prover - revisited. 93-96 - Adam Naumowicz:
An Experiment on Mizar Adjectives with Extra Visible Arguments. 97-100 - Hamid Rahkooy, Cristian Vargas Montero:
A Graph Theoretical Approach for Testing Binomiality of Reversible Chemical Reaction Networks. 101-108 - Camelia Obreja:
Results on graceful chromatic number for particular graphs. 109-116 - Gabriel Ciobanu, Eneia Nicolae Todoran:
A Study of Multiparty Interactions in Continuation Semantics. 117-124 - Federica Filippini, Marco Lattuada, Arezoo Jahani, Michele Ciavotta, Danilo Ardagna, Edoardo Amaldi:
Hierarchical Scheduling in on-demand GPU-as-a-Service Systems. 125-132 - 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. 133-140 - Diana-Lucia Miholca, Zsuzsanna Onet-Marian:
An analysis of aggregated coupling's suitability for software defect prediction. 141-148 - Hui Wang, Mike Preuss, Michael Emmerich, Aske Plaat:
Tackling Morpion Solitaire with AlphaZero-like Ranked Reward Reinforcement Learning. 149-152 - Sebastian Ciobanu, Liviu Ciortuz:
Semantic Image Inpainting via Maximum Likelihood. 153-160 - Valentin Sergiu Cioaca, Mihai Dascalu, Danielle S. McNamara:
Extractive Summarization using Cohesion Network Analysis and Submodular Set Functions. 161-168 - 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. 169-174 - 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. 175-181 - Darian M. Onchis:
Should I trust a deep learning condition monitoring prediction? 182-186 - Ciprian Orhei, Victor Bogdan, Cosmin Bonchis:
Edge map response of dilated and reconstructed classical filters. 187-194 - Cosmin Titiliuc, Stefan Ruseti, Mihai Dascalu:
What's Been Happening in the Romanian News Landscape? A Detailed Analysis Grounded in Natural Language Processing Techniques. 195-201 - Valentin Rosca, Anca Ignat:
Quality of Pre-trained Deep-Learning Models for Palmprint Recognition. 202-209 - Peter Szabó, Béla Genge:
Hybrid Hyper-parameter Optimization for Collaborative Filtering. 210-217 - Lucia Georgiana Coca, Ciprian-Gabriel Cusmuliuc, Vladut-Haralambie Morosanu, Teodora Grosu, Adrian Iftene:
Automatic Real-Time Road Crack Identification System. 218-223 - Mara Deac-Petrusel, Sergiu Limboi:
A Sentiment-based Similarity Model for Recommendation Systems. 224-230 - Gabriel-Codrin Cojocaru, Sergiu-Andrei Dinu, Eugen Croitoru:
Increasing the Upper Bound for the EvoMan Game Competition. 231-237 - Doru Rotovei, Viorel Negru:
Multi-Agent Recommendation and Aspect Level Sentiment Analysis in B2B CRM Systems. 238-245 - Sorin Valcan, Mihail Gaianu:
Lung Tumor Segmentation Accelerated by CUDA. 246-250 - Ionut-Adrian Tarba, Mihail Gaianu, Sebastian-Aurelian Stefaniga:
The Driver's Attention Level. 251-258 - Teodora Selea, Marius-Florin Pslaru:
AgriSen - A Dataset for Crop Classification. 259-263 - Valentin V. Ganchenko, Valery Starovoitov, Xiangtao Zheng:
Image Semantic Segmentation Based on High-Resolution Networks for Monitoring Agricultural Vegetation. 264-269 - Calin-George Barburescu, Gabriel Iuhasz:
Optimizing Deep Learning Models for Object Detection. 270-277 - 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. 278-285 - 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. 286-293 - Togoe Nicolae-Bogdan-Cristian, Spataru Alexe Luca, Ciprian Pungila:
Towards Efficient Governance In Distributed Ledger Systems Using High-Performance Computational Nodes. 294-301 - Spataru Alexe Luca, Ciprian Pungila:
A Metric-Based Approach to Modelling a Virtual Machine for Smart Contract Execution. 302-309 - Alexandru Ionascu, Sebastian-Aurelian Stefaniga:
DS Lab Notebook: A new tool for data science applications. 310-314 - Bashar Al Asaad, Doru Rotovei:
Business Decisions Support using Sentiment Analysis in CRM Systems. 315-318
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-03-08 21:55 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
