default search action
18th SYNASC 2016: Timisoara, Romania
- James H. Davenport, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen M. Watt, Daniela Zaharie:
18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2016, Timisoara, Romania, September 24-27, 2016. IEEE 2016, ISBN 978-1-5090-5707-8
Invited Papers
- Erika Ábrahám
:
Symbolic Computation Techniques in Satisfiability Checking. 3-10 - Christopher W. Brown:
Bridging Two Communities to Solve Real Problems. 11-14 - Dan Cristea:
The Time Yards Model - Rethinking the Way to Look at Texts. 15-22 - Tetsuo Ida:
Revisit of "Geometric Exercise in Paper Folding" from a Viewpoint of Computational Origami. 23-28 - Sorin Stratulat:
Structural vs. Cyclic Induction: A Report on Some Experiments with Coq. 29-36 - Stephen M. Watt:
How to Build a Global Digital Mathematics Library. 37-40
Symbolic Computation
Regular Papers
- Zongyan Huang, Matthew England
Using Machine Learning to Decide When to Precondition Cylindrical Algebraic Decomposition with Groebner Bases. 45-52 - Eliana Duarte
Polynomial GCDs by Syzygies. 53-59 - Shaoshi Chen, Stephen M. Watt:
Combinatorics of Hybrid Sets. 60-64 - Andrzej Mróz
Effective Nondeterministic Positive Definiteness Test for Unidiagonal Integral Matrices. 65-71 - Changbo Chen, Svyatoslav Covanov, Farnam Mansouri, Marc Moreno Maza, Ning Xie, Yuzhen Xie:
Parallel Integer Polynomial Multiplication. 72-80
Work in Progress Papers
- Tateaki Sasaki, Daiju Inaba:
Various Enhancements for Extended Hensel Construction of Sparse Multivariate Polynomials. 83-86
Numerical Computing
Regular Papers
- Changbo Chen, Wenyuan Wu:
A Numerical Method for Analyzing the Stability of Bi-Parametric Biological Systems. 91-98 - Darian M. Onchis
Approximate Duals of Gabor-Like Frames Based on Realizable Multi-Window Spline-Type Constructions. 99-104 - Daniel Lichtblau:
Linking Fourier and PCA Methods for Image Look-Up. 105-110 - Flavius Turcu, Charles Dossal, Marc Nicodeme:
Identifiability for Gauge Regularizations and Algorithms for Block-Sparse Synthesis in Compressive Sensing. 111-118 - Stéphane Dellacherie, Erell Jamelot, Olivier D. Lafitte
Numerical Results for the Coupling of a Simple Neutronics Diffusion Model and a Simple Hydrodynamics Low Mach Number Model without Coupling Codes. 119-124 - Ajinkya Borle, Samuel J. Lomonaco:
Convergence Acceleration of Iterative Methods for Inverting Real Matrices Using Frobenius Norm Minimization. 125-132
Papers on Tools/Experimental Results
- Chemseddine Chohra
Parallel Experiments with RARE-BLAS. 135-138
Work in Progress Papers
- Andrada Baban, Cosmin Bonchis, Alexandru Fikl
Parallel Simulations for Fractional-Order Systems. 141-144
Logic and Programming
Regular Papers
- Marijn J. H. Heule:
The Quest for Perfect and Compact Symmetry Breaking for Graph Problems. 149-156 - Vlad Radulescu, Stefan Andrei, Albert M. K. Cheng
Resource Bounding for Non-Preemptive Task Scheduling on a Multiprocessor Platform. 157-164 - Matteo Camilli
Coverability Analysis of Time Basic Petri Nets with Non-Urgent Behavior. 165-172 - Ana Turlea, Florentin Ipate, Raluca Lefticaru
A Hybrid Test Generation Approach Based on Extended Finite State Machines. 173-180 - Katalin Fazekas
A Duality-Aware Calculus for Quantified Boolean Formulas. 181-186 - Aurelian Radoaca:
Venn Diagrams for Multisets. 187-194
Artificial Intelligence
Regular Papers
- Anca Andreica
Parameterized Cellular Automata in Image Segmentation. 199-205 - Alexander Kogler, Patrick Traxler:
Efficient and Robust Median-of-Means Algorithms for Location and Regression. 206-213 - Annamária Szenkovits, Noémi Gaskó
Optimizing Test Input Generation for Reactive Systems with an Adaptive Differential Evolution. 214-218 - Md. Maruf Hussain
A CUDA Implementation of the Standard Particle Swarm Optimization. 219-226 - Dorinela Sirbu, Ana Secui, Mihai Dascalu
Extracting Gamers' Opinions from Reviews. 227-232 - Anton Dan Gabriel, Dragos Teodor Gavrilut, Baetu Ioan Alexandru, Adrian-Stefan Popescu:
Detecting Malicious URLs: A Semi-Supervised Machine Learning System Approach. 233-239 - Zsuzsanna Marian
A Novel Approach for Software Defect Prediction Using Fuzzy Decision Trees. 240-247 - Viorica Rozina Chifu, Ioan Salomie, Laura Petrisor, Emil St. Chifu, Dorin Moldovan
Hybrid Immune Based Method for Generating Healthy Meals for Older Adults. 248-255 - Anca Nicoleta Marginean
Towards Lexicalization of DBpedia Ontology with Unsupervised Learning and Semantic Role Labeling. 256-263 - Alina Delia Calin
Gesture Recognition on Kinect Time Series Data Using Dynamic Time Warping and Hidden Markov Models. 264-271 - Calin-Adrian Popa
Levenberg-Marquardt Learning Algorithm for Quaternion-Valued Neural Networks. 272-278 - Monica Tirea, Viorel Negru:
Behavioral Trading System - Detecting Crisis, Risk and Stability in Financial Markets. 279-286 - Laura Franzoi
Irrelevance in Incomplete Fuzzy Arithmetic. 287-291 - Dragos Teodor Gavrilut, George Popoiu, Razvan Benchea:
Identifying DGA-Based Botnets Using Network Anomaly Detection. 292-299
Papers on Tools/Experimental Results
- Anca Ignat, Bogdan Aciobanitei:
Handwritten Digit Recognition Using Rotations. 303-306 - Ciprian-Octavian Truica
Comparing Different Term Weighting Schemas for Topic Modeling. 307-310 - Diana-Lucia Miholca, Gabriela Czibula
Machine Learning Based Approaches for Sex Identification in Bioarchaeology. 311-314 - George Cabau, Magda Buhu, Ciprian Pavel Oprisa
Malware Classification Based on Dynamic Behavior. 315-318 - Liviu Octavian Mafteiu-Scai, Calin Alexandru Cornigeanu:
Parallel Heuristics for Systems of Equations Preconditioning. 319-322
Work in Progress Papers
- Nicolae-Eugen Croitoru:
Lowering Evolved Artificial Neural Network Overfitting through High-Probability Mutation. 325-329
Distributed Computing
Regular Papers
- Gabriel Ciobanu
Continuation Semantics of a Language Inspired by Membrane Computing with Symport/Antiport Interactions. 335-342 - Byron E. Moutafis, Christos K. Filelis-Papadopoulos
On Issues Concerning Cloud Environments in Scope of Scalable Multi-Projection Methods. 343-350 - Nicolas Gutierrez, Manuela Wiesinger-Widi:
AUGURY: A Time Series Based Application for the Analysis and Forecasting of System and Network Performance Metrics. 351-358 - Dong Nguyen Doan, Gabriel Iuhasz
Tuning Logstash Garbage Collection for High Throughput in a Monitoring Platform. 359-365
Advances in the Theory of Computing
Regular Papers
- Catalin-Valeriu Lita:
On Complexity of the Detection Problem for Bounded Length Polymorphic Viruses. 371-378 - Raivis Bets, Janis Buls:
Partial Finitely Generated Bi-Ideals. 379-383
Workshop on Agents for Complex Systems
- Lucian Luncean, Andrei Mocanu, Alexandru Petrut Becheru:
Automated Negotiation Framework for the Transport Logistics Service. 387-394 - Todor Ivascu, Adriana Dinis, Viorel Negru:
Towards a Multi-Agent System for Medical Records Processing and Knowledge Discovery. 395-399 - Doru Rotovei:
Multi-Agent Aspect Level Sentiment Analysis in CRM Systems. 400-407
Workshop on HPC for Science and Technology
- Aygul Jamal, Marc Baboulin, Amal Khabou, Masha Sosonkina:
A Hybrid CPU/GPU Approach for the Parallel Algebraic Recursive Multilevel Solver pARMS. 411-416 - Grigore Lupescu, Emil-Ioan Slusanschi
Analysis of OpenCL Work-Group Reduce for Intel GPUs. 417-423 - Liviu Octavian Mafteiu-Scai, Calin Alexandru Cornigeanu:
A Parallel Heuristic for Bandwidth Reduction Based on Matrix Geometry. 424-427
Workshop on the Management of Resources and Services in Cloud and Sky Computing
- Ehsan Ataie
A Combined Analytical Modeling Machine Learning Approach for Performance Prediction of MapReduce Jobs in Cloud Environment. 431-439
Workshop on Natural Computing and Applications
- Stefan Postavaru, Ionut-MihaIta Plesea:
Censoring Sensitive Data from Images. 443-448 - Catalin Stoean
In Search of the Optimal Set of Indicators when Classifying Histopathological Images. 449-455 - Liviu Oana, Adrian F. Spataru
Use of Genetic Algorithms in Numerical Weather Prediction. 456-461
Workshop on Satisfiability Checking and Symbolic Computation
- Jan Horácek, Martin Kreuzer
Computing Boolean Border Bases. 465-472
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-29 20:20 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: