2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9781728106250

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Reasoning with Quantifiers and Theories Using Saturation-Based Reasoning

2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) ◽

10.1109/synasc.2018.00015 ◽

2018 ◽

Author(s):

Andrei Voronkov

Download Full-text

Proving Reachability Properties by Coinduction (Extended Abstract)

2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) ◽

10.1109/synasc.2018.00066 ◽

2018 ◽

Author(s):

Dorel Lucanu

Download Full-text

Unsupervised and Fully Autonomous 3D Medical Image Segmentation Based on Grow Cut

2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) ◽

10.1109/synasc.2018.00068 ◽

2018 ◽

Author(s):

Alexandru-Ion Marinescu ◽

Zoltan Balint ◽

Laura-Silvia Diosan ◽

Anca-Mirela Andreica

Keyword(s):

Image Segmentation ◽

Medical Image ◽

Medical Image Segmentation

Download Full-text

A four-Phase Meta-Heuristic Algorithm for Solving Large Scale Instances of the Shift Minimization Personnel Task Scheduling Problem

2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) ◽

10.1109/synasc.2018.00067 ◽

2018 ◽

Author(s):

Sebastian Nechita ◽

Laura Diosan

Keyword(s):

Task Scheduling ◽

Heuristic Algorithm ◽

Large Scale ◽

Scheduling Problem

Download Full-text

Scalable Task Deployment System Inspired from Virus Propagation Models for Large Distributed Workflow Based Systems

2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) ◽

10.1109/synasc.2018.00037 ◽

2018 ◽

Author(s):

Mihai Bica ◽

Dorian Gorgan

Keyword(s):

Virus Propagation ◽

Propagation Models ◽

Distributed Workflow

Download Full-text

Detecting Java Compiled Malware using Machine Learning Techniques

2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) ◽

10.1109/synasc.2018.00073 ◽

2018 ◽

Author(s):

Gheorghe Balan ◽

Adrian Stefan Popescu

Keyword(s):

Machine Learning ◽

Machine Learning Techniques ◽

Learning Techniques

Download Full-text

Using Recommender Systems to Support Navigation in Concept Lattices

2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) ◽

10.1109/synasc.2018.00046 ◽

2018 ◽

Author(s):

Flaviu Berbecariu ◽

Christian Sacarea ◽

Diana Florina Sotropa

Keyword(s):

Recommender Systems ◽

Concept Lattices

Download Full-text

Towards Performance Evaluation Programming

2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) ◽

10.1109/synasc.2018.00054 ◽

2018 ◽

Author(s):

Eneia Nicolae Todoran

Keyword(s):

Performance Evaluation

Download Full-text

Computation Results of the Riemann Zeta Search Project

2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) ◽

10.1109/synasc.2018.00024 ◽

2018 ◽

Author(s):

Norbert Tihanyi ◽

Attila Kovacs

Keyword(s):

Riemann Zeta

Download Full-text

Dual Criteria Determination of the Number of Clusters in Data

2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) ◽

10.1109/synasc.2018.00040 ◽

2018 ◽

Author(s):

Kaixun Hua ◽

Dan A. Simovici

Keyword(s):

Number Of Clusters

Download Full-text

2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Reasoning with Quantifiers and Theories Using Saturation-Based Reasoning

Proving Reachability Properties by Coinduction (Extended Abstract)

Unsupervised and Fully Autonomous 3D Medical Image Segmentation Based on Grow Cut

A four-Phase Meta-Heuristic Algorithm for Solving Large Scale Instances of the Shift Minimization Personnel Task Scheduling Problem

Scalable Task Deployment System Inspired from Virus Propagation Models for Large Distributed Workflow Based Systems

Detecting Java Compiled Malware using Machine Learning Techniques

Using Recommender Systems to Support Navigation in Concept Lattices

Towards Performance Evaluation Programming

Computation Results of the Riemann Zeta Search Project

Dual Criteria Determination of the Number of Clusters in Data

2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)
Latest Publications