default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID27th SYNASC 2025: Timisoara, Romania
- 27th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2025, Timisoara, Romania, September 22-25, 2025. IEEE 2025, ISBN 979-8-3315-9011-6
- James Harold Davenport
:
Symbolic Computation, Standards, & the EU AI Act. 1-2 - Paul Seip, Florian Beck, Johannes Fürnkranz, Clemens Hofstadler, Peter Pfeiffer, Martina Seidl, Robert Peharz, Stefan Szeider:
Towards SAT-Based Learning of NNF Networks. 1-5 - Adina Magda Florea:
Explainability in AI-Driven Medical Diagnostics. 1-6 - Thomas A. Henzinger:
Neural Certificates. 10 - Daniela Kaufmann:
Verifying Arithmetic Circuits with (Linear) Polynomials. 11-12 - Robert M. Corless, Deepak Singh Kalhan, Stephen M. Watt:
Well-Conditioned Polynomial Representations for Mathematical Handwriting Recognition. 13-20 - Jonas Stübbe, Anne Remke, Erika Ábrahám:
Scaling Up Reachability Analysis for Rectangular Automata with Random Clocks. 21-29 - Baran Solmaz, Tülay Ayyildiz:
Certified Real Eigenvalue Location. 30-36 - Arthur C. Norman, Stephen M. Watt:
Semi-Centennial REDUCE. 37-44 - Aishat Olagunju, Marc Moreno Maza, David J. Jeffrey:
Fraction-Free Comprehensive LU Decomposition and Variants. 45-52 - Isaac Wood:
Exploring Commutative Matrix Multiplication Schemes via Flip Graphs. 53-59 - Robert M. Corless, David J. Jeffrey, Qingze Li:
Factorial Powers. 60-63 - James Harold Davenport:
On the Brown-Davenport Construction. 64-67 - Diane Guignard, Olivier D. Lafitte:
Reproducing Kernels of Hilbert Spaces. 68-72 - Stefan Secrieru, Claudia Iasmina Lazar, Roxana Andreea Goina:
From Brute Force to Logic: Analyzing Diverse Approaches for Solving Sudoku Puzzles. 73-78 - Adrian Rebola-Pardo:
Short Proofs Without Interference. 79-88 - Vlad Radulescu, Albert M. K. Cheng, Stefan Andrei:
Local Memory Requirements in Embedded NUMA Architectures. 89-97 - Alena Gusakov, Peter Nelson, Stephen M. Watt:
Structuring Definitions in Mathematical Libraries. 98-105 - Tomasz Grzes:
Hybrid Algorithm of Finite State Machine State Assignment for Power Minimization. 106-112 - Prejban Mircea-George, Ciprian Pungila:
Automated Generation and Retrieval of Control-Flow Graphs in Malware Binaries via the Ghidra API Framework. 118-125 - Andrei-David Nan, Adrian F. Spataru:
Data-Locality-Aware Scheduling for Serverless Containerized Workflows Across the Edge-Cloud Continuum. 126-134 - Gareth Callanan, Flavius Gruian:
Parametric Actors Networks to Efficient Hardware: CORDIC-Based QR Decomposition. 135-142 - Eneia Nicolae Todoran, Gabriel Ciobanu:
Metric Continuation-Passing Semantics for Multiparty Interactions. 143-151 - Lorenzo Capra, Michael Köhler-Bußmeier:
Effective Translation of Algebraic PNs with Active Tokens in Maude: A Model for Adaptive Systems. 152-160 - Raul Zaharia, Dragos Gavrilut, Dorel Lucanu:
Remote Interface for Forensics Analysis in GView: A Lightweight Secure TUI Architecture. 161-167 - Vlad-Andrei Badoiu, Alexandru M. Gherghescu, Alexandru Agache, Mihai-Valentin Dumitru, Costin Raiciu:
LLMic: Building a Romanian Foundation Language Model. 168-175 - Cyrus Saadat, Cristina Maier, Dan A. Simovici:
Exploring Compression as a Proxy for Mineability in LLM-Generated Text. 176-183 - Emanuel Trînc, Flavius Grozavescu, Cosmin Ancuti, Cristina Stoljescu-Crisan, Valentin A. Nita:
Machine Learning Forecasting for Wind and Solar in Residential Hybrid Energy Systems. 184-193 - Cristina Carunta, Calin-Adrian Popa:
Optimized DeepLabV3+ Architecture for Semantic Segmentation. 194-201 - Clara Maathuis:
Metacognitive AI Model for Target Selection in Military Operations. 202-209 - Ana-Silvia Corlan, Flavia Costi, Emanuel Covaci, Darian M. Onchis:
Age-Related Differences and Machine Learning-Based Insights in Patients with Non-Functioning Adrenal Adenomas. 210-218 - Dragos-Andrei Chileban, Andrei-Stefan Bulzan, Cosmin Cernazanu-Glavan:
CrashSplat: 2D to 3D Vehicle Damage Segmentation in Gaussian Splatting. 219-227 - Cezar Tudor, Cristian Simionescu:
Zonal Estimation Method for Offline Travel Time Prediction in Sparse Data Environments. 228-234 - Marco Radovancovici:
Arithmetic Analysis: Versatile and Efficient Feature Grammars for Static Malware Classification. 235-243 - Vasile Vancea:
Predicting DNA Toehold-Mediated Strand Displacement Rate Constants Using a Quantum Convolutional Neural Network. 244-252 - Emanuel-Craciun Trînc, Cosmin Ancuti, Cristina Stolojescu-Crisan, Valentin Nita:
Beyond Accuracy: An Explainable AI Approach to Chest X-Ray Pneumonia Detection. 253-262 - Iulian-Teodor Deac, Harold-Nimród Földvári, Florin Craciun:
PyStash: Retrieval-Augmented Generation Pipeline Context Aware Fine Tuning. 263-271 - Mihai-Adrian Tecliceanu, Mihai Dascalu:
OCWhy: Retrieval-Augmented Question Answering over Open CourseWare Lectures. 272-279 - Vlad Andrei Butnaru, Eugen Croitoru:
A Visual Comparison Between Neutral Networks and Schemata Dynamics in Genetic Algorithms. 280-287 - Adrian Diac, Alin Stefanescu:
Evaluating Cybersecurity Risk via Psychometric Analysis and Machine Learning. 288-293 - Victor-Miron Boiangiu, Stefan Ruseti, Mihai Dascalu:
CrossRead: An NLP Pipeline for Identifying Similar News Articles Across Multiple Sources. 294-301 - Cezar Tudor, Stefan-Daniel Achirei, Cristian Simionescu:
ContaGPT: A Domain-Adapted LLM for Romanian Financial and Accounting Applications. 302-308 - Andreea Brad, Ciprian Pungila:
Facial Action Units in Deepfake Video Detection: A Survey and Research Outlook. 309-316 - Ditmár Mate, Lehel Csató:
Salivary Ferning Segmentation with a Lightweight CNN. 317-323 - Ana-Maria Simion, Adina Magda Florea, Irina Mocanu:
A Unified Detection, Classification, and Segmentation Approach for Breast Ultrasound Images. 324-332 - Alexandru-Andrei Avram, Alexandru Lecu, Adrian Groza:
MCP-Orchestrated Multi-Agent System for Automated Disinformation Detection. 333-341 - Adrian-Pavel Maduta:
Precision Matters: Comparing Deep Models for Visual Marker Detection on Eyewear-Mounted Calibration Objects. 342-349 - Cristina Marinescu:
Source Code Metrics and LLMs Summaries: Do Correlations Exist? 350-354 - Radu-Ionel Toma, Elena-Alexandra Sinoi:
Large-Scale Bankruptcy Risk Prediction for Romanian SMEs Using Robust Machine Learning Approaches. 355-363 - Andrei-Iulian Saceleanu, Irina Mocanu, Serban Radu:
Image Geolocalization Via Combined Classification and Regression. 364-370 - Kristijan Cincar, Todor Ivascu:
Integrating Predictive Models and Agent-Based Coordination for Hospital Efficiency. 371-376 - Ionut-Dragos Neremzoiu, Costin Badica:
Leveraging a Small Gemma Model to Predict Movie Ratings from Movielens Dataset: Preliminary Results. 377-385 - Daniel-Costel Bouleanu, Ionut Muraretu, Costin Badica, Giancarlo Fortino:
An Agent-Based Architecture for Modeling and Analyzing IoT-Edge-Cloud Continuum Systems. 386-394 - SM Mehedi Hasan, Doina Logofatu:
Benchmarking Heuristic and Cooperative Agents in AbstractSwarm Logistics Scenarios. 395-400 - Jung-Hsin Lin, Yu-Hsaun Chen, Han Cheng:
Free Energy Landscape and Markov State Model Analyses as Benchmarks for Molecular Dynamics Large Language Models of Protein-Ligand Interactions. 401-408 - Gabriel-Catalin Nedianu, Ionut Muraretu, Costin Badica:
Visualization of Training and Testing Results for Solving Mountain Car Problem Using Q-Learning. 409-416 - Muhammad Mubashir Ali Khan, Doina Logofatu:
Modernized Big Data Architecture to Develop E-Commerce Platforms Based on Fog Computing. 417-423 - Dejan Bulaja, Nebojsa Bacanin, Ruxandra Stoean, Branislav Radomirovic, Vico Zeljkovic, Miroslav Cajic, Luka Jovanovic:
Battery State-of-Health Prediction Using XGBoost Tuned by Modified Metaheuristics. 424-431 - Mihai Osan, Flavia Micota:
Dynamic Flexible Scheduling with Extended Technical Constraints Using Genetic Programming. 432-440 - Madalina-Andreea Mitran, Ene Mihai-Lucian:
Bound Constraint Handling Methods for Differential Evolution-Based Hyperparameter Optimization. 441-448 - Nebojsa Bacanin, Luka Jovanovic, Miodrag Zivkovic, Catalin Stoean, Tamara Zivkovic, Milos Antonijevic, Branislav Radomirovic:
Applied Metaheuristic Hyperparameter Tuning: Machine Learning in Internet of Things Cybersecurity. 449-455 - Mircea-Andrei Radu:
Deep Learning Techniques for Processing Fetal First Trimester Ultrasound Videos. 456-464 - Doina Chiroiu-Jitianu, Mihai Nan, Irina Georgiana Mocanu:
Ethical and Practical Trade-Offs in Human Action Recognition Models for Assistive Systems. 465-473 - Ioana-Cristina Igret, Gabriel Iuhasz, Delia Teleaga, Valentin Poncos:
Unsupervised Landslide Detection from InSAR-Derived Time Series Using Change Point Analysis. 474-481 - Ioana-Victoria Zinveliu, Florica Dolca, Mircea Giurgiu:
Audio Deepfake Detection Using MFCC Features and CNNs. 482-488 - Rares-Bogdan Stefea, Andrei Scoferta, Marc Frîncu:
Analyzing and Forecasting the Evolution of Desertification in Southern Romania using Multispectral Imagery. 489-496 - Oscar Gal, Mircea Giurgiu:
Objective Evaluation of Romanian TTS Systems: Glow-TTS and VITS. 497-503 - Zhuoqian Wu, Andrei Ancuta, Maitane Urrutia-Aparicio, Helga Hochbauer, Marc Frîncu, Maryam Imani:
Towards a Modular Multigis Architecture: Motivating Pilots in Drainage Design, Invasive Species Detection, and Heritage Analysis. 504-509 - Tudor-Octavian Mihaita:
CLIP-XRad: Learning Multimodal Representations of Chest X-Rays Through Contrastive Pretraining with Medical Concept Alignment. 510-517 - Fabian Galis, Darian M. Onchis:
Topology Meets Attribution: A Novel Explainability Approach for Transparent Medical Decision Support. 518-523 - Ramona-Georgiana Albert, George Stoica, Mihaela Elena Breaban:
Evolving Boolean Rule-Based Classifiers for Fraud Detection via Genetic Programming. 524-531 - George-Cristian Serban:
X-RLHF: An Explainable Reinforcement Learning from Human Feedback Framework. 532-539 - Stoica George:
Increasing the Training Speed with Batch Size Schedulers. 540-547 - Lucian-Constantin Isac, Emanuel Florentin Olariu:
Mixed-Integer Programming Models for the Bandwidth Coloring Problem: A Comparative Analysis. 548-553 - Alexandru Berindeie:
Unmasking Emotions: A Robust Facial Recognition Ensemble System. 554-562 - Cozmina Scorobete:
Improving Stock Market Anomaly Detection Using Hybrid Genetic Autoencoder. 563-567 - Rares-Danut Patcas:
AI-Powered Issue Classification and Task Prioritization. 568-575
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 2026-08-20 00:34 CEST 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, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
