Commenced in January 2007
Paper Count: 30075
Pattern Recognition of Biological Signals
Abstract:This paper presents an evolutionary method for designing electronic circuits and numerical methods associated with monitoring systems. The instruments described here have been used in studies of weather and climate changes due to global warming, and also in medical patient supervision. Genetic Programming systems have been used both for designing circuits and sensors, and also for determining sensor parameters. The authors advance the thesis that the software side of such a system should be written in computer languages with a strong mathematical and logic background in order to prevent software obsolescence, and achieve program correctness.
Digital Object Identifier (DOI): doi.org/10.5281/zenodo.1086119Procedia APA BibTeX Chicago EndNote Harvard JSON MLA RIS XML ISO 690 PDF Downloads 1351
 J. H. Lienhard. Interchangeable Parts. April 18, 2009. http://www.uh.edu/engines/epi1252.htm.
 J. Hughes. The Computer Journal, ISSN:0010-4620, Volume 32, Issue 2 (April 1989), Pages: 98-107.
 A. Church. A set of postulates for the foundation of logic. Annals of Mathematics, Series 2, 33:346-366, 1932.
 A. Church. A note on the Entscheidungsproblem. Journal of Symbolic Logic, 1:40-41, 1936.
 A. Church. An unsolvable problem of elementary number theory. American Journal of Mathematics, 58:345-363, 1936.
 John Backus. A Functional Style and Its Algebra of Programs. Communications of the ACM. August 1978. Volume 2 i. Number 8.
 Moses Schonfinkel. Uber die Bausteine der mathematischen Logik. Mathematische Annalen 92, pp. 305-316.
 Henk Barendregt, The Impact of the Lambda Calculus in Logic and Computer Science. The Bulletin of Symbolic Logic, Volume 3, Number 2, June 1997.
 P. W. Trinder, K. Hammond, H. W. Loidl and S. Peyton Jones. Algorithm+ Strategy= Parallelism. Journal of Functional Programming 1 (1), January, 1993. Cambridge University Press.
 John Koza. Genetic Programming: On the Programming of Computers by Means of Natural Selection. ISBN-10: 0262111705; ISBN-13: 978- 0262111706. The MIT Press; First Printing edition (1992).
 T. S. Perry. In search of the future of air traffic control. IEEE spectrum, 34(8) 18-35.
 E. Costa, A. Grings, and M. V. Santos. Documentation Methods for Visual Languages, in Visual Languages for Interactive Computing. Fernando Ferry, editor. ISBN 978-1-59904-534-4. IGI Global. 2008.
 G. Klein, K. Elphinstone, G. Heiser, J. Andronick, D. Cock, P. Derrin, D. Elkaduwe, K. Engelhardt, R. Kolanski, M. Norrish, T. Sewell, H. Tuch and S. Winwood. seL4: Formal verification of an OS kernel, Proceedings of the 22nd ACM Symposium on Operating Systems Principles, Big Sky, MT, USA, October, 2009.
 B. G. Fejer, J. R. Souza, A. S. Santos, and A. E. Costa Pereira. Climatology of F region zonal plasma drifts over Jicamarca. Journal of Geophysical Research, Vol. 110, A12310, doi: 10.1029/2005JA011324, 2005.
 S. N. Bernstein. Demonstration du th'eor`eme de Weierstrass fond'ee sur le calcul des probabilit'es. Comm. Soc. Math. Kharkov, 13, 1-2.