Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Viorica Sofronie-Stokkermans |
Hierarchical Reasoning in Local Theory Extensions and Applications. |
SYNASC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Paul Tarau |
New Arithmetic Algorithms for Hereditarily Binary Natural Numbers. |
SYNASC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Mihai Ovidiu Tirsa, Emil-Ioan Slusanschi, Marian Doru Suran |
Performance Improvements for the "Linear Nonadiabatic Nonradial Waves" Pulsational Model. |
SYNASC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Corina Rotar |
Central Dogma of Molecular Biology - New Paradigm in Evolutionary Computation. |
SYNASC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Adrian Groza, Irina Dragoste, Iulia Sincai, Ioana Jimborean, Vasile Moraru |
An Ontology Selection and Ranking System Based on the Analytic Hierarchy Process. |
SYNASC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Darian M. Onchis, Doina Frunzaverde, Mihail Gaianu, Relu Ciubotariu |
Multi-phase Identification in Microstructures Images Using a GPU Accelerated Fuzzy C-Means Segmentation. |
SYNASC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Petru Florin Mihancea, Edit Mercedes Mera-Batiz, Marius Minea |
Guiding Random Test Generation for Intra-class Dataflow Coverage. |
SYNASC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | M. Ali Rostami, H. Martin Bücker, Christian Vogt, Ralf Seidler, David Neuhäuser, Volker Rath |
A Distributed-Memory Parallelization of a Shared-Memory Parallel Ensemble Kalman Filter. |
SYNASC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Takacs |
Using Cylindrical Algebraic Decomposition and Local Fourier Analysis to Study Numerical Methods: Two Examples. |
SYNASC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | David J. Wilson, Matthew England 0001, Russell J. Bradford, James H. Davenport |
Using the Distribution of Cells by Dimension in a Cylindrical Algebraic Decomposition. |
SYNASC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Ciortea, Olivier Boissier, Antoine Zimmermann, Adina Magda Florea |
Open and Interoperable Socio-technical Networks. |
SYNASC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ivan Simecek, Daniel Langr, Jan Trdlicka |
Efficient Converting of Large Sparse Matrices to Quadtree Format. |
SYNASC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Christophe Mouilleron, Amine Najahi, Guillaume Revy |
Automated Synthesis of Target-Dependent Programs for Polynomial Evaluation in Fixed-Point Arithmetic. |
SYNASC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Lorenzo Cianciaruso, Francesco di Forenza, Elisabetta Di Nitto, Marco Miglierina, Nicolas Ferry 0001, Arnor Solberg |
Using Models at Runtime to Support Adaptable Monitoring of Multi-clouds Applications. |
SYNASC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Bartosz Papis, Andrzej Pacut |
Multispace, Dynamic, Fixed-Radius, All Nearest Neighbours Problem. |
SYNASC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Marcin Gasiorek, Daniel Simson, Katarzyna Zajac 0002 |
On Corank Two Edge-Bipartite Graphs and Simply Extended Euclidean Diagrams. |
SYNASC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Norbert Tihanyi |
Fast Method for Locating Peak Values of the Riemann Zeta Function on the Critical Line. |
SYNASC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | George Anescu |
An Imperialistic Strategy Approach to Continuous Global Optimization Problem. |
SYNASC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ulderico Fugacci, Federico Iuricich, Leila De Floriani |
Efficient Computation of Simplicial Homology through Acyclic Matching. |
SYNASC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Calin-Adrian Popa |
Enhanced Gradient Descent Algorithms for Complex-Valued Neural Networks. |
SYNASC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Amine Barkat, Alysson Diniz dos Santos, Thi Thao Nguyen Ho |
Open Stack and Cloud Stack: Open Source Solutions for Building Public and Private Clouds. |
SYNASC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Daniel-Eugen Butoianu, Doru Todinca |
Performance Evaluation of Fuzzy Automata Using VHDL Simulation. |
SYNASC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Sicun Gao, Soonho Kong, Edmund M. Clarke |
Proof Generation from Delta-Decisions. |
SYNASC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Gheorghe Paun |
Spiking Neural P Systems - A Quick Survey and Some Research Topics. |
SYNASC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Franz Winkler 0001, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen M. Watt, Daniela Zaharie (eds.) |
16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014, Timisoara, Romania, September 22-25, 2014 |
SYNASC |
2014 |
DBLP BibTeX RDF |
|
1 | Danilo Ardagna, Michele Ciavotta, Riccardo Lancellotti |
A Receding Horizon Approach for the Runtime Management of IaaS Cloud Systems. |
SYNASC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Gabriel Ciobanu, Dan Cojocar |
Expressing BBUFs Lookup Using the π-Calculus. |
SYNASC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Marco Miglierina |
Application Deployment and Management in the Cloud. |
SYNASC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Botond Bocsi, Hunor Jakab, Lehel Csató |
Simulation-Extrapolation Gaussian Processes for Input Noise Modeling. |
SYNASC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Monica Tirea, Viorel Negru |
Intelligent Stock Market Analysis System - A Fundamental and Macro-economical Analysis Approach. |
SYNASC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Darian M. Onchis, Smaranda Laura Gotia |
Enhancing Dental Radiographic Images in Spline-Type Spaces. |
SYNASC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Elena V. Ravve |
Views and Updates over Distributed Databases. |
SYNASC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Massimiliano Rak, Mauro Turtur, Umberto Villano |
Early Prediction of the Cost of HPC Application Execution in the Cloud. |
SYNASC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Yan Jin 0002, Rong Qu, Jason A. D. Atkin |
A Population-Based Incremental Learning Method for Constrained Portfolio Optimisation. |
SYNASC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ines Janusch, Walter G. Kropatsch, Wolfgang Busch |
Topological Image Analysis and (Normalised) Representations for Plant Phenotyping. |
SYNASC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Tetsuo Ida |
Huzita's Basic Origami Fold in Geometric Algebra. |
SYNASC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Matteo Camilli, Carlo Bellettini, Lorenzo Capra, Mattia Monga |
CTL Model Checking in the Cloud Using MapReduce. |
SYNASC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Emanuel Florentin Olariu, Cristian Frasinaru |
A Lowest Level Rule Push-Relabel Algorithm for Submodular Flows and Matroid Optimization. |
SYNASC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Cristina Marinescu |
How Good Is Genetic Programming at Predicting Changes and Defects? |
SYNASC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Marzieh Malekimajd, Alessandro Maria Rizzi, Danilo Ardagna, Michele Ciavotta, Mauro Passacantando, Ali Movaghar 0001 |
Optimal Capacity Allocation for Executing MapReduce Jobs in Cloud Systems. |
SYNASC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Simon Robillard |
Catamorphism Generation and Fusion Using Coq. |
SYNASC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Adela-Maria Sirbu, Alexandrina Rogozan, Laura Diosan, Abdelaziz Bensrhair |
Pedestrian Recognition by Using a Kernel-Based Multi-modality Approach. |
SYNASC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Alexandru Butoi, Alexandru Stan, Gheorghe Cosmin Silaghi |
Reliable Management of Virtualized Resources Using Fault Trees. |
SYNASC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Doina Cosovan, Razvan Benchea, Dragos Gavrilut |
A Practical Guide for Detecting the Java Script-Based Malware Using Hidden Markov Models and Linear Classifiers. |
SYNASC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Elena V. Ravve |
Analyzing WMSOL Definable Properties on Sum-Like Weighted Labeled Trees. |
SYNASC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Karunakar Reddy Bayyapu, Paul Fischer |
Load Scheduling in a Cloud Based Massive Video-Storage Environment. |
SYNASC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Olga D. Dunaeva, Herbert Edelsbrunner, Anton Lukyanov, Michael Machin, Daria Malkova |
The Classification of Endoscopy Images with Persistent Homology. |
SYNASC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Remus-Daniel Ene, Vasile Marinca, Romeo Negrea |
Optimal Homotopy Asymptotic Method for Viscous Boundary Layer Flow in Unbounded Domain. |
SYNASC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Sorin Stratulat |
Implementing Reasoning Modules in Implicit Induction Theorem Provers. |
SYNASC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | William B. Langdon |
Genetic Improvement of Programs. |
SYNASC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Adela-Maria Sirbu, Gabriela Czibula, Maria-Iuliana Bocicor |
Dynamic Clustering of Gene Expression Data Using a Fuzzy Approach. |
SYNASC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Tateaki Sasaki |
Solving Parametric Sparse Linear Systems by Local Blocking, II. |
SYNASC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Emilian Necula |
Mining GPS Data to Learn Driver's Route Patterns. |
SYNASC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Vitaliy Kurlin |
Auto-completion of Contours in Sketches, Maps, and Sparse 2D Images Based on Topological Persistence. |
SYNASC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Michael Codish, Luís Cruz-Filipe, Peter Schneider-Kamp |
The Quest for Optimal Sorting Networks: Efficient Generation of Two-Layer Prefixes. |
SYNASC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Gabriel Ciobanu, Eneia Nicolae Todoran |
Correct Metric Semantics for a Biologically-Inspired Formalism. |
SYNASC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Robert W. McGrail, James M. Belk, Solomon Garber, Japheth Wood, Benjamin Fish |
CSPs and Connectedness: P/NP Dichotomy for Idempotent, Right Quasigroups. |
SYNASC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Pop, Caius Bogdanescu |
Ontology-Based Recommender for Distributed Machine Learning Environment. |
SYNASC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ciprian Oprisa, George Cabau, Adrian Colesa |
From Plagiarism to Malware Detection. |
SYNASC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Islam A. Elshaarawy, Walid Gomaa 0001 |
An Efficient Computational Framework for Studying Dynamical Systems. |
SYNASC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Elena V. Ravve, Zeev Volkovich |
A Systematic Approach to Computations on Decomposable Graphs. |
SYNASC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Adrian Jackson |
Stepping Up. |
SYNASC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jose Torres-Jimenez, Idelfonso Izquierdo-Marquez |
Survey of Covering Arrays. |
SYNASC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | David Roche, Debora Gil, Jesús Giraldo |
Detecting Loss of Diversity for an Efficient Termination of EAs. |
SYNASC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Gabriel Iuhasz, Victor Ion Munteanu, Viorel Negru |
Evolutionary Approach to Negotiation in Game AI. |
SYNASC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Sorin Sabau |
Clustering Data Streams Using Mass Estimation. |
SYNASC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Grzegorz Marczak, Daniel Simson, Katarzyna Zajac 0002 |
On Computing Non-negative Loop-Free Edge-Bipartite Graphs. |
SYNASC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Menychtas, Christina Santzaridou, George Kousiouris, Theodora A. Varvarigou, Leire Orue-Echevarria, Juncal Alonso, Jesús Gorroñogoitia, Hugo Bruneliere, Oliver Strauß, Tatiana Senkova, Bram Pellens, Peter Stuer |
ARTIST Methodology and Framework: A Novel Approach for the Migration of Legacy Software on the Cloud. |
SYNASC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Matthieu Kuhn, Guillaume Latu, Stéphane Genaud, Nicolas Crouseilles |
Optimization and Parallelization of Emedge3D on Shared Memory Architecture. |
SYNASC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Radu Tudor Ionescu |
Local Rank Distance. |
SYNASC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Monica Tirea, Viorel Negru |
Managing Risk Behavior on an Evolutionary Market - A Risk Limits and Value-at-Risk Measures Approach. |
SYNASC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Langr, Ivan Simecek, Pavel Tvrdík, Tomás Dytrych |
Parallel Data Acquisition for Visualization of Very Large Sparse Matrices. |
SYNASC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Middeke, Ahmed Almohaimeed, David J. Jeffrey |
Common Factors in Fraction-Free Matrix Reduction. |
SYNASC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ivan Simecek, Daniel Langr, Pavel Tvrdík |
Space Efficient Formats for Structure of Sparse Matrices Based on Tree Structures. |
SYNASC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Nathalie Rauschmayr, Achim Streit |
Evaluating Moldability of LHCb Jobs for Multicore Job Submission. |
SYNASC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Gabriele Paganelli, Wolfgang Ahrendt |
Verifying (In-)Stability in Floating-Point Programs by Increasing Precision, Using SMT Solving. |
SYNASC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Inese Berzina, Janis Buls, Raivis Bets |
Bounded Bi-ideals and Linear Recurrence. |
SYNASC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Adrian Jackson, Pär Strand |
MDMP: Managed Data Message Passing. |
SYNASC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Marcin Gasiorek |
Efficient Computation of the Isotropy Group of a Finite Graph: A Combinatorial Approach. |
SYNASC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Agnieszka Polak, Daniel Simson |
Algorithmic Experiences in Coxeter Spectral Study of P-critical Edge-Bipartite Graphs and Posets. |
SYNASC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Nabil Hossain, Robert W. McGrail, James M. Belk, Francesco Matucci |
Deciding Conjugacy in Thompson's Group F in Linear Time. |
SYNASC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | John Christopher Bowers, Ileana Streinu |
Computing Origami Universal Molecules with Cyclic Tournament Forests. |
SYNASC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ioan Dragan, Konstantin Korovin, Laura Kovács, Andrei Voronkov |
Bound Propagation for Arithmetic Reasoning in Vampire. |
SYNASC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Remus-Daniel Ene, Vasile Marinca, Romeo Negrea |
Planar Stretching Flows with Partial Slip. |
SYNASC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Victor-Lucian Spiridon, Emil-Ioan Slusanschi |
N-Body Simulations with GADGET-2. |
SYNASC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Arusoaie |
Engineering Hoare Logic-Based Program Verification in K Framework. |
SYNASC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Lucian Radu Teodorescu, Rodica Potolea |
Compiler Design for Hyper-metaprogramming. |
SYNASC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ivona Brandic |
Reducing Energy Consumption by Using Clouds. |
SYNASC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Thorsten Ehlers, Klaus Jansen |
Online-Scheduling on Identical Machines with Bounded Migration. |
SYNASC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jorge Sevilla Cedillo, Antonio Plaza |
A New Digital Repository for Remotely Sensed Hyperspectral Imagery on GPUs. |
SYNASC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Alexandru-Ciprian Zavoianu, Edwin Lughofer, Gerd Bramerdorfer, Wolfgang Amrhein, Erich-Peter Klement |
An Effective Ensemble-Based Method for Creating On-the-Fly Surrogate Fitness Functions for Multi-objective Evolutionary Algorithms. |
SYNASC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Juan F. Pérez, Giuliano Casale |
Assessing SLA Compliance from Palladio Component Models. |
SYNASC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Abhishek Awasthi, Jörg Lässig, Oliver Kramer 0001 |
Common Due-Date Problem: Exact Polynomial Algorithms for a Given Job Sequence. |
SYNASC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Galina Filipuk, Maciej Haneczok |
On Ladder Operators for Little q-Jacobi Polynomials and Their Generalizations. |
SYNASC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Meyer, Philip D. Healy, Theo Lynn, John P. Morrison |
Quality Assurance for Open Source Software Configuration Management. |
SYNASC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Walid Belkhir, Yannick Chevalier, Michaël Rusinowitch |
Fresh-Variable Automata: Application to Service Composition. |
SYNASC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Leonardo Mendonça de Moura, Dejan Jovanovic |
Model-Driven Decision Procedures for Arithmetic. |
SYNASC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ermanno Battista, Valentina Casola, Nicola Mazzocca, Massimo Ficco, Massimiliano Rak |
Developing Secure Cloud Applications: A Case Study. |
SYNASC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Rafal Bocian, Mariusz Felisiak, Daniel Simson |
On Coxeter Type Classification of Loop-Free Edge-Bipartite Graphs and Matrix Morsifications. |
SYNASC |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Cristina Marinescu |
Should We Beware the Exceptions? An Empirical Study on the Eclipse Project. |
SYNASC |
2013 |
DBLP DOI BibTeX RDF |
|