Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Catalin-Valeriu Lita |
On Complexity of the Detection Problem for Bounded Length Polymorphic Viruses. |
SYNASC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Anca Ignat, Bogdan Aciobanitei |
Handwritten Digit Recognition Using Rotations. |
SYNASC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Lucian Luncean, Andrei Mocanu, Alexandru Petrut Becheru |
Automated Negotiation Framework for the Transport Logistics Service. |
SYNASC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Diana-Lucia Miholca, Gabriela Czibula, Ioan-Gabriel Mircea, István Gergely Czibula |
Machine Learning Based Approaches for Sex Identification in Bioarchaeology. |
SYNASC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ana Turlea, Florentin Ipate, Raluca Lefticaru |
A Hybrid Test Generation Approach Based on Extended Finite State Machines. |
SYNASC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | James H. Davenport, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen M. Watt, Daniela Zaharie (eds.) |
18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2016, Timisoara, Romania, September 24-27, 2016 |
SYNASC |
2016 |
DBLP BibTeX RDF |
|
1 | Zongyan Huang, Matthew England 0001, James H. Davenport, Lawrence C. Paulson |
Using Machine Learning to Decide When to Precondition Cylindrical Algebraic Decomposition with Groebner Bases. |
SYNASC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Aurelian Radoaca |
Venn Diagrams for Multisets. |
SYNASC |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ionel-Alexandru Hosu, Andreea Urzica |
Comparative Analysis of Existing Architectures for General Game Agents. |
SYNASC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Monica Tirea, Viorel Negru |
Stock Market Trading Strategies Applying Risk and Decision Analysis Models for Detecting Financial Turbulence. |
SYNASC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Kauers |
Creative Telescoping via Hermite Reduction. |
SYNASC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Walid Belkhir, Nicolas Ratier, Duy Duc Nguyen, Bin Yang, Michel Lenczner, Frédéric Zamkotsian, Horatiu Cirstea |
Towards an Automatic Tool for Multi-scale Model Derivation Illustrated with a Micro-mirror Array. |
SYNASC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Alex Becheru, Costin Badica, Mihaita Antonie |
Complex Network Analysis of a Tourism Content Sharing Network. |
SYNASC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Todor Ivascu |
An Energy Efficient Intelligent Wireless Body Area Network for Real-Time Vital Signs Monitoring. |
SYNASC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Olaru, Adina Magda Florea |
A Framework for Integrating Heterogeneous Agent Communication Platforms. |
SYNASC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Masaru Sanuki, Daiju Inaba, Tateaki Sasaki |
Computation of GCD of Sparse Multivariate Polynomials by Extended Hensel Construction. |
SYNASC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | George Ganea, Radu Marinescu 0001 |
Modeling Design Flaw Evolution Using Complex Systems. |
SYNASC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Adrian-Stefan Popescu, Dumitru-Bogdan Prelipcean, Dragos Teodor Gavrilut |
A Study on Techniques for Proactively Identifying Malicious URLs. |
SYNASC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Alexandru-Ciprian Zavoianu, Edwin Lughofer, Gerd Bramerdorfer, Wolfgang Amrhein, Susanne Saminger-Platz |
A Surrogate-Based Strategy for Multi-objective Tolerance Analysis in Electrical Machine Design. |
SYNASC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Roland Lezuo, Ioan Dragan, Gergö Barany, Andreas Krall |
vanHelsing: A Fast Proof Checker for Debuggable Compiler Verification. |
SYNASC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Valentina Casola, Alessandra De Benedictis, Massimiliano Rak, Umberto Villano |
SLA-Based Secure Cloud Application Development: The SPECS Framework. |
SYNASC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ruzica Piskac |
From Decision Procedures to Synthesis Procedures. |
SYNASC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Aurelian Radoaca |
Properties of Multisets Compared to Sets. |
SYNASC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | George Anescu, Ilie Prisecaru |
NSC-PSO, a Novel PSO Variant without Speeds and Coefficients. |
SYNASC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Aurelian Radoaca |
Simple Venn Diagrams for Multisets. |
SYNASC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Marc Nicodeme, Flavius Turcu, Charles Dossal |
Identifiability and Noise Robustness for l1-Analysis Regularizations in Compressive Sensing. |
SYNASC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Cristina Bianca Pop, Viorica Rozina Chifu, Ioan Salomie, Cristian Prigoana, Tiberiu Boros, Dorin Moldovan |
Generating Healthy Menus for Older Adults Using a Hybrid Honey Bees Mating Optimization Approach. |
SYNASC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Grigore Lupescu, Emil-Ioan Slusanschi, Nicolae Tapus |
Extensions over OpenCL for Latency Reduction and Critical Applications. |
SYNASC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ciprian-Octavian Truica, Julien Velcin, Alexandru Boicea |
Automatic Language Identification for Romance Languages Using Stop Words and Diacritics. |
SYNASC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Paul Tarau |
The Arithmetic of Even-Odd Trees. |
SYNASC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Andrei, Albert M. K. Cheng, Vlad Radulescu |
An Improved Upper-Bound Algorithm for Non-preemptive Task Scheduling. |
SYNASC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Calin-Adrian Popa |
Lie Algebra-Valued Hopfield Neural Networks. |
SYNASC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Koutschan, Helene Ranetbauer, Georg Regensburger, Marie-Therese Wolfram |
Symbolic Derivation of Mean-Field PDEs from Lattice-Based Models. |
SYNASC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Gabriel Iuhasz, Ioan Dragan |
An Overview of Monitoring Tools for Big Data and Cloud Applications. |
SYNASC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Elena V. Ravve, Zeev Volkovich, Gerhard-Wilhelm Weber |
Incremental Reasoning on Strongly Distributed Multi-agent Systems. |
SYNASC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Alexandra Emilia Fortis, Stefan Balint |
Numerical Investigations of Equilibriums in a Flight with High Angle of Attack. |
SYNASC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | András Bóta, Miklós Krész, Bogdán Zaválnij |
Adaptations of the k-Means Algorithm to Community Detection in Parallel Environments. |
SYNASC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Catalin Stoean, Ruxandra Stoean, Adrian Sandita, Cristian Mesina, Daniela Ciobanu, Corina Lavinia Gruia |
Investigation on Parameter Effect for Semi-automatic Contour Detection in Histopathological Image Processing. |
SYNASC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Monica Tirea, Viorel Negru |
Text Mining News System - Quantifying Certain Phenomena Effect on the Stock Market Behavior. |
SYNASC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | David J. Jeffrey, G. A. Kalugin, Nick Murdoch |
Lagrange Inversion and Lambert W. |
SYNASC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Meyer, John P. Morrison |
Supporting Heterogeneous Pools in a Single Ceph Storage Cluster. |
SYNASC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Elena V. Ravve, Zeev Volkovich, Gerhard-Wilhelm Weber |
Automatic Definition of Optimal Default Parameters of Models: Image Matting Application. |
SYNASC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ivan Simecek, Daniel Langr |
Space and Execution Efficient Formats for Modern Processor Architectures. |
SYNASC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Lorenzo Capra |
An Algebraic Petri Nets Emulator. |
SYNASC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Alexandru, Gabriel Ciobanu |
Static Analysis in Finitely Supported Mathematics. |
SYNASC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Arie Gurfinkel |
Algorithmic Logic-Based Verification with SeaHorn. |
SYNASC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Besik Dundua, Mário Florido, Temur Kutsia |
Lambda Calculus with Regular Types. |
SYNASC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Violeta Tulceanu |
A Matter of Trust: Smart Home System Relying on Logic, BCI, and Sensor Agents. |
SYNASC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Laura Kovács, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen M. Watt, Daniela Zaharie (eds.) |
17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Timisoara, Romania, September 21-24, 2015 |
SYNASC |
2015 |
DBLP BibTeX RDF |
|
1 | Michele Guerriero, Michele Ciavotta, Giovanni Paolo Gibilisco, Danilo Ardagna |
A Model-Driven DevOps Framework for QoS-Aware Cloud Applications. |
SYNASC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Cristina Vatamanu, Dragos Gavrilut, Razvan Benchea, Henri Luchian |
Feature Extraction Using Genetic Programming with Applications in Malware Detection. |
SYNASC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Bogdan-Constantin Irimie, Dana Petcu |
Scalable and Fault Tolerant Monitoring of Security Parameters in the Cloud. |
SYNASC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jérôme Frisch, Ralf-Peter Mundani |
Measuring and Comparing the Scaling Behaviour of a High-Performance CFD Code on Different Supercomputing Infrastructures. |
SYNASC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jiri Khun, Ivan Simecek, Róbert Lórencz |
GPU Solver for Systems of Linear Equations with Infinite Precision. |
SYNASC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Peter J. Bentley |
Building a Nature-Inspired Computer. |
SYNASC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Silvana Ilie, David J. Jeffrey, Robert M. Corless, X. Zhang |
Computation of Stirling Numbers and Generalizations. |
SYNASC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ansar Rafique, Dimitri Van Landuyt, Wouter Joosen |
Expressive Data Storage Policies for Multi-cloud Storage Configurations. |
SYNASC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Kuniyoshi Abe, Seiji Fujino |
Variant Implementations of SCBiCG Method for Linear Equations with Complex Symmetric Matrices. |
SYNASC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Hélène Lachambre, Benjamin Ricaud, Guillaume Stempfel, Bruno Torrésani, Christoph Wiesmeyr, Darian Onchis-Moaca |
Optimal Window and Lattice in Gabor Transform. Application to Audio Analysis. |
SYNASC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Gábor Kusper, Csaba Biró |
Solving SAT by an Iterative Version of the Inclusion-Exclusion Principle. |
SYNASC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ioana Andra Codreanu, Adina Magda Florea |
A Proposed Serious Game Architecture to Self-Management HealthCare for Older Adults. |
SYNASC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Nicolae-Eugen Croitoru |
High Probability Mutation and Error Thresholds in Genetic Algorithms. |
SYNASC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Hedin, Andrei Sabelfeld |
Web Application Security Using JSFlow. |
SYNASC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Gabriel Ciobanu, Eneia Nicolae Todoran |
Continuation Semantics for Dynamic Hierarchical Systems. |
SYNASC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Emil St. Chifu, Tiberiu St. Letia, Viorica R. Chifu |
Unsupervised Aspect Level Sentiment Analysis Using Self-Organizing Maps. |
SYNASC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Woltran |
Dynamic Programming on Tree Decompositions in Practice - Some Lessons Learned. |
SYNASC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Aurelian Radoaca |
Properties of Multiset Orders by Minimal and Maximal Submultisets. |
SYNASC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Todor Ivascu, Bogdan Manate, Viorel Negru |
A Multi-agent Architecture for Ontology-Based Diagnosis of Mental Disorders. |
SYNASC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Remus-Daniel Ene, Vasile Marinca, Romeo Negrea |
The Flow in a Viscous Fluid over an Unsteady Stretching Surface. |
SYNASC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Raivis Bets, Janis Buls |
On the Existence of 1-Bounded Bi-ideals with the WELLDOC Property. |
SYNASC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Isabela Dramnesc, Tudor Jebelean, Sorin Stratulat |
Combinatorial Techniques for Proof-Based Synthesis of Sorting Algorithms. |
SYNASC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Paul Tarau |
On Synergies between Type Inference, Generation and Normalization of SK-Combinator Trees. |
SYNASC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Rozica-Maria Tache, Ioan Tomescu |
General Sum-Connectivity Index with α ≥ 1 for Trees and Unicyclic Graphs with k Pendants. |
SYNASC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Adriana Horelu, Catalin Adrian Leordeanu, Elena Apostol, Dan Huru, Mariana Mocanu, Valentin Cristea |
Forecasting Techniques for Time Series from Sensor Data. |
SYNASC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Andreea Salinca |
Business Reviews Classification Using Sentiment Analysis. |
SYNASC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Andrew P. Smith 0001, César A. Muñoz, Anthony J. Narkawicz, Mantas Markevicius |
A Rigorous Generic Branch and Bound Solver for Nonlinear Problems. |
SYNASC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Dumitru-Bogdan Prelipcean, Adrian-Stefan Popescu, Dragos Teodor Gavrilut |
Improving Malware Detection Response Time with Behavior-Based Statistical Analysis Techniques. |
SYNASC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Thomas L. Falch, Anne C. Elster |
Register Caching for Stencil Computations on GPUs. |
SYNASC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Ciobaca |
Reducing Partial Equivalence to Partial Correctness. |
SYNASC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Weikun Wang, Giuliano Casale |
Evaluating Weighted Round Robin Load Balancing for Cloud Web Services. |
SYNASC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Petru Calin Bazavan, Lucian-Florentin Barbulescu, Paul Cefola |
On the Computation of the Hansen Coefficients. |
SYNASC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Catalin Stoean, Ruxandra Stoean, Adrian Sandita |
Investigation of Alternative Evolutionary Prototype Generation in Medical Classification. |
SYNASC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Dumitru-Clementin Cercel, Stefan Trausan-Matu |
Opinion Influence Analysis in Online Forum Threads. |
SYNASC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Giulia Rumi, Claudia Colella, Danilo Ardagna |
Optimization Techniques within the Hadoop Eco-system: A Survey. |
SYNASC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Marius Barat, Dumitru-Bogdan Prelipcean, Dragos Teodor Gavrilut |
A Practical Approach on Cleaning-Up Large Data Sets. |
SYNASC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Nicolae-Eugen Croitoru |
High-Probability Mutation in Basic Genetic Algorithms. |
SYNASC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Adrian Sabou, Dorian Gorgan |
A Parallel, Distributed, High-Performance Architecture for Simulating Particle-Based Models. |
SYNASC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Vlad Radulescu, Stefan Andrei, Albert M. K. Cheng |
A Heuristic-Based Approach for Reducing the Power Consumption of Real-Time Embedded Systems. |
SYNASC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Florina Roxana Padurariu, Cristina Marinescu |
NSGA-II: Implementation and Performance Metrics Extraction for CPU and GPU. |
SYNASC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Marco Bungart, Claudia Fohry, Jonas Posner |
Fault-Tolerant Global Load Balancing in X10. |
SYNASC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Anca Nicoleta Marginean, Ioan Alfred Letia, Sergiu Zaporojan |
Using Domain Specific Hierarchical Good Practice for Ranking Service Compositions. |
SYNASC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Carsten Schneider |
A Streamlined Difference Ring Theory: Indefinite Nested Sums, the Alternating Sign, and the Parameterized Telescoping Problem. |
SYNASC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | D. J. Jeffrey, Julia E. Jankowski |
Branch Differences and Lambert W. |
SYNASC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Lucian Luncean, Costin Badica |
Semantic Modeling of Information for Freight Transportation Broker. |
SYNASC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Marco Scavuzzo |
A Distributed File System over Heterogeneous SaaS Storage Platforms. |
SYNASC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Aldo Gonzalez-Lorenzo, Alexandra Bac, Jean-Luc Mari, Pedro Real 0001 |
Computing Homological Information Based on Directed Graphs within Discrete Objects. |
SYNASC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Marcos Aurélio Almeida da Silva, Danilo Ardagna, Nicolas Ferry 0001, Juan F. Pérez |
Model-Driven Design of Cloud Applications with Quality-of-Service Guarantees: The MODAClouds Approach, MICAS Tutorial. |
SYNASC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Frédéric Loulergue, Virginia Niculescu, Julien Tesson |
Implementing Powerlists with Bulk Synchronous Parallel ML. |
SYNASC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Marc Nicodeme, Charles Dossal, Flavius Turcu, Yannick Berthoumieu |
Lipschitz Bounds for Noise Robustness in Compressive Sensing: Two Algorithms. |
SYNASC |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Nevena Perovic, Jérôme Frisch, Ralf-Peter Mundani, Ernst Rank |
Interactive Data Exploration for High-Performance Fluid Flow Computations through Porous Media. |
SYNASC |
2014 |
DBLP DOI BibTeX RDF |
|