default search action
12th SYNASC 2010: Timisoara, Romania
- Tetsuo Ida, Viorel Negru, Tudor Jebelean, Dana Petcu, Stephen M. Watt, Daniela Zaharie:
12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010. IEEE Computer Society 2010, ISBN 978-0-7695-4324-6
Invited Talks
- Virgil Emil Cazanescu:
Programming via Rewriting. 3 - Hoon Hong:
Connectivity in Semi-algebraic Sets. 4-7 - Solomon Marcus:
Mathematical and Computational Mistakes and Failures as a Source of Creativity. 8-11 - Peter Paule, Veronika Pillwein:
Automatic Improvements of Wallis' Inequality. 12-16 - Stephen M. Watt:
On the Mathematics of Mathematical Handwriting Recognition. 17
Symbolic Computing: Regular Papers
- Madalina Hodorog, Bernard Mourrain, Josef Schicho:
A Symbolic-Numeric Algorithm for Computing the Alexander Polynomial of a Plane Curve Singularity. 21-28 - Daniel Lichtblau:
Polynomial GCD and Factorization via Approximate Gröbner Bases. 29-36 - Juan Félix San-Juan, Rosario María López, Luis María López
, Iván Pérez:
Symbolic-Numeric Cooperation in an Open Science Project. 37-46
Numerical Computing: Regular Papers
- Michele Martone, Salvatore Filippone
On BLAS Operations with Recursively Stored Sparse Matrices. 49-56 - Michele Martone, Salvatore Filippone
On the Usage of 16 Bit Indices in Recursively Stored Sparse Matrices. 57-64 - Alina Dudeanu, George-Razvan Oancea, Sorin Iftene:
An x-Coordinate Point Compression Method for Elliptic Curves over Fp. 65-71 - Charlotte Truchet, Marie Pelleau, Frédéric Benhamou:
Abstract Domains for Constraint Programming, with the Example of Octagons. 72-79 - Jérémy Jean, Stef Graillat:
A Parallel Algorithm for Dot Product over Word-Size Finite Field Using Floating-Point Arithmetic. 80-87
Numerical Computing: Short Papers
- Romeo Negrea, Ciprian Hedrea:
Numerical Solutions for a Class of Backward Stochastic Differential Equations. 91-94 - Ruxandra-Ioana Rusnac, Aurel Stefan Gontean
Maximum Likelihood Estimation Algorithm Evaluation for Wireless Sensor Networks. 95-98 - Elzbieta Gawronska
Application of Mixed Time Partitioning Methods to Raise the Efficiency of Solidification Modeling. 99-103
Logic and Programming: Regular Papers
- Yasuhiko Minamide, Yuto Sakuma, Andrei Voronkov:
Translating Regular Expression Matching into Transducers. 107-115 - María Alpuente
Completeness of Unfolding for Rewriting Logic Theories. 116-123 - Mauricio Alba-Castro
Approximating Non-interference and Erasure in Rewriting Logic. 124-132 - Irina Mariuca Asavoae, Mihail Asavoae, Dorel Lucanu:
Path Directed Symbolic Execution in the K Framework. 133-141 - Madalina Erascu, Tudor Jebelean:
A Purely Logical Approach to the Termination of Imperative Loops. 142-149
Logic and Programming: Short Paper
- Nikolaj Popov, Tudor Jebelean:
Proving Partial Correctness and Termination of Mutually Recursive Programs. 153-156
Artificial Intelligence: Regular Papers
- Emilian Necula, Raluca Necula, Adrian Iftene
Distributed Traffic Management System. 159-166 - Octav Brudaru, Rüdiger Ebendt, Iulian Marius Furdu
Optimizing Variable Ordering of BDDs with Double Hybridized Embryonic Genetic Algorithm. 167-173 - Corina Rotar:
Endocrine Control Evolutionary Algorithm. 174-181 - Cristian Gratie
Generic Representation for Extension-Based Semantics of Argumentation Frameworks. 182-187 - Vlad Saveluc, Liviu Ciortuz:
FCGlight: A System for Studying the Evolution of Natural Language. 188-193 - Ioan Salomie, Mihaela Dînsoreanu
Knowledge Acquisition and Processing System for Romanian Historical Documents. 194-201 - Cristian Giumale, Lorina Negreanu, Mihnea Muraru, Matei Popovici:
Modeling Ontologies for Time-Dependent Applications. 202-208 - D. Dumitrescu, Rodica Ioana Lung
Job Scheduling and Bin Packing from a Game Theoretical Perspective: An Evolutionary Approach. 209-214 - Robert Andrei Buchmann, Radu Meza
An Eye Tracking Semantic Repository for User Profiling. 215-222 - Doina Tatar, Epaminondas Kapetanios
Text Segments as Constrained Formal Concepts. 223-228 - Octav Brudaru, Cristian Rotaru:
Dynamic Segregative Genetic Algorithm for Assembly Lines Balancing. 229-236
Artificial Intelligence: Short Paper
- Laurentiu Bucur, Adina Florea
Exploring Chaos with Sparse Kernel Machines. 239-242
Distributed Computing: Regular Papers
- Stefan Andrei, Albert M. K. Cheng
An Efficient Scheduling Algorithm for the Multiprocessor Platform. 245-252 - Adriana Szekeres, Silviu Horia Baranga, Ciprian Dobre
A Keyword Search Algorithm for Structured Peer-to-Peer Networks. 253-260 - Alexandru Costan
A Worklow Management Platform for Scientific Applications in Grid Environments. 261-268 - Denisa Rodila
Integration of Spatial Data Infrastructures with Grid Environment. 269-277 - Mihail Ionescu:
Flexible Fault Tolerance in Distributed Enterprise Communities. 278-285 - Ionut Ungureanu, Catalin Adrian Leordeanu
Grid-Aware Intrusion Detection System Using Gossip Algorithms. 286-292 - Ioana Leahu:
Linear Algebraic Approach for Home Markings in Live and Bounded Equal Conflict Systems. 293-300 - Cristina Mindruta, Dana Petcu
A Semantic Services Architecture for Solving ODE Systems. 301-307 - Teodor Stefanut
E-Learning Platform for Educational Resources Repurposing in Earth Observation. 308-314 - Qiang Li, Yike Guo:
Optimization of Resource Scheduling in Cloud Computing. 315-320 - Catalin Gosman, Ciprian Dobre
A Security Protocol for Vehicular Distributed Systems. 321-327
Distributed Computing: Short Papers
- Rémi Bertin, Pierre Coucheney, Arnaud Legrand, Corinne Touati:
Practical Implementation Issues of Lagrangian Based Distributed Optimization Algorithms. 331-334 - Ionut Anghel
An Autonomic Context Management Model Based on Machine Learning. 335-338 - Kevin Atighehchi, Traian Muntean, Sylvain Parlanti, Robert Rolland
A Cryptographic Keys Transfer Protocol for Secure Communicating Systems. 339-343
Advanced Theory of Computing: Regular Papers
- Zoltán Ádám Mann, Aniko Szajko:
Improved Bounds on the Complexity of Graph Coloring. 347-354 - Adriana Popovici, Dan Popovici:
Dilatability to Quantum Linear Cellular Automata. 355-361 - Peter Scheiblechner:
On Lower Bounds for Algebraic Decision Trees over the Complex Numbers. 362-365 - Mircea Marin
Type Inference for Regular Expression Pattern Matching. 366-373
Global Computing Models and Technologies: Regular Paper
- Luís Soares Barbosa
Revisiting Context-Aware Component Interconnection. 377-384
Global Computing Models and Technologies: Short Paper
- Gabriel Ciobanu
Continuation Semantics for Concurrency Applied to Parallel Rewriting of Multisets. 387-391
Software Services - Frameworks and Platforms: Invited Papers
- Spyridon V. Gogouvitis
An Architectural Approach for Event-Based Execution Management in Service Oriented Infrastructures. 395-399 - Ladislav Hluchý
Advanced Data Integration and Data Mining for Enviromental Scenarios. 400-406 - Huy Tran, Ta'id Holmes, Ernst Oberortner, Emmanuel Mulo, Agnieszka Betkowska Cavalcante, Jacek Serafinski, Marek Tluczek, Aliaksandr Birukou
An End-to-End Framework for Business Compliance in Process-Driven SOAs. 407-414 - Mircea Trifu:
The Q-ImPrESS Method - An Overview. 415-416 - Michele Barletta, Alberto Calvi, Silvio Ranise
WSSMT: Towards the Automated Analysis of Security-Sensitive Services and Applications. 417-424
Software Services - Frameworks and Platforms: Regular Papers
- Damian Mierzwinski, Dariusz Walczak, Marcin Wolski, Marcin Wrzos:
Surveillance System in Service-Oriented Manner. 427-433 - Alexandra Coldea, Adrian Colesa
OrcFS: Organized Relationships between Components of the File System for Efficient File Retrieval. 434-441 - Adrian Colesa
Transparent Fault-Tolerance Based on Asynchronous Virtual Machine Replication. 442-448 - Cristina Bianca Pop, Viorica R. Chifu, Ioan Salomie, Mihaela Dînsoreanu
Ant-Inspired Technique for Automatic Web Service Composition and Selection. 449-455 - Alberto Calvi, Silvio Ranise
Automated Validation of Security-Sensitive Web Services Specified in BPEL and RBAC. 456-464 - Martin Lason
Role-Based Access Control in Software Services: Theory vs. Practice. 465-470 - Pawel Bachara, Krzysztof Zielinski:
SOA-Compliant Programming Model for Intelligent Sensor Networks - SCA-Based Solution. 471-478 - Andreea Marin, Ciprian Dobre
E-System for Automatic Data Migration. 479-484 - Javier Vázquez-Salceda
ALIVE: A Model-Driven Framework to Develop Dynamic, Flexible, Distributed Service-Oriented Systems. 485-492 - Raffaela Mirandola, Pasqualina Potena:
Self-Adaptation of Service Based Systems Based on Cost/Quality Attributes Tradeoffs. 493-501 - Andrei Arusoaie
Augmented Reality. 502-509 - Aneta Poniszewska-Maranda
Platform for Access Control Management in Information System Based on Extended RBAC Model. 510-517 - Ioan Alfred Letia, Anca Goron:
An Argumentation Approach to Incompletely Specified Software Services. 518-525 - Ioan Alfred Letia, Radu Razvan Slavescu:
Helpful Behavior Based on Trust for Web Services. 526-533 - Florin Pop:
SORMSYS: Towards a Resource Management Platform for Self-Organizing Large Scale Distributed Systems. 534-541
Software Services - Frameworks and Platforms: Short Papers
- Adriana Draghici, Marius Sandu-Popa, Razvan Deaconescu
A Peer-to-Peer Swarm Creation and Management Framework. 545-548 - Peter Bartalos, Mária Bieliková:
Composition and Undesired Web Service Execution Effects. 549-552 - Ioan Alfred Letia, Anca Nicoleta Marginean
Expectations for Assessment of Services Quality. 553-556 - Valentin Pavlov, Borislav Borisov, Sylvia Ilieva
Framework for Testing Service Compositions. 557-560 - Ioan Alfred Letia, Octavian Pop:
Semantic Service Alignment Using Concept Description Refinement. 561-564 - Maya Dimitrova
Personality Filter in Mobile Networks with Communication Constraints. 565-568 - Jaroslav Sedenka, Matej Bosak, Tomás Pitner
Monitoring and Support of Unreliable Services. 569-572 - Alina Andreica, Daniel Stuparu
A Software Services Framework for Providing E-Learning and Dedicated Information Systems Facilities. 573-576 - Jaroslav Skrabalek, Tomás Ludík, Jiri Slaby, Tomás Pitner
Web-Based Service for Collaborative Organization of Academic Events - Case Study of "Takeplace". 577-580 - Vlad Ciobanu
A Distributed Approach to Business Intelligence Systems Synchronization. 581-585
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-12-29 20:20 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: