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
2021Tree $T$ and Lambert $W$.D. J. Jeffrey
2021Extracting football players video sprites from broadcast video.Alexandru Ionascu
2021Continuous Operations and Fully Autonomy of a Social Service Robotic System.Bilal Hoteit, Imad Alex Awada, Alexandru Sorici, Adina Magda Florea
2021Computing multiple roots of polynomials in stochastic arithmetic with Newton method and approximate GCD.Stef Graillat, Fabienne Jzquel, Enzo Queiros Martins, Maxime Spyropoulos
2021An analytic and symbolic analysis of a coupled thermo-neutronic problem.Franois Dubois, Olivier D. Lafitte
2021Parametric Linear Algebra in Maple: Reduced Row Echelon Form.Siyuan Deng, Greg Reid, D. J. Jeffrey
2021Towards the Complexity of Petri Nets and One Counter Machines via Coordinated Table Selective Substitution Systems.Liliana Cojocaru
2021Improving WordNet using Word Embeddings.Costin-Gabriel Chiru, Ciprian-Octavian Truica, Elena Simona Apostol, Alexandru Ionescu
2021A Special Case of Schematic Syntactic Unification.David M. Cerna
2021An Efficient Maude Formalization of (Rewritable) PT Nets.Lorenzo Capra
2021Gdel Incompleteness and Proof-Assistants Extended Abstract.Cristian S. Calude
2021Combining weak classifiers: a logical analysis.Jean-Marc Brossier, Olivier D. Lafitte
2021Excess intersections and numerical irreducible decompositions.Daniel J. Bates, David Eklund, Jonathan D. Hauenstein, Chris Peterson
2021Severity Prediction of Software Vulnerabilities based on their Text Description.Ion Babalau, Dragos Corlatescu, Octavian Grigorescu, Cristian Sandescu, Mihai Dascalu
2021Relation Extraction - A Study on Kernel Functions.Deena Awny
2021Designing a New Soft-Hard Task Model for Scheduling Real-Time Systems on a Multiprocessor Platform.Stefan Andrei, Albert M. K. Cheng, Vlad Radulescu
2021Extended Z3 Array.Alexandru-Ioan Lungu
2020Infrastructure as Code for Heterogeneous Computing.Daniel Vladusic, Dragan Radolovic
2020Lung Tumor Segmentation Accelerated by CUDA.Sorin Valcan, Mihail Gaianu
2020What's Been Happening in the Romanian News Landscape? A Detailed Analysis Grounded in Natural Language Processing Techniques.Cosmin Titiliuc, Stefan Ruseti, Mihai Dascalu
2020A general construction for generating pseudorandom sequences using the digit expansion of real functions.Norbert Tihanyi, Bertalan Borsos
2020The Driver's Attention Level.Ionut-Adrian Tarba, Mihail Gaianu, Sebastian-Aurelian Stefaniga
2020Sustainable MLOps: Trends and Challenges.Damian A. Tamburri
2020Hybrid Hyper-parameter Optimization for Collaborative Filtering.Peter Szab, Bla Genge
2020SPIKE, an automatic theorem prover - revisited.Sorin Stratulat
276300 of 1,404← PreviousNext →

Comparable venues

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