researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
Links
Filter by Year
OR
AND
NOT
1
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
Filter by Tag
[+]
OR
AND
NOT
1
C++
Meta-Environment
analysis
architecture
data-flow
design
e-science
graph-rewriting
logic
meta-model
meta-objects
modeling
optimization
programming
rewriting
rule-based
rules
systematic-approach
web service
workflow
Filter by Author
[+]
OR
AND
NOT
1
Adina Magda Florea
Catalin Stoean
Costin Badica
D. Dumitrescu
Dana Petcu
Danilo Ardagna
Dorian Gorgan
Dragos Teodor Gavrilut
Eneia Nicolae Todoran
Florin Pop
Gabriel Ciobanu
Henri Luchian
James H. Davenport
Laura Diosan
Lorenzo Capra
Mihai Dascalu
Stefan Andrei
Stephen M. Watt
Valentin Cristea
Viorel Negru
Filter by Top terms
[+]
OR
AND
NOT
1
agent
algorithm
algorithms
analysis
approach
cloud
computing
data
detection
distributed
learning
method
model
models
multi
networks
symbolic
system
systems
using
SYNASC (synasc)
Editions
Publications
Viewing Publication 1 - 100 from 1282
2023
25th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2023, Nancy, France, September 11-14, 2023
IEEE,
2023.
[doi]
On Systems of Linear Homogeneous Algebraic Equations over Truncated Formal Series
Sergei A. Abramov
,
Marko Petkovsek
,
Anna A. Ryabenko
.
synasc 2023
:
40-43
[doi]
Detecting Manipulated Citations through Disturbed Node2Vec Embedding
Renata Avros
,
Saar Keshet
,
Dvora Toledano-Kitai
,
Evgeny Vexler
,
Zeev Volkovich
.
synasc 2023
:
274-278
[doi]
Using sequences of API Calls to identify and classify ransomware families
Gheorghe Balan
.
synasc 2023
:
178-185
[doi]
Optimising Linear Regression for Modelling the Dynamic Thermal Behaviour of Electrical Machines using NSGA-II, NSGA-III and MOEA/D
Tiwonge Msulira Banda
,
Alexandru-Ciprian Zavoianu
,
Andrei Petrovski 0001
,
Daniel Wöckinger
,
Gerd Bramerdorfer
.
synasc 2023
:
186-193
[doi]
A couple of catch-ups for the modified unit-circle zero location test
Yuval Bistritz
.
synasc 2023
:
52-59
[doi]
Informing Static Mapping and Local Scheduling of Stream Programs with Trace Analysis
Michail Boulasikis
,
Flavius Gruian
,
Gareth Callanan
,
Jörn W. Janneck
.
synasc 2023
:
98-103
[doi]
Aesthetic Evolution of Target 3D Volumes in Minecraft
Raluca Ioana Bucnaru
,
Nicolae-Eugen Croitoru
.
synasc 2023
:
194-201
[doi]
LLVM RISC-V Target Backend Instruction for Reshape Operator
Marius-Mihai Budurean
,
Danut Rotar
,
Sorin Valcan
,
Mihail Gaianu
.
synasc 2023
:
241-245
[doi]
Composite clustering crossover operator for improving genetic algorithms
Andrei Busmachiu
.
synasc 2023
:
332-339
[doi]
Predicting Blood Glucose Levels Using LSTM
Bogdan-Petru Butunoi
,
Viorel Negru
.
synasc 2023
:
293-299
[doi]
Enhancing the performance of software effort estimation through boosting ensemble learning
Ioana-Gabriela Chelaru
.
synasc 2023
:
300-307
[doi]
Comparative study of machine learning methods to classify bowel polyps
Kristijan Cincar
,
Todor Ivascu
,
Viorel Negru
.
synasc 2023
:
279-286
[doi]
Generic Encodings and Static Analysis of Constructor Rewriting Systems
Horatiu Cirstea
,
Pierre Lermusiaux
,
Pierre-Etienne Moreau
.
synasc 2023
:
1-4
[doi]
From State to Link-Register Model: A transformer for Self-Stabilizing Distributed Algorithms
Johanne Cohen
,
George Manoussakis
,
Laurence Pilard
.
synasc 2023
:
114-121
[doi]
Prediction and Classification Models for Hashimoto's Thyroiditis Risk Using Clinical and Paraclinical Data
Ana-Silvia Corlan
,
Diogen Babuc
,
Flavia Costi
,
Darian M. Onchis
.
synasc 2023
:
251-255
[doi]
Deep Learning Techniques Used in Multi-Temporal Urban Development Prediction
Diana Isabela Crainic
,
Adrian Iftene
.
synasc 2023
:
216-219
[doi]
A Poly-algorithmic Approach to Quantifier Elimination
James H. Davenport
,
Zak P. Tonks
,
Ali Kemal Uncu
.
synasc 2023
:
44-51
[doi]
So the problem has poor complexity: what next?
James H. Davenport
.
synasc 2023
:
5-10
[doi]
Symbolic and numeric computation of symmetries for a class of Schrödinger Equations
Siyuan Deng
,
Gregory J. Reid
.
synasc 2023
:
68-75
[doi]
Counting Linear Extensions of Modular Partial Orders
Matthieu Dien
,
Frédéric Peschanski
.
synasc 2023
:
60-67
[doi]
Uniform SAmplINg with BOLTZmann
Matthieu Dien
,
Martin Pépin
.
synasc 2023
:
94-97
[doi]
Landscape Analysis using Simulated Annealing
Sergiu-Andrei Dinu
.
synasc 2023
:
131-138
[doi]
On the Variants of Subset Sum: Projected and Unbounded
Pranjal Dutta
,
Mahesh Sreekumar Rajasree
.
synasc 2023
:
86-93
[doi]
Hybrid Intervals and Symbolic Block Matrices
Mike Ghesquiere
,
Stephen M. Watt
.
synasc 2023
:
32-39
[doi]
Leveraging BERT for Natural Language Understanding of Domain-Specific Knowledge
Vasile Ionut Iga
,
Gheorghe Cosmin Silaghi
.
synasc 2023
:
210-215
[doi]
Performance and Compliance Anomaly Detection
Gabriel Iuhasz
.
synasc 2023
:
20-25
[doi]
Towards Learning Infinite SMT Models (Work in Progress)
Mikolás Janota
,
Bartosz Piotrowski
,
Karel Chvalovský
.
synasc 2023
:
82-85
[doi]
The Inverse of the Complex Gamma Function
D. J. Jeffrey
,
Stephen M. Watt
.
synasc 2023
:
26-31
[doi]
The paradoxes and the infinite dazzled ancient mathematics and continue to do so today
Fairouz Kamareddine
,
Jonathan P. Seldin
.
synasc 2023
:
11-19
[doi]
Exploring Early Estimation of Treatment Needs for Age-Related Macular Degeneration Patients Using Easily Generated Features
Anca Marginean
,
George Adrian Muntean
,
Alexandra Ioana Bucur
,
Simona Delia Nicoara
.
synasc 2023
:
220-225
[doi]
Ontology engineering with Large Language Models
Patricia Mateiu
,
Adrian Groza
.
synasc 2023
:
226-229
[doi]
Computer Aided Diagnosis for Contrast-Enhanced Ultrasound Using Transformer Neural Network
Marina Adriana Mercioni
,
Catalin-Daniel Caleanu
,
Cristina Laura Sîrbu
.
synasc 2023
:
256-259
[doi]
Leveraging self-supervised label generation in ego-trajectory segmentation for self-driving vehicles
Andrei Mihalea
,
Adina Magda Florea
.
synasc 2023
:
139-145
[doi]
Quantum Reinforcement Learning in Protein Folding
Anca Ioana Muscalagiu
.
synasc 2023
:
316-323
[doi]
Maxpool operator for RISC-V processor
Dávid Nevezi-Strango
,
Danut Rotar
,
Sorin Valcan
,
Mihail Gaianu
.
synasc 2023
:
246-250
[doi]
Automatic Text Summarization using Kernel Ridge Regression
Daniela Onita
,
Ciprian Cucu
.
synasc 2023
:
202-209
[doi]
Overview of Machine Learning Methods for Stroke Detection using Weather Data
Andreea Alina Ploscar
,
Anastasia-Daria Marc
,
Cristina Caterina Aldea
,
Adriana Mihaela Coroiu
.
synasc 2023
:
324-331
[doi]
New Techniques in Numerical Analysis for Artificial Intelligence
Cristina Popirlan
,
Claudiu Ionut Popirlan
.
synasc 2023
:
76-81
[doi]
Solar Flare Classification using Modified Metaheuristic Optimized XGBoost
Branislav Radomirovic
,
Luka Jovanovic
,
Catalin Stoean
,
Miodrag Zivkovic
,
Angelina Njegus
,
Nebojsa Bacanin
.
synasc 2023
:
287-292
[doi]
Cyber vulnerabilities surveillance via web-scraped specialized documents
Alexandru-Gabriel Sirbu
.
synasc 2023
:
308-315
[doi]
1
Asma Soualah
,
Matthieu Martel
,
Stéphane Abide
.
synasc 2023
:
122-130
[doi]
Influence of Manual Inter-Observer Variability for the Performance of Deep Learning Models in Semantic Segmentation
Catalin Stoean
,
Nebojsa Bacanin
,
Ruxandra Stoean
,
Leonard Ionescu
,
Alina-Maria Garau
,
Cristina-Camelia Ghitescu
.
synasc 2023
:
266-273
[doi]
Quantitative Programming and Continuous-Time Markov Chains
Eneia Nicolae Todoran
.
synasc 2023
:
104-113
[doi]
Prediction of Malignancy in Lung Cancer using several strategies for the fusion of Multi-Channel Pyradiomics Images
Guillermo Torres
,
Jan Rodriguez Dueñas
,
Sonia Baeza Mena
,
Antoni Rosell Gratacós
,
Carles Sánchez
,
Debora Gil
.
synasc 2023
:
236-240
[doi]
Semantic Change Detection for the Romanian Language
Ciprian-Octavian Truica
,
Victor Tudose
,
Elena Simona Apostol
.
synasc 2023
:
146-153
[doi]
Cloud Service Failure Prediction on Google's Borg Cluster Traces Using Traditional Machine Learning
Adrian-Ioan Tuns
,
Adrian Spataru
.
synasc 2023
:
162-169
[doi]
Dataset Distillation via Multi-objective Genetic Algorithms
Robert-Mihail Ungureanu
.
synasc 2023
:
154-161
[doi]
Convolutional Neural Networks For Eye Detection Trained With Manually And Automatically Generated Ground Truth Data
Sorin Valcan
,
Mihail Gaianu
.
synasc 2023
:
230-235
[doi]
Neural Architecture Search with Zero-Cost Proxies
Behiye Begüm Yüzgülen
.
synasc 2023
:
260-265
[doi]
Optimising Artificial Neural Network topologies using Genetic Algorithms with very small populations
Shanti Zmuschi
,
Nicolae-Eugen Croitoru
.
synasc 2023
:
170-177
[doi]
2022
Prescriptive Analytics: When Data- and Simulation-based Models Interact in a Cooperative Way
Michael Affenzeller
,
Michael Bögl
,
Lukas Fischer 0001
,
Florian Sobieczky
,
Kaifeng Yang
,
Jan Zenisek
.
synasc 2022
:
1-8
[doi]
Authors and Collaborator Groups Ranking Analysis on SYNASC using Centrality Measures
Victor Bogdan
,
Alin Brîndusescu
.
synasc 2022
:
200-207
[doi]
24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2022, Hagenberg / Linz, Austria, September 12-15, 2022
Bruno Buchberger
,
Mircea Marin
,
Viorel Negru
,
Daniela Zaharie
, editors,
IEEE,
2022.
[doi]
FB-RO-Offense - A Romanian Dataset and Baseline Models for Detecting Offensive Language in Facebook Comments
Gabriel-Razvan Busuioc
,
Andrei Paraschiv
,
Mihai Dascalu
.
synasc 2022
:
133-142
[doi]
On Measuring the Dissimilarity between Biological Sequences
Alina Carunta
,
Mihai Plesu
.
synasc 2022
:
371-374
[doi]
Cerebral Metastases Segmentation using Transfer Gliomas Learning and GrabCut
Ciprian-Mihai Ceausescu
,
Bogdan Alexe
.
synasc 2022
:
342-346
[doi]
Deciding Whether two Codes Have the Same Ambiguities is in co-NP
Yannick Chevalier
,
Michaël Rusinowitch
.
synasc 2022
:
84-91
[doi]
Complex Network Analysis using Artificial Intelligence Algorithms
Camelia Chira
.
synasc 2022
:
1-3
[doi]
Proof of Concept for a Roundtrip Engineering IS for the New Enterprise in the Industry 4.0 Era
Andrei Chis
,
Ana-Maria Ghiran
,
Robert Andrei Buchmann
.
synasc 2022
:
212-215
[doi]
Organic Structures Emerging From Bio-Inspired Graph-Rewriting Automata
Paul Cousin
,
Aude Maignan
.
synasc 2022
:
293-296
[doi]
Comparison of OLS and NLS to fit Transformation-Interaction-Rational expressions
Fabrício Olivetti de França
.
synasc 2022
:
319-322
[doi]
Symbolic Regression with augmented dataset using RuleFit
Fabrício Olivetti de França
.
synasc 2022
:
323-326
[doi]
The Impact of Convolutional Neural Network Parameters in the Binary Classification of Mammograms
Madalina Dicu
,
Laura Diosan
,
Anca Andreica
,
Camelia Chira
,
Alin Cordos
.
synasc 2022
:
181-188
[doi]
Proof of Useful Work Based on Matrix Computation
Cojocaru Dragos
.
synasc 2022
:
108-116
[doi]
Unsupervised Extractive Summarization with BERT
Andreea-Nicoleta Dutulescu
,
Mihai Dascalu
,
Stefan Ruseti
.
synasc 2022
:
158-164
[doi]
Evaluating the effort of building a Machine Learning model for malware detection from ground zero
Anton Dan Gabriel
.
synasc 2022
:
365-370
[doi]
Fully-adaptive Model for Broadcasting with Universal Lists
Saber Gholami
,
Hovhannes A. Harutyunyan
.
synasc 2022
:
92-99
[doi]
FERPModels: A Certification Framework for Expansion-Based QBF Solving
Vedad Hadzic
,
Roderick Bloem
,
Ankit Shukla
,
Martina Seidl
.
synasc 2022
:
80-83
[doi]
IPO-MAXSAT: The In-Parameter-Order Strategy combined with MaxSAT solving for Covering Array Generation
Irene Hiess
,
Ludwig Kampel
,
Michael Wagner 0026
,
Dimitris E. Simos
.
synasc 2022
:
71-79
[doi]
Extreme Points of the Unit Ball B4 in the Space of Real Polynomials of Degree at most Four with the Supremum Norm
Jan-Michael Holzinger
,
Róbert Vajda
.
synasc 2022
:
19-26
[doi]
Building customized Named Entity Recognition models for specific process automation tasks
Vasile Ionut Iga
,
Gheorghe Cosmin Silaghi
.
synasc 2022
:
216-219
[doi]
Semi-Supervised Pipeline for Human Sprites Neural Rendering
Alexandru Ionascu
,
Sebastian Stefaniga
.
synasc 2022
:
264-267
[doi]
Machine Learning Models to Predict Soil Moisture for Irrigation Schedule
Md Nahin Islam
,
Doina Logofatu
.
synasc 2022
:
226-232
[doi]
The XGBoost Tuning by Improved Firefly Algorithm for Network Intrusion Detection
Luka Jovanovic
,
Dijana Jovanovic
,
Milos Antonijevic
,
Miodrag Zivkovic
,
Nebojsa Budimirovic
,
Ivana Strumberger
,
Nebojsa Bacanin
.
synasc 2022
:
268-275
[doi]
F-polynomials & Newton polytopes
Gleb A. Koshevoy
,
Denis Mironov
.
synasc 2022
:
51-54
[doi]
A web version of Tarski, a system for computing with Tarski formulas and semialgebraic sets
Zoltán Kovács
,
Christopher W. Brown
,
Tomás Recio
,
Róbert Vajda
.
synasc 2022
:
59-62
[doi]
Local Optimization Often is Ill-conditioned in Genetic Programming for Symbolic Regression
Gabriel Kronberger
.
synasc 2022
:
304-310
[doi]
Homotopy Techniques for Analytic Combinatorics in Several Variables
Kisun Lee
,
Stephen Melczer
,
Josip Smolcic
.
synasc 2022
:
27-34
[doi]
Obfuscation Techniques Based on Random Strings Used in Malicious VBA Scripts
Marilena Lupascu
.
synasc 2022
:
347-352
[doi]
AlphaFold-based protein analysis pipeline
Octavian-Florin Maghiar
.
synasc 2022
:
338-341
[doi]
Balanced Dense Multivariate Multiplication: The General Case
Marc Moreno Maza
,
Haoze Yuan
.
synasc 2022
:
35-42
[doi]
n lattice
Shashank K. Mehta
,
Mahesh Sreekumar Rajasree
.
synasc 2022
:
100-107
[doi]
Steel Phase Kinetics Modeling using Symbolic Regression
David Piringer
,
Bernhard Bloder
,
Gabriel Kronberger
.
synasc 2022
:
327-330
[doi]
One side class SVM training methods for malware detection
George Popoiu
.
synasc 2022
:
359-364
[doi]
A Practical Analysis of Techniques for Minting Genetic Information as NFTs in Blockchain Technology
Marco Radovancovici
,
Darius Galis
,
Ciprian Pungila
.
synasc 2022
:
331-337
[doi]
Using N-Gram Variations in Static Analysis for Malware Detection
Marco Radovancovici
,
Darius Galis
,
Ciprian Pungila
.
synasc 2022
:
195-199
[doi]
Empirical evaluation of LZW-Compressed Multiple Pattern Matching Algorithms
Mario Reja
.
synasc 2022
:
125-132
[doi]
Application of Symbolic Regression in Polymer Processing
Wolfgang Roland
,
Michael Kommenda
,
Gerald R. Berger-Weber
.
synasc 2022
:
311-318
[doi]
Exploring the potential of prototype-based soft-labels data distillation for imbalanced data classification
Radu-Andrei Rosu
,
Mihaela Elena Breaban
,
Henri Luchian
.
synasc 2022
:
173-180
[doi]
Implementation Techniques for Mathematical Model Checking
Wolfgang Schreiner
.
synasc 2022
:
12-15
[doi]
What's New In QBF Solving? : (Invited Talk)
Martina Seidl
.
synasc 2022
:
16-18
[doi]
Pedestrian Trajectory Prediction Based on Tree Method using Graph Neural Networks
Bogdan Ilie Sighencea
.
synasc 2022
:
245-249
[doi]
Reducing Adversarial Vulnerability Using GANs
Ciprian-Alin Simion
.
synasc 2022
:
353-358
[doi]
An Evaluation of Image Texture Descriptors and their Invariant Properties
Roxana Sipos-Lascu
,
Laura-Silvia Diosan
.
synasc 2022
:
284-292
[doi]
Identification of Discrete Non-Linear Dynamics of a Radio-Frequency Power Amplifier Circuit using Symbolic Regression
Martin Steiger
,
Hans Georg Brachtendorf
,
Gabriel Kronberger
.
synasc 2022
:
297-303
[doi]
On Using Perceptual Loss within the U-Net Architecture for the Semantic Inpainting of Textile Artefacts with Traditional Motifs
Catalin Stoean
,
Nebojsa Bacanin
,
Ruxandra Stoean
,
Leonard Ionescu
,
Cristian Alecsa
,
Mircea Hotoleanu
,
Miguel A. Atencia Ruiz
,
Gonzalo Joya
.
synasc 2022
:
276-283
[doi]
Improving the Diagnostic of Contrast Enhanced Ultrasound Imaging using Optical Flow for Focal Liver Lesion Detection
Cristina Laura Sîrbu
,
Georgiana Simion
,
Catalin-Daniel Caleanu
.
synasc 2022
:
258-263
[doi]
An Ant Colony Optimisation Approach to the Densest k-Subgraph Problem
Zoltán Tasnádi
,
Noémi Gaskó
.
synasc 2022
:
208-211
[doi]
Accelerating heuristic convergence on the "Evolution of Mona Lisa" problem by including image-centric mutation operators
Theodor-Alexandru Vlad
,
Eugen Croitoru
.
synasc 2022
:
143-149
[doi]
Sign in
or
sign up
to see more results.