SYNASC2019: 21ST INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING

A
Al-Shamiri, Abobakr Khalil	Harmony Search Algorithms for Optimizing Extreme Learning Machines
Alvandi, Parisa	Feature Extraction using Legendre-Sobolev Representation for Handwritten Mathematical Characters
Andrei, Stefan	Improved Processor Bounding for Non-preemptive Task Scheduling
Andreica, Alina Bianca	Applications of Equivalence Algorithms in Software Design
Andreica, Anca	Autonomous image segmentation by Competitive Unsupervised GrowCut Particle Swarm Optimization of Cellular Automata Rules for Edge Detection Evolved Cellular Automata for Grey Images
Andreica, Anca	Cellular Automata Applications
Ardelean, Florina	Assessing landscape changes using Google Earth Engine in different permafrost areas from West Siberia
B
Badica, Costin	A Multi-Agent Placement System for Virtual Network Functions in a Cloud-Based Architecture
Balan, Gheorghe	Preventing File-less Attacks with Machine Learning Techniques Improving Detection of Malicious Office Documents using One-Side Classifiers
Balint, Agneta	Existence and static stability of a capillary free surface appearing in a dewetted Bridgman process II.
Balint, Stefan	Existence and static stability of a capillary free surface appearing in a dewetted Bridgman process II.
Benchea, Mihai - Razvan	Methods for training neural networks with zero false positives for malware detection
Berinde, Vasile	Approximating fixed points of a general class of Kannan type contractive mappings
Berzescu, Oana	Assessing landscape changes using Google Earth Engine in different permafrost areas from West Siberia
Bjorner, Nikolaj	The Science, Art and Magic of Constrained Horn Clauses
Bocicor, Maria Iuliana	Investigating differences between ancient and modern bacterial DNA in dental calculus via autoencoders
Bonsangue, Marcello	On the Nature of Symbolic Execution
Bołtuć, Agnieszka	Identification of elastoplastic material properties using PIES and PSO
Brake, Danielle	Solving critical point conditions for the Hamming and taxicab distances to solution sets of polynomial equations
Bucevschi, Alexandru Gabriel	Preventing File-less Attacks with Machine Learning Techniques
Butean, Alexandru	Assistive tools for People with Cerebral Palsy: An Eye Tracker Calibration for Vision and Focus Training
Butunoi, Bogdan-Petru	Artificial Intelligence improving life of type 1 diabetes
Bálint, Zoltán	Autonomous image segmentation by Competitive Unsupervised GrowCut Particle Swarm Optimization of Cellular Automata Rules for Edge Detection
C
Campanella, Paolo	Exploiting Sentinel-1 data for near real time large-scale flood monitoring in South East Asia
Cheng, Albert	Improved Processor Bounding for Non-preemptive Task Scheduling
Chețan, Marinela	Assessing landscape changes using Google Earth Engine in different permafrost areas from West Siberia
Chini, Marco	Exploiting Sentinel-1 data for near real time large-scale flood monitoring in South East Asia
Choi, Young Hwan	Harmony Search Algorithms for Optimizing Extreme Learning Machines
Cincar, Kristijan	Agent-based Hospital Scheduling System
Codreanu, Ioana-Andra	A Proposed Automatic Speech and Sentiment Recognition Serious Game for Older Adults with Parkinson’s Disease
Copandean, Denisa	A Visual Solution in Asteroids Detection
Cosman, Sorin Iulian	A Machine Learning Perspective for Order Reduction in Electrical Motors modelling
Croitoru, Nicolae-Eugen	Population distribution dynamics in Genetic Algorithms with High-Probability Mutation
Cruceat, Alin-Marius	Assistive tools for People with Cerebral Palsy: An Eye Tracker Calibration for Vision and Focus Training
D
Daleo, Noah	Solving critical point conditions for the Hamming and taxicab distances to solution sets of polynomial equations
Damestani, David	Superposition Reasoning about Quantified Bitvector Formulas
Das, Swagatam	Large-scale and Multi-peak Optimization with Differential Evolution – Some Recent Approaches and Future Challenges
Dioșan, Laura	Autonomous image segmentation by Competitive Unsupervised GrowCut Particle Swarm Optimization of Cellular Automata Rules for Edge Detection Evolved Cellular Automata for Grey Images
Dornik, Andrei	Assessing landscape changes using Google Earth Engine in different permafrost areas from West Siberia
Dragan, Mihai	Bicyclic Connected Graphs Having Smallest Degree Distances
Dumitru, Delia	Particle Swarm Optimization of Cellular Automata Rules for Edge Detection
E
Enescu, Alina	Evolved Cellular Automata for Grey Images
F
Firincă, Diana	Feasibility of an Agent-based Investment Platform for Renewable Energy Source Implementation
Florea, Adina-Magda	Human-Robot Interaction
Frîncu, Marc	Prediction of Cloud Movement from Satellite Images using Neural Networks Digital Tracking Cloud Distributed Architecture for Detection of Faint NEAs
G
Gaianu, Mihail	Methods on estimation of trend component An approach of segmentation method using deep learning for CT medical images
Gaskó, Noémi	Shapley Value and Extremal Optimization for the Network Influence Maximization Problem
Gavrilut, Dragos-Teodor	An adversarial machine learning approach to evaluate the robustness of a security solution Methods for training neural networks with zero false positives for malware detection
Ghimis, Bogdan	Implementation of Publisher-Subscriber paradigm using Virtual Organisms
Gil, Debora	Localizing Pulmonary Lesions using Fuzzy Deep Learning
Gorgan, Dorian	A Visual Solution in Asteroids Detection
Govoreanu, Valentin-Cătălin	Multi-Control Virtual Reality Driving Simulator
Guo, Xiaofeng	The Fermat-Torricelli Problem on Sphere with Euclidean Metric
Gurfinkel, Arie	The Science, Art and Magic of Constrained Horn Clauses
H
Hanca, Cristian	Solution Framework for Solving the Problem of Real-Time Vehicle Delay Determination within a Transport System
Hauenstein, Jonathan	Using Numerical Insights to Improve Symbolic Computations Solving critical point conditions for the Hamming and taxicab distances to solution sets of polynomial equations Bertini Tutorial: Homotopy continuation and numerical algebraic geometry using Bertini
Hegyi, Alexandru	Assessing landscape changes using Google Earth Engine in different permafrost areas from West Siberia
Homorodan, Paula Mihaela Tamara	Fixed point theorems in partial ordered H-distance space
Hostache, Renaud	Exploiting Sentinel-1 data for near real time large-scale flood monitoring in South East Asia
I
Idrissi, Abdellah	A Multi-Agent Placement System for Virtual Network Functions in a Cloud-Based Architecture
Ilie, Mihaela	Feasibility of an Agent-based Investment Platform for Renewable Energy Source Implementation
Ilie, Sorin	Feasibility of an Agent-based Investment Platform for Renewable Energy Source Implementation
Ionut, Muraretu	Feasibility of an Agent-based Investment Platform for Renewable Energy Source Implementation
Ivascu, Todor	Agent-based Hospital Scheduling System
K
Kapturczak, Marta	Interval arithmetics in modelling and solving uncertainly defined boundary value problems of elasticity
Kovacs, Laura	Portfolio SAT and SMT Solving of Cardinality Constraints in Sensor Network Optimization Superposition Reasoning about Quantified Bitvector Formulas
Kovásznai, Gergely	Portfolio SAT and SMT Solving of Cardinality Constraints in Sensor Network Optimization
Krisztián, Gajdár	Portfolio SAT and SMT Solving of Cardinality Constraints in Sensor Network Optimization
Képes, Tamás	Shapley Value and Extremal Optimization for the Network Influence Maximization Problem
L
Lalescu, Dacian	Methods on estimation of trend component
Leng, Tuo	The Fermat-Torricelli Problem on Sphere with Euclidean Metric
Limboi, Sergiu-George	A Restaurants Recommendation System: Improving Rating Predictions using Sentiment Analysis
Luca, Gabriela-Alexandra	Multi-Control Virtual Reality Driving Simulator
Luchian, Henri	An adversarial machine learning approach to evaluate the robustness of a security solution
Lung, Rodica Ioana	Shapley Value and Extremal Optimization for the Network Influence Maximization Problem
M
Marculet, Dan-Georgian	Methods for training neural networks with zero false positives for malware detection
Marginean, Radu	Autonomous image segmentation by Competitive Unsupervised GrowCut
Marțiș, Claudia	A Machine Learning Perspective for Order Reduction in Electrical Motors modelling
Matgen, Patrick	Exploiting Sentinel-1 data for near real time large-scale flood monitoring in South East Asia
Mihet, Dorel	On strong fuzzy metric spaces
Mincu, Radu-Stefan	The graceful chromatic number for some particular classes of graphs
Mircea, Cristina	Investigating differences between ancient and modern bacterial DNA in dental calculus via autoencoders
Mircea, Ioan-Gabriel	Investigating differences between ancient and modern bacterial DNA in dental calculus via autoencoders
Munteanu, Alexandru	Deep Learning Techniques Applied for Road Segmentation
N
Naiman, Aharon	Rational Gram-Schmidt—Searching vs. Computing
Neagul, Marian	Deep Learning Techniques Applied for Road Segmentation
Negru, Viorel	Data driven sales prediction using communication sentiment analysis in B2B CRM systems
Nenciu, Bianca-Ioana	Sorting Algorithms - When Quick Is Too Fast
Nicorici, Andreea Mădălina	A Machine Learning Perspective for Order Reduction in Electrical Motors modelling
Nikolić, Rale	A common fixed point theorem for non-self mappings in strictly convex Fuzzy metric spaces
Nițescu, Teodor-Marian	Multi-Control Virtual Reality Driving Simulator
Nuțu, Maria	A Machine Learning Perspective for Order Reduction in Electrical Motors modelling
O
Obreja, Camelia	The graceful chromatic number for some particular classes of graphs
Onaca, Alexandru	Assessing landscape changes using Google Earth Engine in different permafrost areas from West Siberia
P
Pacurar, Madalina	Approximating fixed points of a general class of Kannan type contractive mappings
Paduraru, Ciprian	Implementation of Publisher-Subscriber paradigm using Virtual Organisms
Paduraru, Miruna Gabriela	Implementation of Publisher-Subscriber paradigm using Virtual Organisms
Parv, Bazil	Protein Folding Simulation using Combinatorial Whale Optimization Algorithm
Pelich, Ramona	Exploiting Sentinel-1 data for near real time large-scale flood monitoring in South East Asia
Penteliuc, Marius	Prediction of Cloud Movement from Satellite Images using Neural Networks
Petrusel, Adrian	Iterative approximations for non-self operators
Petrusel, Mara-Renata	A Restaurants Recommendation System: Improving Rating Predictions using Sentiment Analysis
Plesu, Mihai	Motif Detection in Biological Networks
Pop, Emilia-Loredana	Investigating differences between ancient and modern bacterial DNA in dental calculus via autoencoders
Pop, Horia F.	A Machine Learning Perspective for Order Reduction in Electrical Motors modelling
Popa, Alexandru	The graceful chromatic number for some particular classes of graphs
Popescu, George	Fixed Point Theorems Applied to Invariant Subspaces Problem on Hilbert Spaces
Prelipcean, Dumitru Bogdan	Preventing File-less Attacks with Machine Learning Techniques Improving Detection of Malicious Office Documents using One-Side Classifiers
R
Radu, Petru	Evolutionary Design of Deep Neural Networks
Radulescu, Vlad	Improved Processor Bounding for Non-preemptive Task Scheduling
Ramírez, Esmitt	Localizing Pulmonary Lesions using Fuzzy Deep Learning
Rebedea, Traian	Source code vulnerabilities detection using loosely coupled data and control flows
Ristić, Vladimir	A common fixed point theorem for non-self mappings in strictly convex Fuzzy metric spaces
Rotovei, Doru	Data driven sales prediction using communication sentiment analysis in B2B CRM systems
Rus, Ioan A.	Some conjectures on global asymptotic stability for discrete dynamical systems
S
Sanchez, Carles	Localizing Pulmonary Lesions using Fuzzy Deep Learning
Sara, Retal	A Multi-Agent Placement System for Virtual Network Functions in a Cloud-Based Architecture
Sasaki, Tateaki	An Attempt to Enhance Buchberger's Algorithm by Using Remainder Sequences and GCD Operation
Selea, Teodora	Deep Learning Techniques Applied for Road Segmentation
Serban, Marcel-Adrian	A global implicit operator theorem in terms of monotone operators
Sherman, Samantha	Solving critical point conditions for the Hamming and taxicab distances to solution sets of polynomial equations
Sichitiu, Roxana	Digital Tracking Cloud Distributed Architecture for Detection of Faint NEAs
Sima, Ioan	Protein Folding Simulation using Combinatorial Whale Optimization Algorithm
Simion, Ciprian-Alin	An adversarial machine learning approach to evaluate the robustness of a security solution
Slusanschi, Emil-Ioan	Sorting Algorithms - When Quick Is Too Fast
Stefaniga, Sebastian-Aurelian	An approach of segmentation method using deep learning for CT medical images
Suciu, Mihai	Shapley Value and Extremal Optimization for the Network Influence Maximization Problem
Suda, Martin	Superposition Reasoning about Quantified Bitvector Formulas
Sulyok, Csaba	Towards Automated Quality Assessment Methods in Algorithmic Music Composition
Szerszeń, Krzysztof	Application of T-splines and Bézier extraction for boundary description in Parametric Integral Equation System for 3D Laplace's equation Identification of elastoplastic material properties using PIES and PSO Interval arithmetics in modelling and solving uncertainly defined boundary value problems of elasticity
Szuhai, Iulia-Monica	Investigating differences between ancient and modern bacterial DNA in dental calculus via autoencoders
T
Tomescu, Ioan	Bicyclic Connected Graphs Having Smallest Degree Distances
Trausan Matu, Stefan	Source code vulnerabilities detection using loosely coupled data and control flows
Trifoi, Ioan	Computing the Pompeiu-Hausdorff distance between some geometrical sets
U
Ungureanu, Remus-Dan	Sorting Algorithms - When Quick Is Too Fast
V
Vaduvescu, Ovidiu	Digital Tracking Cloud Distributed Architecture for Detection of Faint NEAs
Valcan, Sorin	Methods on estimation of trend component
Vitel, Silviu Constantin	Improving Detection of Malicious Office Documents using One-Side Classifiers
Vladimirescu, Cristian	Existence of asymptotically stable solutions to a nonlinear integral equation of mixed type
W
Watt, Stephen	A Review of Algorithms on Symbolic Domains Feature Extraction using Legendre-Sobolev Representation for Handwritten Mathematical Characters
Z
Zaharia, Claudia	On strong fuzzy metric spaces
Zaharia, Sergiu	Source code vulnerabilities detection using loosely coupled data and control flows
Zakany, Monika	Almost local contractions in b- pseudometric spaces
Zamfira, Andrei	Inference System to Achieve Saturation of (F,R,N) Knowledge Bases
Zeng, Zhenbing	The Fermat-Torricelli Problem on Sphere with Euclidean Metric
Zieniuk, Eugeniusz	Application of T-splines and Bézier extraction for boundary description in Parametric Integral Equation System for 3D Laplace's equation Interval arithmetics in modelling and solving uncertainly defined boundary value problems of elasticity
Ö
Ölveczky, Peter Csaba	Design and Validation of Cloud Storage Systems using Rewriting Logic
Ć
Ćirović, Natasa	A common fixed point theorem for non-self mappings in strictly convex Fuzzy metric spaces
Ț
Țocu, Nicolae-Adrian	Multi-Control Virtual Reality Driving Simulator

Disclaimer | Powered by EasyChair Smart Program