default search action
21st SYNASC 2019: Timisoara, Romania
- 21st International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2019, Timisoara, Romania, September 4-7, 2019. IEEE 2019, ISBN 978-1-7281-5724-5
- Anca Andreica
:
Cellular Automata Applications. 3 - Frank S. de Boer, Marcello M. Bonsangue:
On the Nature of Symbolic Execution. 4-5 - Arie Gurfinkel
The Science, Art, and Magic of Constrained Horn Clauses. 6-10 - Jonathan D. Hauenstein:
Using Numerical Insights to Improve Symbolic Computations. 11-16 - Peter Csaba Ölveczky:
Design and Validation of Cloud Storage Systems Using Rewriting Logic. 17-21 - Stephen M. Watt:
A Review of Algorithms for Symbolic Domains. 22 - Tateaki Sasaki:
An Attempt to Enhance Buchberger's Algorithm by Using Remainder Sequences and GCD Operation. 27-34 - Aaron E. Naiman:
Rational Gram-Schmidt-Searching vs. Computing. 35-39 - Sergiu Zaharia
Source Code Vulnerabilities Detection Using Loosely Coupled Data and Control Flows. 43-46 - Danielle A. Brake, Noah S. Daleo, Jonathan D. Hauenstein, Samantha N. Sherman:
Solving Critical Point Conditions for the Hamming and Taxicab Distances to Solution Sets of Polynomial Equations. 51-58 - Agneta M. Balint, Stefan Balint:
Existence and Static Stability of a Capillary Free Surface Appearing in a Dewetted Bridgman Process II. 59-67 - Krzysztof Szerszen
Application of T-Splines and Bézier Extraction for Boundary Description in Parametric Integral Equation System for 3D Laplace's Equation. 68-74 - Denisa Copandean, Dorian Gorgan:
A Visual Solution in Asteroids Detection. 77-80 - Gergely Kovásznai, Krisztián Gajdár, Laura Kovács
Portfolio SAT and SMT Solving of Cardinality Constraints in Sensor Network Optimization. 85-91 - David Damestani, Laura Kovács
Superposition Reasoning about Quantified Bitvector Formulas. 95-99 - Mihaita Dragan, Ioan Tomescu:
Bicyclic Connected Graphs Having Smallest Degree Distances. 105-108 - Radu Stefan Mincu, Camelia Obreja, Alexandru Popa
The Graceful Chromatic Number for Some Particular Classes of Graphs. 109-115 - Roxana E. Sichitiu, Marc E. Frîncu, Ovidiu Vaduvescu:
Digital Tracking Cloud Distributed Architecture for Detection of Faint NEAs. 121-128 - Ciprian Paduraru, Bogdan Ghimis, Miruna Paduraru:
Implementation of Publisher-Subscriber Paradigm Using Virtual Organisms. 129-136 - Iulia-Monica Szuhai, Maria-Iuliana Bocicor, Emilia-Loredana Pop, Ioan-Gabriel Mircea, Cristina Mircea:
Investigating Differences between Ancient and Modern Bacterial DNA in Dental Calculus via Autoencoders. 141-147 - Ciprian-Alin Simion, Dragos Teodor Gavrilut, Henri Luchian:
An Adversarial Machine Learning Approach to Evaluate the Robustness of a Security Solution. 148-154 - Csaba Sulyok
Towards Automated Quality Assessment Methods in Algorithmic Music Composition. 155-158 - Ioan Sima, Bazil Pârv:
Protein Folding Simulation Using Combinatorial Whale Optimization Algorithm. 159-166 - Nicolae-Eugen Croitoru:
Population Distribution Dynamics in Genetic Algorithms with High-Probability Mutation. 167-173 - Doru Rotovei, Viorel Negru:
Data Driven Sales Prediction Using Communication Sentiment Analysis in B2B CRM Systems. 174-181 - Noémi Gaskó
Shapley Value and Extremal Optimization for the Network Influence Maximization Problem. 182-189 - Mara-Renata Petrusel, Sergiu-George Limboi:
A Restaurants Recommendation System: Improving Rating Predictions Using Sentiment Analysis. 190-197 - Maria Nutu
A Machine Learning Perspective for Order Reduction in Electrical Motors Modeling. 198-205 - Parisa Alvandi, Stephen M. Watt:
Handwriting Feature Extraction via Legendre-Sobolev Matrix Representation. 206-213 - Agnieszka Boltuc, Krzysztof Szerszen
Identification of Elastoplastic Material Properties Using PIES and PSO. 214-221 - Marius E. Penteliuc
Prediction of Cloud Movement from Satellite Images Using Neural Networks. 222-229 - Dan-Georgian Marculet, Razvan Benchea, Dragos Teodor Gavrilut:
Methods for Training Neural Networks with Zero False Positives for Malware Detection. 230-236 - Eugeniusz Zieniuk
Interval Arithmetics in Modeling and Solving Uncertainly Defined Boundary Value Problems of Elasticity. 239-242 - Silviu Constantin Vitel, Gheorghe Balan
Improving Detection of Malicious Office Documents Using One-Side Classifiers. 243-247 - Alexandru Gabriel Bucevschi, Gheorghe Balan
Preventing File-Less Attacks with Machine Learning Techniques. 248-252 - Sara Retal
A Multi-Agent Placement System for Virtual Network Functions in a Cloud-Based Architecture. 255-262 - Mihaela Ilie, Diana Firinca, Ionut Muraretu
Feasibility of an Agent-Based Investment Platform for Renewable Energy Source Implementation. 263-269 - Sebastian-Aurelian Stefaniga
An Approach of Segmentation Method Using Deep Learning for CT Medical Images. 273-279 - Nicolae-Adrian Tocu, Valentin-Catalin Govoreanu, Teodor-Marian Nitescu, Gabriela-Alexandra Luca:
Multi-Control Virtual Reality Driving Simulator. 280-283 - Alin-Marius Cruceat, Alexandru Butean:
Assistive Tools for People with Cerebral Palsy: An Eye Tracker Calibration for Vision and Focus Training. 284-289 - Esmitt Ramírez
Localizing Pulmonary Lesions Using Fuzzy Deep Learning. 290-294 - Alexandru Munteanu
Deep Learning Techniques Applied for Road Segmentation. 297-303 - Adrian Petrusel, Radu Trusca:
Iterative Approximations for Non-Self Operators. 307-310 - Radu Marginean, Anca Andreica
Autonomous Image Segmentation by Competitive Unsupervised GrowCut. 313-319 - Delia Dumitru, Anca Andreica
Particle Swarm Optimization of Cellular Automata Rules for Edge Detection. 320-325 - Alina Enescu, Anca Andreica
Evolved Cellular Automata for Edge Detection in Grayscale Images. 326-332 - Petru Radu:
Evolutionary Design of Deep Neural Networks. 335-336 - Kristijan Cincar
Agent-Based Hospital Scheduling System. 337-338 - Bogdan-Petru Butunoi:
Artificial Intelligence Improving the Life of Type 1 Diabetes. 339-340 - Alina Carunta, Mihai Plesu:
Motif Detection in Biological Networks. 341-342 - Ioana-Andra Codreanu:
A Proposed Automatic Speech and Sentiment Recognition Serious Game for Older Adults with Parkinson's Disease. 343-344
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-12-26 00:34 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: