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
2014Mining GPS Data to Learn Driver's Route Patterns.Emilian Necula
2014Automated Synthesis of Target-Dependent Programs for Polynomial Evaluation in Fixed-Point Arithmetic.Christophe Mouilleron, Amine Najahi, Guillaume Revy
2014Guiding Random Test Generation for Intra-class Dataflow Coverage.Petru Florin Mihancea, Edit Mercedes Mera-Batiz, Marius Minea
2014Application Deployment and Management in the Cloud.Marco Miglierina
2014CSPs and Connectedness: P/NP Dichotomy for Idempotent, Right Quasigroups.Robert W. McGrail, James M. Belk, Solomon Garber, Japheth Wood, Benjamin Fish
2014How Good Is Genetic Programming at Predicting Changes and Defects?Cristina Marinescu
2014Using Domain Specific Hierarchical Good Practice for Ranking Service Compositions.Anca Nicoleta Marginean, Ioan Alfred Letia, Sergiu Zaporojan
2014Optimal Capacity Allocation for Executing MapReduce Jobs in Cloud Systems.Marzieh Malekimajd, Alessandro Maria Rizzi, Danilo Ardagna, Michele Ciavotta, Mauro Passacantando, Ali Movaghar
2014Semantic Modeling of Information for Freight Transportation Broker.Lucian Luncean, Costin Badica
2014Implementing Powerlists with Bulk Synchronous Parallel ML.Frdric Loulergue, Virginia Niculescu, Julien Tesson
2014Genetic Improvement of Programs.William B. Langdon
2014Auto-completion of Contours in Sketches, Maps, and Sparse 2D Images Based on Topological Persistence.Vitaliy Kurlin
2014A Population-Based Incremental Learning Method for Constrained Portfolio Optimisation.Yan Jin, Rong Qu, Jason A. D. Atkin
2014Branch Differences and Lambert W.D. J. Jeffrey, Julia E. Jankowski
2014Topological Image Analysis and (Normalised) Representations for Plant Phenotyping.Ines Janusch, Walter G. Kropatsch, Wolfgang Busch
2014Huzita's Basic Origami Fold in Geometric Algebra.Tetsuo Ida
2014An Ontology Selection and Ranking System Based on the Analytic Hierarchy Process.Adrian Groza, Irina Dragoste, Iulia Sincai, Ioana Jimborean, Vasile Moraru
2014Computing Homological Information Based on Directed Graphs within Discrete Objects.Aldo Gonzalez-Lorenzo, Alexandra Bac, Jean-Luc Mari, Pedro Real
2014On Corank Two Edge-Bipartite Graphs and Simply Extended Euclidean Diagrams.Marcin Gasiorek, Daniel Simson, Katarzyna Zajac
2014Proof Generation from Delta-Decisions.Sicun Gao, Soonho Kong, Edmund M. Clarke
2014Efficient Computation of Simplicial Homology through Acyclic Matching.Ulderico Fugacci, Federico Iuricich, Leila De Floriani
2014Register Caching for Stencil Computations on GPUs.Thomas L. Falch, Anne C. Elster
2014Optimal Homotopy Asymptotic Method for Viscous Boundary Layer Flow in Unbounded Domain.Remus-Daniel Ene, Vasile Marinca, Romeo Negrea
2014The Classification of Endoscopy Images with Persistent Homology.Olga Dunaeva, Herbert Edelsbrunner, Anton Lukyanov, Michael Machin, Daria Malkova
2014High-Probability Mutation in Basic Genetic Algorithms.Nicolae-Eugen Croitoru
701725 of 1,404← PreviousNext →

Comparable venues

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