• Home
  • Thomas Walker Lynch
Thomas Walker Lynch

Thomas Walker Lynch

About

65
Publications
5,892
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
453
Citations
Additional affiliations
October 2014 - September 2015
Birkbeck, University of London
Position
  • Researcher
Description
  • Deep web search research code development with Dr. Andrea Calì
January 2009 - present
Reasoning Technology
Position
  • Founder
Description
  • Research, development, and hopefully soon to launch theorem proving technology for laymen.
December 1996 - January 2009
Tempered Hardware and Software
Position
  • Consultant
Description
  • In California and Europe. Contributed new technology to high tech startup companies. See www.linkedin.com/in/thomaswlynch and www.thomaswlynch.com for more information.

Publications

Publications (65)
Technical Report
Full-text available
We have a lot of words for subroutines of various sorts in CS (functions, lambdas, procedures ... etc.) This technical report reviews them.
Preprint
Full-text available
This is a summary of the method I used for floating-point error analysis of algorithms at AMD where I did floating-point numerics for ten years. No chip ever came back with error problems, knock on wood, and perhaps this is the best 'peer review' such a method could have. This is a hybrid approach synthesized from classic sources on the topic along...
Technical Report
Full-text available
### **Abstract** This work introduces a novel framework for understanding physical reality as a **Bayesian Fluid Crystallization Process**, moving beyond classical deterministic models and quantum probability interpretations. Unlike Many-Worlds and Copenhagen Interpretations of Quantum Mechanics, this model treats reality as an evolving **thermodyn...
Book
Full-text available
Computation theory missive and processor architecture proposal. Full text available on Amazon.
Data
Full-text available
Conference Paper
The Deep Web is constituted by data accessible through web pages, but not readily indexable by search engines, as they are returned in dynamic pages. In this paper we propose a framework for accessing Deep Web sources, represented as relational tables with so-called access limitations, with keyword-based queries. We formalize the notion of optimal...
Article
Full-text available
This article explains in detail the origin the function names car and cdr. The article suggests that car and cdr are the basis of an access language for retrieving elements from tree containers. It provides some simple rules for reading the condensed forms of repeated car and cdr, ones which may be especially useful for students who are learning LI...
Technical Report
Full-text available
All memory used by a program is managed in some manner so that at run time data references will be coherent. A database is a program that uses memory, and as such it must use a memory manager. However, a database is also a program that provides memory management services of a special kind to other programs. This paper explores the intersection betw...
Patent
Full-text available
Soft-screen annotations are associated with objects in order to communicate information relating to the object. The annotation can be static or dynamic and/or interactive or non-interactive. Different properties can be selected when a soft-screen annotation is created in order to customize the annotation for each object.
Technical Report
Full-text available
Provides conventional and a couple of speculative explanations as to why we incorrectly perceive coincidences as being unusual, gives some examples, and shows the math used to analyze them.
Article
Full-text available
Professor Cadogan at the University of the West Indies identified special starting points that yield long subsequences where the normalization constant, k, is always one. I studied these special sequences and found an implicit mixed integer equation in closed form which if solved would produce seed values in cycling subsequences. Such cycles only o...
Technical Report
http://www.google.com/patents/US20100315124
Patent
Exponent difference and alignment shift in a single step.
Article
We report on the successful application of a mechanical theorem prover to the problem of verifying the division microcode program used on the AMD5<sub>K</sub>86 microprocessor. The division algorithm is an iterative shift and subtract type. It was implemented using floating point microcode instructions. As a consequence, the floating quotient digit...
Article
We describe a mechanically checked proof of the correctness of the kernel of the floating point division algorithm used on the AMD5K 86 microprocessor. The kernel is a non-restoring division algorithm that computes the floating point quotient of two double extended precision floating point numbers, p and d (d 6= 0), with respect to a rounding mode,...
Technical Report
Full-text available
Not sure why, but this tech report shows up twice. The other copy has a DOI, so probably better to read it there: https://www.researchgate.net/publication/313011932_Theory_that_Gravity_is_an_Illusion_of_Living_in_an_Exploding_Universe_Expanding_Particles Given the following two postulates: 1. That each and every particle in the universe is expand...
Technical Report
Full-text available
I passed out of all the engineering physics courses at UT Austin in 1986, and then studied some more advanced subjects. This included a couple of Chapters from Wheeler, Thorne, and Misner´s book on General Relativity, "Gravitation". So I was thinking, there are other distortions in addition to space time curvature that would create the illusion of...
Article
High radix on-line arithmetic provides an efficient method for performing variable-precision arithmetic. It can be implemented on conventional microprocessors using sequences of three operand instructions. This paper presents software support for high radix on-line arithmetic. This software includes emulation modules for high radix operations, and...
Thesis
Full-text available
All about two operand addition and its implementation in silicon. Thesis (M.S. in Engin.)--University of Texas at Austin, 1996. Includes bibliographical references.
Conference Paper
Full-text available
This paper describes the development of the transcendental instructions for the K5, AMD's recently completed x86 compatible superscalar microprocessor. A multi-level development cycle, with testing between levels, facilitated the early detection of errors and limited their effect on the design schedule. The algorithms for the transcendental functio...
Article
Full-text available
The result of a simple floating-point computation can be in great error, even though no error is signaled, no coding mistakes are in the program, and the computer hardware is functioning correctly. This paper proposes a set of instructions appropriate for a general purpose microprocessor that can be used to improve the credibility and accuracy of n...
Conference Paper
This published my technique of variable precision arithmetic in the real domain for calculating guaranteed to a given accuracy results for computations (IEEE-754 only speaks to individual operations, in contrast this work speaks to the computations that are composed of a number of operations). This technique was applied to provide some AMD processo...
Conference Paper
Full-text available
First Page of the Article
Article
The design of the 56-b significant adder used in the Advanced Micro Devices Am29050 microprocessor is described. Originally implemented in a 1-μm design role CMOS process, it evaluates 56-b sums in well under 4 ns. The adder employs a novel method for combining carries which does not require the back propagation associated with carry lookahead, and...
Patent
Architecture for Handling of IEEE-754 denomal numbers on a RISC floating point unit.
Conference Paper
A formal logic description of numeric computing and some proofs regarding exception handling.
Conference Paper
Full-text available
The design of the 56-b significand adder for the Advanced Micro Devices, Am29050 microprocessor, is described. This is a 1-μm design rule CMOS realization of a high-performance RISC (reduced instruction set computer) microprocessor that implements IEEE Standard 754 floating-point arithmetic. To achieve an add time of under 4 ns for the 56-b signifi...

Questions

Questions (2)
Question
It seems that if you do not have a PhD (40 year career, long list of publications, high scores on other scales not mattering) your RG score will never exceed 10. In contrast, based on observation of junior colleagues, with a PhD, you pretty much can not be below 10. '10' seems to be the PhD border. I wrote RG for an explanation, giving them a comparative case that has no other apparent explanation, but they never provided an adequate explanation. Perhaps someone else knows about this?
Question
We are a small group concerned about the biological effects of microwave exposure. We would like one place where each person can go to add more citations to the collection. I would like to be able to tag the articles (put them them in categories) and pull up lists based on tags. Also each person should be able to annotate articles and provide summaries. These then can be viewed by everyone.
Is there a tool that does facilitates such citation gathering and commenting?
I thought perhaps a Research Gate Project, but I don't see how the group can comment on the citations provided, or how to put them into categories.
Perhaps what we want is a wikipedia page on the topic. This is the best solution I've come up with so far.

Network

Cited By