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
2017Designing Data Interchange Services for Learning Components.Alina Andreica, Fernando Paulo Belfo, Florina Covaci
2017SMT Solving for Arithmetic Theories: Theory and Tool Support.Erika brahm, Gereon Kremer
2016How to Build a Global Digital Mathematics Library.Stephen M. Watt
2016A Hybrid Test Generation Approach Based on Extended Finite State Machines.Ana Turlea, Florentin Ipate, Raluca Lefticaru
2016Identifiability for Gauge Regularizations and Algorithms for Block-Sparse Synthesis in Compressive Sensing.Flavius Turcu, Charles Dossal, Marc Nicodeme
2016Comparing Different Term Weighting Schemas for Topic Modeling.Ciprian-Octavian Truica, Florin Radulescu, Alexandru Boicea
2016Behavioral Trading System - Detecting Crisis, Risk and Stability in Financial Markets.Monica Tirea, Viorel Negru
2016Optimizing Test Input Generation for Reactive Systems with an Adaptive Differential Evolution.Annamria Szenkovits, Nomi Gask, Hunor Jakab
2016Structural vs. Cyclic Induction: A Report on Some Experiments with Coq.Sorin Stratulat
2016In Search of the Optimal Set of Indicators when Classifying Histopathological Images.Catalin Stoean
2016Extracting Gamers' Opinions from Reviews.Dorinela Sirbu, Ana Secui, Mihai Dascalu, Scott Andrew Crossley, Stefan Ruseti, Stefan Trausan-Matu
2016Various Enhancements for Extended Hensel Construction of Sparse Multivariate Polynomials.Tateaki Sasaki, Daiju Inaba
2016Multi-Agent Aspect Level Sentiment Analysis in CRM Systems.Doru Rotovei
2016Resource Bounding for Non-Preemptive Task Scheduling on a Multiprocessor Platform.Vlad Radulescu, Stefan Andrei, Albert M. K. Cheng
2016Venn Diagrams for Multisets.Aurelian Radoaca
2016Censoring Sensitive Data from Images.Stefan Postavaru, Ionut-MihaIta Plesea
2016Levenberg-Marquardt Learning Algorithm for Quaternion-Valued Neural Networks.Calin-Adrian Popa
2016Approximate Duals of Gabor-Like Frames Based on Realizable Multi-Window Spline-Type Constructions.Darian M. Onchis, Simone Zappal
2016Use of Genetic Algorithms in Numerical Weather Prediction.Liviu Oana, Adrian F. Spataru
2016Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving.Felix Neubauer, Karsten Scheibler, Bernd Becker, Ahmed Mahdi, Martin Frnzle, Tino Teige, Tom Bienmller, Detlef Fehrer
2016Effective Nondeterministic Positive Definiteness Test for Unidiagonal Integral Matrices.Andrzej Mrz
2016On Issues Concerning Cloud Environments in Scope of Scalable Multi-Projection Methods.Byron E. Moutafis, Christos K. Filelis-Papadopoulos, George A. Gravvanis, John P. Morrison
2016Machine Learning Based Approaches for Sex Identification in Bioarchaeology.Diana-Lucia Miholca, Gabriela Czibula, Ioan-Gabriel Mircea, Istvn Gergely Czibula
2016A Novel Approach for Software Defect Prediction Using Fuzzy Decision Trees.Zsuzsanna Marian, Ioan-Gabriel Mircea, Istvn Gergely Czibula, Gabriela Czibula
2016Towards Lexicalization of DBpedia Ontology with Unsupervised Learning and Semantic Role Labeling.Anca Nicoleta Marginean, Kando Eniko
526550 of 1,404← PreviousNext →

Comparable venues

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