|Appears in Collections:||Computing Science and Mathematics Journal Articles|
|Peer Review Status:||Refereed|
|Title:||Formal Synthetic Immunology|
|Citation:||Aldinucci M, Bracciali A & Lio P (2010) Formal Synthetic Immunology, ERCIM News, 82, pp. 40-41.|
|Abstract:||The human immune system fights pathogens using an articulated set of strategies whose function is to maintain in health the organism. A large effort to formally model such a complex system using a computational approach is currently underway, with the goal of developing a discipline for engineering "synthetic" immune responses. This requires the integration of a range of analysis techniques developed for formally reasoning about the behaviour of complex dynamical systems. Furthermore, a novel class of software tools has to be developed, capable of efficiently analysing these systems on widely accessible computing platforms, such as commodity multi-core architectures.|
|Rights:||Copyright © 2011 ERCIM News.; Copyright Notice: All authors, as identified in each article, retain copyright of their work.|
|Formal Synthetic Immunology.pdf||920.31 kB||Adobe PDF||View/Open|
This item is protected by original copyright
Items in the Repository are protected by copyright, with all rights reserved, unless otherwise indicated.
If you believe that any material held in STORRE infringes copyright, please contact firstname.lastname@example.org providing details and we will remove the Work from public display in STORRE and investigate your claim.