Lai, Albert Yu Cheong Curriculum Vitae (address and phone omitted in public) email: trebla [at] vex [dot] net Born in 1969 Citizenship: Canadian

Source URL: www.vex.net

• Formal methods
• University of Toronto
• Theoretical computer science
• Eric Hehner
• Program derivation
• Predicative programming
• Refinement
• Formal verification
• Department of Computer Science

The Automated Derivation of Sparse Implementations of Numerical Algorithms through Program Transformation1 Stephen Fitzpatrick, M. Clint, P. Kilpatrick April 1995 Technical Report 1995/Apr-SF.MC.PLK Add to Reading List

Source URL: www.kestrel.edu

The Specification of Array-Based Algorithms and the Automated Derivation of Parallel Implementations through Program Transformation A THESIS submitted in fulfillment of the requirements

Source URL: www.kestrel.edu

PDF Document

Source URL: www.kestrel.edu

• Formal methods
• Specification language
• Refinement
• Abstract state machines
• Specification
• Object Process Methodology
• Domain-specific language
• Programming language
• Integrated circuit design
• Formal specification
• Isabelle
• Program derivation

Japan Cryptographic Module Validation Program(JCMVP) Specifications of Cryptographic Algorithm Implementation Testing — Key Establishment Schemes —

Source URL: www.ipa.go.jp

• Cryptographic protocols
• Elliptic curve Diffie–Hellman
• Diffie–Hellman key exchange
• SHA-1
• SHA-2
• Elliptic Curve DSA
• Key derivation function
• Key
• CRYPTREC
• Cryptography
• Cryptographic hash functions
• Key management

Tomohiro Yokoyama University of Toronto Features Wearing Two Hats: Derivation of Object-Marked Verbs in Kinyarwanda There have been several proposals regarding how an apparent reverse ordering of different syntactic elem

Source URL: nels45.mit.edu

• Noam Chomsky
• Syntax
• Clitic
• Morphonology
• Merge
• Minimalist program
• Kinyarwanda
• Grammatical case
• Inversion
• Linguistics
• Grammar
• Generative linguistics

Derivation of A Tasseled cap transformation based on Landsat 7 At-satellite reflectance

Source URL: landcover.usgs.gov

• Landsat program
• Earth
• Normalized Difference Vegetation Index
• Reflectivity
• Remote sensing application
• Landsat 7
• Satellite imagery
• Atmospheric correction
• Thematic Mapper
• Remote sensing
• Spacecraft
• Computer vision

Modeling and Analysis of Elliptic Coordination by Dynamic Exploitation of Derivation Forests in LTAG parsing Djamé Seddah (1) & Benoît Sagot[removed]NCLT - Dublin City University - Ireland [removed]

Source URL: alpage.inria.fr

• Compiler construction
• Formal languages
• Syntax
• Tree-adjoining grammar
• Dependency grammar
• Minimalist program
• Context-free grammar
• Parsing
• Derivation
• Linguistics
• Grammar
• Generative linguistics

Idioms in Korean and Japanese: phase-based account Within the Minimalist framework (e.g., Chomsky 2000), where the syntactic computation is interpreted cyclically in phases as the derivation is built up, it is predicted

Source URL: jk.mit.edu

• Grammatical cases
• Preposition and postposition
• Dative case
• Idiom
• Locative case
• Minimalist program
• Linguistics
• Grammar
• Syntax

43rd Lunar and Planetary Science Conference[removed]pdf DERIVATION OF FEO ABUNDANCES IN LUNAR PYROCLASTIC DEPOSITS USING LRO DIVINER. Carlton C. Allen1, Benjamin T. Greenhagen2, Kerri L. Donaldson Hanna3, Dorothy Z.

Source URL: www.lpi.usra.edu

• Exploration of the Moon
• Volcanic rocks
• Moon
• Moons
• Basalt
• Lunar soil
• Taurus–Littrow
• Apollo 17
• Diviner
• Spaceflight
• Apollo program
• Lunar science