Angus Macintyre

According to our database, Angus Macintyre authored at least 32 papers between 1972 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Investigating image-based fallow weed detection performance on <i>Raphanus sativus</i> and <i>Avena sativa</i> at speeds up to 30 km h^-1.

Guy R. Y. Coleman, Angus Macintyre, Michael J. Walsh, William T. Salter

Comput. Electron. Agric., December, 2023

Investigating image-based fallow weed detection performance on Raphanus sativus and Avena sativa at speeds up to 30 km h^-1.

Guy R. Y. Coleman, Angus Macintyre, Michael J. Walsh, William T. Salter

CoRR, 2023

2022

Model theory of adeles I.

Jamshid Derakhshan, Angus Macintyre

Ann. Pure Appl. Log., 2022

2017

Model Theory of Some Local Rings.

Paola D'Aquino, Angus Macintyre

FLAP, 2017

2016

Turing meets Schanuel.

Angus Macintyre

Ann. Pure Appl. Log., 2016

Erratum to "Free abelian lattice-ordered groups" [Ann. Pure Appl. Logic 134 (2-3) (2005) 265-283].

Andrew M. W. Glass, Angus Macintyre, Françoise Point

Ann. Pure Appl. Log., 2016

2014

Some supplements to Feferman-Vaught related to the model theory of adeles.

Jamshid Derakhshan, Angus Macintyre

Ann. Pure Appl. Log., 2014

2013

Uniformly defining valuation rings in Henselian valued fields with finite or pseudo-finite residue fields.

Raf Cluckers, Jamshid Derakhshan, Eva Leenknegt, Angus Macintyre

Ann. Pure Appl. Log., 2013

2011

Quadratic forms in models of IΔ₀+Ω₁, Part II: Local equivalence.

Paola D'Aquino, Angus Macintyre

Ann. Pure Appl. Log., 2011

2010

Exponentiations over the universal enveloping algebra of sl₂(C).

Sonia L'Innocente, Angus Macintyre, Françoise Point

Ann. Pure Appl. Log., 2010

2008

Model theory of exponentials on Lie algebras.

Angus Macintyre

Math. Struct. Comput. Sci., 2008

Logic, Language, Information and Computation.

Ruy J. G. B. de Queiroz, Angus Macintyre

Ann. Pure Appl. Log., 2008

2007

Quadratic forms in models of IDelta₀+Omega₁. I.

Paola D'Aquino, Angus Macintyre

Ann. Pure Appl. Log., 2007

2005

Preface.

Ruy J. G. B. de Queiroz, Angus Macintyre, Guilherme Bittencourt

Proceedings of the 12th Workshop on Logic, Language, Information and Computation, 2005

Free abelian lattice-ordered groups.

Andrew M. W. Glass, Angus Macintyre, Françoise Point

Ann. Pure Appl. Log., 2005

2003

Model theory: Geometrical and set-theoretic aspects and prospects.

Angus Macintyre

Bull. Symb. Log., 2003

2001

Logarithmic-exponential series.

Lou van den Dries, Angus Macintyre, David Marker

Ann. Pure Appl. Log., 2001

1997

Polynomial Bounds for VC Dimension of Sigmoidal and General Pfaffian Neural Networks.

Marek Karpinski, Angus Macintyre

J. Comput. Syst. Sci., 1997

Generic Automorphisms of Fields.

Angus Macintyre

Ann. Pure Appl. Log., 1997

Approximating the Volume of General Pfaffian Bodies.

Marek Karpinski, Angus Macintyre

Proceedings of the Structures in Logic and Computer Science, 1997

1995

VC Dimension of Sigmoidal and General Pfaffian Networks

Marek Karpinski, Angus Macintyre

Electron. Colloquium Comput. Complex., 1995

Bounding VC-dimension of neural networks: Progress and prospects.

Marek Karpinski, Angus Macintyre

Proceedings of the Computational Learning Theory, Second European Conference, 1995

1994

Polynomial Bounds for VC Dimension of Sigmoidal Neural Networks

Marek Karpinski, Angus Macintyre

Electron. Colloquium Comput. Complex., 1994

1993

On the Elimination of Imaginaries from Certain Valued Fields.

Philip Scowcroft, Angus Macintyre

Ann. Pure Appl. Log., 1993

Finiteness results for sigmoidal "neural" networks.

Angus Macintyre, Eduardo D. Sontag

Proceedings of the Twenty-Fifth Annual ACM Symposium on Theory of Computing, 1993

1991

Schanuel's Conjecture and Free Exponential Rings.

Angus Macintyre

Ann. Pure Appl. Log., 1991

1990

Rationality of p-adic Poincaré Series: Uniformity in p.

Angus Macintyre

Ann. Pure Appl. Log., 1990

1989

Primes and Their Residue Rings in Models of Open Induction.

Angus Macintyre, David Marker

Ann. Pure Appl. Log., 1989

1983

Decision Problems for Exponential Rings: The p-adic case.

Angus Macintyre

Proceedings of the Fundamentals of Computation Theory, 1983

1976

On Definable Subsets of p-Adic Fields.

Angus Macintyre

J. Symb. Log., 1976

1973

The Word Problem for Division Rings.

Angus Macintyre

J. Symb. Log., 1973

1972

Omitting Quantifier-Free Types in Generic Structures.

Angus Macintyre

J. Symb. Log., 1972