{"id":501,"date":"2022-08-23T06:47:35","date_gmt":"2022-08-23T06:47:35","guid":{"rendered":"https:\/\/synasc.ro\/2022\/?page_id=501"},"modified":"2022-08-23T06:47:35","modified_gmt":"2022-08-23T06:47:35","slug":"papers-accepted-for-presentation","status":"publish","type":"page","link":"https:\/\/synasc.ro\/2022\/papers-accepted-for-presentation\/","title":{"rendered":"Papers accepted for presentation"},"content":{"rendered":"\n<p><strong>Symbolic Computation track<\/strong><\/p>\n\n\n\n<p><\/p>\n\n\n\n<ul class=\"wp-block-list\"><li>Denis Mironov and Gleb Koshevoy, <em>F-polynomials and Newton polytopes<\/em><\/li><li>Kisun Lee, Stephen Melczer and Josip Smol\u010di\u0107, <em>Homotopy Techniques for Analytic Combinatorics in Several Variables<\/em><\/li><li>Stephen Watt, <em>Detecting Implicit Indeterminates in Symbolic Computation<\/em><\/li><li>Ali Kemal Uncu and James H. Davenport, <em>Artificial Conflict Sampling for Real Satisfiability Problems<\/em><\/li><li>Zolt\u00e1n Kov\u00e1cs, Christopher Brown, Tomas Recio and Robert Vajda, <em>A web version of TARSKI, a system for computing with Tarski formulas and semialgebraic sets<\/em><\/li><li>Jan-Michael Holzinger and Robert Vajda, <em>Extreme Points of the Unit Ball B4 in a Space of Real Polynomials of Degree at most Four with the Supremum Norm<\/em><\/li><li>Marc Moreno Maza and Haoze Yuan, <em>Balanced Dense Multivariate Multiplication: The General Case<\/em><\/li><\/ul>\n\n\n\n<p><strong>Numerical Computing track<\/strong><\/p>\n\n\n\n<p><\/p>\n\n\n\n<ul class=\"wp-block-list\"><li>Siyuan Deng, Gregory Reid and Zahra Mohammadi, <em>Reduction of linear differential systems to involutive form by exploiting exact subsystems<\/em><\/li><li>Sampath Routu and Madhugnea Adabala, <em>A Neural Network based approach to find solutions to diffusion equations<\/em><\/li><\/ul>\n\n\n\n<p><strong>Logic and Programming track<\/strong><\/p>\n\n\n\n<p><\/p>\n\n\n\n<ul class=\"wp-block-list\"><li>Roderick Bloem, Vedad Had\u017ei\u0107, Martina Seidl and Ankit Shukla, <em>FERPModels: A Certification Framework for Expansion-Based QBF Solving<\/em><\/li><li>Irene Hiess, Ludwig Kampel, Michael Wagner and Dimitris E. Simos, <em>IPO-MAXSAT: The In-Parameter-Order Strategy combined with MaxSAT solving for Covering Array Generation<\/em><\/li><li>Alexander Lyaletski, <em>Maslov\u2019s Inverse Method and Favorable M-sequent Calculus<\/em><\/li><\/ul>\n\n\n\n<p><strong>Distributed Computing track<\/strong><\/p>\n\n\n\n<p><\/p>\n\n\n\n<ul class=\"wp-block-list\"><li>Cojocaru Dragos, <em>Proof of Computation<\/em><\/li><li>Eneia Nicolae Todoran, <em>Quantitative Programming and Markov Decision Processes<\/em><\/li><li>Mario Reja, <em>Empirical evaluation of LZW-Compressed Multiple Pattern Matching Algorithms<\/em><\/li><\/ul>\n\n\n\n<p><strong>Theory of Computing track<\/strong><\/p>\n\n\n\n<p><\/p>\n\n\n\n<ul class=\"wp-block-list\"><li>Yannick Chevalier and Michael Rusinowitch, <em>Deciding Whether two Codes Have the Same Ambiguities is in co-NP<\/em><\/li><li>Shashank Mehta and Mahesh Rajasree, <em>On the bases of Z^n lattice<\/em><\/li><li>Saber Gholami and Hovhannes A. Harutyunyan, <em>Fully-adaptive Model for Broadcasting with Universal Lists<\/em><\/li><\/ul>\n\n\n\n<p><strong>Artificial Intelligence track<\/strong><\/p>\n\n\n\n<p><\/p>\n\n\n\n<ul class=\"wp-block-list\"><li>Adrian Groza and \u00c1ron Katona, <em>Fact-checking with explanations<\/em><\/li><li>Andreea Dutulescu, Mihai Dascalu and Stefan Ruseti, <em>Unsupervised Extractive Summarization with BERT<\/em><\/li><li>Eugen Croitoru and Theodor-Alexandru Vlad, <em>Accelerating heuristic convergence on the &#8220;Evolution of Mona Lisa&#8221; problem by including image-centric mutation operators<\/em><\/li><li>Gabriel-Razvan Busuioc, Andrei Paraschiv and Mihai Dascalu, <em>FB-RO-Offense &#8211; A Romanian Dataset and Baseline Models for detecting Offensive Language in Facebook Comments<\/em><\/li><li>Radu-Andrei Rosu, Mihaela-Elena Breaban and Henri Luchian, <em>Exploring the potential of prototype-based soft-labels data distillation for imbalanced data classification<\/em><\/li><li>Andrei Dugaesescu and Adina-Magda Florea, <em>Evaluation of Class Activation Methods for Understanding Image Classification Tasks<\/em><\/li><li>Darian Onchis, Codruta Istin and Eduard Hogea, <em>Advantages of a neuro-symbolic solution for monitoring IT infrastructures alerts<\/em><\/li><li>Marco Radovancovici, Dan C\u00eempianu, Darius Galis and Ciprian Pungila, <em>Using N-Gram Variations in Static Analysis for Malware Detection<\/em><\/li><li>M\u0103d\u0103lina Dicu, Laura Dio\u0219an, Anca Andreica, Camelia Chira and Alin Cordo\u0219, <em>The Impact of Convolutional Neural Network Parameters in the Binary Classification of Mammograms<\/em><\/li><li>Victor Bogdan and Alin Brindusescu, <em>Authors and Collaborator Groups Ranking Analysis on SYNASC using Centrality Measures<\/em><\/li><li>Andrei Chis and Ana-Maria Ghiran, <em>Proof of Concept for a Roundtrip Engineering IS for the New Enterprise in the Industry 4.0 Era<\/em><\/li><li>Vasile Ionut Iga and Gheorghe Cosmin Silaghi, <em>Building customized Named Entity Recognition models for specific process automation tasks<\/em><\/li><li>Zolt\u00e1n Tasn\u00e1di and No\u00e9mi Gask\u00f3, <em>An Ant Colony Optimization Approach to the Densest $k$-Subgraph Problem<\/em><\/li><li>Bernhard Schenkenfelder and Sophie Kaltenleithner, <em>Automatic Wound Assessment Using 2D Photos and Mapping onto Patient-specific 3D Models<\/em><\/li><\/ul>\n\n\n\n<p> <strong>Special Session for PhD Students<\/strong><\/p>\n\n\n\n<p><\/p>\n\n\n\n<ul class=\"wp-block-list\"><li>Octavian-Florin Maghiar, <em>AlphaFold-based protein analysis pipeline<\/em><\/li><li>Ciprian-Mihai Ceau\u0219escu and Bogdan Alexe, <em>Cerebral Metastases Segmentation using Transfer Gliomas Learning and GrabCut<\/em><\/li><li>Alina C\u0103runta and Mihai Ple\u0219u, <em>Different approaches for biological strings<\/em><\/li><li>Mariya Bessonov, Ilia Ilmer, Tatiana Konstantinova, Alexey Ovchinnikov, Gleb Pogudin and Pedro Soto Accelerating <em>Gr\u00f6bner Basis Computation via Weighted Ordering in Parameter Identifiability of ODE Models<\/em><\/li><li>Bakkialakshmi. V.S and Sudalaimuthu T, <em>Affective Computing analysis in Emotional Psychology using AMIGOS with Gaussian Expectation-Maximization model<\/em><\/li><li>Ciprian-Alin Simion, <em>Reducing Adversarial Vulnerability Using GANs<\/em><\/li><li>Popoiu George, <em>One side class SVM training methods for malware detection<\/em><\/li><li>Marilena Lupascu, <em>Obfuscation Techniques Based on Random Strings Used in Malicious VBA Scripts<\/em><\/li><li>Dan-Gabriel Anton, <em>Building a Machine Learning Model for Malware Detection from Ground Zero<\/em><\/li><li>Raul Urechiatu, <em>Astronomical Object Detection Using Artificial Intelligence<\/em><\/li><li>Otilia Maria Muntean, Ciprian Pungil\u0103 and Viorel Negru, <em>On Technical and Legislative Challenges for Blockchain-Focused Fraud Detection<\/em><\/li><li>Vladut-Gabriel Ghelbere, Todor Ivascu and Viorel Negru, <em>Game Digger Creating an adaptive recommender system<\/em><\/li><li>Bogdan Butunoi and Viorel Negru, <em>Data cleansing in Continuous Glucose Monitor time series<\/em><\/li><\/ul>\n\n\n\n<p><strong>Special Session on Advances in Computational, Symbolic and Secure Algorithms for Permissioned and Permissionless Blockchains<\/strong><\/p>\n\n\n\n<p><\/p>\n\n\n\n<ul class=\"wp-block-list\"><li>Marco Radovancovici, Darius Galis and Ciprian Pungila A Practical Analysis of Techniques for Minting Genetic Information as NFTs in Blockchain Technology<\/li><\/ul>\n\n\n\n<p><strong><strong><strong>Workshop on Agents for Complex Systems<\/strong><\/strong><\/strong><\/p>\n\n\n\n<p><\/p>\n\n\n\n<ul class=\"wp-block-list\"><li>Florin Dumitrescu, Adina-Magda Florea, Mihai Trascau and Alexandru Sorici, <em>Intelligent Agent for Food Recognition in a Smart Fridge<\/em><\/li><li>Md Nahin Islam and Doina Logofatu, <em>Machine Learning Models to Predict Soil Moisture for Irrigation Schedule<\/em><\/li><\/ul>\n\n\n\n<p><strong>Workshop on Digital Image Processing for Medical and Automotive Industry<\/strong><\/p>\n\n\n\n<p><\/p>\n\n\n\n<ul class=\"wp-block-list\"><li>Guillermo Torres, Carles Sanchez and Debora Gil, <em>Learning networks hyper-parameter using multi-objective optimization of statistical performance metrics<\/em><\/li><li>Alexandru Ionascu and Sebastian-Aurelian Stefaniga, <em>Semi-Supervised Pipeline for Human Sprites Neural Rendering<\/em><\/li><li>Sorin Valcan and Mihail Gaianu, <em>Eye Detection For Drivers Using Convolutional Neural Networks With Automatically Generated Ground Truth Data<\/em><\/li><li>Bogdan Budihala, Todor Ivascu and Sebastian Stefaniga, <em>Motorage &#8211; Computer vision-based self-sufficient smart parking system<\/em><\/li><li>Cristina Laura S\u00eerbu, Georgiana Simion and C\u0103t\u0103lin Daniel C\u0103leanu, <em>Improving the Diagnostic of Contrast Enhanced Ultrasound Imaging using Optical Flow for Lesion<\/em><\/li><li>Bogdan Sighencea, <em>Pedestrian Trajectory Prediction Based on Tree Method using Graph Neural Networks<\/em><\/li><li>Toni-Andrei-Marian Florea, Andreea-Roxana Asofroniei and Sebastian-Aurelian Stefaniga, <em>AI-based healthcare application for medical image processing and diagnosis prediction<\/em><\/li><li>Rotar Danut, <em>Hardware-software co-design<\/em><\/li><\/ul>\n\n\n\n<p><strong>Workshop on Natural Computing and Applications<\/strong><br><\/p>\n\n\n\n<ul class=\"wp-block-list\"><li>Luka Jovanovic, Dijana Jovanovic, Milos Antonijevic, Miodrag Zivkovic, Nebojsa Budimirovic, Ivana Strumberger and Nebojsa Bacanin, <em>The XGBoost Tuning by Improved Firefly Algorithm for Network Intrusion Detection<\/em><\/li><li>Catalin Stoean, Nebojsa Bacanin, Ruxandra Stoean, Leonard Ionescu, Cristian Alecsa, Mircea Hotoleanu, Miguel Atencia and Gonzalo Joya, <em>On Using Perceptual Loss within the U-Net Architecture for the Semantic Inpainting of Textile Artefacts with Traditional Motifs<\/em><\/li><li>Roxana Sipos-Lascu and Laura-Silvia Dio\u0219an, <em>An Evaluation of Image Texture Descriptors and their Invariant Properties<\/em><\/li><li>Paul Cousin and Aude Maignan, <em>Organic Structures Emerging From Bio-Inspired Graph-Rewriting Automata<\/em><\/li><\/ul>\n\n\n\n<p><strong>Workshop on Symbolic Regression<\/strong><\/p>\n\n\n\n<p><\/p>\n\n\n\n<ul class=\"wp-block-list\"><li>Fabr\u00edcio Olivetti De Fran\u00e7a, <em>Symbolic Regression with augmented dataset using RuleFit<\/em><\/li><li>Fabr\u00edcio Olivetti De Fran\u00e7a, <em>Comparison of OLS and NLS to fit Transformation-Interaction-Rational expressions<\/em><\/li><li>David Piringer, Bernhard Bloder and Gabriel Kronberger, <em>Steel Phase Kinetics Modeling using Symbolic Regression<\/em><\/li><li>Martin Steiger, Hans-Georg Brachtendorf and Gabriel Kronberger, <em>Identification of Discrete Non-Linear Dynamics of a Radio-Frequency Power Amplifier Circuit using Symbolic Regression<\/em><\/li><li>Gabriel Kronberger, <em>Local Optimization is Frequently Ill-conditioned in Genetic Programming for Symbolic Regression<\/em><\/li><li>Wolfgang Roland, Michael Kommenda and Gerald Berger-Weber, <em>Application of Symbolic Regression in Polymer Processing<\/em><\/li><\/ul>\n\n\n\n<p><strong>Workshop on Iterative Approximation of Fixed Points<\/strong><\/p>\n\n\n\n<p><\/p>\n\n\n\n<ul class=\"wp-block-list\"><li>Kifayat Ullah, <em>A new class of nonlinear operators and fixed point convergence using K iteration process<\/em><\/li><li>Vasile Berinde and Ioan A. Rus, <em>Quasi, enriched, and admissible perturbations for some classes of operators in the iterative approximation of fixed points<\/em><\/li><li>Paula Homorodan, <em>Kannan and Bianchini fixed point theorems in partially ordered H-distance space<\/em><\/li><li>Vasile Berinde, Adrian Petrusel and Ioan A. Rus, <em>On a Maruster problem in the iterative approximations of fixed points for demicontractive operators<\/em><\/li><li>Liviu-Ignat Socaciu, <em>Weak Convergence Teorems for Inertial Krasnoselskii-Mann Iterations in the class of enriched nonexpansive operators in Hilbert Spaces<\/em><\/li><li>Madalina Moga and Radu Trusca, <em>On some fixed point theorems for Ciric operators<\/em><\/li><li>Ioan Trifoi, <em>Fixed points of multivalued b-enriched multivalued nonexpansive mappings and *-b-enriched nonexpansive mappings<\/em><\/li><li>Alexandra Marchis, <em>Common fixed point theorems for enriched Jungck contractions in convex metric spaces<\/em><\/li><li>M\u0103d\u0103lina P\u0103curar, <em>Synchronous and Asynchronous cyclic contractions<\/em><\/li><li>Mariana Cufoian and Adriana Mitre, <em>An integral type \ufb01xed point theorem<\/em><\/li><\/ul>\n","protected":false},"excerpt":{"rendered":"<p>Symbolic Computation track Denis Mironov and Gleb Koshevoy, F-polynomials and Newton polytopes Kisun Lee, Stephen Melczer and Josip Smol\u010di\u0107, Homotopy Techniques for Analytic Combinatorics in Several Variables Stephen Watt, Detecting Implicit Indeterminates in Symbolic Computation Ali Kemal Uncu and James H. Davenport, Artificial Conflict Sampling for Real Satisfiability Problems Zolt\u00e1n Kov\u00e1cs, Christopher Brown, Tomas Recio [&hellip;]<\/p>\n","protected":false},"author":23,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-501","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/synasc.ro\/2022\/wp-json\/wp\/v2\/pages\/501","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/synasc.ro\/2022\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/synasc.ro\/2022\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/synasc.ro\/2022\/wp-json\/wp\/v2\/users\/23"}],"replies":[{"embeddable":true,"href":"https:\/\/synasc.ro\/2022\/wp-json\/wp\/v2\/comments?post=501"}],"version-history":[{"count":3,"href":"https:\/\/synasc.ro\/2022\/wp-json\/wp\/v2\/pages\/501\/revisions"}],"predecessor-version":[{"id":504,"href":"https:\/\/synasc.ro\/2022\/wp-json\/wp\/v2\/pages\/501\/revisions\/504"}],"wp:attachment":[{"href":"https:\/\/synasc.ro\/2022\/wp-json\/wp\/v2\/media?parent=501"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}