default search action
16th SYNASC 2014: Timisoara, Romania
- Franz Winkler, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen M. Watt, Daniela Zaharie:
16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014, Timisoara, Romania, September 22-25, 2014. IEEE Computer Society 2014, ISBN 978-1-4799-8447-3
Invited Papers
- Marcos Aurélio Almeida da Silva, Danilo Ardagna
, Nicolas Ferry, Juan F. Pérez
Model-Driven Design of Cloud Applications with Quality-of-Service Guarantees: The MODAClouds Approach, MICAS Tutorial. 3-10 - Tetsuo Ida:
Huzita's Basic Origami Fold in Geometric Algebra. 11-13 - William B. Langdon:
Genetic Improvement of Programs. 14-19 - Gheorghe Paun:
Spiking Neural P Systems - A Quick Survey and Some Research Topics. 20-25 - Carsten Schneider
A Streamlined Difference Ring Theory: Indefinite Nested Sums, the Alternating Sign, and the Parameterized Telescoping Problem. 26-33 - Viorica Sofronie-Stokkermans:
Hierarchical Reasoning in Local Theory Extensions and Applications. 34-41 - Stefan Takacs
Using Cylindrical Algebraic Decomposition and Local Fourier Analysis to Study Numerical Methods: Two Examples. 42-49
Symbolic Computation
- David J. Wilson, Matthew England
Using the Distribution of Cells by Dimension in a Cylindrical Algebraic Decomposition. 53-60 - D. J. Jeffrey, Julia E. Jankowski:
Branch Differences and Lambert W. 61-65 - Marcin Gasiorek
On Corank Two Edge-Bipartite Graphs and Simply Extended Euclidean Diagrams. 66-73 - Tateaki Sasaki:
Solving Parametric Sparse Linear Systems by Local Blocking, II. 74-81
Numerical Computing
- Marc Nicodeme, Charles Dossal, Flavius Turcu, Yannick Berthoumieu:
Lipschitz Bounds for Noise Robustness in Compressive Sensing: Two Algorithms. 85-90 - Norbert Tihanyi
Fast Method for Locating Peak Values of the Riemann Zeta Function on the Critical Line. 91-96 - Emanuel Florentin Olariu, Cristian Frasinaru:
A Lowest Level Rule Push-Relabel Algorithm for Submodular Flows and Matroid Optimization. 97-102 - Remus-Daniel Ene, Vasile Marinca
Optimal Homotopy Asymptotic Method for Viscous Boundary Layer Flow in Unbounded Domain. 103-108 - Paul Tarau:
New Arithmetic Algorithms for Hereditarily Binary Natural Numbers. 109-116 - Petru Calin Bazavan, Lucian-Florentin Barbulescu
On the Computation of the Hansen Coefficients. 117-121 - Ivan Simecek
Efficient Converting of Large Sparse Matrices to Quadtree Format. 122-129
Logic and Programming
- Sorin Stratulat:
Implementing Reasoning Modules in Implicit Induction Theorem Provers. 133-140 - Christophe Mouilleron, Amine Najahi, Guillaume Revy:
Automated Synthesis of Target-Dependent Programs for Polynomial Evaluation in Fixed-Point Arithmetic. 141-148 - Petru Florin Mihancea, Edit Mercedes Mera-Batiz, Marius Minea
Guiding Random Test Generation for Intra-class Dataflow Coverage. 149-155 - Sicun Gao, Soonho Kong, Edmund M. Clarke:
Proof Generation from Delta-Decisions. 156-163 - Stefan Ciobaca:
Reducing Partial Equivalence to Partial Correctness. 164-171 - Vlad Radulescu, Stefan Andrei, Albert M. K. Cheng
A Heuristic-Based Approach for Reducing the Power Consumption of Real-Time Embedded Systems. 172-179 - Simon Robillard:
Catamorphism Generation and Fusion Using Coq. 180-185
Artificial Intelligence
- Botond Bocsi, Hunor Jakab, Lehel Csató:
Simulation-Extrapolation Gaussian Processes for Input Noise Modeling. 189-195 - Daniel-Eugen Butoianu, Doru Todinca:
Performance Evaluation of Fuzzy Automata Using VHDL Simulation. 196-203 - Anca Nicoleta Marginean
Using Domain Specific Hierarchical Good Practice for Ranking Service Compositions. 204-211 - Yan Jin
A Population-Based Incremental Learning Method for Constrained Portfolio Optimisation. 212-219 - Adela-Maria Sirbu, Gabriela Czibula
Dynamic Clustering of Gene Expression Data Using a Fuzzy Approach. 220-227 - Dumitru-Clementin Cercel, Stefan Trausan-Matu
Opinion Influence Analysis in Online Forum Threads. 228-235 - Doina Cosovan, Razvan Benchea, Dragos Gavrilut:
A Practical Guide for Detecting the Java Script-Based Malware Using Hidden Markov Models and Linear Classifiers. 236-243 - Bartosz Papis
Multispace, Dynamic, Fixed-Radius, All Nearest Neighbours Problem. 244-250 - Andrei Ciortea, Olivier Boissier, Antoine Zimmermann
Open and Interoperable Socio-technical Networks. 251-257 - Adela-Maria Sirbu, Alexandrina Rogozan, Laura Diosan, Abdelaziz Bensrhair:
Pedestrian Recognition by Using a Kernel-Based Multi-modality Approach. 258-263 - Emilian Necula:
Mining GPS Data to Learn Driver's Route Patterns. 264-271 - Calin-Adrian Popa
Enhanced Gradient Descent Algorithms for Complex-Valued Neural Networks. 272-279 - Marius Barat, Dumitru-Bogdan Prelipcean
A Practical Approach on Cleaning-Up Large Data Sets. 280-284 - Corina Rotar:
Central Dogma of Molecular Biology - New Paradigm in Evolutionary Computation. 285-292 - Adrian Groza
An Ontology Selection and Ranking System Based on the Analytic Hierarchy Process. 293-300 - Nicolae-Eugen Croitoru:
High-Probability Mutation in Basic Genetic Algorithms. 301-305
Distributed Computing
- Alexandru Butoi, Alexandru Stan, Gheorghe Cosmin Silaghi
Reliable Management of Virtualized Resources Using Fault Trees. 309-316 - Gabriel Ciobanu, Eneia Nicolae Todoran:
Correct Metric Semantics for a Biologically-Inspired Formalism. 317-324 - Frédéric Loulergue
Implementing Powerlists with Bulk Synchronous Parallel ML. 325-332 - Matteo Camilli
CTL Model Checking in the Cloud Using MapReduce. 333-340 - Elena V. Ravve:
Views and Updates over Distributed Databases. 341-348 - Karunakar Reddy Bayyapu, Paul Fischer
Load Scheduling in a Cloud Based Massive Video-Storage Environment. 349-356
Advances in the Theory of Computing
- Michael Codish
The Quest for Optimal Sorting Networks: Efficient Generation of Two-Layer Prefixes. 359-366 - Robert W. McGrail, James M. Belk
CSPs and Connectedness: P/NP Dichotomy for Idempotent, Right Quasigroups. 367-374 - Elena V. Ravve:
Analyzing WMSOL Definable Properties on Sum-Like Weighted Labeled Trees. 375-382
Workshop on the Management of Resources and Services in Cloud and Sky Computing
- Marzieh Malekimajd
Optimal Capacity Allocation for Executing MapReduce Jobs in Cloud Systems. 385-392 - Weikun Wang, Giuliano Casale:
Evaluating Weighted Round Robin Load Balancing for Cloud Web Services. 393-400 - Lorenzo Cianciaruso, Francesco di Forenza, Elisabetta Di Nitto
Using Models at Runtime to Support Adaptable Monitoring of Multi-clouds Applications. 401-408 - Massimiliano Rak
Early Prediction of the Cost of HPC Application Execution in the Cloud. 409-416 - Marco Scavuzzo:
A Distributed File System over Heterogeneous SaaS Storage Platforms. 417-421 - Marco Miglierina:
Application Deployment and Management in the Cloud. 422-428 - Amine Barkat, Alysson Diniz dos Santos, Thi Thao Nguyen Ho:
Open Stack and Cloud Stack: Open Source Solutions for Building Public and Private Clouds. 429-436 - Giulia Rumi, Claudia Colella, Danilo Ardagna
Optimization Techniques within the Hadoop Eco-system: A Survey. 437-444 - Danilo Ardagna
A Receding Horizon Approach for the Runtime Management of IaaS Cloud Systems. 445-452
Workshop on HPC Research Services
- M. Ali Rostami
A Distributed-Memory Parallelization of a Shared-Memory Parallel Ensemble Kalman Filter. 455-462 - Nevena Perovic, Jérôme Frisch
Interactive Data Exploration for High-Performance Fluid Flow Computations through Porous Media. 463-470 - Marco Bungart, Claudia Fohry, Jonas Posner:
Fault-Tolerant Global Load Balancing in X10. 471-478 - Thomas L. Falch, Anne C. Elster
Register Caching for Stencil Computations on GPUs. 479-486 - Mihai Ovidiu Tirsa, Emil-Ioan Slusanschi
Performance Improvements for the "Linear Nonadiabatic Nonradial Waves" Pulsational Model. 487-493 - Florina Roxana Padurariu, Cristina Marinescu:
NSGA-II: Implementation and Performance Metrics Extraction for CPU and GPU. 494-499 - Adrian Sabou
A Parallel, Distributed, High-Performance Architecture for Simulating Particle-Based Models. 500-507
Workshop on Agents for Complex Systems
- Gabriel Ciobanu, Dan Cojocar:
Expressing BBUFs Lookup Using the π-Calculus. 511-518 - Monica Tirea
Intelligent Stock Market Analysis System - A Fundamental and Macro-economical Analysis Approach. 519-526 - Lucian Luncean, Costin Badica
Semantic Modeling of Information for Freight Transportation Broker. 527-534
Workshop on Natural Computing and Applications
- Catalin Stoean
Investigation of Alternative Evolutionary Prototype Generation in Medical Classification. 537-543 - Cristina Marinescu:
How Good Is Genetic Programming at Predicting Changes and Defects? 544-548 - George Anescu:
An Imperialistic Strategy Approach to Continuous Global Optimization Problem. 549-556
Workshop on Computational Topology in Image Context
- Darian M. Onchis
Enhancing Dental Radiographic Images in Spline-Type Spaces. 559-564 - Olga D. Dunaeva
The Classification of Endoscopy Images with Persistent Homology. 565-570 - Aldo Gonzalez-Lorenzo
Computing Homological Information Based on Directed Graphs within Discrete Objects. 571-578 - Ines Janusch, Walter G. Kropatsch, Wolfgang Busch:
Topological Image Analysis and (Normalised) Representations for Plant Phenotyping. 579-586 - Ulderico Fugacci
Efficient Computation of Simplicial Homology through Acyclic Matching. 587-593 - Vitaliy Kurlin
Auto-completion of Contours in Sketches, Maps, and Sparse 2D Images Based on Topological Persistence. 594-601 - Darian M. Onchis
Multi-phase Identification in Microstructures Images Using a GPU Accelerated Fuzzy C-Means Segmentation. 602-607
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-11-18 20:32 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: