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
2025Arithmetic Analysis: Versatile and Efficient Feature Grammars for Static Malware Classification.Marco Radovancovici
2025AI-Powered Issue Classification and Task Prioritization.Rares-Danut Patcas
2025Dynamic Flexible Scheduling with Extended Technical Constraints Using Genetic Programming.Mihai Osan, Flavia Micota
2025Fraction-Free Comprehensive LU Decomposition and Variants.Aishat Olagunju, Marc Moreno Maza, David J. Jeffrey
2025Semi-Centennial REDUCE.Arthur C. Norman, Stephen M. Watt
2025Leveraging a Small Gemma Model to Predict Movie Ratings from Movielens Dataset: Preliminary Results.Ionut-Dragos Neremzoiu, Costin Badica
2025Visualization of Training and Testing Results for Solving Mountain Car Problem Using Q-Learning.Gabriel-Catalin Nedianu, Ionut Muraretu, Costin Badica
2025Data-Locality-Aware Scheduling for Serverless Containerized Workflows Across the Edge-Cloud Continuum.Andrei-David Nan, Adrian F. Spataru
2025Bound Constraint Handling Methods for Differential Evolution-Based Hyperparameter Optimization.Madalina-Andreea Mitran, Ene Mihai-Lucian
2025Automated Generation and Retrieval of Control-Flow Graphs in Malware Binaries via the Ghidra API Framework.Prejban Mircea-George, Ciprian Pungila
2025CLIP-XRad: Learning Multimodal Representations of Chest X-Rays Through Contrastive Pretraining with Medical Concept Alignment.Tudor-Octavian Mihaita
2025Salivary Ferning Segmentation with a Lightweight CNN.Ditmr Mate, Lehel Csat
2025Source Code Metrics and LLMs Summaries: Do Correlations Exist?Cristina Marinescu
2025Precision Matters: Comparing Deep Models for Visual Marker Detection on Eyewear-Mounted Calibration Objects.Adrian-Pavel Maduta
2025Metacognitive AI Model for Target Selection in Military Operations.Clara Maathuis
2025Free Energy Landscape and Markov State Model Analyses as Benchmarks for Molecular Dynamics Large Language Models of Protein-Ligand Interactions.Jung-Hsin Lin, Yu-Hsaun Chen, Han Cheng
2025Modernized Big Data Architecture to Develop E-Commerce Platforms Based on Fog Computing.Muhammad Mubashir Ali Khan, Doina Logofatu
2025Verifying Arithmetic Circuits with (Linear) Polynomials.Daniela Kaufmann
2025Mixed-Integer Programming Models for the Bandwidth Coloring Problem: A Comparative Analysis.Lucian-Constantin Isac, Emanuel Florentin Olariu
2025Unsupervised Landslide Detection from InSAR-Derived Time Series Using Change Point Analysis.Ioana-Cristina Igret, Gabriel Iuhasz, Delia Teleaga, Valentin Poncos
2025Neural Certificates.Thomas A. Henzinger
2025Benchmarking Heuristic and Cooperative Agents in AbstractSwarm Logistics Scenarios.SM Mehedi Hasan, Doina Logofatu
2025Structuring Definitions in Mathematical Libraries.Alena Gusakov, Peter Nelson, Stephen M. Watt
2025Reproducing Kernels of Hilbert Spaces.Diane Guignard, Olivier D. Lafitte
2025Hybrid Algorithm of Finite State Machine State Assignment for Power Minimization.Tomasz Grzes
2650 of 1,404← PreviousNext →

Comparable venues

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