Home
|
News
|
Facebook Connect
|
Invite
|
Login
|
Signup
browse:
Departments
Research Interests
People
4 people
Linear Logic
Martin Churchill
Bath University
Computer Sciences
Computational Logic
Linear Logic
Programming Languages
Polymorphism
Program Semantics
Programming Paradigms
Functional Programming
Type Theory
Quantum Computing
Theory Of Computation
Computability Theory
Mathematics
Algebra
Category Theory
General Algebra
Logic And Foundations Of Mathematics
Intuitionistic Logic
(
More
)
(
Fewer
)
Add Martin as a Contact
Send Martin a Message
Sarah Emamy
University College London
Cognitive Control
Complex Systems Science
Computer Sciences
Algorithmic Algebra
Algorithms
Distributed Algorithms
Evolutionary Algorithms
Artificial Intelligence
Artificial Neural Network
Computer Vision
Autonomous Cognitive Agents
Cognitive Science
Machine Learning
Sat Solver Design
Computational Complexity
Computational Logic
Proof Theory
Computer And Society
Computer Forensics
Computer Graphics
Image Processing
Computer Security And Reliability
Cryptography
Digital Signature
Pki
Fault Tolerant Computing
Information Security
Mobile Device Security
Wireless Security
Cyborg Theory
Data Structures
Database Systems
Digital Fabrication
Distributed Computing
Grid Computing
Mobile Distributed Systems
Evolutionary Computing
Free, Libre And Open Source Software
Information Science
Data Mining
Information Systems (Business Informatics)
Linear Logic
Networks
Operating Systems
Parallel Computation
Parallel Computing
High Performance Computing
Programming Languages
Real Time Computing
Semantic Web Technologies
Simulation
Software Engineering
Formal Methods (Formal Verification)
Model Driven Development
Software Factories And Software Factory Class Designs
Web Engineering
Theory Of Computation
Automata Theory (Formal Languages)
Computability Theory
Computational Complexity Theory
Concurrency Theory
Ubiquitous Computing
Engineering
Software Engineering
Image Science
Mathematics
Applied Mathematics
Statistics
Logic And Foundations Of Mathematics
Physics
Quantum Physics
Quantum Computing
Psychology
Cognitive Psychology
Cognitive Science
Bayesian
Biostatistics
Nonparametric Statistics
Social Statistics
(
More
)
(
Fewer
)
Add Sarah as a Contact
Send Sarah a Message
Pamela Lescault
University of Vermont
Algebra
Biochemistry
Biological Sciences
Cell Biology
Computational Biology
Genomics
Molecular Biology
Structural Biology
Biostatistics
Cellular Biology
Child Health
Clinical Trial
Complementary And Alternative Medicine
Complex Systems Science
Computational Statistics
Computer Science
Bioinformatics
Computer Sciences
Algorithms
Machine Learning
Computing In Mathematics, Natural Sciences, Engineering And Medicine
Computational Biology (Bioinformatics)
Data Structures
Database Systems
Free, Libre And Open Source Software
Information Science
Data Mining
Database
Relational Database
Information Visualization
Linear Logic
Network Security
Networks
Programming Languages
Compilers
Concurrent Programming Languages
Program Semantics
Semantic Web Technologies
Shape Modeling
Software Engineering
Visualisation
Data Analysis
Developmental Biology
Endocrinology
Computer Architecture
Environmental Microbiology
Evolution
Coevolution
Intragenomic Conflict
Evolutionary Biology
Gene Flow
Genetic Drift
Mutation
(
More
)
(
Fewer
)
Add Pamela as a Contact
Send Pamela a Message
Serguei Mokhov
Concordia University
Cosmology
Applied Linguistics
Astronomy
Biometrics
Computational Intelligence
Computational Intelligence And Games
Computational Linguistics
E Learning
Virtual Environments
Virtual Reality
Computer Music
Computer Sciences
Algorithms
Computational Geometry
Distributed Algorithms
Evolutionary Algorithms
Parallel Algorithms
Artificial Intelligence
Artificial Neural Network
Computer Vision
Natural Language Processing (Computational Linguistics)
Cognitive Science
Automated Reasoning
Machine Learning
Expert Systems
Fuzzy Logic
Natural Language Processing
Computational Logic
Proof Theory
Computer Forensics
Digital Investigation
Computer Graphics
Image Processing
Scientific Visualization
Computer Security And Reliability
Cryptography
Fault Tolerant Computing
Information Security
Data Structures
Distributed Computing
Formal Verification
Free, Libre And Open Source Software
Human Computer Interaction
Information Visualization
Linear Logic
Network Security
Operating Systems
Parallel Computation
Parallel Computing
Programming Languages
Compilers
Concurrent Programming Languages
Program Semantics
Programming Paradigms
Aspect Oriented Programming
Functional Programming
Object Oriented Programming
Type Theory
Software Engineering
Formal Methods (Formal Verification)
Software Factories And Software Factory Class Designs
Temporal And Modal Logic
Ubiquitous Computing
Visualization
Creative Problem Solving
Cybercrimes
Cybernetics
Multidimensional Scaling
Educational Informatics
Engineering
Audio Signal Processing
Computer Architecture
Computer Science And Engineering
Artificial Intelligence
Computional Intelligence
Data Analysis
Software Engineering
Forensic Science
Human Computer Interaction (Hci)
Semantics
Classification
Real Time Computing
Signal Processing
Design Patterns
Formal Methods
Parallel Programming
Programming Language Semantics
Virtual Machines
Requirements Engineering
Software Arhitceture
Software Engineering Education
Software Maintenance
Software Security
(
More
)
(
Fewer
)
Add Serguei as a Contact
Send Serguei a Message
