SYNASC2020: INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING

A
Adriana, Mitre	Approximating fixed points of Suzuki type mapping
Al Asaad, Bashar	Business Decisions Support using Sentiment Analysis in CRM Systems
Amaldi, Edoardo	Hierarchical Scheduling in on-demand GPU-as-a-Service Systems
Ardagna, Danilo	Hierarchical Scheduling in on-demand GPU-as-a-Service Systems
Ardelean, Florina	Assessment of spatio-temporal landscape changes from VHR satellite images in three different permafrost areas from West Siberia
Ayoub, Toufic	Lambert W function
B
Baják, Imre	Generating Minimal Unsatisfiable SAT Instances from Strong Digraphs
Balla, Tamás	Generating Minimal Unsatisfiable SAT Instances from Strong Digraphs
Barburescu, Calin	Optimizations for Deep Learning Models for Object Detection
Basu, Kishore	Lambert W function
Beck, Roman	Blockchain Market Engineering
Beldiman, Miruna	Canonical forms over arbitrary fields with Julia
Berinde, Vasile	The technique of enrichment of contractive type operators and applications
Biró, Csaba	Generating Minimal Unsatisfiable SAT Instances from Strong Digraphs
Bocicor, Maria Iuliana	Machine Learning based models for examining differences between modern and ancient DNA in dental calculus
Bogdan, Victor	Edge map response of dilated and reconstructed classical filters
Bojariu, Roxana	WeCTOU: web platform for climate and environmental information dissemination in touristic locations
Bonchis, Cosmin	Edge map response of dilated and reconstructed classical filters Numerical simulation algorithm for fractional-ordersystems implemented in CUDA
Borsos, Bertalan	A general construction for generating pseudorandom sequences using the digit expansion of real functions
Brands, Brigitte Angela	Cohesion Network Analysis: Customized Curriculum Management in Moodle
C
Carabas, Mihai	Cohesion Network Analysis: Customized Curriculum Management in Moodle
Cazacu, Dan	A dynamic contextual citation graph of academic papers
Cervicescu, Virgil	Detecting Individuals High in Neuroticism based on the Color Features of the Facebook Profile Picture
Chetan, Marinela	Big Data Lab presentation Assessment of spatio-temporal landscape changes from VHR satellite images in three different permafrost areas from West Siberia
Choi, Sunhea	Cohesion Network Analysis: Customized Curriculum Management in Moodle
Ciavotta, Michele	Hierarchical Scheduling in on-demand GPU-as-a-Service Systems
Cincar, Kristijan	Gastrointestinal polyps classification based on Deep Learning
Cioaca, Valentin	Extractive Summarization using Cohesion Network Analysis and Submodular Set Functions
Ciobanu, Gabriel	A Study of Multiparty Interactions in Continuation Semantics
Ciobanu, Sebastian	Semantic Image Inpainting via Maximum Likelihood
Ciortuz, Liviu	Semantic Image Inpainting via Maximum Likelihood
Coca, Lucia-Georgiana	Automatic Real-Time Road Crack Identification System
Cojocaru, Gabriel-Codrin	Increasing the Upper Bound for the EvoMan Game Competition
Corless, Robert M	Approximate GCD in Lagrange bases
Craciunescu, Vasile	WeCTOU: web platform for climate and environmental information dissemination in touristic locations
Craiovan, Bogdan	Big Data Lab presentation
Croitoru, Nicolae-Eugen	Increasing the Upper Bound for the EvoMan Game Competition
Csurka, Gabriela	Recent Trends in Domain Adaptation for Visual Applications
Cusmuliuc, Ciprian Gabriel	Automatic Real-Time Road Crack Identification System
D
Dascalu, Mihai	Extractive Summarization using Cohesion Network Analysis and Submodular Set Functions Cohesion Network Analysis: Customized Curriculum Management in Moodle What’s Been Happening in the Romanian News Landscape? A Detailed Analysis Grounded in Natural Language Processing Techniques
Davenport, James H.	The CAD Conundrum: Lex-Least vs Order
Deac-Petrusel, Mara	A Sentiment-based Similarity Model for Recommendation Systems
Di Nitto, Elisabetta	SYNASC 2020 Opening An Approach to Support Automated Deployment of Applications on HeterogeneousCloud-HPC Infrastructures
Dinu, Sergiu-Andrei	Increasing the Upper Bound for the EvoMan Game Competition
Dornik, Andrei	Assessment of spatio-temporal landscape changes from VHR satellite images in three different permafrost areas from West Siberia
Dudău, Diana Paula	Detecting Individuals High in Neuroticism based on the Color Features of the Facebook Profile Picture
E
Emmerich, Michael	Tackling Morpion Solitaire with AlphaZero-like Ranked Reward Reinforcement Learning
F
Fierascu, Silvia	Big Data Lab presentation
Filippini, Federica	Hierarchical Scheduling in on-demand GPU-as-a-Service Systems
Fortis, Alexandra Emilia	A bibliometric overview of the International Symposium on Symbolic and Numeric Algorithms for Scientific Computing between 2005 and 2018
Fortis, Teodor-Florin	A bibliometric overview of the International Symposium on Symbolic and Numeric Algorithms for Scientific Computing between 2005 and 2018
Frasinaru, Cristian	A dynamic contextual citation graph of academic papers
G
Gaianu, Mihail	Lung Tumor Segmentation Accelerated by CUDA The Driver's Attention Level
Ganchenko, Valentin	Image Semantic Segmentation Based on High-Resolution Networks for Monitoring Agricultural Vegetation
Genge, Bela	Hybrid Hyper-parameter Optimization for Collaborative Filtering
Godfrey, Keith	Cohesion Network Analysis: Customized Curriculum Management in Moodle
Gorroñogoitia, Jesús	An Approach to Support Automated Deployment of Applications on HeterogeneousCloud-HPC Infrastructures
Granda, Mary Sharac	Knot Coloring as Verification
Grosu, Teodora	Automatic Real-Time Road Crack Identification System
Gutu-Robu, Gabriel	Cohesion Network Analysis: Customized Curriculum Management in Moodle
H
Halanay, Andrei	Canonical forms over arbitrary fields with Julia
Hegyi, Alexandru	Big Data Lab presentation
Homorodan, Paula	Maia’s fixed point theorems for discontinous mappings
Horotan, Ioana Aura	Some developments around the concept of almost contractions
I
Ida, Tetsuo	Cancelled
Iftene, Adrian	Automatic Real-Time Road Crack Identification System
Ignat, Anca	Quality of Pre-trained Deep-Learning Models for Palmprint Recognition
Ionascu, Alexandru	DS Lab Notebook: A new tool for data science applications
Ionita, Dorin-Marian	Efficient Parallel Simulations of Wireless Signal Wave Propagation
Irimescu, Anisoara	WeCTOU: web platform for climate and environmental information dissemination in touristic locations
Iuhasz, Gabriel	Optimizations for Deep Learning Models for Object Detection
J
Jaccheri, Letizia	Gender Issues in Computer Science Research, Education, and Society
Jahani, Arezoo	Hierarchical Scheduling in on-demand GPU-as-a-Service Systems
Jeffrey, David J.	Lambert W function
K
Kaslik, Eva	Numerical simulation algorithm for fractional-ordersystems implemented in CUDA
Koletzko, Berthold	Cohesion Network Analysis: Customized Curriculum Management in Moodle
Kumara, Indika	An Approach to Support Automated Deployment of Applications on HeterogeneousCloud-HPC Infrastructures
Kusper, Gábor	Generating Minimal Unsatisfiable SAT Instances from Strong Digraphs
L
Lattuada, Marco	Hierarchical Scheduling in on-demand GPU-as-a-Service Systems
Leuștean, Ioana	Operational Semantics and Program Verification using Many-sorted Hybrid Modal Logic
Liliana, Konyicska	Periodic solutions of a class of third-order differential equations with two delays depending on time and state
Limboi, Sergiu	A Sentiment-based Similarity Model for Recommendation Systems
Lyaletski, Alexander	On One Approach to Goal-driven Proof Search in Classical First-order Logic
Lyaletsky, Alexandre	On One Approach to Goal-driven Proof Search in Classical First-order Logic
M
Mafteiu-Scai, Liviu Octavian	Experimental Study on Parallelization of Metaheuristic Algorithms
Manaila, Florin	Carbon footprint for training deep learning models on accelerated AI systems
Manole, Filip-George	Efficient Parallel Simulations of Wireless Signal Wave Propagation
Marchis, Alexandra	Common fixed point theorems for enriched contraction in Banach spaces
Mariana, Cufoian	Approximating fixed points of enriched Caristi type mappings
Mccallum, Scott	The CAD Conundrum: Lex-Least vs Order
McGrail, Robert W.	Knot Coloring as Verification
McNamara, Danielle	Extractive Summarization using Cohesion Network Analysis and Submodular Set Functions
Meditskos, Georgios	An Approach to Support Automated Deployment of Applications on HeterogeneousCloud-HPC Infrastructures
Mihai, Darius	Cohesion Network Analysis: Customized Curriculum Management in Moodle
Miholca, Diana	An analysis of aggregated coupling's suitability for software defect prediction
Mircea, Ioan-Gabriel	Machine Learning based models for examining differences between modern and ancient DNA in dental calculus
Moangă, Natalia	Fischer-Ladner Closure for Many-sorted Modal Logic with Application for Operational Semantics
Moga, Madalina	An extended version of Meir-Keeler theorem
Morosanu, Vladut-Haralambie	Automatic Real-Time Road Crack Identification System
Munteanu, Alexandru	Big Data Lab presentation
Muresan, Valentin	AI – coming of age
Mureșan, Romelia Camelia	On a measure of noncompactness and a generalized Darbo’s fixed point theorem
N
Nair, Akshar	The CAD Conundrum: Lex-Least vs Order
Naumowicz, Adam	An Experiment on Mizar Adjectives with Visible Arguments
Negru, Viorel	Multi-Agent Recommendation and Aspect Level Sentiment Analysis in B2B CRM Systems
Nguyen, Thuy Trang	Knot Coloring as Verification
O
Obreja, Camelia	Results on graceful chromatic number for particular graphs
Onaca, Alexandru	Assessment of spatio-temporal landscape changes from VHR satellite images in three different permafrost areas from West Siberia
Onchis, Darian	Should I trust a deep learning condition monitoring prediction ?
Oneț-Marian, Zsuzsanna	An analysis of aggregated coupling's suitability for software defect prediction
Orhei, Ciprian-Constantin	Edge map response of dilated and reconstructed classical filters
P
Paslaru, Marius-Florin	AgriSen - A Dataset for Crop Classification
Pașcanu, Răzvan	Deep Learning at scale with applications to Computer Vision
Petrusel, Adrian	A retraction-displacement condition related to some stability properties for multi-valued fixed point problems
Petrusel, Gabriela	A retraction-displacement condition related to some stability properties for multi-valued fixed point problems
Plaat, Aske	Tackling Morpion Solitaire with AlphaZero-like Ranked Reward Reinforcement Learning
Pop, Emilia Loredana	Machine Learning based models for examining differences between modern and ancient DNA in dental calculus
Potoan Farcaș, Mariana	Convergence of the Mann iterative process to fixed points of enriched quasi nonexpansive mappings
Preuss, Mike	Tackling Morpion Solitaire with AlphaZero-like Ranked Reward Reinforcement Learning
Puiu, Silvia	WeCTOU: web platform for climate and environmental information dissemination in touristic locations
Pungila, Ciprian	A Metric-Based Approach to Modelling a Virtual Machine for Smart Contract Execution Towards Efficient Governance In Distributed Ledger Systems Using High-Performance Computational Nodes
Püsök, Csaba	Experimental Study on Parallelization of Metaheuristic Algorithms
Pătrăucean, Viorica	Deep Learning at scale with applications to Computer Vision
R
Radolović, Dragan	An Approach to Support Automated Deployment of Applications on HeterogeneousCloud-HPC Infrastructures Infrastructure as Code for Heterogeneous Computing
Rafiee Sevyeri, Leili	Approximate GCD in Lagrange bases
Rahkooy, Hamid	A Graph Theoretical Approach for Testing Binomiality of Reversible Chemical Reaction Networks
Rosca, Valentin	Quality of Pre-trained Deep-Learning Models for Palmprint Recognition
Rosian, Vasile Adrian	Functional Programming GUIs state of the art
Rosu, Florin	Numerical simulation algorithm for fractional-ordersystems implemented in CUDA
Rotovei, Doru	Multi-Agent Recommendation and Aspect Level Sentiment Analysis in B2B CRM Systems Business Decisions Support using Sentiment Analysis in CRM Systems
Ruseti, Stefan	What’s Been Happening in the Romanian News Landscape? A Detailed Analysis Grounded in Natural Language Processing Techniques
Rusu, Andrei	Detecting Individuals High in Neuroticism based on the Color Features of the Facebook Profile Picture
S
Sankaran, Gregory	The CAD Conundrum: Lex-Least vs Order
Sava, Florin Alin	Detecting Individuals High in Neuroticism based on the Color Features of the Facebook Profile Picture
Selea, Teodora	AgriSen - A Dataset for Crop Classification
Semenescu, Alin	Big Data Lab presentation
Sima, Ioan	Gastrointestinal polyps classification based on Deep Learning
Sivalingam, Karthee	An Approach to Support Automated Deployment of Applications on HeterogeneousCloud-HPC Infrastructures
Slusanschi, Emil-Ioan	Efficient Parallel Simulations of Wireless Signal Wave Propagation
Socaciu, Liviu-Ignat	Convex optimization with fixed point constraints. Iterative parallel methods
Sosa González, Román	An Approach to Support Automated Deployment of Applications on HeterogeneousCloud-HPC Infrastructures
Spataru, Alexe Luca	A Metric-Based Approach to Modelling a Virtual Machine for Smart Contract Execution Towards Efficient Governance In Distributed Ledger Systems Using High-Performance Computational Nodes
Starovoitov, Valery	Image Semantic Segmentation Based on High-Resolution Networks for Monitoring Agricultural Vegetation
Stefaniga, Sebastian-Aurelian	The Driver's Attention Level DS Lab Notebook: A new tool for data science applications
Stratulat, Sorin	SPIKE, an automatic theorem prover -- revisited
Szabo, Peter	Hybrid Hyper-parameter Optimization for Collaborative Filtering
Szuhai, Iulia-Monica	Machine Learning based models for examining differences between modern and ancient DNA in dental calculus
T
Tajti, Tibor	Generating Minimal Unsatisfiable SAT Instances from Strong Digraphs
Tamburri, Damian	Frontiers of Data-Intensive Compute Algorithms: Sustainable MLOps and Beyond
Tarba, Ionut-Adrian	The Driver's Attention Level
Tihanyi, Norbert	A general construction for generating pseudorandom sequences using the digit expansion of real functions
Titiliuc, Cosmin	What’s Been Happening in the Romanian News Landscape? A Detailed Analysis Grounded in Natural Language Processing Techniques
Todoran, Eneia Nicolae	A Study of Multiparty Interactions in Continuation Semantics
Trausan-Matu, Stefan	Cohesion Network Analysis: Customized Curriculum Management in Moodle
Trifoi, Ioan	Multivalued mapping
Trusca, Radu	Iterative approximations for local fixed point theorems and applications
V
Valcan, Sorin	Lung Tumor Segmentation Accelerated by CUDA
Vardi, Moshe	A Logical Revolution
Vargas Montero, Cristian	A Graph Theoretical Approach for Testing Binomiality of Reversible Chemical Reaction Networks
Velea, Liliana	WeCTOU: web platform for climate and environmental information dissemination in touristic locations
Vladusic, Daniel	Infrastructure as Code for Heterogeneous Computing
W
Wang, Hui	Tackling Morpion Solitaire with AlphaZero-like Ranked Reward Reinforcement Learning
Watt, Stephen	Web Technologies for Next Generation Symbolic Computation
Y
Yang, Zijian Győző	Generating Minimal Unsatisfiable SAT Instances from Strong Digraphs
Ţ
Ţogoe, Nicolae-Bogdan-Cristian	Towards Efficient Governance In Distributed Ledger Systems Using High-Performance Computational Nodes

Disclaimer | Powered by EasyChair Smart Program