Domain Tools

Welcome  Guest! Login/Join

Sponsored Ads
Google
Cheap VPS Hosting Registrant Search     Sponsor DomainTools
DomainTools Blog: Aftermarket.com Auction at T.R.A.F.F.I.C. Down Under - Posted 6 days ago - 6 comments

Main Content

Computational Logic Laboratory Interests include logics for knowledge representation and for representing and reasoning about dynamic systems, belief revision, theorem proving, constraint satisfaction, database theory, and complexity of related computational tasks. People, events, projects and software.


Sfu.ca DMOZ 401-450 of 513



Directory: Reference / Education / Colleges_and_Universities / North_America / Canada / British_Columbia / Simon_Fraser_University / Research / Laboratories_and_Individuals
Title: Computational Logic Laboratory
Description: Interests include logics for knowledge representation and for representing and reasoning about dynamic systems, belief revision, theorem proving, constraint satisfaction, database theory, and complexity of related computational tasks. People, events, projects and software.
Location: http://www.cs.sfu.ca/~cl/
 
  
Directory: Reference / Education / Colleges_and_Universities / North_America / Canada / British_Columbia / Simon_Fraser_University / Research / Laboratories_and_Individuals
Title: Kim Bartholomew's Research Laboratory
Description: Housed under the department of Psychology. Research interests in attachment measures, relationship abuse and gay relationship. Includes presentations, publications, interviews, and FAQs.
Location: http://www.sfu.ca/psyc/faculty/bartholomew/
 
  
Directory: Reference / Education / Colleges_and_Universities / North_America / Canada / British_Columbia / Simon_Fraser_University / Research / Laboratories_and_Individuals
Title: Driver, Jonathan C.
Description: Academic and Provost Vice President for the university. Research programs in the department of Archaeology, publications and Charlie Lake Cave project.
Location: http://www.sfu.ca/archaeology/faculty/driver/
 
  
Directory: Reference / Education / Educators / Academic_Dishonesty
Title: Intellectual Honesty
Description: Describes the many variations on "what is plagiarism" and admonishes students not to be party to others' plagiarism.
Location: http://www.sfu.ca/philosophy/honesty.htm
 
  
Directory: Reference / Journals
Title: Open Journal Systems
Description: An open source journal management and publishing system that has been developed by the federally funded Public Knowledge Project. List of features, documentation, online demonstration, and download. [GLP]
Location: http://pkp.sfu.ca/?q=ojs
 
  
Directory: Reference / Libraries / Digital
Title: Simon Fraser University Library Electronic Document Centre
Description: Promotes access to knowledge created at Simon Fraser University and makes some of the Library's unique holdings available to a wider audience.
Location: http://edocs.lib.sfu.ca/
 
  
Directory: Reference / Libraries / Special_Collections
Title: Simon Fraser University Library Special Collections
Description: Located in Burnaby, British Columbia, the library houses several types of collections including one on children's literature.
Location: http://www.lib.sfu.ca/about/collections/specificcollections/specialcollections/spcl.htm
 
  
Directory: Reference / Maps / Libraries
Title: Simon Fraser University Library - Map Room
Description: Basic collection information.
Location: http://www.lib.sfu.ca/about/collections/specificcollections/mapcoll.htm
 
  
Directory: Regional / Europe / United_Kingdom / Scotland / Society_and_Culture / History
Title: Scottish Studies: Simon Fraser University
Description: Provides a focal point for faculty, students and members of the community interested in exploring Scottish history and culture and the impact of Scots on other cultures and nations, including in particular Canada.
Location: http://www.sfu.ca/scottish/
 
  
Directory: Regional / Middle_East / Iran / Society_and_Culture / History / Iranian_Revolution
Title: The Iranian Revolution Turned Against Women Who Supported It
Description: Article by Tayana Marshall from The McGill Daily.
Location: http://www.peak.sfu.ca/the-peak/95-2/issue5/iran.html
 
  
Directory: Regional / Middle_East / Iran / Society_and_Culture / Women / Articles
Title: The Iranian Revolution Turned Against Women Who Supported It
Description: Article by Tayana Marshall from The McGill Daily.
Location: http://www.peak.sfu.ca/the-peak/95-2/issue5/iran.html
 
  
Directory: Regional / North_America / Canada / British_Columbia / Arts_and_Entertainment / Music / Education
Title: Simon Fraser University
Description: School for the Contemporary Arts - Music Program. Located in Burnaby.
Location: http://www.sfu.ca/sca/
 
  
Directory: Regional / North_America / Canada / British_Columbia / Localities / B / Burnaby / Arts_and_Entertainment / Libraries
Title: Simon Fraser University Library
Description: Information on library collections, access to several searchable article indexes, online catalogue and library policies.
Location: http://www.lib.sfu.ca/
 
  
Directory: Regional / North_America / Canada / British_Columbia / Localities / B / Burnaby / Recreation_and_Sports
Title: Simon Fraser University Athletics
Description: Features news, a staff directory, programs, members of the Hall of Fame, ticket prices, schedules, photos and a search.
Location: http://cgi.sfu.ca/~athlwww/index.php
 
  
Directory: Regional / North_America / Canada / British_Columbia / Localities / V / Vancouver / Arts_and_Entertainment / Libraries
Title: Simon Fraser University Library
Description: Includes library history, on-line database and book reservation and request service.
Location: http://www.lib.sfu.ca/
 
  
Directory: Regional / North_America / Canada / British_Columbia / Localities / V / Vancouver / Business_and_Economy / Services
Title: Morris J. Wosk Centre for Dialogue
Description: Based at Simon Fraser University, a conference centre designed to help people communicate and collaborate.
Location: http://www.sfu.ca/dialogue/
 
  
Directory: Regional / North_America / Canada / British_Columbia / Society_and_Culture / History
Title: Chinese Canadian Historical Society of BC
Description: Founded in 2004, aims to encourage research, documentation and promotion of Chinese Canadian history in the province.
Location: http://www.cic.sfu.ca/nacrp/CCHS/
 
  
Directory: Regional / North_America / Canada / News_and_Media / Television / Programs / Trailer_Park_Boys
Title: e.Peak: What the Hell is Wrong With a Trailer Park?
Description: Article from the online edition of Simon Fraser University's student newspaper.
Location: http://www.peak.sfu.ca/the-peak/2003-1/issue10/ar-trailer.html
 
  
Directory: Regional / North_America / Canada / Society_and_Culture / Ethnicity
Title: Chinese Canadian Heritage Fund
Description: Mission is to preserve, record, and promote Chinese Canadian Heritage and its contribution to the building of Canadian society.
Location: http://www.cic.sfu.ca/cchf/
 
  
Directory: Regional / North_America / Canada / Society_and_Culture / Politics / Issues
Title: Canadian American Strategic Review
Description: News and analysis of military issues from Simon Fraser University.
Location: http://www.sfu.ca/casr/
 
  
Directory: Science / Biology / Biochemistry_and_Molecular_Biology / People
Title: Leroux, Michel R.
Description: The Leroux lab investigates, using structure-function studies, how molecular chaperones assist cellular protein folding. From Simon Fraser University in Vancouver, BC.
Location: http://www.sfu.ca/~leroux/
 
  
Directory: Science / Biology / Biomechanics / Research_Groups
Title: Injury Prevention and Mobility Laboratory
Description: Improving methods for preventing falls and fall-related injuries, including research, publications, links, and contact details. Simon Fraser University, B.C., Canada.
Location: http://www.sfu.ca/ipml
 
  
Directory: Science / Biology / Institutions / Research_Centers
Title: Behavioural Ecology Research Group
Description: Researches the causal bases of behavior through demographics, molecular phylogenetics, physiological traits, and evolutionary physiology.
Location: http://www.sfu.ca/biology/berg/
 
  
Directory: Science / Earth_Sciences / Oceanography / Institutions / Canada
Title: Simon Fraser University
Description: Fisheries Science and Management Research Group.
Location: http://www.rem.sfu.ca/fishgrp/
 
  
Directory: Science / Earth_Sciences / Oceanography / Institutions / Canada
Title: Simon Fraser University
Description: Underwater Research Laboratory (URL). Specializes in underwater studies in the areas of acoustics, sonar, autonomous underwater vehicles, column surveys, signal processing and target detection. Page lists projects and personnel.
Location: http://www.ensc.sfu.ca/research/url/
 
  
Directory: Science / Earth_Sciences / Paleontology / Paleobotany / Paleobotanists
Title: Marlow, M.G.
Description: Palynology, Simon Fraser University.
Location: http://www.sfu.ca/~mpellatt/marlow.htm
 
  
Directory: Science / Educational_Resources / Experiments / Glowing_Pickles
Title: Glowing Pickle
Description: Short description of the science demonstration, with annotated bibliography of print references. From the Simon Fraser University Physics Department lecture demonstration index, classification PIRA 5D30.30.
Location: http://www.sfu.ca/physics/ugrad/courses/teaching_resources/demoindex/eandm/em5d/pickle.html
 
  
Directory: Science / Instruments_and_Supplies
Title: Laboratory Suppliers
Description: A huge alphabetized list of scientific suppliers.
Location: http://www.sfu.ca/science-stores/vendor.htm
 
  
Directory: Science / Math / Academic_Departments / North_America / Canada
Title: Simon Fraser University
Description: Department of Mathematics and Statistics
Location: http://www.math.sfu.ca/
 
  
Directory: Science / Math / Chaos_and_Fractals / Chaos
Title: Continued Fractions and Chaos
Description: Scientific paper exploring some results of the theory of chaotic dynamical systems. Includes abstract, proceeding and references.
Location: http://www.cecm.sfu.ca/organics/papers/corless/index.html
 
  
Directory: Science / Math / Combinatorics / Design_Theory
Title: The Search for a Finite Projective Plane of Order 10
Description: By C.W.H. Lam.
Location: http://www.cecm.sfu.ca/organics/papers/lam/paper/html/paper.html
 
  
Directory: Science / Math / Number_Theory
Title: Visible Structures in Number Theory
Description: By Peter Borwein and Loki Jörgenson. Recognising number patterns visually.
Location: http://www.cecm.sfu.ca/~loki/Papers/Numbers/
 
  
Directory: Science / Math / Number_Theory
Title: The Arithmetic Properties of Binomial Coefficients
Description: Activated text by Andrew Granville.
Location: http://www.cecm.sfu.ca/organics/papers/granville/index.html
 
  
Directory: Science / Math / Number_Theory
Title: Lehmer's Conjecture
Description: That the Mahler measure of an algebraic number is bounded away from 1. Pages by Michael Mossinghoff, UCLA.
Location: http://www.cecm.sfu.ca/~mjm/Lehmer/lc.html
 
  
Directory: Science / Math / Number_Theory
Title: Integer Relations
Description: To determine linear integer dependence among numerical constants and to determine the minimal polynomial of an approximate algebraic number. Interactive or via email.
Location: http://oldweb.cecm.sfu.ca/~aszanto/IntegerRelations/
 
  
Directory: Science / Math / Number_Theory / Algebraic
Title: Binary Cubic Forms and Cubic Number Fields
Description: Activated text by Henri Cohen.
Location: http://www.cecm.sfu.ca/organics/papers/hcohen/index.html
 
  
Directory: Science / Math / Number_Theory / Events / Past_Events
Title: Computational Arithmetic Geometry
Description: PIMS, Vancouver, BC, Canada; 5--9 July 2004.
Location: http://www.cecm.sfu.ca/~nbruin/WCAG2004/
 
  
Directory: Science / Math / Number_Theory / Open_Problems / Collatz_Problem
Title: The 3x + 1 Problem and its Generalizations
Description: An activated-text survey article by Jeff Lagarias.
Location: http://oldweb.cecm.sfu.ca/organics/papers/lagarias/
 
  
Directory: Science / Math / Number_Theory / People / B
Title: Borwein, Peter
Description: Simon Fraser University. Experimental mathematics and number theory. Preprints, publications.
Location: http://www.cecm.sfu.ca/~pborwein/
 
  
Directory: Science / Math / Number_Theory / People / B
Title: Bruin, Nils
Description: Simon Fraser University. Number theory and computer. List of publications, awards, and software.
Location: http://www.cecm.sfu.ca/~bruin/
 
  
Directory: Science / Math / Number_Theory / People / B
Title: Brown, Tom
Description: Simon Fraser University. Combinatorial number theory. List of publications.
Location: http://www.math.sfu.ca/people/profile.php?ID=brown_t
 
  
Directory: Science / Math / Number_Theory / People / C
Title: Chen, Imin
Description: Simon Fraser University. elliptic curves, Galois representations, automorphic forms.
Location: http://www.math.sfu.ca/~ichen/
 
  
Directory: Science / Math / Number_Theory / People / C
Title: Choi, Kwok Kwong Stephen
Description: Simon Fraser University. Diophantine analysis.
Location: http://www.math.sfu.ca/~kkchoi/
 
  
Directory: Science / Math / Number_Theory / People / M
Title: Mahler, Kurt
Description: Papers in PDF or PostScript. With obituary by Alf van der Poorten.
Location: http://oldweb.cecm.sfu.ca/Mahler/
 
  
Directory: Science / Math / Numerical_Analysis
Title: Inverse Symbolic Calculator
Description: Programs and specialized tables of mathematical constants dedicated to the identification of real numbers: a project at the Centre for Experimental and Constructive Mathematics.
Location: http://oldweb.cecm.sfu.ca/projects/ISC/
 
  
Directory: Science / Math / Publications / Institutional_Collections
Title: (Canada) CECM
Description: Centre for Experimental and Constructive Mathematics preprint service.
Location: http://oldweb.cecm.sfu.ca/preprints/
 
  
Directory: Science / Math / Publications / Multimedia
Title: Organic Mathematics: Video Album
Description: Lectures at the Organic Mathematics Workshop, Simon Fraser University. QuickTime format.
Location: http://www.cecm.sfu.ca/organics/album/movies/
 
  
Directory: Science / Math / Recreations / Specific_Numbers
Title: Inverse Symbolic Calculator
Description: A set of programs and specialized tables of mathematical constants dedicated to the identification of real numbers.
Location: http://oldweb.cecm.sfu.ca/projects/ISC/ISCmain.html
 
  
Directory: Science / Math / Recreations / Specific_Numbers / Pi
Title: The Pi Pages
Description: Information on Pi, its history, its future, and the people involved in its calculations.
Location: http://oldweb.cecm.sfu.ca/pi/pi.html
 
  
Directory: Science / Math / Recreations / Specific_Numbers / Pi / Calculation
Title: One Billion Digits of Pi
Description: Ramanujan, modular equations, and approximations.
Location: http://www.cecm.sfu.ca/organics/papers/borwein/index.html