Matches in SemOpenAlex for { <https://semopenalex.org/work/W4233630079> ?p ?o ?g. }
Showing items 1 to 60 of
60
with 100 items per page.
- W4233630079 abstract "An immune system inspired Artificial Immune System (AIS) algorithm is presented, and is used for the purposes of automated program verification. Relevant immunological concepts are discussed and the field of AIS is briefly reviewed. It is proposed to use this AIS algorithm for a specific automated program verification task: that of predicting shape of program invariants. It is shown that the algorithm correctly predicts program invariant shape for a variety of benchmarked programs. Program invariants encapsulate the computability of a particular program, e.g. whether it performs a particular function correctly and whether it terminates or not. This work also lays the foundation for applying concepts of theoretical incomputability and undecidability to biological systems like the immune system that perform robust computation to eliminate pathogens." @default.
- W4233630079 created "2022-05-12" @default.
- W4233630079 creator A5012955194 @default.
- W4233630079 date "2017-01-03" @default.
- W4233630079 modified "2023-10-17" @default.
- W4233630079 title "An artificial immune system approach to automated program verification: Towards a theory of undecidability in biological computing" @default.
- W4233630079 doi "https://doi.org/10.7287/peerj.preprints.2690v1" @default.
- W4233630079 hasPublicationYear "2017" @default.
- W4233630079 type Work @default.
- W4233630079 citedByCount "0" @default.
- W4233630079 crossrefType "posted-content" @default.
- W4233630079 hasAuthorship W4233630079A5012955194 @default.
- W4233630079 hasBestOaLocation W42336300791 @default.
- W4233630079 hasConcept C11413529 @default.
- W4233630079 hasConcept C115901376 @default.
- W4233630079 hasConcept C127413603 @default.
- W4233630079 hasConcept C136197465 @default.
- W4233630079 hasConcept C152062344 @default.
- W4233630079 hasConcept C154945302 @default.
- W4233630079 hasConcept C190470478 @default.
- W4233630079 hasConcept C199360897 @default.
- W4233630079 hasConcept C33923547 @default.
- W4233630079 hasConcept C37914503 @default.
- W4233630079 hasConcept C41008148 @default.
- W4233630079 hasConcept C45374587 @default.
- W4233630079 hasConcept C78519656 @default.
- W4233630079 hasConcept C80444323 @default.
- W4233630079 hasConcept C93768804 @default.
- W4233630079 hasConceptScore W4233630079C11413529 @default.
- W4233630079 hasConceptScore W4233630079C115901376 @default.
- W4233630079 hasConceptScore W4233630079C127413603 @default.
- W4233630079 hasConceptScore W4233630079C136197465 @default.
- W4233630079 hasConceptScore W4233630079C152062344 @default.
- W4233630079 hasConceptScore W4233630079C154945302 @default.
- W4233630079 hasConceptScore W4233630079C190470478 @default.
- W4233630079 hasConceptScore W4233630079C199360897 @default.
- W4233630079 hasConceptScore W4233630079C33923547 @default.
- W4233630079 hasConceptScore W4233630079C37914503 @default.
- W4233630079 hasConceptScore W4233630079C41008148 @default.
- W4233630079 hasConceptScore W4233630079C45374587 @default.
- W4233630079 hasConceptScore W4233630079C78519656 @default.
- W4233630079 hasConceptScore W4233630079C80444323 @default.
- W4233630079 hasConceptScore W4233630079C93768804 @default.
- W4233630079 hasLocation W42336300791 @default.
- W4233630079 hasLocation W42336300792 @default.
- W4233630079 hasOpenAccess W4233630079 @default.
- W4233630079 hasPrimaryLocation W42336300791 @default.
- W4233630079 hasRelatedWork W10046430 @default.
- W4233630079 hasRelatedWork W10734929 @default.
- W4233630079 hasRelatedWork W12986456 @default.
- W4233630079 hasRelatedWork W1424933 @default.
- W4233630079 hasRelatedWork W14710392 @default.
- W4233630079 hasRelatedWork W14816298 @default.
- W4233630079 hasRelatedWork W294944 @default.
- W4233630079 hasRelatedWork W4354089 @default.
- W4233630079 hasRelatedWork W5246441 @default.
- W4233630079 hasRelatedWork W6899713 @default.
- W4233630079 isParatext "false" @default.
- W4233630079 isRetracted "false" @default.
- W4233630079 workType "article" @default.