The functional dendritic cell algorithm: a formal specification with Haskell

QR Code

The functional dendritic cell algorithm: a formal specification with Haskell

The Dendritic Cell Algorithm (DCA) has been described in a number of different ways, sometimes resulting in incorrect implementations. We believe this is due to previous, imprecise attempts to describe the algorithm. The main contribution of this paper is to remove this imprecision through a new app...

Full description

Bibliographic Details
Main Authors:	Greensmith, Julie, Gale, Michael B.
Format:	Conference or Workshop Item
Published:	2017
Online Access:	https://eprints.nottingham.ac.uk/41366/

Similar Items

The deterministic Dendritic Cell Algorithm
by: Greensmith, Julie, et al.
Published: (2008)

Detecting danger: the Dendritic Cell Algorithm
by: Greensmith, Julie, et al.
Published: (2008)

The dendritic cell algorithm for intrusion detection
by: Gu, Feng, et al.
Published: (2012)

Exploration of the dendritic cell algorithm with the duration calculus
by: Gu, Feng, et al.
Published: (2009)

Theoretical formulation and analysis of the deterministic dendritic cell algorithm
by: Gu, Feng, et al.
Published: (2013)

Theoretical formulation and analysis of the deterministic dendritic cell algorithm
by: Gu, Feng, et al.
Published: (2013)

Information Fusion for Anomaly Detection with the Dendritic Cell Algorithm
by: Greensmith, Julie, et al.
Published: (2007)

Dendritic Cells for SYN Scan Detection
by: Greensmith, Julie, et al.
Published: (2007)

Further exploration of the Dendritic Cell Algorithm: antigen multiplier and time windows
by: Gu, Feng, et al.
Published: (2008)

Integrating real-time analysis with the dendritic cell algorithm through segmentation
by: Gu, Feng, et al.
Published: (2009)

'Introducing Dendritic Cells as a Novel Immune-Inspired Algorithm for Anomaly Detection'
by: Greensmith, Julie, et al.
Published: (2005)

Introducting Dendritic Cells as a Novel Immune-Inspired Algorithm for Anomaly Detection
by: Greensmith, Julie, et al.
Published: (2005)

'Introducing Dendritic Cells as a Novel Immune-Inspired Algorithm for Anomaly Detection'
by: Greensmith, Julie, et al.
Published: (2005)

Dendritic Cells for Anomaly Detection
by: Greensmith, Julie, et al.
Published: (2006)

Artificial dendritic cells: multi-faceted perspectives
by: Greensmith, Julie, et al.
Published: (2009)

Dendritic Cells for Real-Time Anomaly Detection
by: Greensmith, Julie, et al.
Published: (2006)

Quiet in class: classification, noise and the dendritic cell algorithm
by: Gu, Feng, et al.
Published: (2011)

PCA 4 DCA: the application of principal component analysis to the Dendritic Cell Algorithm
by: Gu, Feng, et al.
Published: (2009)

Monadic parsing in Haskell
by: Hutton, Graham, et al.
Published: (1998)

Polymonad programming in Haskell
by: Bracker, Jan, et al.
Published: (2016)

AutoBench: comparing the time performance of Haskell programs
by: Handley, Martin A.T., et al.
Published: (2018)

Theorem proving for all: equational reasoning in Liquid Haskell
by: Vazou, Niki, et al.
Published: (2018)

Honouring Dennis Haskell: a poet, and an amigo of Asiatic and Asian literature
by: Quayum, Mohammad Abdul
Published: (2019)

The suitability of the dendritic cell algorithm for robotic security applications
by: Oates, Robert Foster
Published: (2010)

The formal specification for competency requirements
by: Roslina, Mohd Sidek, et al.
Published: (2011)

Validation on an enhanced dendrite cell algorithm using statistical analysis
by: Mohamad Mohsin, Mohamad Farhan, et al.
Published: (2017)

An improved artificial dendrite cell algorithm for abnormal signal detection
by: Mohamad Mohsin, Mohamad Farhan, et al.
Published: (2018)

Articulation and Clarification of the Dendric Cell Algorithm
by: Greensmith, Julie, et al.
Published: (2006)

Subset-specific expression of toll-like receptors by bovine afferent lymph dendritic cells
by: Werling, Dirk, et al.
Published: (2017)

Mesothelioma tumor cells modulate dendritic cell lipid content, phenotype and function
by: Gardner, J., et al.
Published: (2015)

Formal Specification Language For Design Patterns.
by: Taibi, Taufik
Published: (2003)

A Formal Specification Language For Design Patterns.
by: Taufik Taibi,
Published: (2003)

The role of mir-511-3p in modulating human dendritic cell function
by: Awuah, Dennis Kwadwo Kyeremeh
Published: (2019)

Framework For Merging Object-Oriented Formal Specifications
by: Taibi , Fathi
Published: (2010)

The Application of a Dendric Cell Algorithm to a Robotic Classifier
by: Oates, Robert, et al.
Published: (2007)

The Application of a Dendric Cell Algorithm to a Robotic Classifier
by: Oates, Robert, et al.
Published: (2007)

The Application of a Dendric Cell Algorithm to a Robotic Classifier
by: Oates, Robert, et al.
Published: (2007)

Formal Specification Language for Vehicular Ad-Hoc Networks
by: Maythem Kamal , Abbas, et al.
Published: (2009)

Formal specification of design pattern combination using BPSL
by: Taibi, T
Published: (2003)

Stromal fibroblasts support dendritic cells to maintain IL-23/Th17 responses after exposure to ionizing radiation
by: Malecka, Anna, et al.
Published: (2016)