1. STORRE
  2. Faculty of Natural Sciences
  3. Computing Science and Mathematics
  4. Computing Science and Mathematics Journal Articles
Please use this identifier to cite or link to this item: http://hdl.handle.net/1893/3554
Full metadata record
DC FieldValueLanguage
dc.contributor.authorAldinucci, Marcoen_UK
dc.contributor.authorBracciali, Andreaen_UK
dc.contributor.authorLio, Pietroen_UK
dc.date.accessioned2018-02-10T02:18:04Z-
dc.date.available2018-02-10T02:18:04Z-
dc.date.issued2010-07en_UK
dc.identifier.urihttp://hdl.handle.net/1893/3554-
dc.description.abstractThe 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.en_UK
dc.language.isoenen_UK
dc.publisherEuropean Research Consortium for Informatics and Mathematicsen_UK
dc.relationAldinucci M, Bracciali A & Lio P (2010) Formal Synthetic Immunology. ERCIM News, 82, pp. 40-41. http://ercim-news.ercim.eu/en82en_UK
dc.rightsCopyright © 2011 ERCIM News.; Copyright Notice: All authors, as identified in each article, retain copyright of their work.en_UK
dc.subjectImmunological adjuvantsen_UK
dc.titleFormal Synthetic Immunologyen_UK
dc.typeJournal Articleen_UK
dc.citation.jtitleERCIM Newsen_UK
dc.citation.issn0926-4981en_UK
dc.citation.volume82en_UK
dc.citation.spage40en_UK
dc.citation.epage41en_UK
dc.citation.publicationstatusPublisheden_UK
dc.citation.peerreviewedRefereeden_UK
dc.type.statusVoR - Version of Recorden_UK
dc.identifier.urlhttp://ercim-news.ercim.eu/en82en_UK
dc.author.emailabb@cs.stir.ac.uken_UK
dc.contributor.affiliationUniversity of Turinen_UK
dc.contributor.affiliationComputing Scienceen_UK
dc.contributor.affiliationUniversity of Cambridgeen_UK
dc.identifier.isiWOS:000421865100024en_UK
dc.identifier.wtid829593en_UK
dc.contributor.orcid0000-0003-1451-9260en_UK
dcterms.dateAccepted2010-07-31en_UK
dc.date.filedepositdate2011-12-16en_UK
rioxxterms.typeJournal Article/Reviewen_UK
rioxxterms.versionVoRen_UK
local.rioxx.authorAldinucci, Marco|en_UK
local.rioxx.authorBracciali, Andrea|0000-0003-1451-9260en_UK
local.rioxx.authorLio, Pietro|en_UK
local.rioxx.projectInternal Project|University of Stirling|https://isni.org/isni/0000000122484331en_UK
local.rioxx.freetoreaddate2011-12-16en_UK
local.rioxx.licencehttp://www.rioxx.net/licenses/all-rights-reserved|2011-12-16|en_UK
local.rioxx.filenameFormal Synthetic Immunology.pdfen_UK
local.rioxx.filecount1en_UK
local.rioxx.source0926-4981en_UK
Appears in Collections:Computing Science and Mathematics Journal Articles

Files in This Item:
File Description SizeFormat 
Formal Synthetic Immunology.pdfFulltext - Published Version920.31 kBAdobe PDFView/Open


This item is protected by original copyright

View License
Show simple item record


Items in the Repository are protected by copyright, with all rights reserved, unless otherwise indicated.

The metadata of the records in the Repository are available under the CC0 public domain dedication: No Rights Reserved https://creativecommons.org/publicdomain/zero/1.0/

If you believe that any material held in STORRE infringes copyright, please contact library@stir.ac.uk providing details and we will remove the Work from public display in STORRE and investigate your claim.