default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID19th SYNASC 2017: Timisoara, Romania
- Tudor Jebelean, Viorel Negru, Dana Petcu, Daniela Zaharie, Tetsuo Ida, Stephen M. Watt:
19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2017, Timisoara, Romania, September 21-24, 2017. IEEE Computer Society 2017, ISBN 978-1-5386-2626-9
Invited Papers
- Erika Ábrahám
, Gereon Kremer:
SMT Solving for Arithmetic Theories: Theory and Tool Support. 1-8 - Armin Biere, Manuel Kauers, Daniela Ritirc:
Challenges in Verifying Arithmetic Circuits Using Computer Algebra. 9-15 - Bruno Buchberger:
Gröbner Bases Computation and Macaulay Matrices. 16 - Panagiota Fatourou:
Concurrency for the Masses: The Paradigm of Software Transactional Memory. 17-22 - Tetsuo Ida:
Models of Computation for Origami. 23-25 - Gheorghe Paun:
Numerical P Systems (After Ten Years). 26-29 - Klaus-Dieter Schewe:
Concurrent Reflective Abstract State Machines. 30-35 - Wolfgang Windsteiger:
Theorema 2.0: A Brief Tutorial. 36-38
Symbolic Computation: Regular Papers
- John Kluesner, Michael B. Monagan:
Resolving Zero Divisors Using Hensel Lifting. 39-48 - Róbert Vajda:
Maximal Radius for Stabilty Regions of Explicit Runge Kutta Methods by Real Quantifier Elimination. 49-54 - Tateaki Sasaki, Daiju Inaba:
Simple Relation between the Lowest-Order Element of Ideal 〈G, H〉 and the Last Element of Polynomial Remainder Sequence. 55-62
Symbolic Computation: Work in Progress Papers
- K. Amenyo Folitse, David J. Jeffrey, Robert M. Corless:
Properties and Computation of the Functional Inverse of Gamma. 63-66 - Zak Tonks, Gregory Sankaran, James H. Davenport:
Fast Matrix Operations in Computer Algebra. 67-70 - Nasir Khattak, D. J. Jeffrey:
Rational Orthonormal Matrices. 71-74 - Fadoua Ghourabi:
Toward Non-flat Geometrical Origami Folds with Eos System. 75-78
Numerical Computing: Regular Papers
- Emmanuel Audusse, Olivier D. Lafitte, Agnès Leroy, Benjamin Melinand, Chi-Tuan Pham, Pierrick Quemar:
Parametric Study of the Accuracy of an Approximate Solution for the Mild-Slope Equation. 79-85 - Fei Wang, Greg Reid, Henry Wolkowicz:
An SDP-based Method for the Real Radical Ideal Membership Test. 86-93 - Agneta Maria Balint, Stefan Balint:
Existence of Gaps on the Path of Equilibriums in Case of Longitudinal Flight with Constant Forward Velocity. 94-98 - Darian M. Onchis, Simone Zappalá:
Constructive Realizable Multi-resolution Wavelet-Like Systems Based on Multi-windows Spline-Type Spaces. 99-104 - Peter Mitura, Ivan Simecek, Ivan Kotenkov:
Effective Construction of Convex Hull Algorithms. 105-112
Logic and Programming: Regular Papers
- David M. Cerna, Michael Peter Lettmann:
Towards a Clausal Analysis of Proof Schemata. 113-120 - Florian Faissole:
Formalization and Closedness of Finite Dimensional Subspaces. 121-128 - Andrei Arusoaie, David Nowak, Vlad Rusu, Dorel Lucanu:
A Certified Procedure for RL Verification. 129-136 - Pritom Rajkhowa, Fangzhen Lin:
VIAP - Automated System for Verifying Integer Assignment Programs with Loops. 137-144 - Hossein Hojjat, Philipp Rümmer:
Deciding and Interpolating Algebraic Data Types by Reduction. 145-152 - Ana Turlea, Florentin Ipate, Raluca Lefticaru:
A Test Suite Generation Approach Based on EFSMs Using a Multi-objective Genetic Algorithm. 153-160 - Andrei Arusoaie, Stefan Ciobaca, Vlad Craciun, Dragos Gavrilut, Dorel Lucanu:
A Comparison of Open-Source Static Analysis Tools for Vulnerability Detection in C/C++ Code. 161-168
Logic and Programming: Papers on Tools/Experimental Results
- Cezary Kaliszyk, Josef Urban, Jirí Vyskocil:
System Description: Statistical Parsing of Informalized Mizar Formulas. 169-172
Artificial Intelligence: Regular Papers
- Dan A. Simovici, Roman A. Sizov, Selim Mimaroglu:
A Boolean Approach for Detection of Frequent Items. 173-179 - Doru Rotovei, Viorel Negru:
Improving Lost/Won Classification in CRM Systems Using Sentiment Analysis. 180-187 - Andrei Cristian Nica, Tudor Berariu, Florin Gogianu, Adina Magda Florea:
Learning to Maximize Return in a Stag Hunt Collaborative Scenario through Deep Reinforcement Learning. 188-195 - Laura Franzoi:
Jaccard-Like Fuzzy Distances for Computational Linguistics. 196-202 - Ciprian-Octavian Truica, Elena Simona Apostol, Catalin Adrian Leordeanu:
Topic Modeling Using Contextual Cues. 203-210 - Ramona Stoica:
MultiNetCom: An Extended Framework for Communities Detection in Multi-relational Networks. 211-218 - Liviu Octavian Mafteiu-Scai, Emanuela Mafteiu-Scai, Teodora Voina:
Bandwidths Optimization on Sparse Matrices Using Brain Storm Optimization. 219-224 - Dorinela Sirbu, Marilena Panaite, Ana Secui, Mihai Dascalu, Nicolae Nistor, Stefan Trausan-Matu:
ReaderBench: Building Comprehensive Sociograms of Online Communities. 225-231 - Dragos Teodor Gavrilut, Anton Dan Gabriel, George Popoiu:
Machine Learning based Malware Detection. How to Balance Memory Footprint with Model Accuracy. 232-238 - Zsuzsanna Marian, István Gergely Czibula, Gabriela Czibula:
A Hierarchical Clustering-Based Approach for Software Restructuring at the Package Level. 239-246 - Diana-Lucia Miholca, Gabriela Czibula, Zsuzsanna Marian, István Gergely Czibula:
An Unsupervised Learning Based Conceptual Coupling Measure. 247-254 - Lavinia-Stefania Sirbu, Serban Radu:
Automated Negotiation Strategies Prediction in Multi-agent Systems. 255-262 - Adriana Birlutiu, Adrian Burlacu, Manuella Kadar, Daniela Onita:
Defect Detection in Porcelain Industry Based on Deep Learning Techniques. 263-270
Artificial Intelligence: Papers on Tools/Experimental Results
- Nicolae Nistor, Marilena Panaite, Mihai Dascalu, Stefan Trausan-Matu:
Identifying Socio-Cognitive Structures in Online Knowledge Building Communities Using Cohesion Network Analysis. 271-274 - Doina Cosovan, Catalin-Valeriu Lita:
Practical Aspects Related to Using Hidden Markov Models for Detecting Metamorphic File Infectors. 275-278 - Adriana Mihaela Coroiu:
Outliers Detection in Analysis of Cognitive Emotion Regulation Questionnaire for Teenagers. 279-283
Posters
- Paul Diac:
WARP: Efficient Automatic Web Service Composition. 284-285 - Victor Artigues:
Color Grading with Neural Network. 286-287
Distributed Computing: Regular Papers
- Barbara Guidi, Andrea De Salve, Laura Ricci:
A Data Aggregation Strategy Based on Wavelet for the Internet of Things. 288-295 - Gabriel Ciobanu, Eneia Nicolae Todoran:
Abstract Continuation Semantics for Asynchronous Concurrency. 296-303 - Darius Bufnea, Diana Sotropa:
Measuring and Visualizing the Scrappiness Level of a Website. 304-311 - Christoph Ertl, Ralf-Peter Mundani:
Ensuring Domain Consistency in an Adaptive Framework with Distributed Topology for Fluid Flow Simulations. 312-319 - Eneia Nicolae Todoran:
An Approach to Performance Evaluation Programming. 320-329 - Cristian-Nicolae Babau, Raul Razvan Suditu, Marius Marcu, Vladimir-Ioan Cretu:
Road Traffic Segments Characterization. 330-337
Advances in the Theory of Computing: Regular Papers
- Stefan Popescu:
Solving 2-D Pattern Matching using Networks of Polarized Picture Processors with Circular Permutation. 338-343
Workshop on Agents for Complex Systems
- Kalliopi Kravari, Nick Bassiliades:
Social Principles in Agent-Based Trust Management for the Internet of Things. 344-351 - Ioana Andra Codreanu, Adina Magda Florea, Irina Mocanu:
A Home Based Health-Care Solution for Older Adults Using Kinect. 352-355 - Adriana Dinis, Todor Ivascu, Viorel Negru:
Towards a Complex Evolutionary Agent-Based System for Medical Sensor Data. 356-360 - Costin Badica, Alex Becheru, Samuel Felton:
Integration of Jason Reinforcement Learning Agents into an Interactive Application. 361-368 - Victor Artigues:
Volume Estimation in Point Cloud using Multi-Agent System. 369-372
Workshop on Digital Image Processing in Medicine and Automotive Industry
- Debora Gil, Aura Hernández-Sabaté, David Castells-Rufas, Jordi Carrabina:
CYBERH: Cyber-Physical Systems in Health for Personalized Assistance. 373-376 - Sebastian-Aurelian Stefaniga, Mihail Gaianu:
Performance Analysis of Morphological Operation in CPU and GPU for Medical Images. 377-384 - Petru Radu, Cezar Valeriu Regep:
Algorithm Fusion for Windscreen Obstruction Detection in Autonomous Driving. 385-388 - Ioan Cristian Schuszter:
A Comparative Study of Machine Learning Methods for Traffic Sign Recognition. 389-392
Workshop on Data Representation for Learning, Living-Systems and Signals
- Martin Ehler, Manuel Gräf:
Numerically Optimizing Weights for Monte Carlo Integration on Smooth Compact Manifolds. 393-396 - Darian M. Onchis:
Detecting Proteine Coding Regions Using a Customized Multi-scales Splines Construction. 397-400 - Alina Andreica, Fernando Paulo Belfo, Florina Covaci:
Designing Data Interchange Services for Learning Components. 401-408
Workshop on Geoinformatics
- Teodora Selea, Marian Neagul:
Using Deep Networks for Semantic Segmentation of Satellite Images. 409-415
Workshop on HPC for Science and Technology
- Daniel Pop, Bogdan Irimie, Dana Petcu:
Distributed Optical Character Recognition for Old Romanian Prints. 416-418
Workshop on Natural Computing and Applications
- Catalin Stoean, Daniel Lichtblau:
Classifier Result Aggregation for Automatically Grading Histopathological Images. 419-425 - Viorica Rozina Chifu, Emil Stefan Chifu, Cristina Bianca Pop, Ioan Salomie, Madalina Lupu:
A Bio-inspired Method for Generating Healthy Meals for Seniors. 426-433 - George Anescu:
An Adaptive Penalty Function Method for Constrained Continuous Optimization in Population-Based Meta-Heuristic Optimization Methods. 434-441
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 2025-11-28 23:52 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:
