Angus Macintyre

34 papers A* 2B 1C 2Journal 27Unranked 2
YearRankTypeTitle / Venue / Authors
2023 J jnl
Investigating image-based fallow weed detection performance on
Comput. Electron. Agric.
Guy R. Y. Coleman, Angus Macintyre, Michael J. Walsh, William T. Salter
2023 J jnl
Investigating image-based fallow weed detection performance on Raphanus sativus and Avena sativa at speeds up to 30 km h
CoRR
Guy R. Y. Coleman, Angus Macintyre, Michael J. Walsh, William T. Salter
2022 J jnl
Model theory of adeles I.
Ann. Pure Appl. Log.
Jamshid Derakhshan, Angus Macintyre
2017 J jnl
Model Theory of Some Local Rings.
FLAP
Paola D'Aquino, Angus Macintyre
2016 J jnl
Erratum to "Free abelian lattice-ordered groups" [Ann. Pure Appl. Logic 134 (2-3) (2005) 265-283].
Ann. Pure Appl. Log.
Andrew M. W. Glass, Angus Macintyre, Françoise Point
2016 J jnl
Turing meets Schanuel.
Ann. Pure Appl. Log.
Angus Macintyre
2014 J jnl
Some supplements to Feferman-Vaught related to the model theory of adeles.
Ann. Pure Appl. Log.
Jamshid Derakhshan, Angus Macintyre
2013 J jnl
Uniformly defining valuation rings in Henselian valued fields with finite or pseudo-finite residue fields.
Ann. Pure Appl. Log.
Raf Cluckers, Jamshid Derakhshan, Eva Leenknegt, Angus Macintyre
2011 J jnl
Quadratic forms in models of IΔ
Ann. Pure Appl. Log.
Paola D'Aquino, Angus Macintyre
2010 J jnl
Exponentiations over the universal enveloping algebra of sl
Ann. Pure Appl. Log.
Sonia L'Innocente, Angus Macintyre, Françoise Point
2008 J jnl
Logic, Language, Information and Computation.
Ann. Pure Appl. Log.
Ruy J. G. B. de Queiroz, Angus Macintyre
2008 J jnl
Model theory of exponentials on Lie algebras.
Math. Struct. Comput. Sci.
Angus Macintyre
2007 J jnl
Quadratic forms in models of IDelta
Ann. Pure Appl. Log.
Paola D'Aquino, Angus Macintyre
2006 C ed.
Proceedings of the 12th Workshop on Logic, Language, Information and Computation, WoLLIC 2005, Florianópolis, Santa Catarina, Brazil, July 19-22, 2005
WoLLIC
Ruy J. G. B. de Queiroz, Angus Macintyre, Guilherme Bittencourt
2005 J jnl
Free abelian lattice-ordered groups.
Ann. Pure Appl. Log.
Andrew M. W. Glass, Angus Macintyre, Françoise Point
2005 C conf
Preface.
WoLLIC
Ruy J. G. B. de Queiroz, Angus Macintyre, Guilherme Bittencourt
2003 J jnl
Model theory: Geometrical and set-theoretic aspects and prospects.
Bull. Symb. Log.
Angus Macintyre
2001 J jnl
Logarithmic-exponential series.
Ann. Pure Appl. Log.
Lou van den Dries, Angus Macintyre, David Marker
1997 — conf
Approximating the Volume of General Pfaffian Bodies.
Structures in Logic and Computer Science
Marek Karpinski, Angus Macintyre
1997 J jnl
Generic Automorphisms of Fields.
Ann. Pure Appl. Log.
Angus Macintyre
1997 J jnl
Polynomial Bounds for VC Dimension of Sigmoidal and General Pfaffian Neural Networks.
J. Comput. Syst. Sci.
Marek Karpinski, Angus Macintyre
1995 — conf
Bounding VC-dimension of neural networks: Progress and prospects.
EuroCOLT
Marek Karpinski, Angus Macintyre
1995 A* conf
Polynomial bounds for VC dimension of sigmoidal neural networks.
STOC
Marek Karpinski, Angus Macintyre
1995 J jnl
VC Dimension of Sigmoidal and General Pfaffian Networks
Electron. Colloquium Comput. Complex.
Marek Karpinski, Angus Macintyre
1994 J jnl
Polynomial Bounds for VC Dimension of Sigmoidal Neural Networks
Electron. Colloquium Comput. Complex.
Marek Karpinski, Angus Macintyre
1993 A* conf
Finiteness results for sigmoidal "neural" networks.
STOC
Angus Macintyre, Eduardo D. Sontag
1993 J jnl
On the Elimination of Imaginaries from Certain Valued Fields.
Ann. Pure Appl. Log.
Philip Scowcroft, Angus Macintyre
1991 J jnl
Schanuel's Conjecture and Free Exponential Rings.
Ann. Pure Appl. Log.
Angus Macintyre
1990 J jnl
Rationality of p-adic Poincaré Series: Uniformity in p.
Ann. Pure Appl. Log.
Angus Macintyre
1989 J jnl
Primes and Their Residue Rings in Models of Open Induction.
Ann. Pure Appl. Log.
Angus Macintyre, David Marker
1983 B conf
Decision Problems for Exponential Rings: The p-adic case.
FCT
Angus Macintyre
1976 J jnl
On Definable Subsets of p-Adic Fields.
J. Symb. Log.
Angus Macintyre
1973 J jnl
The Word Problem for Division Rings.
J. Symb. Log.
Angus Macintyre
1972 J jnl
Omitting Quantifier-Free Types in Generic Structures.
J. Symb. Log.
Angus Macintyre