Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Ana Claudia Sima, Emil Slusanschi |
Optimizing Parallel CFD Simulations of 2D Compressible Flows. |
SYNASC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Sucila, Mihai Cimpoesu |
A Distributed Solver for Dense Linear Feasibility Systems. |
SYNASC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Emanuel Florentin Olariu |
A Model Reference Type Algorithm Using Importance Resampling. |
SYNASC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Sumit Gulwani |
Synthesis from Examples: Interaction Models and Algorithms. |
SYNASC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Andrey V. Tsyganov |
ReFaM: A Software Tool for Minimizing Nondeterministic Finite Automata. |
SYNASC |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Vinicius Almendra, Denis Enachescu |
A Supervised Learning Process to Elicit Fraud Cases in Online Auction Sites. |
SYNASC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Voichita Popescu, Mihai Bace, Sergiu Nedevschi |
Probabilistic Approach for Automated Reasoning for Lane Identification in Intelligent Vehicles. |
SYNASC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Rémi Imbach, Pascal Mathis, Pascal Schreck |
Tracking Method for Reparametrized Geometrical Constraint Systems. |
SYNASC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Carlo Bellettini, Lorenzo Capra |
Reachability Analysis of Time Basic Petri Nets: A Time Coverage Approach. |
SYNASC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Dragos Gavrilut, Liviu Ciortuz |
Dealing with Class Noise in Large Training Datasets for Malware Detection. |
SYNASC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Octav Brudaru, Cristian Rotaru, Iulian Marius Furdu |
Static Segregative Genetic Algorithm for Optimizing Variable Ordering of ROBDDs. |
SYNASC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Dongming Wang 0001, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen M. Watt, Daniela Zaharie (eds.) |
13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2011, Timisoara, Romania, September 26-29, 2011 |
SYNASC |
2011 |
DBLP BibTeX RDF |
|
1 | Calin Sandru |
Enhancing Objects' Autonomy through the Classification of Objects' Interactions. |
SYNASC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Gerald Schaefer |
Hybrid Fuzzy Rule-Based Classification. |
SYNASC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Sofia Neata, Andreea Urzica, Adina Magda Florea |
Trust Model for Virtual Organizations. |
SYNASC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Mihnea Donciu, Madalina Ionita, Mihai Dascalu, Stefan Trausan-Matu |
The Runner - Recommender System of Workout and Nutrition for Runners. |
SYNASC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Petr Bujok, Josef Tvrdík |
Parallel Migration Models Applied to Competitive Differential Evolution. |
SYNASC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jérôme Frisch, Ralf-Peter Mundani, Ernst Rank |
Communication Schemes of a Parallel Fluid Solver for Multi-scale Environmental Simulations. |
SYNASC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Anamaria Szekely, Anita Hejja, Robert Andrei Buchmann |
Mapping a Relational Database into a RDF Repository. |
SYNASC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ernest Scheiber |
On the Interpolation Trigonometric Polynomial with an Arbitrary Even Number of Nodes. |
SYNASC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Adina Magda Florea |
Self-Organizing Context Aware Agent Systems. |
SYNASC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Laura Kovács |
Symbol Elimination in Program Analysis. |
SYNASC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Anton Alin-Adrian |
A Method for Submodelling Inside Transient Flows. |
SYNASC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Cristian-Mircea Dinu, Florin Pop, Valentin Cristea |
Pattern Detection Model for Monitoring Distributed Systems. |
SYNASC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Adrian Mocanu, Nicolae Tapus |
A Distributed Approach for Solving Systems of Nonlinear Equations. |
SYNASC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Frédéric Chyzak, James H. Davenport, Christoph Koutschan, Bruno Salvy |
On Kahan's Rules for Determining Branch Cuts. |
SYNASC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Marco Bodrato, Alberto Zanoni |
Long Integers and Polynomial Evaluation with Estrin's Scheme. |
SYNASC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Diana Trandabat |
Towards Extracting Semantic Information from Texts. |
SYNASC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Matthieu Martel |
RangeLab: A Static-Analyzer to Bound the Accuracy of Finite-Precision Computations. |
SYNASC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Stephen M. Watt |
Computational Tools for Mathematical Collaboration. |
SYNASC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Vinicius Almendra, Bianca Roman |
Using Exploratory Data Analysis for Fraud Elicitation through Supervised Learning. |
SYNASC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Octavian Cira, Stefan Maruster |
Optimal Inequality Factor for Ehrlich-Aberth's Method. |
SYNASC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Mariusz Felisiak, Daniel Simson |
Experiences in Computing Mesh Root Systems for Dynkin Diagrams Using Maple and C++. |
SYNASC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Anita Hejja, Robert Andrei Buchmann, Anamaria Szekely |
Integration of Association Rule Detection with Rule-Based Ontological Support for Product Recommendation. |
SYNASC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Marin, Florin Pop |
Intelligent Web-History Based on a Hybrid Clustering Algorithm for Future-Internet Systems. |
SYNASC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Luminita State, Iuliana Paraschiv-Munteanu |
A Probabilistic Model-Free Approach in Learning Multivariate Noisy Linear Systems. |
SYNASC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Tateaki Sasaki |
A Theory and an Algorithm of Approximate Gröbner Bases. |
SYNASC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Liviu Ciortuz, Vlad Saveluc |
Learning to Unlearn in Lattices of Concepts: A Case Study in Fluid Construction Grammars. |
SYNASC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Alexandru, Gabriel Ciobanu |
Nominal Semantics of the pi I-calculus. |
SYNASC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Octav Brudaru, Adrian Vilcu, Diana Popovici |
Cellular Genetic Algorithm with Communicating Grids for a Delivery Problem. |
SYNASC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Radu-Ioan Ciobanu, Ciprian Dobre, Valentin Cristea |
A Data Dissemination Algorithm for Opportunistic Networks. |
SYNASC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Gabriel Ciobanu, Eneia Nicolae Todoran |
Metric Denotational Semantics for Parallel Rewriting of Multisets. |
SYNASC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Oleg V. Zubkov, Dmitry V. Chistikov, Andrey A. Voronenko |
An Upper Bound on Checking Test Complexity for Almost All Cographs. |
SYNASC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Inese Berzina, Raivis Bets, Janis Buls, Edmunds Cers, Liga Kulesa |
On a Non-periodic Shrinking Generator. |
SYNASC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Lucian Radu Teodorescu, Razvan Boldizsar, Mihai Alexandru Ordean, Melania Duma 0002, Laura Detesan, Mihaela Ordean |
Part of Speech Tagging for Romanian Text-to-Speech System. |
SYNASC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Alexandru Gherega, Valentin Pupezescu |
Multi-agent Resource Allocation Algorithm Based on the XSufferage Heuristic for Distributed Systems. |
SYNASC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Liviu Petrisor Dinu, Radu Tudor Ionescu |
A Genetic Approximation of Closest String via Rank Distance. |
SYNASC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Maria-Iuliana Bocicor, Gabriela Czibula, István Gergely Czibula |
A Reinforcement Learning Approach for Solving the Fragment Assembly Problem. |
SYNASC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Anca Dinu |
Short Text Categorization via Coherence Constraints. |
SYNASC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Franz Winkler 0001 |
What can Symbolic Computation Contribute to Mathematics? |
SYNASC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Beáta Reiz, Sándor Pongor |
Psychologically Inspired, Rule-Based Outlier Detection in Noisy Data. |
SYNASC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Emilian Necula, Raluca Necula, Adrian Iftene |
A GIS Integrated Solution for Traffic Management. |
SYNASC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Réka Nagy, D. Dumitrescu, Rodica Ioana Lung |
Lorenz Equilibrium: Concept and Evolutionary Detection. |
SYNASC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Andrei, Albert M. K. Cheng, Vlad Radulescu |
Estimating the Number of Processors towards an Efficient Non-preemptive Scheduling Algorithm. |
SYNASC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Mihail Asavoae, Irina Mariuca Asavoae |
Using the Executable Semantics for CFG Extraction and Unfolding. |
SYNASC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Victor Bacu, Danut Mihon, Teodor Stefanut, Denisa Rodila, Dorian Gorgan, Pierluigi Cau, Simone Manca |
Grid Based Services and Tools for Hydrological Model Processing and Visualization. |
SYNASC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Isabela Dramnesc, Tudor Jebelean |
Proof Techniques for Synthesis of Sorting Algorithms. |
SYNASC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ioan Lucian Muntean, Laura Maria Dansorean |
Searching Simulation Scenarios on the Grid with ELSIGExplorer. |
SYNASC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Liliana Cojocaru, Erkki Mäkinen |
On the Complexity of Szilard Languages of Matrix Grammars. |
SYNASC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | George Sacerdotianu, Sorin Ilie, Costin Badica |
Software Framework for Agent-Based Games and Simulations. |
SYNASC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Erich L. Kaltofen |
What is Hybrid Symbolic-Numeric Computation? |
SYNASC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Vesna Jevtic, Dalibor Dobrilovic, Jelena Stojanov, Zeljko Stojanov |
Project Duration Assessment Model Based on Modified Shortest Path Algorithm and Superposition. |
SYNASC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Valentin Tanasa, Dorothée Normand-Cyrot |
A Computer Aided Software for Nonlinear Digital Control. |
SYNASC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Monica Tirea, Ioan Tandau, Viorel Negru |
Multi-agent Stock Trading Algorithm Model. |
SYNASC |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Maya Dimitrova, Anna K. Lekova, Mo Adda |
Personality Filter in Mobile Networks with Communication Constraints. |
SYNASC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Cristian Giumale, Lorina Negreanu, Mihnea Muraru, Matei Popovici |
Modeling Ontologies for Time-Dependent Applications. |
SYNASC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Andrei, Albert M. K. Cheng, Gheorghe Grigoras, Vlad Radulescu |
An Efficient Scheduling Algorithm for the Multiprocessor Platform. |
SYNASC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Mauricio Alba-Castro, María Alpuente, Santiago Escobar 0001 |
Approximating Non-interference and Erasure in Rewriting Logic. |
SYNASC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Cristina Bianca Pop, Viorica R. Chifu, Ioan Salomie, Mihaela Dînsoreanu, Tudor David, Vlad Acretoaie |
Ant-Inspired Technique for Automatic Web Service Composition and Selection. |
SYNASC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Damian Mierzwinski, Dariusz Walczak, Marcin Wolski, Marcin Wrzos |
Surveillance System in Service-Oriented Manner. |
SYNASC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Alexandra Coldea, Adrian Colesa, Iosif Ignat |
OrcFS: Organized Relationships between Components of the File System for Efficient File Retrieval. |
SYNASC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Octav Brudaru, Cristian Rotaru |
Dynamic Segregative Genetic Algorithm for Assembly Lines Balancing. |
SYNASC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Alina Andreica, Daniel Stuparu, Florina Covaci, Gabriel Pop, Arpad Imre |
A Software Services Framework for Providing E-Learning and Dedicated Information Systems Facilities. |
SYNASC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Madalina Hodorog, Bernard Mourrain, Josef Schicho |
A Symbolic-Numeric Algorithm for Computing the Alexander Polynomial of a Plane Curve Singularity. |
SYNASC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Laurentiu Bucur, Adina Florea |
Exploring Chaos with Sparse Kernel Machines. |
SYNASC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Rémi Bertin, Pierre Coucheney, Arnaud Legrand, Corinne Touati |
Practical Implementation Issues of Lagrangian Based Distributed Optimization Algorithms. |
SYNASC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ioan Alfred Letia, Radu Razvan Slavescu |
Helpful Behavior Based on Trust for Web Services. |
SYNASC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Cristina Mindruta, Dana Petcu |
A Semantic Services Architecture for Solving ODE Systems. |
SYNASC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Teodor Stefanut, George Popescu, Dorian Gorgan |
E-Learning Platform for Educational Resources Repurposing in Earth Observation. |
SYNASC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Denisa Rodila, Dorian Gorgan |
Integration of Spatial Data Infrastructures with Grid Environment. |
SYNASC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Vlad Ciobanu, Florin Pop, Decebal Popescu, Valentin Cristea |
A Distributed Approach to Business Intelligence Systems Synchronization. |
SYNASC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Yasuhiko Minamide, Yuto Sakuma, Andrei Voronkov |
Translating Regular Expression Matching into Transducers. |
SYNASC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Charlotte Truchet, Marie Pelleau, Frédéric Benhamou |
Abstract Domains for Constraint Programming, with the Example of Octagons. |
SYNASC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Adriana Szekeres, Silviu Horia Baranga, Ciprian Dobre, Valentin Cristea |
A Keyword Search Algorithm for Structured Peer-to-Peer Networks. |
SYNASC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Vlad Saveluc, Liviu Ciortuz |
FCGlight: A System for Studying the Evolution of Natural Language. |
SYNASC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Virgil Emil Cazanescu |
Programming via Rewriting. |
SYNASC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Zoltán Ádám Mann, Aniko Szajko |
Improved Bounds on the Complexity of Graph Coloring. |
SYNASC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Alberto Calvi, Silvio Ranise, Luca Viganò 0001 |
Automated Validation of Security-Sensitive Web Services Specified in BPEL and RBAC. |
SYNASC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Robert Andrei Buchmann, Radu Meza, Anita Hejja |
An Eye Tracking Semantic Repository for User Profiling. |
SYNASC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Adriana Draghici, Marius Sandu-Popa, Razvan Deaconescu, Nicolae Tapus |
A Peer-to-Peer Swarm Creation and Management Framework. |
SYNASC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Huy Tran, Ta'id Holmes, Ernst Oberortner, Emmanuel Mulo, Agnieszka Betkowska Cavalcante, Jacek Serafinski, Marek Tluczek, Aliaksandr Birukou, Florian Daniel, Patrícia Silveira, Uwe Zdun, Schahram Dustdar |
An End-to-End Framework for Business Compliance in Process-Driven SOAs. |
SYNASC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Adriana Popovici, Dan Popovici |
Dilatability to Quantum Linear Cellular Automata. |
SYNASC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Corina Rotar |
Endocrine Control Evolutionary Algorithm. |
SYNASC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Mircea Trifu |
The Q-ImPrESS Method - An Overview. |
SYNASC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Adrian Colesa, Ioan Stan, Iosif Ignat |
Transparent Fault-Tolerance Based on Asynchronous Virtual Machine Replication. |
SYNASC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Florin Pop |
SORMSYS: Towards a Resource Management Platform for Self-Organizing Large Scale Distributed Systems. |
SYNASC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Irina Mariuca Asavoae, Mihail Asavoae, Dorel Lucanu |
Path Directed Symbolic Execution in the K Framework. |
SYNASC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Javier Vázquez-Salceda, Wamberto Weber Vasconcelos, Julian A. Padget, Frank Dignum, Siobhán Clarke, Manel Palau, Paul Sergeant, Kees Nieuwenhuis |
ALIVE: A Model-Driven Framework to Develop Dynamic, Flexible, Distributed Service-Oriented Systems. |
SYNASC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Michele Martone, Salvatore Filippone, Marcin Paprzycki, Salvatore Tucci |
On BLAS Operations with Recursively Stored Sparse Matrices. |
SYNASC |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Madalina Erascu, Tudor Jebelean |
A Purely Logical Approach to the Termination of Imperative Loops. |
SYNASC |
2010 |
DBLP DOI BibTeX RDF |
|