Home
|
News
|
Facebook Connect
|
Invite
|
Login
|
Signup
browse:
Departments
Research Interests
People
28 people
Computational Logic
Proof Theory
Sat Solver Design
Jeferson B. S. Junior
Georgia Institute of Technology
Computational Biology
Business
Information Systems
Censorship
Performance Studies
Computer Sciences
Computational Logic
Proof Theory
Economics
Game Theory
Engineering
Game Studies
Projective Geometry
Health Sciences
Behavioral Sciences
Health Behavior
Health Promotion
Medical Sciences
Internal Medicine (General Medicine)
Nephrology
Public Health
Urology
Pharmaconomy
Informatics
Bioinformatics
Medical Informatics
Infomation Systems Education
Intellectual Property
My Research Interest
Life Sciences
Mathematics
Algebra
Associative Algebra
Category Theory
Differential Algebra
Field Theory
Group Theory
Group Representation
Homological Algebra
Lattice Theory (Order Theory)
Lie Algebra
Linear Algebra (Vector Space)
Multilinear Algebra
Non Associative Algebra
Ring Theory
Universal Algebra
Analysis
Complex Analysis
Functional Analysis
Operator Theory
Harmonic Analysis
Non Standard Analysis
Ordinary Differential Equations
P Adic Analysis
Partial Differential Equations
Real Analysis
Calculus
Applied Mathematics
Approximation Theory
Combinatorics
Coding Theory
Cryptography
Dynamical Systems
Chaos Theory
Fractal Geometry
Game Theory
Graph Theory
Information Theory
Mathematical Physics
Quantum Field Theory
Statistical Mechanics
Numerical Analysis
Optimization (Mathematical Programming)
Linear Programming
Operations Research
Statistics
Theory Of Computation
Computational Complexity Theory
General Algebra
Lattice Theory
Applied Lattice Theory
Geometry And Topology
Affine Geometry
Algebraic Geometry
Algebraic Topology
Convex Geometry
Differential Geometry
Differential Topology
Discrete Geometry
General Topology
Geometric Topology
Non Euclidean Geometry
Logic And Foundations Of Mathematics
Intuitionistic Logic
Modal Logic
Model Theory
Recursion Theory
Set Theory
Number Theory
Algebraic Number Theory
Analytic Number Theory
Geometric Number Theory
Probability Theory
Ergodic Theory
Measure Theory
Stochastic Process
Music
Accompanying
Arts Administration (Specializing In Music)
Chamber Music
Commercial Music
Festivals And Music
Space And Music
Basic Daily Social Interaction As Performances
Management/Leadership As Performing Arts
Social And Cogntive Psych Of Thrilling Audiences
Urban And Regional / City Planning
(
More
)
(
Fewer
)
Add Jeferson as a Contact
Send Jeferson a Message
Anthony Beck
The University of Leeds
3 D Gis
Aerial Archaeology
Archaeological Science
Archaeology
Business
Information Systems
Computer Sciences
Computational Logic
Computer Graphics
Image Processing
Data Structures
Free, Libre And Open Source Software
Information Science
Information Systems (Business Informatics)
Semantic Web Technologies
Cultural Heritage
Earth Sciences
Geodesy
Geography
Geophysics
Soil Science
Education
Knowledge Management
Geomatics
Geo Services
Gi Metadata
Photogrammetry
Sdi (Spatial Data Infrastructure)
Spatial Analysis
Spatial Modeling
Gis
Image Science
Informatics
Information Management
Remote Sensing
(
More
)
(
Fewer
)
Add Anthony as a Contact
Send Anthony a Message
Eriko Verissimo Campos de Morais
Centro Universitário do Pará
Anthropology
Biological Anthropology
Human Evolution
Computational Biology
Biomedicine
Business
Information Systems
Computer Sciences
Algorithms
Evolutionary Algorithms
Artificial Intelligence
Artificial Neural Network
Computer Vision
Natural Language Processing (Computational Linguistics)
Autonomous Cognitive Agents
Cognitive Science
Natural Language Processing
Robotics
Sat Solver Design
Computational Logic
Computing In Mathematics, Natural Sciences, Engineering And Medicine
Algebraic (Symbolic) Computation
Computational Biology (Bioinformatics)
Computational Neuroscience
Scientific Computing (Computational Science)
Distributed Computing
Evolutionary Computing
Information Science
Data Mining
Programming Languages
Compilers
Concurrent Programming Languages
Theory Of Computation
Automata Theory (Formal Languages)
Computability Theory
Computational Complexity Theory
Visualisation
Engineering
Bioengineering
Biomedical Engineering
Evolution
Indigenous Health
Action Research
Informatics
Life Sciences
Neuroscience
Physics
Quantum Physics
Quantum Computing
(
More
)
(
Fewer
)
Add Eriko Verissimo as a Contact
Send Eriko verissimo a Message
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
Michael De
University of St Andrews
Epistemology
Computer Sciences
Computational Logic
Proof Theory
Theory Of Computation
Computability Theory
Mathematics
Logic And Foundations Of Mathematics
Intuitionistic Logic
Modal Logic
Model Theory
Recursion Theory
Set Theory
Philosophy
History Of Philosophy
Medieval Philosophy
Metaphysics
Ontology
Philosophical Logic
(
More
)
(
Fewer
)
Add Michael as a Contact
Send Michael 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
David Friggens
Victoria University of Wellington
Computer Sciences
Computational Logic
Formal Verification
Formal Methods (Formal Verification)
Logic
Mathematics
Logic And Foundations Of Mathematics
Modal Logic
Add David as a Contact
Send David a Message
Jon Hall
The Open University
Computer Sciences
Computational Logic
Proof Theory
Software Engineering
Theory Of Computation
Automata Theory (Formal Languages)
Concurrency Theory
Engineering
Safety Engineering
Software Engineering
Mathematics
Logic And Foundations Of Mathematics
Intuitionistic Logic
Modal Logic
Set Theory
Number Theory
Algebraic Number Theory
Analytic Number Theory
(
More
)
(
Fewer
)
Add Jon as a Contact
Send Jon a Message
Eric Herboso
Spring Hill College
Ancient Philosophy
Religion
Computer Sciences
Computational Logic
Proof Theory
Creative Writing
Creative Nonfiction
Non Fiction Writing
Economics
Game Theory
Informal Learning
Game Studies
Scepticism
Languages And Linguistics
Philosophy Of Language
Mathematics
Logic And Foundations Of Mathematics
Intuitionistic Logic
Recursion Theory
Set Theory
Probability Theory
Philosophy
Applied Philosophy
Philosophy Of Mathematics
Philosophy Of Science
Political Philosophy
Ethics
Applied Ethics
Meta Ethics
Normative Ethics
Experimental Philosophy
Logic
Metaphilosophy
Metaphysics
Ontology
Moral Psychology
Philosophical Logic
Philosophy Of Mind
What Properties Experience Represents
Philosophy Of Economics
Philosophy Of Physics
Political Philosophy
Legitimacy And Authority
Pragmatism
Political Science
Social Policy
Atheism
Education
Social Work
World Literatures
Classics
(
More
)
(
Fewer
)
Add Eric as a Contact
Send Eric a Message
Daniel Lewis
Bristol University
History
Biblical Studies
New Testament
Computational Biology
Classics
Religion
Cognitive Science
Decision Making
Reinforcement Learning
Learning & Memory
Computer Sciences
Algorithms
Evolutionary Algorithms
Artificial Intelligence
Cognitive Science
Machine Learning
Natural Language Processing
Computational Logic
Computer And Society
Computer Science Education
Data Structures
Evolutionary Computing
Information Science
Data Mining
Programming Languages
Semantic Web Technologies
Education
Knowledge Management
Engineering
Software Engineering
Informatics
Bioinformatics
Life Sciences
Genetics
Mathematics
Applied Mathematics
Statistics
Abrahamic Religions
Christianity
Dead Sea Scrolls
Gnosticism
Cognitive, Affective, Social Capabilities Fostered By Mythic Rites & Forms
Comparative Religion
Dharmic Religions
Buddhism
Knowledge Engineering: Knowledge: Formats, Forms, Operations, Nets, Impacts, Measurement, Generation, Death
Theology
(
More
)
(
Fewer
)
Add Daniel as a Contact
Send Daniel a Message
Guilherme Frederico Lima
PUC-RJ
Computer Sciences
Computational Logic
Proof Theory
Mathematics
Algebra
Category Theory
Homological Algebra
Lattice Theory (Order Theory)
Geometry And Topology
Algebraic Geometry
Algebraic Topology
Logic And Foundations Of Mathematics
Intuitionistic Logic
Modal Logic
Model Theory
Set Theory
Philosophy
Logic
Philosophical Logic
Philosophy Of Mind
(
More
)
(
Fewer
)
Add Guilherme Frederico as a Contact
Send Guilherme frederico a Message
João Marcos
UFRN
Computer Sciences
Computational Logic
Proof Theory
Computing In Mathematics, Natural Sciences, Engineering And Medicine
Algebraic (Symbolic) Computation
Computational Mathematics
Programming Languages
Type Theory
Software Engineering
Formal Methods (Formal Verification)
Theory Of Computation
Computability Theory
Mathematics
Logic And Foundations Of Mathematics
Intuitionistic Logic
Modal Logic
Model Theory
Recursion Theory
Set Theory
Philosophy
Computers And Philosophy
Information Philosophy
Philosophical Logic
(
More
)
(
Fewer
)
Add João as a Contact
Send João a Message
Anderson Marques
Centro Universitário do Pará
Computer Sciences
Algorithms
Artificial Intelligence
Computational Logic
Semantic Web Technologies
Software Engineering
Formal Methods (Formal Verification)
Model Driven Development
Software Factories And Software Factory Class Designs
Theory Of Computation
Informatics
Medical Informatics
(
More
)
(
Fewer
)
Add Anderson as a Contact
Send Anderson a Message
Fabio Massacci
University of Trento
Computer Sciences
Computational Complexity
Computational Logic
Proof Theory
Computer Forensics
Computer Security And Reliability
Cryptography
Information Security
Mobile Device Security
Wireless Security
Distributed Computing
Mobile Distributed Systems
Formal Verification
Information Science
Network Security
Software Engineering
Formal Methods (Formal Verification)
Model Driven Development
Temporal And Modal Logic
Theory Of Computation
Automata Theory (Formal Languages)
Computational Complexity Theory
Ubiquitous Computing
Systems Engineering
(
More
)
(
Fewer
)
Add Fabio as a Contact
Send Fabio 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)
