Please use this identifier to cite or link to this item:
https://doi.org/10.1109/SYNASC.2006.14
DC Field | Value | |
---|---|---|
dc.title | Adventures of a logician-engineer: A journey through logic, engineering, medicine, biology, and statistics | |
dc.contributor.author | Wong, L. | |
dc.date.accessioned | 2013-07-04T07:55:41Z | |
dc.date.available | 2013-07-04T07:55:41Z | |
dc.date.issued | 2007 | |
dc.identifier.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. <a href="https://doi.org/10.1109/SYNASC.2006.14" target="_blank">https://doi.org/10.1109/SYNASC.2006.14</a> | |
dc.identifier.isbn | 076952740X | |
dc.identifier.uri | http://scholarbank.nus.edu.sg/handle/10635/40057 | |
dc.description.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. | |
dc.description.uri | http://libproxy1.nus.edu.sg/login?url=http://dx.doi.org/10.1109/SYNASC.2006.14 | |
dc.source | Scopus | |
dc.type | Conference Paper | |
dc.contributor.department | COMPUTER SCIENCE | |
dc.description.doi | 10.1109/SYNASC.2006.14 | |
dc.description.sourcetitle | Proceedings of the 8th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2006 | |
dc.description.page | 10- | |
dc.identifier.isiut | NOT_IN_WOS | |
Appears in Collections: | Staff Publications |
Show simple item record
Files in This Item:
There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.