Current Research

AI

L. Kornienko, D.L. Dowe and D.W. Albrecht, Message Length Formulation of Support Vector Machines for Binary Classification - A Preliminary Scheme, in B McKay and J Slaney (eds), Lecture Notes in Artificial Intelligence, Springer-Verlag, Berlin, Germany, Vol 2557, pp 119-130, 2002.

I. Zukerman and D.W. Albrecht, Predictive statistical models for user modling, in A. Kobsa (ed), User Modeling and User-Adapted Interaction Journal, Kluwer Academic Publishers, Vol II, Issues 1-2, 2001, Special Issue, Ten Year Anniversary Issue, pp 5-18, 2001.

A.E. Bud, D.W. Albrecht, A.E. Nicholson and I. Zukerman, Playing Invisible Chess with Information-Theoretic Advisors, 2001 AAAI Spring Symposium G3: Game Theoretic and Decision Theoretic Agents, March 26 -28, Stanford University, California, 2001.

Ariel Bud, Ingrid Zukerman, David Albrecht, and Ann Nicholson, Information-Theoretic Advisors in Invisible Chess, AI and STATISTICS 2001, Eighth International Workshop on Artificial Intelligence and Statistics, January 4-7, Florida, 2001.

Ingrid Zukerman, David Albrecht, Ann Nicholson and Krystyna Doktor, Trading off Granularity against Complexity in Predictive Models for Complex Domains. Proceedings 6th Pacific Rim International Conference on Artificial Intelligence (PRICAI 2000), Melbourne, Australia, August 28-September 1, Springer-Verlag, 241-251, 2000.

David Albrecht, Ingrid Zukerman and Ann Nicholson, Pre-sending Documents on the WWW: A Comparative Study. Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence (IJCAI'99), Stockholm, Sweden, July 31- August 7, 1274-1279, 1999.

I. Zukerman, D.W. Albrecht and A.E. Nicholson, Evaluation Methods for Learning about Users. Proceedings of the Workshop on Learning about Users at the Sixteenth International Joint Conference On Artifical Intelligence (IJCAI'99), Stockholm, Sweden, July 31- August 7, 1999.

I. Zukerman, D.W. Albrecht and A.E. Nicholson, Predicting Users' Requests on the WWW, Proceedings of the Seventh International Conference on User Modeling (UM'99), Banff, Canada, June 20-24, 1999. (Awarded Best Application Paper).

A.E. Bud, A.E. Nicholson, I. Zukerman, and D.W. Albrecht, A hybrid Architecture for Strategically Complex Imperfect Information Games. Proceedings of the Third International Conference on Knowledge-Based Intelligent Information Engineering Systems (KES'99), Adelaide, Australia, August 31- September 1, 1999.

I. Thomas, I. Zukerman, J.J. Oliver and D.W. Albrecht, B. Raskutti, A minimum message length evaluation metric for lexical access in speech understanding, in H Y Lee and H Motoda (eds), Proceedings 5th Pacific Rim International Conference on Artificial Intelligence (PRICAI'98), Singapore, 22-27 November 1998, Springer-Verlag, 49-54, 1998.

A.E. Nicholson, I. Zukerman and D.W. Albrecht A Decision-theoretic approach for pre-sending information on the WWW, Proceedings 5th Pacific Rim International Conference on Artificial Intelligence (PRICAI'98), Singapore, 22-27 November 1998, Springer-Verlag, 575-586, 1998.

D.W. Albrecht, A.E. Nicholson and I. Zukerman, Knowledge Acquisition for Goal Prediction in a Multi-User Adventure Game. In X. Wu, R. Kotagiri and K.B. Korb (eds) Lecture Notes in Artificial Intelligence 1394, Research and Development in Knowledge Discovery and Data Mining, The Second Pacific-Asia Conference on Knowledge Discovery and Data Minining (PAKDD-98), Melbourne, Australia, 15-17 April 1998, Springer-Verlag, p 1-12, 1998.

I. Thomas, I. Zukerman, J.J. Oliver and D.W. Albrecht, B. Raskutti, Lexical access for speech understanding using Minimum Message Length encoding. In D Geiger and P P Shenoy (eds) Proceedings of the Thirteenth Conference on Uncertainty in Artificial Intelligence (UAI'97) Brown University, Providence, Rhode Island, USA, 1-3 August 1997, Morgan Kaufmann Publishers, 464-471 (1997).

D.W. Albrecht, I. Zukerman, A.E. Nicholson and A. Bud, Towards a bayesian model for keyhole plan recognition in large domains, UM97 The Sixth International Conference on User Modeling, Italy, 2-5 June, (1997).

D.W. Albrecht, I. Zukerman and A.E. Nicholson, Bayesian Models for Keyhole Plan Recognition in an Adventure Game, . User Modeling and User-Adapted Interaction, 8(1998) 5-47.


Analysis

D.W. Albrecht, E. Franks, and A. McIntosh, Holomorphic functional calculi and sums of commuting operators, Bulletin of Australian Mathematical Society, 58 (1998), 291-305.

D.W. Albrecht, E.L. Mansfield and A.E. Milne, Algorithms for Special Integrals of Ordinary Differential Equations, J.Phys. A:Math. Gen. (1996), 973-991.

D.W. Albrecht, X.T. Doung and A. McIntosh, Operator Theory and Harmonic Analysis, Lecture notes for the Instructional Workshop in Analysis and Geometry, held at ANU, Jan 23-Feb 10 1995, Macquarie Mathematics Reports, No. 95-175, (1995).

D.W. Albrecht, Explicit Formulae for Taylor's Functional Calculus, Contemporary Math. 185 (1995), 1-5.

D.W. Albrecht, Functional Calculi of Commuting Unbounded Operators, Ph.D. Thesis, Mathematics Department, Monash, 1994

D.W. Albrecht, Integral Formulae for special cases of Taylor's functional calculus, Studia Math. 105(1) (1993), 51-68.

D.W. Albrecht, Matrix techniques in the study of complexes, Analysis Paper 79 (1991) Mathematics Department, Monash University.


Logic

D.W. Albrecht, F.A. Bauerle, J.N. Crossley and J.S. Jeavons, Curry-Howard terms for linear logic, Studia Logica, Kluwer Academic Publishers, The Netherlands, (accepted February 1998).

D W Albrecht, J N Crossley and J S Jeavons, New Curry-Howard terms for full linear logic. In J Staples (ed) Theoretical Computer Science, Elsevier The Netherlands, 185: 2, 1997, 217-235.

D.W. Albrecht and J.N. Crossley, Extracting simple programs from second order proofs, (Technical report 96/275) Dept Computer Science, Monash University, Melbourne, 10pp, 1996. Abstract available.

D.W. Albrecht and J.N. Crossley, Program extraction, simplified proof-terms and realizability, (Technical report 96/271) Dept Computer Science, Monash University, Melbourne, 8pp, 1996.

D.W. Albrecht, J.N. Crossley and J.S. Jeavons, A Functional Language for Full Linear Logic, Proceedings of the 5th International Workshop on Functional-Logic Programming, held at the Castle of Rauischholzhausen, Germany, Jan 17-19, pp. (XX-1)-(XX-14), (1996).

D.W. Albrecht, J.N. Crossley and J.S. Jeavons, Program extraction for full linear logic. In M.E.Houle and P.Eades (eds.) Proceedings of Computing: The Australian theory seminar, University of Melbourne, Australian Computer Science Communications, Vol 18 Number 3 (1995), 108-114.

D.W. Albrecht, F.A. Bauerle, J.N. Crossley and J.S. Jeavons, Curry-Howard terms for linear logic.In C.Barry (Ed.) Proceedings of Computing: The Australian theory seminar, University of Technology, Sydney, pp 14-23 (1994).


Statistics

P.T.L. Koh, T. Lwin, D. Albrecht, Analysis of Weight Frequency Particle Size Distributions: With Special Applications to Bimodal Floc Size Distributions in Shear-Flocculation, Powder Technology, 59 (1989), 87-95.

D. Albrecht, I. Lucas, T. Lwin, A. Trajstman, Calibration in Enzyme Linked Immuno Sorbert Assay Experiments, DMS Consulting Report No. VT86/1.


David Albrecht, July 2003