default search action
7th SYNASC 2005: Timisoara, Romania
- Daniela Zaharie, Dana Petcu, Viorel Negru, Tudor Jebelean, Gabriel Ciobanu, Alexandru Cicortas, Ajith Abraham, Marcin Paprzycki:
Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2005), 25-29 September 2005, Timisoara, Romania. IEEE Computer Society 2005, ISBN 0-7695-2453-2
Invited Talks
- Ajith Abraham:
Natural Computation for Business Intelligence from Web Usage Mining. 3-10 - Gheorghe Paun, Radu A. Paun:
Membrane Computing as a Framework for Modeling Economic Processes. 11-18 - Gabriel Ciobanu:
Theory and Practice of Programming Applied to Membrane Systems. 19-25
Symbolic and Numeric Computing
- Mircea Marin
, Tetsuo Ida:
Rule-Based Programming with sigma-Log. 31-38 - Katsusuke Nabeshima:
A Direct Products of Fields Approach to Comprehensive Gröbner Bases over Finite Fields. 39-47 - Yong Feng, Yaohui Li:
Checking RSC Criteria for Extended Dixon Resultant by Interpolation Method. 48-51 - Xinli Zhang, Dayong Zhu:
A Connectivity Analysis Approach in Geometric Constraint Solving. 52-55
Symbolic Modeling and Software Design
- Alina Andreica, Daniel Stuparu
Symbolic Modeling of Database Representations. 59-62 - Richard Wettel, Radu Marinescu:
Archeology of Code Duplication: Recovering Duplication Chains from Small Duplication Fragments. 63-70 - Costin Badica
Integrating Role Activity Diagrams and Hybrid IDEF for Business Process Modeling Using MDA. 71-74
Data Clustering and Image Processing
- Gabriela Serban, Alina Campan:
A New Core-Based Method for Hierarchical Incremental Clustering. 77-82 - Liana Stanescu, Dumitru Dan Burdescu, Cosmin Stoica Spahiu:
Using R-Trees in Content-Based Region Query with Spatial Bounds. 83-89
Scientific Computing Systems and User Interfaces
- Laurentiu Dragan, Stephen M. Watt:
Performance Analysis of Generics in Scientific Computing. 93-100 - Virginia Niculescu
Building an Object Oriented Computational Algebra System Based on Design Patterns. 101-108 - Zsolt I. Lázár
COMODI: On the Graphical User Interface. 109-113 - Mircea Dragan:
Using Excel as a Front-End for MLF. 114-117
Data Mining
- Anna Bartkowiak, Piotr Lipinski:
Remarks on Evaluation of Correlation Dimension for 5 French Stock Data. 121-128 - Robert Györödi, Cornelia Györödi
AFOPT Algorithm for Multi-Level Databases. 129-133 - Cornelia Györödi
Adaptive AFOPT Algorithm. 134-138 - Daniel Pop
A Combinative Method for Decision Tree Construction. 139-143
Cryptography and Compression Algorithms
- Bogdan Groza, Dorina Petrica:
Cryptanalysis of an Authentication Protocol. 147-153 - Sorin Iftene:
General Secret Sharing Based on Determinants. 154-157 - Adriana Popovici, Dan Popovici:
A Generalization of the Cellular Automata Rule-30 Cryptoscheme. 158-164 - Ionut Popa:
Data Compression Using Surrounding Contexts. 165-167
Distributed and Parallel Computation
- Dana Petcu
Adapting a Partitioning-Based Heuristic Load-Balancing Algorithm to Heterogeneous Computing Environments. 170-173 - Horea-Adrian Grebla, Calin Cenan:
Distributed Database Replication - A Game Theory? 174-177 - Darian M. Onchis
Multiple 1D Data Parallel Wavelet Transform. 178-181 - Srivastav Sethupathy, Nohpill Park, Marcin Paprzycki
Logic Restructuring for Delay Balancing in Wave-Pipelined Circuits: An Integer Programming Approach. 182-188
Workshop on Agents for Complex Systems
- Dorin Mircea Popovici
VirtualDive - A VR-Based Educational Virtual Environment. 191-198 - Catalin Hritcu, Sabin C. Buraga
A Reference Implementation of ADF (Agent Developing Framework): Semantic Web-Based Agent Communication. 199-206 - Costin Badica
Mobile Agents in a Multi-Agent E-Commerce System. 207-214 - Ionel Muscalagiu, Horia Emil Popa, Manuela Panoiu
Determining the Number of Messages Transmitted for the Temporary Links in the Case of ABT Family Techniques. 215-222 - Adina Florea
Embedding Emotions in an Artificial Tutor. 223-228
Workshop on Computer-Aided Verification of Information Systems
- Lorenzo Capra
Colored Petri Nets State-Space Reduction via Symbolic Execution. 231-238 - M. Carmen Ruiz
A Formal Specification and Performance Evaluation of the Purchase Phase in the SET Protocol. 239-244 - Laura Ildikó Kovács
An Algorithm for Automated Generation of Invariants for Loops with Conditionals. 245-249 - Gabriel Ciobanu
Specifications and Verification of Network Protocols by Process Algebra. 250-258 - Mihai Danes, Dorel Lucanu
Specification of Coordinated Objects and Verification of Their Temporal Properties. 259-266 - Tudor Jebelean, Laura Szakacs:
Functional-Based Synthesis of Systolic Online Multipliers. 267-275
Workshop on Natural Computing and Applications
- Soumya Banerjee, Crina Grosan
Emotional Ant Based Modeling of Crowd Dynamics. 279-286 - Crina Grosan
Performance Tuning of Evolutionary Algorithms Using Particle Sub Swarms. 287-294 - Camelia-Mihaela Pintea
Improving Ant Systems Using a Local Updating Rule. 295-298 - Razvan V. Florian
A Reinforcement Learning Algorithm for Spiking Neural Networks. 299-306 - Eva Kaslik
On the Controllability of the Continuous-Time Hopfield-Type Neural Networks. 307-314 - Delia David, Laura Diosan, Dumitru Dumitrescu:
A New Nature-Inspired Computation Model Ising Model with Rays. 315-320 - Elena Bautu
Symbolic Regression on Noisy Data with Genetic and Gene Expression Programming. 321-324 - Elena Bautu
A GEP-Based Approach for Solving Fredholm First Kind Integral Equations. 325-328 - Sorin Cristian Cheran, Gianfranco Gargano:
Computer-Aided Diagnosis for Lung CT Using Artificial Life Models. 329-332 - Anca Gog
A Model for Parallel Evolutionary Search. 333-338 - Rodica Ioana Lung
A New Subpopulation Model for Evolutionary Multimodal Optimization. 339-342 - Daniela Zaharie
Density Based Clustering with Crowding Differential Evolution. 343-350
Workshop on Petri Nets and Their Applications to Workflow Management
- Jingfu Zhong, Binheng Song:
Verification of Resource Constraints for Concurrent Workflows. 353-360 - Ferucio Laurentiu Tiplea, Geanina Ionela Macovei:
Timed Workflow Nets. 361-366 - Ferucio Laurentiu Tiplea, Aurora Tiplea:
Instantiating Nets and Their Applications to Workflow Nets. 367-373 - Cristian Vidrascu:
Modular Analysis of Concurrency in Jumping Petri Nets. 374-381
Workshop on Theory and Applications of P Systems
- Artiom Alhazov
One and Two Polarizations, Membrane Creation and Objects Complexity in P Systems. 385-394 - Gemma Bel Enguix
Modelling Parallel Phenomena in Conversations with P Systems. 395-398 - Francesco Bernardini, Francisco José Romero-Campero
On P Systems with Bounded Parallelism. 399-406 - Luca Bianco
Symbolic Representations of Biological Oscillations. 407-414 - Luis Fernández, Victor J. Martínez, Fernando Arroyo
A Hardware Circuit for Selecting Active Rules in Transition P Systems. 415-418 - Rudolf Freund, Marion Oswald:
P Colonies Working in the Maximally Parallel and in the Sequential Mode. 419-426 - Pierluigi Frisco, Ranulf T. Gibson:
A Simulator and an Evolution Program for Conformon-P Systems. 427-430 - Oscar H. Ibarra, Sara Woodworth:
On Symport/Antiport P Systems with One or Two Symbols. 431-439 - Dario Pescini
Investigating Local Evolutions in Dynamical Probabilistic P Systems. 440-447 - Miguel Angel Gutiérrez-Naranjo
Characterizing Tractability with Membrane Creation. 448-457 - Aurelia Profir, Emilian Gutuleac, Elena Boian:
Simulation of Continuous-Time P Systems Using Descriptive Rewriting Timed Petri Nets. 458-461 - Raghavan Rama
On Generating Trees by P Systems with Active Membranes. 462-466
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-19 22:19 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: