Skip to main content

Research Repository

Advanced Search

The Functional Dendritic Cell Algorithm: A formal specification with Haskell

Greensmith, Julie; Gale, Michael B.

Authors

Michael B. Gale



Abstract

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 approach inspired by purely functional programming. We use new specification to implement the deterministic DCA in Haskell - the hDCA. This functional variant will also serve to introduce the DCA to a new audience within computer science. We hope that our functional specification will help improve the quality of future DCA related research and to help others understand further its algorithmic properties.

Citation

Greensmith, J., & Gale, M. B. (2017). The Functional Dendritic Cell Algorithm: A formal specification with Haskell. In Proceedings - 2017 IEEE Congress on Evolutionary Computation (CEC 2017) (1787-1794). https://doi.org/10.1109/CEC.2017.7969518

Conference Name 2017 IEEE Congress on Evolutionary Computation (CEC)
Conference Location Donostia, San Sebastián, Spain
Start Date Jun 5, 2017
End Date Jun 8, 2017
Acceptance Date Mar 6, 2017
Online Publication Date Jul 7, 2017
Publication Date 2017-06
Deposit Date Mar 17, 2017
Publicly Available Date Mar 29, 2024
Publisher Institute of Electrical and Electronics Engineers
Peer Reviewed Peer Reviewed
Pages 1787-1794
Book Title Proceedings - 2017 IEEE Congress on Evolutionary Computation (CEC 2017)
ISBN 9781509046027
DOI https://doi.org/10.1109/CEC.2017.7969518
Public URL https://nottingham-repository.worktribe.com/output/864596
Publisher URL http://ieeexplore.ieee.org/document/7969518/
Related Public URLs http://www.cec2017.org/
Additional Information © 2017 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works. Conference published with ISBN 9781509046010

Files





You might also like



Downloadable Citations