Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID18th 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, James H. Davenport, Lawrence C. Paulson:
Using Machine Learning to Decide When to Precondition Cylindrical Algebraic Decomposition with Groebner Bases. 45-52 - Eliana Duarte, Daniel Lichtblau:
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, Simone Zappalá:
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, Riyaz Mouhamad:
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, Philippe Langlois, David Parello:
Parallel Experiments with RARE-BLAS. 135-138
Work in Progress Papers
- Andrada Baban, Cosmin Bonchis, Alexandru Fikl, Florin Rosu:
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, Carlo Bellettini, Lorenzo Capra, Mattia Monga:
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, Martina Seidl, Armin Biere:
A Duality-Aware Calculus for Quantified Boolean Formulas. 181-186 - Aurelian Radoaca:
Venn Diagrams for Multisets. 187-194
Artificial Intelligence
Regular Papers
- Anca Andreica, Laura Diosan, Irina Voiculescu:
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ó, Hunor Jakab:
Optimizing Test Input Generation for Reactive Systems with an Adaptive Differential Evolution. 214-218 - Md. Maruf Hussain, Hiroshi Hattori, Noriyuki Fujimoto:
A CUDA Implementation of the Standard Particle Swarm Optimization. 219-226 - Dorinela Sirbu, Ana Secui, Mihai Dascalu, Scott Andrew Crossley, Stefan Ruseti, Stefan Trausan-Matu:
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, Ioan-Gabriel Mircea, István Gergely Czibula, Gabriela Czibula:
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, Kando Eniko:
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, Florin Radulescu, Alexandru Boicea:
Comparing Different Term Weighting Schemas for Topic Modeling. 307-310 - Diana-Lucia Miholca, Gabriela Czibula, Ioan-Gabriel Mircea, István Gergely 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, Eneia Nicolae Todoran:
Continuation Semantics of a Language Inspired by Membrane Computing with Symport/Antiport Interactions. 335-342 - Byron E. Moutafis, Christos K. Filelis-Papadopoulos, George A. Gravvanis, John P. Morrison:
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, Nicolae Tapus:
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, Eugenio Gianniti, Danilo Ardagna, Ali Movaghar:
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, Ange-Salomé Messeng Ekossono:
Computing Boolean Border Bases. 465-472
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-22 20:00 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:
