Representing von Neumann-Morgenstern Games in the Situation Calculus Oliver Schulte and James Delgrande School of Computing Science Simon Fraser University Burnaby, B.C., Canada

Source URL: www.cs.sfu.ca

• Determinacy
• Situation calculus
• Extensive-form game
• Function
• Axiom
• Game theory
• Mathematics
• Mathematical logic
• Logic

Function Extraction Technology: Computing the Behavior of Malware Rick Linger, Kirk Sayre, Tim Daly, Mark Pleszkoch CERT, Software Engineering Institute Carnegie Mellon University Pittsburgh, PA

Source URL: daly.axiom-developer.org

• Malware
• Models of computation
• Algorithm
• Software bug
• KeY
• Control theory
• Actor model
• MS Antivirus
• Denotational semantics
• Theoretical computer science
• Applied mathematics
• Computing

Test and Evaluation: Robot Forward Kinematics Timothy Daly∗and Rick Linger† February 23, 2010 Abstract In order to investigate the use of an embedded processor in practical terms we built a robot driven by a micropro

Source URL: daly.axiom-developer.org

• Mechanics
• Robotics
• Rigid bodies
• Denavit–Hartenberg parameters
• Robot control
• Kinematics
• Forward kinematics
• Degrees of freedom
• Robot
• Physics
• Robot kinematics
• Mechanical engineering

Concurrent Architecture for Automated Malware Classification

Source URL: daly.axiom-developer.org

• Malware
• C
• Programming language theory
• Computing
• Procedural programming languages
• Software engineering

1 The Phenomenology of Mathematical Beauty Gian-Carlo Rota Whereas painters and musicians are likely to be embarrassed by references

Source URL: www.liceogiuliocesare.it

• Philosophy of mathematics
• Formal systems
• Elementary mathematics
• Mathematical beauty
• Mathematical proof
• Theorem
• Mathematician
• Axiomatic system
• Axiom
• Mathematics
• Logic
• Mathematical logic

$SPAD/input schaum34.input Timothy Daly June 15, 2008 1

Source URL: axiom.axiom-developer.org

• Exponentials
• Hyperbolic function
• Hyperbolic geometry
• Orthogonal polynomials
• Integral calculus
• Differentiation rules
• Hermite polynomials
• Special functions
• Mathematical analysis
• Mathematics

l!soMEr~ME!l IS so&fETIMEs

Source URL: research.microsoft.com

• Logic in computer science
• Model theory
• Non-classical logic
• Philosophical logic
• Modal logic
• Dynamic logic
• Temporal logic
• Assertion
• Axiom
• Logic
• Mathematical logic
• Mathematics

Concordia: A Google for Malware Timothy Daly Luanne Burns Software Engineering Institute

Source URL: daly.axiom-developer.org

• Malware
• MapReduce
• Machine learning
• Machine code
• Perceptron
• On Intelligence
• Computer
• Parallel computing
• Mathematics
• Computing
• Neural networks
• Artificial intelligence

Planning challenges in a cooperative tire changing task Timothy Daly DALY @ AXIOM - DEVELOPER . ORG Laleh Roostapour LROOSTAP @ CS . CMU . EDU

Source URL: daly.axiom-developer.org

• Construction
• Lug nut
• Socket wrench
• Nut
• Lugged steel frame construction
• Wrenches
• Technology
• Lug wrench

Axiom * coded like it wasit was) * small files, 4 letter comments * tree of source code * multiple authors over many years * man page documentation style

Source URL: daly.axiom-developer.org