Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Marc Moreno Maza, Haoze Yuan |
Balanced Dense Multivariate Multiplication: The General Case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2022, Hagenberg / Linz, Austria, September 12-15, 2022, pp. 35-42, 2022, IEEE, 978-1-6654-6545-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Catalin Stoean, Nebojsa Bacanin, Ruxandra Stoean, Leonard Ionescu, Cristian Daniel Alecsa, Mircea Hotoleanu, Miguel A. Atencia Ruiz, Gonzalo Joya |
On Using Perceptual Loss within the U-Net Architecture for the Semantic Inpainting of Textile Artefacts with Traditional Motifs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2022, Hagenberg / Linz, Austria, September 12-15, 2022, pp. 276-283, 2022, IEEE, 978-1-6654-6545-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Ciprian-Mihai Ceausescu, Bogdan Alexe |
Cerebral Metastases Segmentation using Transfer Gliomas Learning and GrabCut. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2022, Hagenberg / Linz, Austria, September 12-15, 2022, pp. 342-346, 2022, IEEE, 978-1-6654-6545-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Victor Bogdan, Alin Brîndusescu |
Authors and Collaborator Groups Ranking Analysis on SYNASC using Centrality Measures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2022, Hagenberg / Linz, Austria, September 12-15, 2022, pp. 200-207, 2022, IEEE, 978-1-6654-6545-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Ciprian-Alin Simion |
Reducing Adversarial Vulnerability Using GANs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2022, Hagenberg / Linz, Austria, September 12-15, 2022, pp. 353-358, 2022, IEEE, 978-1-6654-6545-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | George Popoiu |
One side class SVM training methods for malware detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2022, Hagenberg / Linz, Austria, September 12-15, 2022, pp. 359-364, 2022, IEEE, 978-1-6654-6545-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Sorin Valcan, Mihail Gaianu |
Eye Detection For Drivers Using Convolutional Neural Networks With Automatically Generated Ground Truth Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2022, Hagenberg / Linz, Austria, September 12-15, 2022, pp. 239-244, 2022, IEEE, 978-1-6654-6545-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | David Piringer, Bernhard Bloder, Gabriel Kronberger |
Steel Phase Kinetics Modeling using Symbolic Regression. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2022, Hagenberg / Linz, Austria, September 12-15, 2022, pp. 327-330, 2022, IEEE, 978-1-6654-6545-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Adrian Groza, Áron Katona |
Fact-checking with explanations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2022, Hagenberg / Linz, Austria, September 12-15, 2022, pp. 150-157, 2022, IEEE, 978-1-6654-6545-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Gleb A. Koshevoy, Denis Mironov |
F-polynomials & Newton polytopes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2022, Hagenberg / Linz, Austria, September 12-15, 2022, pp. 51-54, 2022, IEEE, 978-1-6654-6545-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Zoltán Tasnádi, Noémi Gaskó |
An Ant Colony Optimisation Approach to the Densest k-Subgraph Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2022, Hagenberg / Linz, Austria, September 12-15, 2022, pp. 208-211, 2022, IEEE, 978-1-6654-6545-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Gabriel Kronberger |
Local Optimization Often is Ill-conditioned in Genetic Programming for Symbolic Regression. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2022, Hagenberg / Linz, Austria, September 12-15, 2022, pp. 304-310, 2022, IEEE, 978-1-6654-6545-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Marilena Lupascu |
Obfuscation Techniques Based on Random Strings Used in Malicious VBA Scripts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2022, Hagenberg / Linz, Austria, September 12-15, 2022, pp. 347-352, 2022, IEEE, 978-1-6654-6545-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Guillermo Torres, Carles Sánchez, Debora Gil |
Learning networks hyper-parameter using multi-objective optimization of statistical performance metrics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2022, Hagenberg / Linz, Austria, September 12-15, 2022, pp. 233-238, 2022, IEEE, 978-1-6654-6545-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Paul Cousin, Aude Maignan |
Organic Structures Emerging From Bio-Inspired Graph-Rewriting Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2022, Hagenberg / Linz, Austria, September 12-15, 2022, pp. 293-296, 2022, IEEE, 978-1-6654-6545-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Mario Reja |
Empirical evaluation of LZW-Compressed Multiple Pattern Matching Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2022, Hagenberg / Linz, Austria, September 12-15, 2022, pp. 125-132, 2022, IEEE, 978-1-6654-6545-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Michael Affenzeller, Michael Bögl, Lukas Fischer 0001, Florian Sobieczky, Kaifeng Yang, Jan Zenisek |
Prescriptive Analytics: When Data- and Simulation-based Models Interact in a Cooperative Way. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2022, Hagenberg / Linz, Austria, September 12-15, 2022, pp. 1-8, 2022, IEEE, 978-1-6654-6545-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Cristina Laura Sîrbu, Georgiana Simion, Catalin-Daniel Caleanu |
Improving the Diagnostic of Contrast Enhanced Ultrasound Imaging using Optical Flow for Focal Liver Lesion Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2022, Hagenberg / Linz, Austria, September 12-15, 2022, pp. 258-263, 2022, IEEE, 978-1-6654-6545-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Md Nahin Islam, Doina Logofatu |
Machine Learning Models to Predict Soil Moisture for Irrigation Schedule. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2022, Hagenberg / Linz, Austria, September 12-15, 2022, pp. 226-232, 2022, IEEE, 978-1-6654-6545-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Luka Jovanovic, Dijana Jovanovic, Milos Antonijevic, Miodrag Zivkovic, Nebojsa Budimirovic, Ivana Strumberger, Nebojsa Bacanin |
The XGBoost Tuning by Improved Firefly Algorithm for Network Intrusion Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2022, Hagenberg / Linz, Austria, September 12-15, 2022, pp. 268-275, 2022, IEEE, 978-1-6654-6545-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Camelia Chira |
Complex Network Analysis using Artificial Intelligence Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2022, Hagenberg / Linz, Austria, September 12-15, 2022, pp. 1-3, 2022, IEEE, 978-1-6654-6545-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Marco Radovancovici, Darius Galis, Ciprian Pungila |
A Practical Analysis of Techniques for Minting Genetic Information as NFTs in Blockchain Technology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2022, Hagenberg / Linz, Austria, September 12-15, 2022, pp. 331-337, 2022, IEEE, 978-1-6654-6545-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Madalina Dicu, Laura Diosan, Anca Andreica, Camelia Chira, Alin Cordos |
The Impact of Convolutional Neural Network Parameters in the Binary Classification of Mammograms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2022, Hagenberg / Linz, Austria, September 12-15, 2022, pp. 181-188, 2022, IEEE, 978-1-6654-6545-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Fabrício Olivetti de França |
Comparison of OLS and NLS to fit Transformation-Interaction-Rational expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2022, Hagenberg / Linz, Austria, September 12-15, 2022, pp. 319-322, 2022, IEEE, 978-1-6654-6545-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Kisun Lee, Stephen Melczer, Josip Smolcic |
Homotopy Techniques for Analytic Combinatorics in Several Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2022, Hagenberg / Linz, Austria, September 12-15, 2022, pp. 27-34, 2022, IEEE, 978-1-6654-6545-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Martina Seidl |
What's New In QBF Solving? : (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2022, Hagenberg / Linz, Austria, September 12-15, 2022, pp. 16-18, 2022, IEEE, 978-1-6654-6545-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Dugaesescu, Adina Magda Florea |
Evaluation of Class Activation Methods for Understanding Image Classification Tasks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2022, Hagenberg / Linz, Austria, September 12-15, 2022, pp. 165-172, 2022, IEEE, 978-1-6654-6545-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Bogdan Ilie Sighencea |
Pedestrian Trajectory Prediction Based on Tree Method using Graph Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2022, Hagenberg / Linz, Austria, September 12-15, 2022, pp. 245-249, 2022, IEEE, 978-1-6654-6545-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Bogdan Budihala, Todor Ivascu, Sebastian Stefaniga |
Motorage - Computer vision-based self-sufficient smart parking system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2022, Hagenberg / Linz, Austria, September 12-15, 2022, pp. 250-257, 2022, IEEE, 978-1-6654-6545-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Marco Radovancovici, Darius Galis, Ciprian Pungila |
Using N-Gram Variations in Static Analysis for Malware Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2022, Hagenberg / Linz, Austria, September 12-15, 2022, pp. 195-199, 2022, IEEE, 978-1-6654-6545-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Roxana Sipos-Lascu, Laura-Silvia Diosan |
An Evaluation of Image Texture Descriptors and their Invariant Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2022, Hagenberg / Linz, Austria, September 12-15, 2022, pp. 284-292, 2022, IEEE, 978-1-6654-6545-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Gabriel-Razvan Busuioc, Andrei Paraschiv, Mihai Dascalu |
FB-RO-Offense - A Romanian Dataset and Baseline Models for Detecting Offensive Language in Facebook Comments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2022, Hagenberg / Linz, Austria, September 12-15, 2022, pp. 133-142, 2022, IEEE, 978-1-6654-6545-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Wolfgang Roland, Michael Kommenda, Gerald R. Berger-Weber |
Application of Symbolic Regression in Polymer Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2022, Hagenberg / Linz, Austria, September 12-15, 2022, pp. 311-318, 2022, IEEE, 978-1-6654-6545-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Wolfgang Schreiner |
Implementation Techniques for Mathematical Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2022, Hagenberg / Linz, Austria, September 12-15, 2022, pp. 12-15, 2022, IEEE, 978-1-6654-6545-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Martin Steiger, Hans Georg Brachtendorf, Gabriel Kronberger |
Identification of Discrete Non-Linear Dynamics of a Radio-Frequency Power Amplifier Circuit using Symbolic Regression. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2022, Hagenberg / Linz, Austria, September 12-15, 2022, pp. 297-303, 2022, IEEE, 978-1-6654-6545-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Chis, Ana-Maria Ghiran, Robert Andrei Buchmann |
Proof of Concept for a Roundtrip Engineering IS for the New Enterprise in the Industry 4.0 Era. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2022, Hagenberg / Linz, Austria, September 12-15, 2022, pp. 212-215, 2022, IEEE, 978-1-6654-6545-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Theodor-Alexandru Vlad, Eugen Croitoru |
Accelerating heuristic convergence on the "Evolution of Mona Lisa" problem by including image-centric mutation operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2022, Hagenberg / Linz, Austria, September 12-15, 2022, pp. 143-149, 2022, IEEE, 978-1-6654-6545-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Anton Dan Gabriel |
Evaluating the effort of building a Machine Learning model for malware detection from ground zero. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2022, Hagenberg / Linz, Austria, September 12-15, 2022, pp. 365-370, 2022, IEEE, 978-1-6654-6545-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Alexandru Ionascu, Sebastian Stefaniga |
Semi-Supervised Pipeline for Human Sprites Neural Rendering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2022, Hagenberg / Linz, Austria, September 12-15, 2022, pp. 264-267, 2022, IEEE, 978-1-6654-6545-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Florin Dumitrescu, Adina Magda Florea, Mihai Trascau, Alexandru Sorici |
Intelligent Agent for Food Recognition in a Smart Fridge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2022, Hagenberg / Linz, Austria, September 12-15, 2022, pp. 220-225, 2022, IEEE, 978-1-6654-6545-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Cojocaru Dragos |
Proof of Useful Work Based on Matrix Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2022, Hagenberg / Linz, Austria, September 12-15, 2022, pp. 108-116, 2022, IEEE, 978-1-6654-6545-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Fabrício Olivetti de França |
Symbolic Regression with augmented dataset using RuleFit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2022, Hagenberg / Linz, Austria, September 12-15, 2022, pp. 323-326, 2022, IEEE, 978-1-6654-6545-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Shashank K. Mehta, Mahesh Sreekumar Rajasree |
On the bases of Zn lattice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2022, Hagenberg / Linz, Austria, September 12-15, 2022, pp. 100-107, 2022, IEEE, 978-1-6654-6545-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Jan-Michael Holzinger, Róbert Vajda |
Extreme Points of the Unit Ball B4 in the Space of Real Polynomials of Degree at most Four with the Supremum Norm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2022, Hagenberg / Linz, Austria, September 12-15, 2022, pp. 19-26, 2022, IEEE, 978-1-6654-6545-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Alina Carunta, Mihai Plesu |
On Measuring the Dissimilarity between Biological Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2022, Hagenberg / Linz, Austria, September 12-15, 2022, pp. 371-374, 2022, IEEE, 978-1-6654-6545-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Octavian-Florin Maghiar |
AlphaFold-based protein analysis pipeline. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2022, Hagenberg / Linz, Austria, September 12-15, 2022, pp. 338-341, 2022, IEEE, 978-1-6654-6545-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Eneia Nicolae Todoran |
Quantitative Programming and Markov Decision Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2022, Hagenberg / Linz, Austria, September 12-15, 2022, pp. 117-124, 2022, IEEE, 978-1-6654-6545-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Yannick Chevalier, Michaël Rusinowitch |
Deciding Whether two Codes Have the Same Ambiguities is in co-NP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2022, Hagenberg / Linz, Austria, September 12-15, 2022, pp. 84-91, 2022, IEEE, 978-1-6654-6545-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Andreea-Nicoleta Dutulescu, Mihai Dascalu, Stefan Ruseti |
Unsupervised Extractive Summarization with BERT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2022, Hagenberg / Linz, Austria, September 12-15, 2022, pp. 158-164, 2022, IEEE, 978-1-6654-6545-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Bruno Buchberger, Mircea Marin, Viorel Negru, Daniela Zaharie (eds.) |
24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2022, Hagenberg / Linz, Austria, September 12-15, 2022 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![IEEE, 978-1-6654-6545-8 The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Vasile Ionut Iga, Gheorghe Cosmin Silaghi |
Building customized Named Entity Recognition models for specific process automation tasks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2022, Hagenberg / Linz, Austria, September 12-15, 2022, pp. 216-219, 2022, IEEE, 978-1-6654-6545-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Saber Gholami, Hovhannes A. Harutyunyan |
Fully-adaptive Model for Broadcasting with Universal Lists. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2022, Hagenberg / Linz, Austria, September 12-15, 2022, pp. 92-99, 2022, IEEE, 978-1-6654-6545-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Darian M. Onchis, Codruta Istin, Eduard Hogea |
Advantages of a neuro-symbolic solution for monitoring IT infrastructures alerts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2022, Hagenberg / Linz, Austria, September 12-15, 2022, pp. 189-194, 2022, IEEE, 978-1-6654-6545-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Siyuan Deng, Zahra Mohammadi, Gregory J. Reid |
Algorithm for intersecting symbolic and approximate linear differential varieties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2022, Hagenberg / Linz, Austria, September 12-15, 2022, pp. 63-70, 2022, IEEE, 978-1-6654-6545-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Radu-Andrei Rosu, Mihaela Elena Breaban, Henri Luchian |
Exploring the potential of prototype-based soft-labels data distillation for imbalanced data classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2022, Hagenberg / Linz, Austria, September 12-15, 2022, pp. 173-180, 2022, IEEE, 978-1-6654-6545-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | James H. Davenport, Ali Kemal Uncu |
Artificial Conflict Sampling for Real Satisfiability Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2022, Hagenberg / Linz, Austria, September 12-15, 2022, pp. 55-58, 2022, IEEE, 978-1-6654-6545-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Stephen M. Watt |
Detecting Implicit Indeterminates in Symbolic Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2022, Hagenberg / Linz, Austria, September 12-15, 2022, pp. 43-50, 2022, IEEE, 978-1-6654-6545-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Zoltán Kovács, Christopher W. Brown 0001, Tomás Recio, Róbert Vajda |
A web version of Tarski, a system for computing with Tarski formulas and semialgebraic sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2022, Hagenberg / Linz, Austria, September 12-15, 2022, pp. 59-62, 2022, IEEE, 978-1-6654-6545-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Irene Hiess, Ludwig Kampel, Michael Wagner 0026, Dimitris E. Simos |
IPO-MAXSAT: The In-Parameter-Order Strategy combined with MaxSAT solving for Covering Array Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2022, Hagenberg / Linz, Austria, September 12-15, 2022, pp. 71-79, 2022, IEEE, 978-1-6654-6545-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Vedad Hadzic, Roderick Bloem, Ankit Shukla, Martina Seidl |
FERPModels: A Certification Framework for Expansion-Based QBF Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2022, Hagenberg / Linz, Austria, September 12-15, 2022, pp. 80-83, 2022, IEEE, 978-1-6654-6545-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Deena Awny |
Relation Extraction - A Study on Kernel Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2021, Timisoara, Romania, December 7-10, 2021, pp. 147-154, 2021, IEEE, 978-1-6654-0650-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Alexandru Ionascu |
Extracting football players video sprites from broadcast video. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2021, Timisoara, Romania, December 7-10, 2021, pp. 242-245, 2021, IEEE, 978-1-6654-0650-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Ruxandra Stoean, Nebojsa Bacanin, Leonard Ionescu, Marinela Boicea, Alina-Maria Garau, Cristina-Camelia Ghitescu |
Semantic Segmentation for Corrosion Detection in Archaeological Artefacts before Restoration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2021, Timisoara, Romania, December 7-10, 2021, pp. 246-251, 2021, IEEE, 978-1-6654-0650-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Andrei, Albert M. K. Cheng, Vlad Radulescu |
Designing a New Soft-Hard Task Model for Scheduling Real-Time Systems on a Multiprocessor Platform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2021, Timisoara, Romania, December 7-10, 2021, pp. 83-90, 2021, IEEE, 978-1-6654-0650-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Daniel J. Bates, David Eklund, Jonathan D. Hauenstein, Chris Peterson 0001 |
Excess intersections and numerical irreducible decompositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2021, Timisoara, Romania, December 7-10, 2021, pp. 52-60, 2021, IEEE, 978-1-6654-0650-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Ada-Astrid Mocanu, Adrian Iftene |
How the Events in the Life of Painters Influence the Colors of their Paintings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2021, Timisoara, Romania, December 7-10, 2021, pp. 105-112, 2021, IEEE, 978-1-6654-0650-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Cristian S. Calude |
Gödel Incompleteness and Proof-Assistants Extended Abstract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2021, Timisoara, Romania, December 7-10, 2021, pp. 1-3, 2021, IEEE, 978-1-6654-0650-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Bilal Hoteit, Imad Alex Awada, Alexandru Sorici, Adina Magda Florea |
Continuous Operations and Fully Autonomy of a Social Service Robotic System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2021, Timisoara, Romania, December 7-10, 2021, pp. 129-134, 2021, IEEE, 978-1-6654-0650-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Diana-Lucia Miholca |
New Conceptual Cohesion Metrics: Assessment for Software Defect Prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2021, Timisoara, Romania, December 7-10, 2021, pp. 163-170, 2021, IEEE, 978-1-6654-0650-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Miodrag Zivkovic, Catalin Stoean, Aleksandar Petrovic, Nebojsa Bacanin, Ivana Strumberger, Tamara Zivkovic |
A Novel Method for COVID-19 Pandemic Information Fake News Detection Based on the Arithmetic Optimization Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2021, Timisoara, Romania, December 7-10, 2021, pp. 259-266, 2021, IEEE, 978-1-6654-0650-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Liliana Cojocaru |
Towards the Complexity of Petri Nets and One Counter Machines via Coordinated Table Selective Substitution Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2021, Timisoara, Romania, December 7-10, 2021, pp. 200-207, 2021, IEEE, 978-1-6654-0650-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Raqeeb Rasheed |
Resultant-based Elimination for Skew Polynomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2021, Timisoara, Romania, December 7-10, 2021, pp. 11-18, 2021, IEEE, 978-1-6654-0650-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | D. J. Jeffrey |
Tree $T$ and Lambert $W$. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2021, Timisoara, Romania, December 7-10, 2021, pp. 19-24, 2021, IEEE, 978-1-6654-0650-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Koutschan, Anton Ponomarchuk, Josef Schicho |
Approximation of convex polygons by polygons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2021, Timisoara, Romania, December 7-10, 2021, pp. 91-98, 2021, IEEE, 978-1-6654-0650-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Costin-Gabriel Chiru, Ciprian-Octavian Truica, Elena Simona Apostol, Alexandru Ionescu |
Improving WordNet using Word Embeddings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2021, Timisoara, Romania, December 7-10, 2021, pp. 121-128, 2021, IEEE, 978-1-6654-0650-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Cristiana Vladescu, Maria-Alexandra Dinisor, Octavian Grigorescu, Dragos Corlatescu, Cristian Sandescu, Mihai Dascalu |
What are the Latest Cybersecurity Trends? A Case Study Grounded in Language Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2021, Timisoara, Romania, December 7-10, 2021, pp. 140-146, 2021, IEEE, 978-1-6654-0650-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Tateaki Sasaki, Masaru Sanuki, Daiju Inaba |
Proposal of Multivariate Polynomial Arithmetic in a Specified Width of High- or Low-Exponents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2021, Timisoara, Romania, December 7-10, 2021, pp. 25-32, 2021, IEEE, 978-1-6654-0650-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Darian M. Onchis, Ioan-Valentin Samuila |
Double distillation for class incremental learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2021, Timisoara, Romania, December 7-10, 2021, pp. 182-185, 2021, IEEE, 978-1-6654-0650-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Abdullah Khan, Alexei Vernitski, Alexei Lisitsa 0001 |
Untangling Braids with Multi-Agent Q-Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2021, Timisoara, Romania, December 7-10, 2021, pp. 135-139, 2021, IEEE, 978-1-6654-0650-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Marc Brossier, Olivier D. Lafitte |
Combining weak classifiers: a logical analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2021, Timisoara, Romania, December 7-10, 2021, pp. 178-181, 2021, IEEE, 978-1-6654-0650-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Stef Graillat, Fabienne Jézéquel, Enzo Queiros Martins, Maxime Spyropoulos |
Computing multiple roots of polynomials in stochastic arithmetic with Newton method and approximate GCD. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2021, Timisoara, Romania, December 7-10, 2021, pp. 45-51, 2021, IEEE, 978-1-6654-0650-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Marcin Jurkiewicz, Krzysztof Pastuszak, Mateusz Szypulski |
Graphs hard-to-process for greedy algorithm MIN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2021, Timisoara, Romania, December 7-10, 2021, pp. 208-213, 2021, IEEE, 978-1-6654-0650-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Rasmus Rendal Kjær, Magnus Holm Lundbergh, Magnus Mantzius, Hans Hüttel |
An Editor Calculus With Undo/Redo. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2021, Timisoara, Romania, December 7-10, 2021, pp. 66-74, 2021, IEEE, 978-1-6654-0650-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Ioana Leustean, Bogdan Macovei |
DELP: Dynamic Epistemic Logic for Security Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2021, Timisoara, Romania, December 7-10, 2021, pp. 275-282, 2021, IEEE, 978-1-6654-0650-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Dan A. Simovici, Joshua Yee |
Ultrametrics and Outlier Identification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2021, Timisoara, Romania, December 7-10, 2021, pp. 99-104, 2021, IEEE, 978-1-6654-0650-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Maria-Minerva Vonica, Andrei Ancuta, Marc Frîncu |
Glacier Movement Prediction through Computer Vision and Satellite Imagery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2021, Timisoara, Romania, December 7-10, 2021, pp. 113-120, 2021, IEEE, 978-1-6654-0650-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Siyuan Deng, Greg Reid, D. J. Jeffrey |
Parametric Linear Algebra in Maple: Reduced Row Echelon Form. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2021, Timisoara, Romania, December 7-10, 2021, pp. 33-36, 2021, IEEE, 978-1-6654-0650-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Lorenzo Capra |
An Efficient Maude Formalization of (Rewritable) PT Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2021, Timisoara, Romania, December 7-10, 2021, pp. 186-193, 2021, IEEE, 978-1-6654-0650-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Carsten Schneider, Mircea Marin, Viorel Negru, Daniela Zaharie (eds.) |
23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2021, Timisoara, Romania, December 7-10, 2021 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![IEEE, 978-1-6654-0650-5 The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Mihai Prunescu |
Secure Multiparty Computation in arbitrary rings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2021, Timisoara, Romania, December 7-10, 2021, pp. 283-290, 2021, IEEE, 978-1-6654-0650-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Ion Babalau, Dragos Corlatescu, Octavian Grigorescu, Cristian Sandescu, Mihai Dascalu |
Severity Prediction of Software Vulnerabilities based on their Text Description. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2021, Timisoara, Romania, December 7-10, 2021, pp. 171-177, 2021, IEEE, 978-1-6654-0650-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Gereon Kremer, Erika Ábrahám, Matthew England 0001, James H. Davenport |
On the Implementation of Cylindrical Algebraic Coverings for Satisfiability Modulo Theories Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2021, Timisoara, Romania, December 7-10, 2021, pp. 37-39, 2021, IEEE, 978-1-6654-0650-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Esmitt Ramírez, Carles Sanchéz Ramos, Debora Gil |
BronchoX-Cloud: A Diagnostic as a Service Cloud Platform for Planning and Navigation Bronchoscopy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2021, Timisoara, Romania, December 7-10, 2021, pp. 227-233, 2021, IEEE, 978-1-6654-0650-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Madalina-Andreea Mitran |
Analysis of the Influence of Bound Constraint Handling Strategies on the Search Direction in Differential Evolution Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2021, Timisoara, Romania, December 7-10, 2021, pp. 291-298, 2021, IEEE, 978-1-6654-0650-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | François Dubois, Olivier D. Lafitte |
An analytic and symbolic analysis of a coupled thermo-neutronic problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2021, Timisoara, Romania, December 7-10, 2021, pp. 61-65, 2021, IEEE, 978-1-6654-0650-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian-Aurelian Stefaniga |
Methods of acceleration for feature extractions in medical imaging using GPU processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2021, Timisoara, Romania, December 7-10, 2021, pp. 234-241, 2021, IEEE, 978-1-6654-0650-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Mihai-Dimitrie Minut, Adrian Iftene |
Creating a Dataset and Models Based on Convolutional Neural Networks to Improve Fruit Classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2021, Timisoara, Romania, December 7-10, 2021, pp. 155-162, 2021, IEEE, 978-1-6654-0650-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Eneia Nicolae Todoran |
Equivalence Classes in Performance Evaluation Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2021, Timisoara, Romania, December 7-10, 2021, pp. 194-199, 2021, IEEE, 978-1-6654-0650-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Togoe Nicolae-Bogdan-Cristian, Ciprian Pungila |
The Cleisthenes Protocol: A Fair Governance-Based Democratic Consensus Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2021, Timisoara, Romania, December 7-10, 2021, pp. 214-221, 2021, IEEE, 978-1-6654-0650-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Abdelqoddous Moussa, Olivier D. Lafitte |
Uncertainty treatment of a coupled model of thermohydraulics and neutronics using special functions solutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2021, Timisoara, Romania, December 7-10, 2021, pp. 40-44, 2021, IEEE, 978-1-6654-0650-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|