default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID14th SYNASC 2012: Timisoara, Romania
- Andrei Voronkov, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen M. Watt, Daniela Zaharie:
14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, Timisoara, Romania, September 26-29, 2012. IEEE Computer Society 2012, ISBN 978-1-4673-5026-6 - Sascha Ossowski
:
Enabling Distributed Intelligent Systems in Open Environments through Agreement Technologies. 3-6 - Tetsuo Ida:
Interactive vs. Automated Proofs in Computational Origami. 7 - Sumit Gulwani:
Synthesis from Examples: Interaction Models and Algorithms. 8-14 - Paul Tarau:
Computing with Free Algebras. 15-22 - Solomon Marcus, Stephen M. Watt:
What is an Equation? 23-29 - Michael Kohlhase:
The Flexiformalist Manifesto. 30-35 - Stanislaw Kasjan, Andrzej Mróz:
Experiences in Symbolic Computations for Matrix Problems. 39-44 - Tateaki Sasaki:
Proposal of Singularization of Approximately Singular Polynomial Systems. 45-52 - Laura Kovács, Béla Paláncz, Levente Kovács:
Solving Robust Glucose-Insulin Control by Dixon Resultant Computations. 53-61 - Adrian Turcanu, Florentin Ipate:
Computational Properties of Two P Systems Solving the 3-colouring Problem. 62-69 - Quratul-ain Mahesar, Volker Sorge:
Algebraic Theory Exploration: A Comparison of Technologies. 70-77 - Emanuel Florentin Olariu:
A Model Reference Type Algorithm Using Importance Resampling. 78-82 - James H. Davenport, Russell J. Bradford, Matthew England, David J. Wilson:
Program Verification in the Presence of Complex Numbers, Functions with Branch Cuts etc. 83-88 - Mariusz Felisiak, Daniel Simson:
On Computing Mesh Root Systems and the Isotropy Group for Simply-laced Dynkin Diagrams. 91-97 - Remus-Daniel Ene, Vasile Marinca, Romeo Negrea, Bogdan Caruntu:
Optimal Homotopy Asymptotic Method for Solving a Nonlinear Problem in Elasticity. 98-102 - Stefan Maruster, Viorel Negru, Liviu Octavian Mafteiu-Scai:
Experimental Study on Parallel Methods for Solving Systems of Equations. 103-107 - Clare Dixon, Boris Konev, Renate A. Schmidt, Dmitry Tishkovsky:
Labelled Tableaux for Temporal Logic with Cardinality Constraints. 111-118 - Temur Kutsia, Mircea Marin:
Solving, Reasoning, and Programming in Common Logic. 119-126 - Madalina Erascu, Tudor Jebelean:
Soundness of a Logic-Based Verification Method for Imperative Loops. 127-134 - Stefan Andrei, Albert M. K. Cheng, Vlad Radulescu, Timothy H. McNicholl:
Toward an Optimal Power-Aware Scheduling Technique. 135-142 - Isabela Dramnesc, Tudor Jebelean:
Automated Synthesis of Some Algorithms on Finite Sets. 143-151 - Andrei Arusoaie, Daniel Ionut Vicol:
Automating Abstract Syntax Tree Construction for Context Free Grammars. 152-159 - Denis Bogdanas:
Label-Based Programming Language Semantics in K Framework with SDF. 160-167 - Doru Todinca, Daniel Butoianu:
VHDL Framework for Modeling Fuzzy Automata. 171-178 - Ciprian Oprisa, Adrian Colesa, Iosif Ignat:
A Metric for Evaluating the Usability of File Systems. 179-186 - Andrey V. Tsyganov:
ReFaM: A Software Tool for Minimizing Nondeterministic Finite Automata. 187-191 - Delia Mitrea, Sergiu Nedevschi, Radu Badea:
The Role of the Multiresolution Textural Features in Improving the Characterization and Recognition of the Liver Tumors, Based on Ultrasound Images. 192-199 - Andrei Sorin Sabau:
Variable Density Based Genetic Clustering. 200-206 - Liviu P. Dinu, Radu Tudor Ionescu:
Clustering Methods Based on Closest String via Rank Distance. 207-213 - Mihaela Elena Breaban, Henri Luchian, Dan A. Simovici:
A Genetic Clustering Algorithm by Monomial Projection Pursuit. 214-219 - Andrei Olariu:
Clustering to Improve Microblog Stream Summarization. 220-226 - Mihnea Donciu, Madalina Ionita, Mihai Dascalu, Stefan Trausan-Matu:
Ant Colony Optimisation for Automatically Populating Ontologies with Individuals. 227-232 - Vinicius Almendra, Denis Enachescu:
A Fraudster in a Haystack: Crafting a Classifier for Non-delivery Fraud Prediction at Online Auction Sites. 233-239 - Dragos Gavrilut, Razvan Benchea, Cristina Vatamanu:
Practical Optimizations for Perceptron Algorithms in Large Malware Dataset. 240-246 - Dragos Gavrilut, Razvan Benchea, Cristina Vatamanu:
Optimized Zero False Positives Perceptron Training for Malware Detection. 247-253 - Réka Nagy, Mihai Suciu, D. Dumitrescu:
Exploring Lorenz Dominance. 254-259 - Liviu P. Dinu, Radu Tudor Ionescu:
A Rank-Based Approach of Cosine Similarity with Applications in Automatic Classification. 260-264 - Frantisek Darena, Jan Zizka, Karel Burda:
Grouping of Customer Opinions Written in Natural Language Using Unsupervised Machine Learning. 265-270 - Gabriel Ciobanu, Eneia Nicolae Todoran:
Relating Two Metric Semantics for Parallel Rewriting of Multisets. 273-280 - Daniel Pletea, Florin Pop, Valentin Cristea:
Speculative Genetic Scheduling Method for Hadoop Environments. 281-286 - Adrian Colesa, Ioan Stan:
Improving the Responsiveness of Replicated Virtualized Services in Case of Overloaded Replicas Connectivity. 287-294 - Carlo Bellettini, Matteo Camilli, Lorenzo Capra, Mattia Monga:
Symbolic State Space Exploration of RT Systems in the Cloud. 295-302 - Adrian Mocanu, Nicolae Tapus:
A Fault-Tolerant Distributed Solution for the Parallel Gaussian Reduction of Huge Arrays. 303-310 - Andrei Sucila, Mihai Cimpoesu:
A Distributed Solver for Dense Linear Feasibility Systems. 311-318 - Bogdan Aman, Gabriel Ciobanu, G. Michele Pinna:
Timed Catalytic Petri Nets. 319-326 - Ciprian Paduraru:
A New Online Load Balancing Algorithm in Distributed Systems. 327-334 - Kinga Marton, Peter Toth, Alin Suciu:
Unpredictable Random Number Generator Based on the Performance Data Helper Interface. 335-340 - Ciobanu (Defta) Costinela-Luminita, Ciobanu (Iacob) Nicoleta Magdalena:
Methods for Securing Routing Protocols in Ad-Hoc Networks. 341-348 - Cristian Bancu, Monica Dagadita, Mihai Dascalu, Ciprian Dobre, Stefan Trausan-Matu, Adina Magda Florea:
ARSYS - Article Recommender System. 349-355 - Ivan Simecek, Daniel Langr, Pavel Tvrdík:
Minimal Quadtree Format for Compression of Sparse Matrices Storage. 359-364 - Tomer Kotek, Johann A. Makowsky, Elena V. Ravve:
A Computational Framework for the Study of Partition Functions and Graph Polynomials. 365-368 - Marcin Gasiorek, Daniel Simson, Katarzyna Zajac:
On Coxeter Spectral Study of Posets and a Digraph Isomorphism Problem. 369-375 - Andrei Alexandru, Gabriel Ciobanu:
Nominal Fusion Calculus. 376-383 - Paul Tarau, Brenda Luderman:
Boolean Evaluation with a Pairing and Unpairing Function. 384-390 - Jean Moschetta, Giuliano Casale:
OFBench: An Enterprise Application Benchmark for Cloud Resource Management Studies. 393-399 - Sébastien Mosser, Franck Fleurey, Brice Morin, Franck Chauvel, Arnor Solberg, Iokanaan Goutier:
SENSAPP as a Reference Platform to Support Cloud Experiments: From the Internet of Things to the Internet of Services. 400-406 - Francesco D'Andria, Stefano Bocconi, Jesus Gorronogoitia Cruz, James Ahtes, Dimitris Zeginis:
Cloud4SOA: Multi-cloud Application Management Across PaaS Offerings. 407-414 - Massimiliano Rak, Giuseppe Aversano:
Benchmarks in the Cloud: The mOSAIC Benchmarking Framework. 415-422 - Filippo Lorenzo Ferraris, Davide Franceschelli, Mario Pio Gioiosa, Donato Lucia, Danilo Ardagna, Elisabetta Di Nitto, Tabassum Sharif:
Evaluating the Auto Scaling Performance of Flexiscale and Amazon EC2 Clouds. 423-429 - Simone Benefico, Eva Gjeci, Ricardo Gonzalez Gomarasca, Eros Lever, Santo Lombardo, Danilo Ardagna, Elisabetta Di Nitto:
Evaluation of the CAP Properties on Amazon SimpleDB and Windows Azure Table Storage. 430-435 - Daniel Tovarnák, Tomás Pitner:
Towards Multi-tenant and Interoperable Monitoring of Virtual Machines in Cloud. 436-442 - Santo Lombardo, Elisabetta Di Nitto, Danilo Ardagna:
Issues in Handling Complex Data Structures with NoSQL Databases. 443-448 - Marc Frîncu, Adrian F. Spataru:
Minimizing Resource Rent Loss while Maximizing User Availability in Cloud Applications through Online Switching of the Scaling Method. 449-456 - Victor Ion Munteanu, Teodor-Florin Fortis, Viorel Negru:
Service Lifecycle in the Cloud Environment. 457-464 - Marcela Roxana Farcasescu:
Trust Model Engines in Cloud Computing. 465-470 - Jérôme Frisch, Ruiping Gao, Ralf-Peter Mundani, Chien-Ming Wang, Ernst Rank:
Towards Interactive Steering of a Very Large Floating Structure Code by Using HPC Parallelisation Strategies. 473-480 - Ioan Lucian Muntean, Radu Ioan Peter, Marius Joldos:
Dynamics Analysis of Parallel Simulations of the Spike Response Model. 481-486 - Ana Claudia Sima, Emil Slusanschi:
Optimizing Parallel CFD Simulations of 2D Compressible Flows. 487-494 - Victor Ion Munteanu, Cristina Mindruta, Teodor-Florin Fortis:
Service Brokering in Cloud Governance. 497-504 - Gabriel Iuhasz, Monica Tirea, Viorel Negru:
Neural Network Predictions of Stock Price Fluctuations. 505-512 - Andrei Mocanu, Sorin Ilie, Costin Badica:
Ubiquitous Multi-agent Environmental Hazard Management. 513-521
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 2026-03-12 22:30 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:
