default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID7th 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, Iulia Mantu:
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, Maria Teodorescu, Cosmin Stoica Spahiu, Amelia Badica, Chris Fox:
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, Grigoreta Sofia Moldovan:
Building an Object Oriented Computational Algebra System Based on Design Patterns. 101-108 - Zsolt I. Lázár, Andreea Fanea, Dragos Petrascu, Vladiela Ciobotariu-Boer, Bazil Pârv:
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, Mirela Pater, Ovidiu Boc, Zoltan David:
AFOPT Algorithm for Multi-Level Databases. 129-133 - Cornelia Györödi, Robert Györödi, Mirela Pater, Ovidiu Boc, Zoltan David:
Adaptive AFOPT Algorithm. 134-138 - Daniel Pop, Ciprian Jichici, Viorel Negru:
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, Constantin Marta:
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, Ronan Querrec, Fabrice Harrouet, Christophe Le Gal, Luca-Dan Serbanati, Serge Morvan:
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, Maria Ganzha, Marcin Paprzycki:
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, Eugenia Kalisz:
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, Diego Cazorla, Fernando Cuartero, Juan José Pardo:
A Formal Specification and Performance Evaluation of the Purchase Phase in the SET Protocol. 239-244 - Laura Ildikó Kovács, Tudor Jebelean:
An Algorithm for Automated Generation of Invariants for Loops with Conditionals. 245-249 - Gabriel Ciobanu, K. N. Sridhar:
Specifications and Verification of Network Protocols by Process Algebra. 250-258 - Mihai Danes, Dorel Lucanu, Gabriel Ciobanu:
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, Ajith Abraham:
Emotional Ant Based Modeling of Crowd Dynamics. 279-286 - Crina Grosan, Ajith Abraham, Monica Nicoara:
Performance Tuning of Evolutionary Algorithms Using Particle Sub Swarms. 287-294 - Camelia-Mihaela Pintea, D. Dumitrescu:
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, L. Braescu, Stefan Balint:
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, Andrei Bautu, Henri Luchian:
Symbolic Regression on Noisy Data with Genetic and Gene Expression Programming. 321-324 - Elena Bautu, Andrei Bautu, Henri Luchian:
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, D. Dumitrescu:
A Model for Parallel Evolutionary Search. 333-338 - Rodica Ioana Lung, D. Dumitrescu:
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, Rudolf Freund, Agustin Riscos-Núñez:
One and Two Polarizations, Membrane Creation and Objects Complexity in P Systems. 385-394 - Gemma Bel Enguix, María Dolores Jiménez-López:
Modelling Parallel Phenomena in Conversations with P Systems. 395-398 - Francesco Bernardini, Francisco José Romero-Campero, Marian Gheorghe, Mario J. Pérez-Jiménez, Maurice Margenstern, Sergey Verlan, Natalio Krasnogor:
On P Systems with Bounded Parallelism. 399-406 - Luca Bianco, Vincenzo Manca, Simone Zorzan:
Symbolic Representations of Biological Oscillations. 407-414 - Luis Fernández, Victor J. Martínez, Fernando Arroyo, Luis F. Mingo:
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, Daniela Besozzi, Giancarlo Mauri:
Investigating Local Evolutions in Dynamical Probabilistic P Systems. 440-447 - Miguel Angel Gutiérrez-Naranjo, Mario J. Pérez-Jiménez, Agustin Riscos-Núñez, Francisco José Romero-Campero:
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, H. Ramesh:
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 2025-02-21 19:41 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:
