default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID25th SYNASC 2023: Nancy, France
- 25th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2023, Nancy, France, September 11-14, 2023. IEEE 2023, ISBN 979-8-3503-9412-2
- Horatiu Cirstea, Pierre Lermusiaux, Pierre-Etienne Moreau:
Generic Encodings and Static Analysis of Constructor Rewriting Systems. 1-4 - James H. Davenport
:
So the problem has poor complexity: what next? 5-10 - Fairouz Kamareddine, Jonathan P. Seldin:
The paradoxes and the infinite dazzled ancient mathematics and continue to do so today. 11-19 - Gabriel Iuhasz:
Performance and Compliance Anomaly Detection. 20-25 - D. J. Jeffrey, Stephen M. Watt:
The Inverse of the Complex Gamma Function. 26-31 - Mike Ghesquiere, Stephen M. Watt:
Hybrid Intervals and Symbolic Block Matrices. 32-39 - Sergei A. Abramov, Marko Petkovsek, Anna A. Ryabenko:
On Systems of Linear Homogeneous Algebraic Equations over Truncated Formal Series. 40-43 - James H. Davenport, Zak P. Tonks, Ali Kemal Uncu:
A Poly-algorithmic Approach to Quantifier Elimination. 44-51 - Yuval Bistritz:
A couple of catch-ups for the modified unit-circle zero location test. 52-59 - Matthieu Dien, Frédéric Peschanski:
Counting Linear Extensions of Modular Partial Orders. 60-67 - Siyuan Deng, Gregory J. Reid:
Symbolic and numeric computation of symmetries for a class of Schrödinger Equations. 68-75 - Cristina Popirlan, Claudiu Ionut Popirlan:
New Techniques in Numerical Analysis for Artificial Intelligence. 76-81 - Mikolás Janota, Bartosz Piotrowski, Karel Chvalovský:
Towards Learning Infinite SMT Models (Work in Progress). 82-85 - Pranjal Dutta, Mahesh Sreekumar Rajasree:
On the Variants of Subset Sum: Projected and Unbounded. 86-93 - Matthieu Dien, Martin Pépin:
Uniform SAmplINg with BOLTZmann. 94-97 - Michail Boulasikis, Flavius Gruian, Gareth Callanan, Jörn W. Janneck:
Informing Static Mapping and Local Scheduling of Stream Programs with Trace Analysis. 98-103 - Eneia Nicolae Todoran:
Quantitative Programming and Continuous-Time Markov Chains. 104-113 - Johanne Cohen, George Manoussakis, Laurence Pilard:
From State to Link-Register Model: A transformer for Self-Stabilizing Distributed Algorithms. 114-121 - Asma Soualah, Matthieu Martel, Stéphane Abide:
Scaling-up the Analysis of Neural Networks by Affine Forms: A Block-Wise Noising Approach1. 122-130 - Sergiu-Andrei Dinu:
Landscape Analysis using Simulated Annealing. 131-138 - Andrei Mihalea, Adina Magda Florea:
Leveraging self-supervised label generation in ego-trajectory segmentation for self-driving vehicles. 139-145 - Ciprian-Octavian Truica, Victor Tudose, Elena Simona Apostol:
Semantic Change Detection for the Romanian Language. 146-153 - Robert-Mihail Ungureanu:
Dataset Distillation via Multi-objective Genetic Algorithms. 154-161 - Adrian-Ioan Tuns, Adrian Spataru:
Cloud Service Failure Prediction on Google's Borg Cluster Traces Using Traditional Machine Learning. 162-169 - Shanti Zmuschi, Nicolae-Eugen Croitoru:
Optimising Artificial Neural Network topologies using Genetic Algorithms with very small populations. 170-177 - Gheorghe Balan:
Using sequences of API Calls to identify and classify ransomware families. 178-185 - Tiwonge Msulira Banda, Alexandru-Ciprian Zavoianu, Andrei Petrovski, Daniel Wöckinger, Gerd Bramerdorfer:
Optimising Linear Regression for Modelling the Dynamic Thermal Behaviour of Electrical Machines using NSGA-II, NSGA-III and MOEA/D. 186-193 - Raluca Ioana Bucnaru, Nicolae-Eugen Croitoru:
Aesthetic Evolution of Target 3D Volumes in Minecraft. 194-201 - Daniela Onita, Ciprian Cucu:
Automatic Text Summarization using Kernel Ridge Regression. 202-209 - Vasile Ionut Iga, Gheorghe Cosmin Silaghi:
Leveraging BERT for Natural Language Understanding of Domain-Specific Knowledge. 210-215 - Diana Isabela Crainic, Adrian Iftene:
Deep Learning Techniques Used in Multi-Temporal Urban Development Prediction. 216-219 - Anca Marginean, George Adrian Muntean, Alexandra Ioana Bucur, Simona Delia Nicoara:
Exploring Early Estimation of Treatment Needs for Age-Related Macular Degeneration Patients Using Easily Generated Features. 220-225 - Patricia Mateiu, Adrian Groza:
Ontology engineering with Large Language Models. 226-229 - Sorin Valcan, Mihail Gaianu:
Convolutional Neural Networks For Eye Detection Trained With Manually And Automatically Generated Ground Truth Data. 230-235 - Guillermo Torres, Jan Rodriguez Dueñas, Sonia Baeza Mena, Antoni Rosell Gratacós, Carles Sánchez, Debora Gil:
Prediction of Malignancy in Lung Cancer using several strategies for the fusion of Multi-Channel Pyradiomics Images. 236-240 - Marius-Mihai Budurean, Danut Rotar, Sorin Valcan, Mihail Gaianu:
LLVM RISC-V Target Backend Instruction for Reshape Operator. 241-245 - Dávid Nevezi-Strango, Danut Rotar, Sorin Valcan, Mihail Gaianu:
Maxpool operator for RISC-V processor. 246-250 - Ana-Silvia Corlan, Diogen Babuc, Flavia Costi, Darian M. Onchis:
Prediction and Classification Models for Hashimoto's Thyroiditis Risk Using Clinical and Paraclinical Data. 251-255 - Marina Adriana Mercioni, Catalin-Daniel Caleanu, Cristina Laura Sîrbu:
Computer Aided Diagnosis for Contrast-Enhanced Ultrasound Using Transformer Neural Network. 256-259 - Behiye Begüm Yüzgülen:
Neural Architecture Search with Zero-Cost Proxies. 260-265 - Catalin Stoean, Nebojsa Bacanin, Ruxandra Stoean, Leonard Ionescu, Alina-Maria Garau, Cristina-Camelia Ghitescu:
Influence of Manual Inter-Observer Variability for the Performance of Deep Learning Models in Semantic Segmentation. 266-273 - Renata Avros, Saar Keshet, Dvora Toledano-Kitai, Evgeny Vexler, Zeev Volkovich:
Detecting Manipulated Citations through Disturbed Node2Vec Embedding. 274-278 - Kristijan Cincar, Todor Ivascu, Viorel Negru:
Comparative study of machine learning methods to classify bowel polyps. 279-286 - Branislav Radomirovic, Luka Jovanovic, Catalin Stoean, Miodrag Zivkovic, Angelina Njegus, Nebojsa Bacanin:
Solar Flare Classification using Modified Metaheuristic Optimized XGBoost. 287-292 - Bogdan-Petru Butunoi, Viorel Negru:
Predicting Blood Glucose Levels Using LSTM. 293-299 - Ioana-Gabriela Chelaru:
Enhancing the performance of software effort estimation through boosting ensemble learning. 300-307 - Alexandru-Gabriel Sirbu:
Cyber vulnerabilities surveillance via web-scraped specialized documents. 308-315 - Anca Ioana Muscalagiu:
Quantum Reinforcement Learning in Protein Folding. 316-323 - Andreea Alina Ploscar, Anastasia-Daria Marc, Cristina Caterina Aldea, Adriana Mihaela Coroiu:
Overview of Machine Learning Methods for Stroke Detection using Weather Data. 324-331 - Andrei Busmachiu:
Composite clustering crossover operator for improving genetic algorithms. 332-339
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-21 20:35 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
