Conferences in DBLP
(synasc) Ajith Abraham Natural Computation for Business Intelligence from Web Usage Mining. [Citation Graph (0, 0)][DBLP ] Conf ] Gheorghe Paun , Radu A. Paun Membrane Computing as a Framework for Modeling Economic Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Gabriel Ciobanu Theory and Practice of Programming Applied to Membrane Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Mircea Marin , Tetsuo Ida Rule-Based Programming with sigma-Log. [Citation Graph (0, 0)][DBLP ] Conf ] Katsusuke Nabeshima A Direct Products of Fields Approach to Comprehensive Gröbner Bases over Finite Fields. [Citation Graph (0, 0)][DBLP ] Conf ] Yong Feng , Yaohui Li Checking RSC Criteria for Extended Dixon Resultant by Interpolation Method. [Citation Graph (0, 0)][DBLP ] Conf ] Xinli Zhang , Dayong Zhu A Connectivity Analysis Approach in Geometric Constraint Solving. [Citation Graph (0, 0)][DBLP ] Conf ] Alina Andreica , Daniel Stuparu , Iulia Mantu Symbolic Modeling of Database Representations. [Citation Graph (0, 0)][DBLP ] Conf ] Richard Wettel , Radu Marinescu Archeology of Code Duplication: Recovering Duplication Chains from Small Duplication Fragments. [Citation Graph (0, 0)][DBLP ] Conf ] Costin Badica , Maria Teodorescu , Cosmin Spahiu , Amelia Badica , Chris Fox Integrating Role Activity Diagrams and Hybrid IDEF for Business Process Modeling Using MDA. [Citation Graph (0, 0)][DBLP ] Conf ] Gabriela Serban , Alina Campan A New Core-Based Method for Hierarchical Incremental Clustering. [Citation Graph (0, 0)][DBLP ] Conf ] Liana Stanescu , Dumitru Dan Burdescu , Cosmin Stoica Spahiu Using R-Trees in Content-Based Region Query with Spatial Bounds. [Citation Graph (0, 0)][DBLP ] Conf ] Laurentiu Dragan , Stephen M. Watt Performance Analysis of Generics in Scientific Computing. [Citation Graph (0, 0)][DBLP ] Conf ] Virginia Niculescu , Grigoreta Sofia Moldovan Building an Object Oriented Computational Algebra System Based on Design Patterns. [Citation Graph (0, 0)][DBLP ] Conf ] Zsolt I. Lázár , Andreea Fanea , Dragos Petrascu , Vladiela Ciobotariu-Boer , Bazil Parv COMODI: On the Graphical User Interface. [Citation Graph (0, 0)][DBLP ] Conf ] Mircea Dragan Using Excel as a Front-End for MLF. [Citation Graph (0, 0)][DBLP ] Conf ] Anna Bartkowiak , Piotr Lipinski Remarks on Evaluation of Correlation Dimension for 5 French Stock Data. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Györödi , Cornelia Györödi , Mirela Pater , Ovidiu Boc , Zoltan David AFOPT Algorithm for Multi-Level Databases. [Citation Graph (0, 0)][DBLP ] Conf ] Cornelia Györödi , Robert Györödi , Mirela Pater , Ovidiu Boc , Zoltan David Adaptive AFOPT Algorithm. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel Pop , Ciprian Jichici , Viorel Negru A Combinative Method for Decision Tree Construction. [Citation Graph (0, 0)][DBLP ] Conf ] Bogdan Groza , Dorina Petrica Cryptanalysis of an Authentication Protocol. [Citation Graph (0, 0)][DBLP ] Conf ] Sorin Iftene General Secret Sharing Based on Determinants. [Citation Graph (0, 0)][DBLP ] Conf ] Adriana Popovici , Dan Popovici A Generalization of the Cellular Automata Rule-30 Cryptoscheme. [Citation Graph (0, 0)][DBLP ] Conf ] Ionut Popa Data Compression Using Surrounding Contexts. [Citation Graph (0, 0)][DBLP ] Conf ] Dana Petcu Adapting a Partitioning-Based Heuristic Load-Balancing Algorithm to Heterogeneous Computing Environments. [Citation Graph (0, 0)][DBLP ] Conf ] Horea-Adrian Grebla , Calin Cenan Distributed Database Replication - A Game Theory? [Citation Graph (0, 0)][DBLP ] Conf ] Darian Onchis , Constantin Marta Multiple 1D Data Parallel Wavelet Transform. [Citation Graph (0, 0)][DBLP ] Conf ] Srivastav Sethupathy , Nohpill Park , Marcin Paprzycki Logic Restructuring for Delay Balancing in Wave-Pipelined Circuits: An Integer Programming Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Dorin Mircea Popovici , Ronan Querrec , Fabrice Harrouet , Christophe Le Gal , Luca-Dan Serbanati , Serge Morvan VirtualDive - A VR-Based Educational Virtual Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Catalin Hritcu , Sabin C. Buraga A Reference Implementation of ADF (Agent Developing Framework): Semantic Web-Based Agent Communication. [Citation Graph (0, 0)][DBLP ] Conf ] Costin Badica , Maria Ganzha , Marcin Paprzycki Mobile Agents in a Multi-Agent E-Commerce System. [Citation Graph (0, 0)][DBLP ] Conf ] Ionel Muscalagiu , Popa Horia Emil , Manuela Panoiu Determining the Number of Messages Transmitted for the Temporary Links in the Case of ABT Family Techniques. [Citation Graph (0, 0)][DBLP ] Conf ] Adina Florea , Eugenia Kalisz Embedding Emotions in an Artificial Tutor. [Citation Graph (0, 0)][DBLP ] Conf ] Lorenzo Capra Colored Petri Nets State-Space Reduction via Symbolic Execution. [Citation Graph (0, 0)][DBLP ] Conf ] M. Carmen Ruiz , Diego Cazorla , Fernando Cuartero , Juan José Pardo A Formal Specification and Performance Evaluation of the Purchase Phase in the SET Protocol. [Citation Graph (0, 0)][DBLP ] Conf ] Laura Ildikó Kovács , Tudor Jebelean An Algorithm for Automated Generation of Invariants for Loops with Conditionals. [Citation Graph (0, 0)][DBLP ] Conf ] Gabriel Ciobanu , K. N. Sridhar Specifications and Verification of Network Protocols by Process Algebra. [Citation Graph (0, 0)][DBLP ] Conf ] Mihai Danes , Dorel Lucanu , Gabriel Ciobanu Specification of Coordinated Objects and Verification of Their Temporal Properties. [Citation Graph (0, 0)][DBLP ] Conf ] Tudor Jebelean , Laura Szakacs Functional-Based Synthesis of Systolic Online Multipliers. [Citation Graph (0, 0)][DBLP ] Conf ] Soumya Banerjee , Crina Grosan , Ajith Abraham Emotional Ant Based Modeling of Crowd Dynamics. [Citation Graph (0, 0)][DBLP ] Conf ] Crina Grosan , Ajith Abraham , Monica Nicoara Performance Tuning of Evolutionary Algorithms Using Particle Sub Swarms. [Citation Graph (0, 0)][DBLP ] Conf ] Camelia-Mihaela Pintea , D. Dumitrescu Improving Ant Systems Using a Local Updating Rule. [Citation Graph (0, 0)][DBLP ] Conf ] Razvan V. Florian A Reinforcement Learning Algorithm for Spiking Neural Networks. [Citation Graph (0, 0)][DBLP ] Conf ] E. Kaslik , L. Braescu , St. Balint On the Controllability of the Continuous-Time Hopfield-Type Neural Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Delia David , Laura Diosan , Dumitru Dumitrescu A New Nature-Inspired Computation Model Ising Model with Rays. [Citation Graph (0, 0)][DBLP ] Conf ] Elena Bautu , Andrei Bautu , Henri Luchian Symbolic Regression on Noisy Data with Genetic and Gene Expression Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Elena Bautu , Andrei Bautu , Henri Luchian A GEP-Based Approach for Solving Fredholm First Kind Integral Equations. [Citation Graph (0, 0)][DBLP ] Conf ] Sorin Cristian Cheran , Gianfranco Gargano Computer-Aided Diagnosis for Lung CT Using Artificial Life Models. [Citation Graph (0, 0)][DBLP ] Conf ] Anca Gog , D. Dumitrescu A Model for Parallel Evolutionary Search. [Citation Graph (0, 0)][DBLP ] Conf ] Rodica Ioana Lung , D. Dumitrescu A New Subpopulation Model for Evolutionary Multimodal Optimization. [Citation Graph (0, 0)][DBLP ] Conf ] Daniela Zaharie Density Based Clustering with Crowding Differential Evolution. [Citation Graph (0, 0)][DBLP ] Conf ] Jingfu Zhong , Binheng Song Verification of Resource Constraints for Concurrent Workflows. [Citation Graph (0, 0)][DBLP ] Conf ] Ferucio Laurentiu Tiplea , Geanina Ionela Macovei Timed Workflow Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Ferucio Laurentiu Tiplea , Aurora Tiplea Instantiating Nets and Their Applications to Workflow Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Cristian Vidrascu Modular Analysis of Concurrency in Jumping Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Artiom Alhazov , Rudolf Freund , Agustin Riscos-Núñez One and Two Polarizations, Membrane Creation and Objects Complexity in P Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Gemma Bel Enguix , Maria Dolores Jiménez-López Modelling Parallel Phenomena in Conversations with P Systems. [Citation Graph (0, 0)][DBLP ] Conf ] 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. [Citation Graph (0, 0)][DBLP ] Conf ] Luca Bianco , Vincenzo Manca , Simone Zorzan Symbolic Representations of Biological Oscillations. [Citation Graph (0, 0)][DBLP ] Conf ] Luis Fernández , Victor J. Martínez , Fernando Arroyo , Luis F. Mingo A Hardware Circuit for Selecting Active Rules in Transition P Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Rudolf Freund , Marion Oswald P Colonies Working in the Maximally Parallel and in the Sequential Mode. [Citation Graph (0, 0)][DBLP ] Conf ] Pierluigi Frisco , Ranulf T. Gibson A Simulator and an Evolution Program for Conformon-P Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Oscar H. Ibarra , Sara Woodworth On Symport/Antiport P Systems with One or Two Symbols. [Citation Graph (0, 0)][DBLP ] Conf ] Dario Pescini , Daniela Besozzi , Giancarlo Mauri Investigating Local Evolutions in Dynamical Probabilistic P Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Miguel A. Gutiérrez-Naranjo , Mario J. Pérez-Jiménez , Agustin Riscos-Núñez , Francisco José Romero-Campero Characterizing Tractability with Membrane Creation. [Citation Graph (0, 0)][DBLP ] Conf ] Aurelia Profir , Emilian Gutuleac , Elena Boian Simulation of Continuous-Time P Systems Using Descriptive Rewriting Timed Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Raghavan Rama , H. Ramesh On Generating Trees by P Systems with Active Membranes. [Citation Graph (0, 0)][DBLP ] Conf ] 