Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID20th SYNASC 2018: Timisoara, Romania
- 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018, Timisoara, Romania, September 20-23, 2018. IEEE 2018, ISBN 978-1-7281-0625-0
Invited Papers
- Olivier Bournez:
Ordinary Differential Equations & Computability. 3-5 - Dorel Lucanu
:
Proving Reachability Properties by Coinduction (Extended Abstract). 6-7 - Edwin Lughofer:
Self-adaptive forecast models in predictive maintenance systems. 8 - Sylvain Boulmé, Alexandre Maréchal, David Monniaux, Michaël Périn, Hang Yu:
The Verified Polyhedron Library: an Overview. 9-17 - Andrei Voronkov:
Reasoning with Quantifiers and Theories Using Saturation-Based Reasoning. 18 - Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani:
Incremental linearization: A practical approach to satisfiability modulo nonlinear arithmetic and transcendental functions. 19-26 - Enachescu Denis, Enachescu Cornelia:
Inferring, Learning and Modelling Complex Systems with Bayesian Networks. A Tutorial. 27-33 - Maria Prandini:
A set-based approach to model checking of nonlinear systems (invited tutorial). 34
Symbolic Computation
Regular Papers
- Tateaki Sasaki, Daiju Inaba:
Computing the Lowest-Order Element of a Multivariate Elimination Ideal by Using Remainder Sequences. 37-44 - Kristjan Liiva, Paul B. Jackson, Grant O. Passmore, Christoph M. Wintersteiger:
Compositional Taylor Model Based Validated Integration. 45-52 - Stéphane Despréaux, Aude Maignan:
GPaR: A Parallel Graph Rewriting Tool. 53-60
Work in Progress Papers
- Ana Carolina Camargos Couto, David J. Jeffrey:
Rational Householder Transformations. 61-64
Numerical Computing
Regular Papers
- Parisa Alvandi, Stephen M. Watt:
Real-Time Computation of Legendre-Sobolev Approximations. 67-74 - Norbert Tihanyi, Attila Kovács:
Computation Results of the Riemann Zeta Search Project. 75-79 - Agneta M. Balint, Stefan Balint, Loredana Tanasie:
An Axis Symmetric 2D Description of the Growth Process of a Single Crystal Hollow Tube Grown from the Melt by Pulling Down Method. 80-87 - Darian M. Onchis, Simone Zappalá:
Lax-Like Stability for the Discretization of Pseudodifferential Operators through Gabor Multipliers and Spline-Type Spaces. 88-94
Work in Progress Papers
- Irina Maria Artinescu, Costin Radu Boldea:
An Image Inpainting Technique Based on Parallel Projection Methods. 95-98
Logic and Programming
Regular Papers
- Florin Craciun, Gabriel Glodean:
Towards Compiling Region Types Into RTSJ-Compliant Java Code. 101-108 - Morad Muslimany, Michael Codish:
SAT-Based Big-Step Local Search. 109-116 - Andrei Alexandru, Gabriel Ciobanu:
Order Relations Over Finitely Supported Structures. 117-124
Papers on Tools/Experimental Results
- Rodica Condurache:
Experimental Evaluation of Acacia-K: A Tool for Synthesis of Reactive Systems from KLTL+ Specifications. 125-129
Advances in the Theory of Computing
Regular Papers
- Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe, José Maria Turull Torres:
The Polylog-Time Hierarchy Captured by Restricted Second-Order Logic. 133-140 - Guillaume Ducoffe, Ruxandra Marinescu-Ghemeci, Camelia Obreja, Alexandru Popa, Rozica Maria Tache:
Extremal Graphs with Respect to the Modified First Zagreb Connection Index. 141-148 - Olivier Bournez, Sabrina Ouazzani:
Cheap Non-Standard Analysis and Computability: Some Applications. 149-156 - Robert W. McGrail, Thuy Trang Nguyen, Thanh Thuy Trang Tran, Atri Tripathi:
A Terminating and Confluent Term Rewriting System for the Pure Equational Theory of Quandles. 157-163
Distributed Computing
Regular Papers
- Gabriel Ciobanu, Eneia Nicolae Todoran:
On the Abstractness of Continuation Semantics. 167-174 - Mihai Bica, Dorian Gorgan:
Scalable Task Deployment System Inspired from Virus Propagation Models for Large Distributed Workflow Based Systems. 175-182 - Lorenzo Capra, Matteo Camilli:
A Symmetric Nets Emulator for Adaptive P/T Nets. 183-190 - Bogdan Eduard-Madalin Mursa, Anca Andreica, Laura Diosan:
Parallel Acceleration of Subgraph Enumeration in the Process of Network Motif Detection. 191-198
Artificial Intelligence
Regular Papers
- Kaixun Hua, Dan A. Simovici:
Dual Criteria Determination of the Number of Clusters in Data. 201-208 - Petru Soviany, Radu Tudor Ionescu:
Optimizing the Trade-Off between Single-Stage and Two-Stage Deep Object Detectors using Image Difficulty Prediction. 209-214 - Diana Minzat, Mihaela Breaban, Henri Luchian:
Modeling real estate dynamics using survival analysis. 215-222 - Cristina Vatamanu, Dragos Teodor Gavrilut, George Popoiu:
Adjusting SVMs for Large Data Sets using Balanced Decision Trees. 223-229 - Zalán Bodó:
A CiteSeerX-Based Dataset for Record Linkage and Metadata Extraction. 230-236 - Ioan Cristian Schuszter:
Integrating Deep Learning for NLP in Romanian Psychology. 237-244 - Flaviu Berbecariu, Christian Sacarea, Diana-Florina Sotropa:
Using Recommender Systems to Support Navigation in Concept Lattices. 245-252 - Csaba Sulyok:
Genetic Operators in Evolutionary Music Composition. 253-259
Papers on Tools/Experimental Results
- Dong Nguyen Doan:
Toward on-Line Predictive Models for Forecasting Workload in Clouds. 260-265
Work in Progress Papers
- Christian Sacarea, Diana-Florina Sotropa, Diana Troanca:
Formal Concept Analysis Grounded Knowledge Discovery in Electronic Health Record Systems. 266-271
Position Papers
- James H. Davenport:
The Rôle of Benchmarking in Symbolic Computation (Position Paper). 275-279 - Marilena Lupascu, Dragos Teodor Gavrilut, Dorel Lucanu:
An Overview of Obfuscation Techniques used by Malware in Visual Basic for Application Scripts. 280-287 - Madalina Erascu, Gabriel Iuhasz, Flavia Micota:
An Architecture for a Management Agency for Cloud Resources. 288-295 - Delia Mitrea, Levente Tamas:
MES Specific Data Analysis. Case Study with the Baxter Robot. 296-301 - Eneia Nicolae Todoran:
Towards Performance Evaluation Programming. 302-309 - Sándor Szabó, Bogdán Zaválnij:
A Different Approach to Maximum Clique Search. 310-316
Workshop on Agents for Complex Systems
- Mihaela Ilie, Sorin Ilie, Ionut Muraretu:
An Adaptive Recommender System for Human Resource Allocation in Software Projects - Initial Results on an Agent-Based Simulation. 319-326 - Costin Badica, Georgian Vladutu:
Application of Meaningful Text Analytics to Online Product Reviews. 327-334 - Adriana Dinis, Todor Ivascu, Viorel Negru:
A Self Developing System for Medical Data Analysis. 335-339
Workshop on Digital Image Processing in Medicine and Automotive Industry
- Carles Sánchez, Meiguel-Angel Viñas, Coen Atens, Agnès Borràs, Debora Gil:
Back to Front Architecture for Diagnosis as a Service. 343-346 - Sebastian-Aurelian Stefaniga, Mihail Gaianu:
Face Detection and Recognition Methods using Deep Learning in Autonomous Driving. 347-354 - Danut Rotar, Horia Popa Andreescu:
Face Recognition in Automotive Applications. 355-359
Workshop on HPC for Science and Technology
- Liviu Octavian Mafteiu-Scai, Irina Maria Artinescu, Vlad Mafteiu-Scai:
Parallelizations of an Inpainting Algorithm Based on Convex Feasibility. 363-367 - Ciprian Pungila, Darius Galis, Viorel Negru:
Survey on Feasibility of Pattern Matching Techniques In Heterogeneous Architectures for Bioinformatics. 368-375
Workshop on Natural Computing and Applications
- Bashar Al Asaad, Madalina Erascu:
A Tool for Fake News Detection. 379-386 - Ruxandra Stoean, Catalin Stoean, Adriana Samide:
Deep Learning for Metal Corrosion Control: Can Convolutional Neural Networks Measure Inhibitor Efficiency? 387-393 - Sebastian Nechita, Laura Diosan:
A four-Phase Meta-Heuristic Algorithm for Solving Large Scale Instances of the Shift Minimization Personnel Task Scheduling Problem. 394-400 - Alexandru-Ion Marinescu, Zoltán Bálint, Laura-Silvia Diosan, Anca-Mirela Andreica:
Unsupervised and Fully Autonomous 3D Medical Image Segmentation Based on Grow Cut. 401-408 - Alexandru-Ion Marinescu, Anca-Mirela Andreica:
Evolving Mathematical Formulas using LINQ Expression Trees and Direct Applications to Credit Scoring. 409-416 - Alina Enescu, Anca Andreica, Laura Diosan:
Evolving Cellular Automata for Two-Stage Edge Detection. 417-424 - Adrian Ioan Pîrîu, Mihai Leonte, Nicolae Postolachi, Dragos Teodor Gavrilut:
Optimizing Cleanset Growth by Using Multi-Class Neural Networks. 425-429 - Georgiana Ingrid Stoleru, Adrian-Stefan Popescu, Dragos Teodor Gavrilut:
Increasing Protection Against Internet Attacks through Contextual Feature Pairing. 430-434 - Gheorghe Balan, Adrian-Stefan Popescu:
Detecting Java Compiled Malware using Machine Learning Techniques. 435-439
PhD Colloquium Session
- Diana-Lucia Miholca:
An Improved Approach to Software Defect Prediction using a Hybrid Machine Learning Model. 443-448 - Radu Stefan Mincu, Alexandru Popa:
Heuristic Algorithms for the Longest Filled Common Subsequence Problem. 449-453 - Cristina Madalina Noaica:
Improving ACSTL Iris Segmentation Method. 454-457 - Ometita Radu Adrian:
The Blockchain, Today and Tomorrow. 458-462 - Kristian Miok:
Estimation of Prediction Intervals in Neural Network-Based Regression Models. 463-468
a service of 
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-04-25 04:57 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 and maintained by:
the dblp computer science bibliography is funded and supported by:
