Domain Tools

Welcome  Guest! Login/Join
Whois

Domain Suggestions

For Sale

Auctions

Advanced Auctions

Domain Search

Domain Monitor
Domain Directory Ping

Traceroute

My IP Address Domain Parking Beta Cheap Domain Name Registration Bulk Check Domain Typo Generator more >
Power Tools: Reverse IP Domain History Mark Alert Name Server Spy Hosting History Registrant Search Registrant Alert new

Sponsored Ads
Google
Cheap VPS Hosting Registrant Search     Sponsor DomainTools
DomainTools Blog: Tim Chen joins Thought Convergence - Posted 1 day ago - 7 comments

Main Content

Daugman, John University of Cambridge - Neuroscience, statistical pattern recognition, wavelets, computer vision.


Cam.ac.uk DMOZ 51-100 of 902

<<  | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 |   >>



Directory: Computers / Computer_Science / People / D
Title: Daugman, John
Description: University of Cambridge - Neuroscience, statistical pattern recognition, wavelets, computer vision.
Location: http://www.cl.cam.ac.uk/~jgd1000/
 
  
Directory: Computers / Computer_Science / People / D
Title: Dawar, Anuj
Description: University of Cambridge - Applications of logic to computing, finite model theory, computational complexity.
Location: http://www.cl.cam.ac.uk/~ad260/
 
  
Directory: Computers / Computer_Science / People / M
Title: Moore, Simon W.
Description: University of Cambridge - Self-timed circuits, multithreaded processor design, real-time systems and the engineering of complex systems.
Location: http://www.cl.cam.ac.uk/~swm11/
 
  
Directory: Computers / Computer_Science / People / M
Title: Mycroft, Alan
Description: University of Cambridge - Semantics and compilation of programs, static analysis of programs.
Location: http://www.cl.cam.ac.uk/~am21/
 
  
Directory: Computers / Computer_Science / People / P
Title: Paulson, Lawrence C.
Description: University of Cambridge - Interactive theorem proving and its applications.
Location: http://www.cl.cam.ac.uk/~lp15/
 
  
Directory: Computers / Computer_Science / People / P
Title: Pitts, Andrew
Description: University of Cambridge - Applications of mathematical logic and category theory to computer science, semantics of programming languages and type theories, formal logics for reasoning about program properties.
Location: http://www.cl.cam.ac.uk/~amp12/
 
  
Directory: Computers / Computer_Science / People / R
Title: Richards, Martin
Description: University of Cambridge - Programming language design and implementation, typeless languages, optimizing compilers, efficient interpreters, just-in-time compilation.
Location: http://www.cl.cam.ac.uk/~mr10/
 
  
Directory: Computers / Computer_Science / People / R
Title: Robinson, Peter
Description: University of Cambridge - Human-computer interaction, electronic design automation, self-timed circuits.
Location: http://www.cl.cam.ac.uk/~pr10/
 
  
Directory: Computers / Computer_Science / People / S
Title: Sewell, Peter
Description: University of Cambridge - Secure encapsulation, pi-calculus, mobile agents, operational semantics, locality typing.
Location: http://www.cl.cam.ac.uk/~pes20/
 
  
Directory: Computers / Computer_Science / People / S
Title: Slind, Konrad
Description: University of Cambridge - Automated reasoning, implementation and application of higher order logic.
Location: http://www.cl.cam.ac.uk/~ks121/
 
  
Directory: Computers / Computer_Science / Theoretical / People / Students
Title: Rok StrniĊĦa
Description: Ph.D. student working in the Theory and Semantics Group at the Computer Laboratory, University of Cambridge.
Location: http://www.cl.cam.ac.uk/~rs456/
 
  
Directory: Computers / Computer_Science / Theoretical / Research_Groups
Title: Foundations of Computational Mathematics
Description: International Research Group for Computational Mathematics
Location: http://www.damtp.cam.ac.uk/user/na/FoCM/
 
  
Directory: Computers / Computer_Science / Theoretical / Research_Groups
Title: Cambridge Theory and Semantics Group
Description: Centred around mathematical models of a variety of languages and logics, using techniques such as structural operational semantics, linear logic, domain theory and category theory. Strong links with Logic and Set Theory in the Pure Mathematics Department.
Location: http://www.cl.cam.ac.uk/Research/TSG/
 
  
Directory: Computers / Desktop_Publishing
Title: Effective Scientific Electronic Publishing
Description: Tips for using LaTeX and PDF to make electronically published papers more useful for readers.
Location: http://www.cl.cam.ac.uk/~mgk25/publ-tips/
 
  
Directory: Computers / Graphics / Fonts / Multiscript_Fonts
Title: Unicode Fonts and Tools for X11
Description: Information about Unicode fonts for Linux and X11 users.
Location: http://www.cl.cam.ac.uk/~mgk25/ucs-fonts.html
 
  
Directory: Computers / Hardware / Systems / Wearables / Keyboards_and_Directional_Input
Title: Inference Group - Dasher Project
Description: A software solution for entering text by zooming through letters. A graphical demo, versions for different systems and languages and ideas for appropriate input hardware are provided.
Location: http://www.inference.phy.cam.ac.uk/dasher/
 
  
Directory: Computers / History / Pioneers / Moore,_Gordon
Title: Betty and Gordon Moore Library
Description: Holds Cambridge University Library's working collections in mathematics, physics, astronomy, computer science, materials science, engineering. [Cambridge University Library]
Location: http://www.lib.cam.ac.uk/BGML/
 
  
Directory: Computers / History / Pioneers / Needham,_Roger
Title: Professor Roger Needham, 1935-2003
Description: Article from the University of Cambridge reporting his death, and outlining his life and achievements.
Location: http://www.admin.cam.ac.uk/news/dp/2003030401
 
  
Directory: Computers / History / Pioneers / Needham,_Roger
Title: Roger Needham - An Informal Memoir
Description: Article by his wife describing his life, work, and achievements.
Location: http://www.cl.cam.ac.uk/misc/obituaries/needham/RogerNeedhamMemoir.pdf
 
  
Directory: Computers / Internet / History / The_Trojan_Room_Coffee_Machine
Title: The Trojan Room Coffee Machine
Description: The official site. Includes the final image of the machine being switched off, a non-technical biography, and an audio copy of a 1994 radio report.
Location: http://www.cl.cam.ac.uk/coffee/coffee.html
 
  
Directory: Computers / Parallel_Computing / Programming / Languages
Title: Acute
Description: Experimental high-level language for distributed computing, focus: typing, naming, version change; designed, formally specified, implemented; extends OCaml core to support distributed development, deployment, execution, type-safe interaction between separately-built programs.
Location: http://www.cl.cam.ac.uk/~pes20/acute/
 
  
Directory: Computers / Programming / Languages / Ada / FAQs,_Help,_and_Tutorials
Title: Markus Kuhn's Ada95 Page
Description: Information for New Ada95 Programmers.
Location: http://www.cl.cam.ac.uk/~mgk25/ada.html
 
  
Directory: Computers / Programming / Languages / Ada / Personal_Pages
Title: Kuhn, Markus
Description: Computer Science research student, Cambridge University. Author of many publications on security, English and German.
Location: http://www.cl.cam.ac.uk/~mgk25/
 
  
Directory: Computers / Programming / Languages / Comparison_and_Review
Title: The Case against C
Description: Five short essays compare C (and C++ by extension) to Fortran: Why C is Not a Good Numerical Language, Why C is Not a Good First Language, C's Poor Loop Constructs, C's Pointers and Optimisation, Optimisation through Directives.
Location: http://www.tcm.phy.cam.ac.uk/~mjr/C/
 
  
Directory: Computers / Programming / Languages / Fortran / Source_Code
Title: Input Routines
Description: Fortran 90 module by Andy Stone that parses input lines into 'words', and routines that read a 'word' and translate it into a specified form, usually an integer or double-precision number. In conjunction with a simple CASE structure this provides a powerful and flexible method for organising data input. The package includes documentation, and an example program and data file as illustrations of the ways in which the module can be used to organise data. [gzipped tar file].
Location: http://www-stone.ch.cam.ac.uk/pub/input.tar.gz
 
  
Directory: Computers / Programming / Languages / Fortran / Source_Code / Chemistry
Title: GDMA
Description: Fortran 90 program by Andy Stone to carry out Distributed Multipole Analysis of wavefunctions calculated by the Gaussian system of programs, using the formatted checkpoint files that they produce. The result is a set of multipole moments at sites defined by the user (usually at the positions of the atomic nuclei) which, given an accurate wavefunction, provide an accurate description of the electrostatic field of the molecule. It is very fast, typically requiring only a few seconds of cpu time.
Location: http://www-stone.ch.cam.ac.uk/documentation/gdma/README.html
 
  
Directory: Computers / Programming / Languages / Fortran / Source_Code / Physics
Title: ASAD
Description: Package for creating and integrating chemistry schemes in atmospheric models without the need to write any Fortran code to solve the chemical rate equations. Developed by Dr. Glenn Carver and Dr. Paul Brown (assisted by Dr. Oliver Wild) of the Centre for Atmospheric Science, Cambridge University, UK.
Location: http://www.atm.ch.cam.ac.uk/acmsu/asad/index.html
 
  
Directory: Computers / Programming / Languages / Fortran / Source_Code / Physics
Title: Materials Algorithm Project (MAP)
Description: Links to programs in material science, many in Fortran.
Location: http://www.msm.cam.ac.uk/map/map.html
 
  
Directory: Computers / Programming / Languages / Fortran / Source_Code / Physics
Title: Castep
Description: Fortran 90 code using density functional theory to provide a good atomic-level description of all manner of materials and molecules. Castep can give information about total energies, forces and stresses on an atomic system, as well as calculating optimum geometries, band structures, and optical spectra. It can also perform molecular dynamics simulations.
Location: http://www.tcm.phy.cam.ac.uk/castep/
 
  
Directory: Computers / Programming / Languages / Lisp / Emacs_Lisp
Title: Emacs Code by Stephen Eglen
Description: Various modes provided by the maintainer of the ELL.
Location: http://www.damtp.cam.ac.uk/user/sje30/emacs/
 
  
Directory: Computers / Programming / Languages / Lisp / Emacs_Lisp
Title: The Emacs Lisp List
Description: Collection of links to Elisp packages mostly not part of the standard distributions.
Location: http://www.damtp.cam.ac.uk/user/sje30/emacs/ell.html
 
  
Directory: Computers / Programming / Languages / PHP / Scripts / Frameworks
Title: pureContent
Description: Offers tool for fastly include design around Website content. [Open source, GNU]
Location: http://download.geog.cam.ac.uk/projects/purecontent/
 
  
Directory: Computers / Programming / Languages / Procedural
Title: MCPL
Description: a simple typeless language which is based on BCPL. It makes use of pattern matching somewhat related to that used in ML and Prolog. Some other features come from C.
Location: http://www.cl.cam.ac.uk/~mr10/MCPL.html
 
  
Directory: Computers / Programming / Languages / Regular_Expressions / Research_Papers
Title: SWYN: A Visual Representation for Regular Expressions
Description: By Alan F. Blackwell of the University of Cambridge.
Location: http://www.cl.cam.ac.uk/~afb21/publications/yourwish.pdf
 
  
Directory: Computers / Robotics / Research
Title: Machine Intelligence Lab
Description: University of Cambridge Department of Engineering research group. Specializes in computer vision, speech processing, and pattern recognition.
Location: http://svr-www.eng.cam.ac.uk/milab.html
 
  
Directory: Computers / Robotics / Research
Title: Machine Intelligence Laboratory
Description: Based at the University of Cambridge Department of Engineering in the United Kingdom. Research topics include interpretation of visual motion, robot guidance, face detection, speech recognition and speech synthesis.
Location: http://mi.eng.cam.ac.uk/
 
  
Directory: Computers / Security / Biometrics / Research
Title: Univ. of Cambridge, Dept. of Engineering.
Description: Machine Intelligence Laboratory.
Location: http://mi.eng.cam.ac.uk/
 
  
Directory: Computers / Security / Biometrics / Resources
Title: Iris recognition
Description: Webpage of John Daugman, Cambridge University (UK) teacher and researcher in computer vision, neuroscience, and pattern recognition; inventor of iris recognition.
Location: http://www.cl.cam.ac.uk/~jgd1000/
 
  
Directory: Computers / Security / Products_and_Tools / Cryptography / PGP / Key_Servers
Title: Global Internet Trust Register
Description: A register of the key fingerprints of the world's most important public keys. Useful as part of the process of verifying public keys (should be used in combination with other techniques too).
Location: http://www.cl.cam.ac.uk/Research/Security/Trust-Register/
 
  
Directory: Computers / Software / Globalization / Character_Encoding / Unicode
Title: UTF-8 and Unicode FAQ
Description: A resource about Unicode and UTF-8 on Unix and Linux systems.
Location: http://www.cl.cam.ac.uk/~mgk25/unicode.html
 
  
Directory: Computers / Software / Graphics / Animation
Title: VolMorph v2.4
Description: Free 3D-volume morphing software with documentation that is intended for research or personal use only. Program will generate and visualize morphing sequences from one polygonal mesh to another. [SGI Irix 6.2, 6.3/Linux/Win 95/98/NT]
Location: http://mi.eng.cam.ac.uk/~gmt11/software/volmorph/volmorph.html
 
  
Directory: Computers / Software / Internet / Servers / Mail / Sendmail / Spam_Filtering
Title: Blocking Mailed Spam
Description: This article discusses several alternatives available to sites that want to block mailed spam.
Location: http://www.spam.cl.cam.ac.uk/spam/
 
  
Directory: Computers / Software / Operating_Systems / Graphic_Subsystems / X11
Title: UTF-8 and Unicode FAQ
Description: All you need to know to use Unicode/UTF-8 on Unix and Linux systems.
Location: http://www.cl.cam.ac.uk/~mgk25/unicode.html
 
  
Directory: Computers / Software / Operating_Systems / Network
Title: Systems Research Group, Networks and Operating Systems
Description: University of Cambridge, Computer Lab. Many interesting network OS oriented projects, including Nemesis OS.
Location: http://www.cl.cam.ac.uk/Research/SRG/netos/
 
  
Directory: Computers / Software / Operating_Systems / Single_Address_Space / Nemesis
Title: Nemesis
Description: Supports time-sensitive programs needing consistent Quality of Service (QoS), e.g., multimedia; fine-grained guaranteed levels of all system resources: CPU, memory, bandwidth of network, disk. Archive site, Systems Research Group: Networks and Operating Systems; University of Cambridge.
Location: http://www.cl.cam.ac.uk/research/srg/netos/old-projects/nemesis/
 
  
Directory: Computers / Software / Typesetting / TeX / LaTeX
Title: Text Processing using LaTeX
Description: The LaTeX page at Cambridge. Some introduction and good documentation.
Location: http://www-h.eng.cam.ac.uk/help/tpl/textprocessing/
 
  
Directory: Computers / Software / Typesetting / TeX / LaTeX / Advocacy
Title: Why LaTeX?
Description: Advantages and disadvantages of using LaTeX versus Adobe Pagemaker and Microsoft Word.
Location: http://www-h.eng.cam.ac.uk/help/tpl/textprocessing/latex_advocacy.html
 
  
Directory: Computers / Software / Typesetting / TeX / LaTeX / FAQs,_Help,_and_Tutorials
Title: LaTeX for Logicians
Description: A guide to LaTeX resources useful to logicians writing papers, presentations and books. In particular there are user guides for bussproofs.sty and beamer.cls.
Location: http://www.phil.cam.ac.uk/teaching_staff/Smith/LaTeX/
 
  
Directory: Computers / Software / Typesetting / TeX / LaTeX / FAQs,_Help,_and_Tutorials
Title: TeX Font Guide
Description: An overview of how TeX handles fonts, and how to install new postscript fonts for use with a TeX system.
Location: http://www.cl.cam.ac.uk/~rf10/pstex/index.htm
 
  
Directory: Computers / Speech_Technology / Research
Title: Speech Recognition Group, Univ. of Cambridge
Description: The Speech Recognition Group is part of the Machine Intelligence Lab at the University of Cambridge. Its primary area of research is large vocabulary speech transcription. Its research interests also include spoken dialogue systems, multimedia document retrieval, speech synthesis and machine learning.
Location: http://mi.eng.cam.ac.uk/research/speech/
 
  

<<  | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 |   >>