Outputs (7)

A New Graph Grammar Formalism for Robust Syntactic Pattern Recognition (2023)
Preprint / Working Paper
Fletcher, P. A New Graph Grammar Formalism for Robust Syntactic Pattern Recognition

I introduce a formalism for representing the syntax of recursively structured graph-like patterns. It does not use production rules, like a conventional graph grammar, but represents the syntactic structure in a more direct and declarative way. The g... Read More about A New Graph Grammar Formalism for Robust Syntactic Pattern Recognition.

Brouwer’s Weak Counterexamples and the Creative Subject: A Critical Survey (2020)
Journal Article
Fletcher. (2020). Brouwer’s Weak Counterexamples and the Creative Subject: A Critical Survey. Journal of Philosophical Logic, 49, 1111-1157. https://doi.org/10.1007/s10992-020-09551-y

I survey Brouwer’s weak counterexamples to classical theorems, with a view to discovering (i) what useful mathematical work is done by weak counterexamples; (ii) whether they are rigorous mathematical proofs or just plausibility arguments; (iii) the... Read More about Brouwer’s Weak Counterexamples and the Creative Subject: A Critical Survey.

Book Review: Intuitionistic Proof Versus Classical Truth: The Role of Brouwer's Creative Subject in Intuitionistic Mathematics (2019)
Journal Article
Fletcher. (2019). Book Review: Intuitionistic Proof Versus Classical Truth: The Role of Brouwer's Creative Subject in Intuitionistic Mathematics. Studia Logica, 107, 845 - 851. https://doi.org/10.1007/s11225-019-09866-1

'No abstract'

Approaches to analysis with infinitesimals following Robinson, Nelson, and others (2017)
Journal Article
Fletcher, P., Hrbacek, K., Kanovei, V., Katz, M. G., Lobry, C., & Sanders, S. (2017). Approaches to analysis with infinitesimals following Robinson, Nelson, and others. Real Analysis Exchange, 1 -59. https://doi.org/10.14321/realanalexch.42.2.0193

This is a survey of several approaches to the framework for working with infinitesimals and infinite numbers, originally developed by Abraham Robinson in the 1960s, and their constructive engagement with the Cantor-Dedekind postulate and the Intended... Read More about Approaches to analysis with infinitesimals following Robinson, Nelson, and others.

Mobile Camera Source Identification with SVD (2014)
Presentation / Conference Contribution
Soobhany, A.-R., Lam, K., Fletcher, P., & Collins, D. (2015, January). Mobile Camera Source Identification with SVD. Presented at Innovations and Advances in Computing, Informatics, Systems Sciences, Networking and Engineering

A novel method for extracting the characterising sensor pattern noise (SPN) from digital images is presented. Based on the spectral decomposition technique of Singular Value Decomposition, the method estimates the SPN of each image in terms of its en... Read More about Mobile Camera Source Identification with SVD.

Source identification of camera phones using SVD (2014)
Presentation / Conference Contribution
Ryad Soobhany, A., Lam, K., Fletcher, P., & Collins, D. (2013, September). Source identification of camera phones using SVD

Connectionist learning of regular graph grammars (2001)
Journal Article
Fletcher. (2001). Connectionist learning of regular graph grammars. Connection science, 127 - 188. https://doi.org/10.1080/09540090110072327

This paper presents a new connectionist approach to grammatical inference. Using only positive examples, the algorithm learns regular graph grammars, representing two-dimensional iterative structures drawn on a discrete Cartesian grid. This work is i... Read More about Connectionist learning of regular graph grammars.