SYNASC 2020 Opening (abstract)

Gender Issues in Computer Science Research, Education, and Society (abstract)

A Study of Multiparty Interactions in Continuation Semantics (abstract)

Hierarchical Scheduling in on-demand GPU-as-a-Service Systems (abstract)

An Approach to Support Automated Deployment of Applications on HeterogeneousCloud-HPC Infrastructures (abstract)

Multi-Agent Recommendation and Aspect Level Sentiment Analysis in B2B CRM Systems (abstract)

Iterative approximations for local fixed point theorems and applications (abstract)

Some developments around the concept of almost contractions (abstract)

An extended version of Meir-Keeler theorem (abstract)

A retraction-displacement condition related to some stability properties for multi-valued fixed point problems (abstract)

A general construction for generating pseudorandom sequences using the digit expansion of real functions (abstract)

Efficient Parallel Simulations of Wireless Signal Wave Propagation (abstract)

Numerical simulation algorithm for fractional-ordersystems implemented in CUDA (abstract)

Approximate GCD in Lagrange bases (abstract)

Lung Tumor Segmentation Accelerated by CUDA (abstract)

The Driver's Attention Level (abstract)

Gastrointestinal polyps classification based on Deep Learning (abstract)

SPIKE, an automatic theorem prover -- revisited (abstract)

An Experiment on Mizar Adjectives with Visible Arguments (abstract)

Generating Minimal Unsatisfiable SAT Instances from Strong Digraphs (abstract)

A Logical Revolution (abstract)

A Graph Theoretical Approach for Testing Binomiality of Reversible Chemical Reaction Networks (abstract)

Results on graceful chromatic number for particular graphs (abstract)

Recent Trends in Domain Adaptation for Visual Applications (abstract)

Deep Learning at scale with applications to Computer Vision (abstract)

Infrastructure as Code for Heterogeneous Computing (abstract)

Multivalued mapping (abstract)

On a measure of noncompactness and a generalized Darbo’s fixed point theorem (abstract)

Convergence of the Mann iterative process to fixed points of enriched quasi nonexpansive mappings (abstract)

Common fixed point theorems for enriched contraction in Banach spaces (abstract)

Approximating fixed points of Suzuki type mapping (abstract)

Web Technologies for Next Generation Symbolic Computation (abstract)

Lambert W function (abstract)

Knot Coloring as Verification (abstract)

The CAD Conundrum: Lex-Least vs Order (abstract)

Canonical forms over arbitrary fields with Julia (abstract)

WeCTOU: web platform for climate and environmental information dissemination in touristic locations (abstract)

AgriSen - A Dataset for Crop Classification (abstract)

Image Semantic Segmentation Based on High-Resolution Networks for Monitoring Agricultural Vegetation (abstract)

Assessment of spatio-temporal landscape changes from VHR satellite images in three different permafrost areas from West Siberia (abstract)

Blockchain Market Engineering (abstract)

Tackling Morpion Solitaire with AlphaZero-like Ranked Reward Reinforcement Learning (abstract)

Machine Learning based models for examining differences between modern and ancient DNA in dental calculus (abstract)

Extractive Summarization using Cohesion Network Analysis and Submodular Set Functions (abstract)

Cohesion Network Analysis: Customized Curriculum Management in Moodle (abstract)

What’s Been Happening in the Romanian News Landscape? A Detailed Analysis Grounded in Natural Language Processing Techniques (abstract)

A Metric-Based Approach to Modelling a Virtual Machine for Smart Contract Execution (abstract)

Towards Efficient Governance In Distributed Ledger Systems Using High-Performance Computational Nodes (abstract)

Quality of Pre-trained Deep-Learning Models for Palmprint Recognition (abstract)

Edge map response of dilated and reconstructed classical filters (abstract)

Semantic Image Inpainting via Maximum Likelihood (abstract)

Automatic Real-Time Road Crack Identification System (abstract)

Should I trust a deep learning condition monitoring prediction ? (abstract)

Convex optimization with fixed point constraints. Iterative parallel methods (abstract)

Periodic solutions of a class of third-order differential equations with two delays depending on time and state (abstract)

Approximating fixed points of enriched Caristi type mappings (abstract)

The technique of enrichment of contractive type operators and applications (abstract)

Frontiers of Data-Intensive Compute Algorithms: Sustainable MLOps and Beyond (abstract)

DS Lab Notebook: A new tool for data science applications (abstract)

Maia’s fixed point theorems for discontinous mappings (abstract)

Business Decisions Support using Sentiment Analysis in CRM Systems (abstract)

Carbon footprint for training deep learning models on accelerated AI systems (abstract)

AI – coming of age (abstract)

Cancelled (abstract)

An analysis of aggregated coupling's suitability for software defect prediction (abstract)

Hybrid Hyper-parameter Optimization for Collaborative Filtering (abstract)

A Sentiment-based Similarity Model for Recommendation Systems (abstract)

Increasing the Upper Bound for the EvoMan Game Competition (abstract)

Experimental Study on Parallelization of Metaheuristic Algorithms (abstract)

Big Data Lab presentation (abstract)

Optimizations for Deep Learning Models for Object Detection (abstract)

A bibliometric overview of the International Symposium on Symbolic and Numeric Algorithms for Scientific Computing between 2005 and 2018 (abstract)

Detecting Individuals High in Neuroticism based on the Color Features of the Facebook Profile Picture (abstract)

A dynamic contextual citation graph of academic papers (abstract)

Operational Semantics and Program Verification using Many-sorted Hybrid Modal Logic (abstract)

Fischer-Ladner Closure for Many-sorted Modal Logic with Application for Operational Semantics (abstract)

On One Approach to Goal-driven Proof Search in Classical First-order Logic (abstract)

Functional Programming GUIs state of the art (abstract)