Slide 0

Slide 1

Big Question: - Scottsboro Electric Power Board

Big Question: - Scottsboro Electric Power Board

A Brief History of DB Theory

A Brief History of DB Theory

Slide 1

Diapositiva 1

Diapositiva 1

Slide 1

Program Analysis using Binary Decision Diagrams

Program Analysis using Binary Decision Diagrams

Document

Document

MONADIC DATALOG

MONADIC DATALOG

Making certificates programmable

Making certificates programmable

Diapositiva 1

Diapositiva 1

Document

Document

Chapter 5 Other Relational Languages

Chapter 5 Other Relational Languages

600.325/425 Declarative Methods

600.325/425 Declarative Methods

bddbddb: Using Datalog and BDDs for Program

bddbddb: Using Datalog and BDDs for Program

GDC 2005

GDC 2005

SOA: Case Study Halifax Bank of Scotland IF.com

SOA: Case Study Halifax Bank of Scotland IF.com

Document

Document

Quasi-Newton

Quasi-Newton

1 DDL

1 DDL

Tau Site Visit 2003 - California Institute of Technology

Tau Site Visit 2003 - California Institute of Technology

Mike Kershaw()

Mike Kershaw()