Parallel communicating grammar systems with communication by signals

BOOK CHAPTER published 1997 in New Trends in Formal Languages

Authors: Daniel Popescu

Controllable Combinatorial Coverage in Grammar-Based Testing

BOOK CHAPTER published 2006 in Lecture Notes in Computer Science

Authors: Ralf Lämmel | Wolfram Schulte

Parallel Communicating Grammar Systems with Incomplete Information Communication

BOOK CHAPTER published 2002 in Developments in Language Theory

Authors: Erzsébet Csuhaj-Varjú | György Vaszil

Grammar systems: A grammatical approach to distribution and cooperation

BOOK CHAPTER published 1995 in Automata, Languages and Programming

Authors: Gheorghe PĂun

Synthesis of eco-industrial system considering environmental value using adaptive simulated annealing genetic algorithms

BOOK CHAPTER published 2003 in Computer Aided Chemical Engineering

Authors: Xue Dongfeng | Yourun Li | Shen Jingzhu | Shanying Hu

Representing Information Structure in a Formal Grammar of Danish

BOOK CHAPTER published 2006 in New Frontiers in Artificial Intelligence

Authors: Patrizia Paggio

Mathematical Methods in Robust Control of Linear Stochastic Systems

BOOK published 2006 in Mathematical Concepts and Methods in Science and Engineering

A System for Archivable Grammar Documentation

BOOK CHAPTER published 2013 in Systems and Frameworks for Computational Morphology

Authors: Michael Maxwell

On the generative capacity of splicing grammar systems

BOOK CHAPTER published 1997 in New Trends in Formal Languages

Authors: Gianina Georgescu

Linear Quadratic Control Problem for Linear Stochastic Systems

BOOK CHAPTER published in Mathematical Concepts and Methods in Science and Engineering

Determining the Impact of Green Computing in It Industry to Make Eco Friendly Environment

BOOK CHAPTER published 11 February 2022 in Recent Advances in Mathematical Research and Computer Science Vol. 8

Authors: Shalabh Agarwal | Arnab Datta | Asoke Nath

Towards Integrated Correctness Analysis and Performance Evaluation of Software Systems (Doctoral Forum Paper)

BOOK CHAPTER published 2019 in Lecture Notes in Computer Science

Authors: Ioannis Stefanakos

Towards the Adaptive Organization: Formation and Conservative Reconfiguration of Agents Coalitions

BOOK CHAPTER published 2005 in Lecture Notes in Computer Science

Authors: Krzysztof Ciesielski

Data Mining Techniques for RoboCup Soccer Agents

BOOK CHAPTER published 2005 in Lecture Notes in Computer Science

Authors: Lev Stankevich | Sergey Serebryakov | Anton Ivanov

A Note on Combined Derivation Modes for Cooperating Distributed Grammar Systems

BOOK CHAPTER published 2012 in Lecture Notes in Computer Science

Authors: Markus Holzer

Parallel Communicating Grammar Systems with Regular Control

BOOK CHAPTER published 2009 in Algebraic Informatics

Authors: Dana Pardubská | Martin Plátek | Friedrich Otto

Reference-Set Constraints as Linear Tree Transductions via Controlled Optimality Systems

BOOK CHAPTER published 2012 in Formal Grammar

Authors: Thomas Graf

Autonomous Intelligent Systems: Agents and Data Mining

BOOK published 2005 in Lecture Notes in Computer Science

Editors: Vladimir Gorodetsky | Jiming Liu | Victor A. Skormin

On Monitoring C/C++ Transactional Memory Programs

BOOK CHAPTER published 2014 in Mathematical and Engineering Methods in Computer Science

Authors: Jan Fiedor | Zdeněk Letko | João Lourenço | Tomáš Vojnar

LTL Model Checking of LLVM Bitcode with Symbolic Data

BOOK CHAPTER published 2014 in Mathematical and Engineering Methods in Computer Science

Authors: Petr Bauch | Vojtěch Havel | Jiří Barnat