Skip to content

International Symposium on Symbolic and Numeric Algorithms for Scientific Computing

SYNASC

National

CORE rank

CORE rank (raw)

National: romania

Fields of research

Theory of Computation

Papers indexed

1,404

2005–2025

Papers per year

200593 peak2025

SYNASC papers

1,404 records sourced from DBLP. Search titles, filter by year, sort by recency.

YearTitleAuthors
2020Approximate GCD in Lagrange bases.Leili Rafiee Sevyeri, Robert M. Corless
2020AgriSen - A Dataset for Crop Classification.Teodora Selea, Marius-Florin Pslaru
2020Multi-Agent Recommendation and Aspect Level Sentiment Analysis in B2B CRM Systems.Doru Rotovei, Viorel Negru
2020Numerical simulation algorithm for fractional-order systems implemented in CUDA.Florin Rosu, Cosmin Bonchis, Eva Kaslik
2020Quality of Pre-trained Deep-Learning Models for Palmprint Recognition.Valentin Rosca, Anca Ignat
2020A Graph Theoretical Approach for Testing Binomiality of Reversible Chemical Reaction Networks.Hamid Rahkooy, Cristian Vargas Montero
2020Edge map response of dilated and reconstructed classical filters.Ciprian Orhei, Victor Bogdan, Cosmin Bonchis
2020Should I trust a deep learning condition monitoring prediction?Darian M. Onchis
2020Results on graceful chromatic number for particular graphs.Camelia Obreja
2020An Approach to Support Automated Deployment of Applications on Heterogeneous Cloud-HPC Infrastructures.Elisabetta Di Nitto, Jess Gorroogoitia, Indika Kumara, Georgios Meditskos, Dragan Radolovic, Karthee Sivalingam, Romn Sosa Gonzlez
2020Towards Efficient Governance In Distributed Ledger Systems Using High-Performance Computational Nodes.Togoe Nicolae-Bogdan-Cristian, Spataru Alexe Luca, Ciprian Pungila
2020An Experiment on Mizar Adjectives with Extra Visible Arguments.Adam Naumowicz
2020Fischer-Ladner Closure for Many-Sorted Modal Logic with Application for Operational Semantics.Natalia Moanga
2020An analysis of aggregated coupling's suitability for software defect prediction.Diana-Lucia Miholca, Zsuzsanna Onet-Marian
2020Knot Coloring as Verification.Robert W. McGrail, Thuy Trang Nguyen, Mary Sharac Granda
2020The CAD Conundrum: Lex-Least vs Order.Scott McCallum, Akshar Nair, James H. Davenport, Gregory Sankaran
2020On One Approach to Goal-Driven Proof Search in Classical First-Order Logic.Alexander V. Lyaletski, Alexandre Lyaletsky
2020A Metric-Based Approach to Modelling a Virtual Machine for Smart Contract Execution.Spataru Alexe Luca, Ciprian Pungila
2020Generating Minimal Unsatisfiable SAT Instances from Strong Digraphs.Gbor Kusper, Tams Balla, Csaba Bir, Tibor Tajti, Zijian Gyozo Yang, Imre Bajk
2020Gender Issues in Computer Science: Lessons Learnt and Reflections for the Future.Letizia Jaccheri, Cristina Pereira, Swetlana Fast
2020Efficient Parallel Simulations of Wireless Signal Wave Propagation.Dorin-Marian Ionita, Filip-George Manole, Emil-Ioan Slusanschi
2020DS Lab Notebook: A new tool for data science applications.Alexandru Ionascu, Sebastian-Aurelian Stefaniga
2020Cohesion Network Analysis: Customized Curriculum Management in Moodle.Gabriel Gutu-Robu, Darius Mihai, Mihai Dascalu, Mihai Carabas, Stefan Trausan-Matu, Sunhea Choi, Keith M. Godfrey, Brigitte Angela Brands, Berthold Koletzko
2020Image Semantic Segmentation Based on High-Resolution Networks for Monitoring Agricultural Vegetation.Valentin V. Ganchenko, Valery Starovoitov, Xiangtao Zheng
2020A bibliometric overview of the International Symposium on Symbolic and Numeric Algorithms for Scientific Computing between 2005 and 2018.Teodor-Florin Fortis, Alexandra Emilia Fortis
301325 of 1,404← PreviousNext →

Comparable venues

Other A*/A conferences filed under the same field of research.