Please use this identifier to cite or link to this item: https://doi.org/10.1109/SYNASC.2006.14
Title: Adventures of a logician-engineer: A journey through logic, engineering, medicine, biology, and statistics
Authors: Wong, L. 
Issue Date: 2007
Source: 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.

Page view(s)

42
checked on Dec 9, 2017

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.