Ph.D., University of Victoria
address
Jacqueline E. Rice, Assistant Professor
Dept. of Math and Computer Science
University of Lethbridge
4401 University Drive
Lethbridge, Alberta, Canada T1K 3M4
tel: 403.329.2783 fax: 403.317.2882

email
j.rice @ uleth.ca








last updated March 2004

links that I use

The following are some research links that I find useful every now and then.




BDDs (and related links)
BDD Corner
BDD-Portal
Randal Bryant's home page (the "father of BDDs")
Rolf Drechsler
Ken McMillan
D. M. Miller
Mitch Thornton
Paul Molitor

DD Packages
CUDD Package (local copy)
list from BDD-Portal
PUMA (Universität Freiburg, Germany)
Formal Verification Group
(Eindhoven University of Technology, Netherlands)
Hybrid Graph Manipulation Package Demo
(Technische Universität Darmstadt, Germany)
Symbolic Techniques in High Level Synthesis
(University of California, Santa Barbara, USA)

Autocorrelation (and related links)
Mark G. Karpovsky

Women in Computer Science
Committee on the Status of Women in Computing Research
anita borg institute for women and technology
Grace Hopper Celebration of Women in Computing
ResearcHers

Quantum Logic
Portland Quantum Logic Group

People
George Boole

Scholarships
AUCC

Conference Listings/Links
computer society conferences
IEEE conference search
listing from Laurence
another from Laurence
listing from Jon
another from Jon
VLSI/architecture related conference listing
Steve W's list

Programming
A Perl Tutorial
C++ book
latex toc

Math
mathworld

Useful Research Support Links
NSERC Research Grants Program Guide
(dates, forms, etc. for Individual Grants)
NSERC Program Guide
(Guidelines for the Review of Applications in Engineering and the Applied Sciences)
NSERC - Program Guide
(Overview of Scholarship and Fellowship Programs)
NSERC - Forms
Alberta Ingenuity
Alberta Innovation and science
iCORE - Grants
Canada Foundation for Innovation : Forms and Downloads
NATO Scientific Affairs: Collaborative Linkage Grants