Please use this identifier to cite or link to this item:
|Title:||Adventures of a logician-engineer: A journey through logic, engineering, medicine, biology, and statistics||Authors:||Wong, L.||Issue Date:||2007||Citation:||Wong, L. (2007). Adventures of a logician-engineer: A journey through logic, engineering, medicine, biology, and statistics. Proceedings of the 8th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2006 : 10-. ScholarBank@NUS Repository. https://doi.org/10.1109/SYNASC.2006.14||Abstract:||Whenever a programmer writes a loop, or a mathematician does a proof by induction, an invariant is involved. The discovery and understanding of invariants often underlies problem solving in many domains. I will discuss here my search for powerful invariants over the past decade. My search was/is motivated by a broad spectrum of problems: understanding query languages, engineering data integration systems, optimising disease treatments, recognizing DNA feature sites, and discovering reliable patterns. © 2006 IEEE.||Source Title:||Proceedings of the 8th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2006||URI:||http://scholarbank.nus.edu.sg/handle/10635/40057||ISBN:||076952740X||DOI:||10.1109/SYNASC.2006.14|
|Appears in Collections:||Staff Publications|
Show full item record
Files in This Item:
There are no files associated with this item.
checked on Jun 14, 2019
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.