Grant: Discovery Grants Program - Individual
Brock University
$12,700.00
The inference of concurrent systems using genetic programming
FY 2008-09
Summary
Genetic programming is an artificial intelligence technology that uses a simulation of Darwinian natural evolution to evolve computer programs. This research applies genetic programming towards the automatic synthesis of concurrent programs. These programs take the form of process algebras, which are mathematical systems used to concisely represent concurrent computation. The use of evolution to automatically create concurrent systems is a useful idea, since concurrent programs are inherently complex to program and understand. An application of this technology is that of biological network synthesis. Researchers have recently discovered that process algebra are practical for representing and simulating biological processes. Using genetic programming, such "bionetworks" can be automatically synthesized, to match desired target behaviors obtained from the laboratory. This may be used in the future for analyzing complex biological phenomenon.
Program
Discovery Grants Program - Individual
Recipient
Location
Ontario, Canada
Recipient Type
Academia
Type
Grant
Source
NSERC's Awards Data
As published
Application id
138467-2006
Name nom
Ross, Brian
Department département
Computer Science
Organization id
22
Institution établissement
Brock University
Province en
Ontario
Province fr
Ontario
Country en
CANADA
Country fr
CANADA
Fiscal year exercice financier
2008
Competition year année de concours
2006
Award amount
12700
Program id
RGPIN
Program nane en
Discovery Grants Program - Individual
Program name fr
Programme de subventions à la découverte - individuelles
Group en
Discovery grants programs
Group fr
Programmes de subventions à la découverte
Committee code
331
Committee name en
Computing and Information Sciences - B
Committee name fr
Informatique - B
Area of application code
801
Area of application group en
Information and communication services
Area of application group fr
Services d'information et de télécommunications
Area of application en
Computer software
Area of application fr
Logiciel
Research subject code
2800
Research subject group en
Artificial intelligence
Research subject group fr
Intelligence artificielle
Research subject en
Artificial intelligence (computer vision, use2603)
Research subject fr
Intelligence artificielle (vision artificielle, utiliser 2603)
Partie
3
Nb partie
5
Application title
The inference of concurrent systems using genetic programming
Keyword
NA
Application summary
Genetic programming is an artificial intelligence technology that uses a simulation of Darwinian natural evolution to evolve computer programs. This research applies genetic programming towards the automatic synthesis of concurrent programs. These programs take the form of process algebras, which are mathematical systems used to concisely represent concurrent computation. The use of evolution to automatically create concurrent systems is a useful idea, since concurrent programs are inherently complex to program and understand. An application of this technology is that of biological network synthesis. Researchers have recently discovered that process algebra are practical for representing and simulating biological processes. Using genetic programming, such "bionetworks" can be automatically synthesized, to match desired target behaviors obtained from the laboratory. This may be used in the future for analyzing complex biological phenomenon.
