Canadian Content hasn't compiled information about yet!
This page was last updated on October 6th, 2008
This page was last updated on October 6th, 2008
B (from People)
Canadian Content » Computers » Computer_Science » People » B »
Becker, Simon M.
University of Technology Aachen - Software Engineering, Incremental Integration.
Blackwell, Alan
University of Cambridge - Human-computer interaction, visual interaction.
Baquero, Carlos
Minho University - Distributed systems and mobile computing, Concurrent object-oriented programming.
Bhattacharyya, Pushpak
Indian Institute of Technology, Bombay - Neural Network Theory and Applications, Formal and Empirical Machine Learning, Natural Language Understanding, Distributed Artificial Intelligence.
Boggess, Gene
Mississippi State University - Cognitive science, neural networks, computational linguistics, genetic algorithms.
Bendix, Lars
Aalborg University - Configuration management maturity model, cooperative editing, general object-based environments, holistic configuration management.
Bohner, Shawn
Virginia Polytechnic Institute and State University - Software engineering
Balakrishnan, M.
Indian Institute of Technology, Delhi - CAD for VLSI, Computer Architecture
Bowen, Jonathan
London South Bank University - Formal methods, history of computing, online museums.
Banks, David
Florida State University - 3D computer graphics and scientific visualization.
Bartolini, Claudio
HP Labs Palo Alto - Architecture and design of software systems and frameworks; Business activity management.
Bhujade, Moreshwar
Indian Institute of Technology, Bombay - Computer Architecture and Operating systems, Fault tolerent Distributed Algorithms, Neural networks, Speech/Image Processing, Speech technology for Indian languages
Blair, Michael R.
MIT - Dynamically adaptive profile-guided specialization, partial evaluation, program analysis, compilation, type theory, subtyping.
Bridges, Susan
Mississippi State University - Expert systems, knowledge discovery in databases, intelligent interfaces.
Bennett, Charles H.
IBM Research - Quantum information and computation theory.
Brill, Eric
Johns Hopkins University - Empirical natural language processing, speech recognition, spoken language systems, machine learning, and artificial intelligence. Lexical disambiguation, parsing, classifier combination, spelling correction, language modellin
Bundy, Alan
University of Edinburg - Understanding the structure of mathematical proofs using proof plans, automated theorem proving.
Berar, Sanda
Nokia Networks, Helsinki.
Ball, Thomas
Microsoft Research - Domain-specific languages, automatic analysis of programs, software visualization.
Buyya, Rajkumar
Monash University - Computer Architecture, Operating Systems, Compilers, Programming Paradigms, Parallel and Distributed Computing, Cluster Computing, Parallel I/O.
Bernstein, D. J.
University of Illinois, Chicago - Computer hardware, Data structures, Fast arithmetic, Number theory, Networking
Blelloch, Guy
Carnegie Mellon - Thread scheduling, parallel algorithms, NESL, provably efficient language implementations, multiprocessor garbage collection.
Briot, Jean-Pierre
Laboratoire d'Informatique de Paris - Object-oriented programming, concurrency/parallelism, distributed programming, flexible and adaptive programs, meta-programming and reflection, artificial intelligence, multi-agent systems, software agents, mobile
Bryant, Barrett R.
University of Alabama at Birmingham - Programming languages, compiler design, formal semantics, object-oriented technology.
Baker, Henry
Garbage collection, GC, storage management, programming languages, Lisp, Ada, APL, ML, functional programming, compilers, linear types, reversible computation, parallel languages, quantum computation.
Bultan, Tevfik
University of California, Santa Barbara - Computer aided verification, formal methods, static analysis, model checking.
Ben-Ameur, Houssein
CIRANO (Center for Interuniversity Research on Analysis of Organizations) and Montreal University. Agent and multi-agent technology, e-business and semantic web.
Bacon, Jean
University of Cambridge - Distributed systems.
Boisvert, Ronald F.
NIST - Numerical solution of partial differential equations, mathematical software, and information services that support computational science.
Bradfield, Julian
University of Edinburgh - Verification using temporal logics, computer-aided verification of potentially infinite systems, logics for true concurrency.
Brajnik, Giorgio
University of Udine - Human-computer interfaces for information access, knowledge representation and reasoning about dynamical systems.
Bergamaschi, Sonia
Universities of Modena and of Bologna - Inferential techniques for databases, object oriented methods in knowledge representation and databases.
Bednarik, Roman
University of Joensuu, Finland - HCI, Eye movement research, Usability, CS education.
Hans J. Boehm
HP Labs - Java, Garbage collection, language theory
Borning, Alan
University of Washington - Human-computer interaction, constraint-based languages and systems, and land use, transportation, and environmental modeling.
Banicescu, Ioana
Mississippi State University - Parallel algorithms, scientific computing, scheduling theory, and computational biology.
Brankovic, Ljiljana
University of Newcastle - Security of statistical databases.
Bruce, Kim B.
Williams College - Semantics and design of programming languages, type theory, object-oriented languages, models of higher-order lambda calculus including subtypes and bounded polymorphism.
Barr, Rimon
Cornell University - Distributed systems and database research
Briscoe, Ted
University of Cambridge - Speech and language processing, computational linguistics.
Breugel, Franck van
York University, Ontario - Concurrent programming languages, semantics, specification languages.
Böhlen, Michael
Aalborg University - Temporal databases, deductive databases, and data warehousing.
Banerjee, Subhashis
Indian Institute of Technology, Delhi - Computer Vision, Real-time Systems, Robotics
Burdakov, Aleksey
Moscow State Technical University - CORBA, Object-oriented DBMSs, Performance evaluation tools and methods.
Bertozzi, Massimo
University of Parma - Computer vision, learning in vision, artificial intelligence.
University of Technology Aachen - Software Engineering, Incremental Integration.
University of Cambridge - Human-computer interaction, visual interaction.
Minho University - Distributed systems and mobile computing, Concurrent object-oriented programming.
Indian Institute of Technology, Bombay - Neural Network Theory and Applications, Formal and Empirical Machine Learning, Natural Language Understanding, Distributed Artificial Intelligence.
Mississippi State University - Cognitive science, neural networks, computational linguistics, genetic algorithms.
Aalborg University - Configuration management maturity model, cooperative editing, general object-based environments, holistic configuration management.
Virginia Polytechnic Institute and State University - Software engineering
Indian Institute of Technology, Delhi - CAD for VLSI, Computer Architecture
London South Bank University - Formal methods, history of computing, online museums.
Florida State University - 3D computer graphics and scientific visualization.
HP Labs Palo Alto - Architecture and design of software systems and frameworks; Business activity management.
Indian Institute of Technology, Bombay - Computer Architecture and Operating systems, Fault tolerent Distributed Algorithms, Neural networks, Speech/Image Processing, Speech technology for Indian languages
MIT - Dynamically adaptive profile-guided specialization, partial evaluation, program analysis, compilation, type theory, subtyping.
Mississippi State University - Expert systems, knowledge discovery in databases, intelligent interfaces.
IBM Research - Quantum information and computation theory.
Johns Hopkins University - Empirical natural language processing, speech recognition, spoken language systems, machine learning, and artificial intelligence. Lexical disambiguation, parsing, classifier combination, spelling correction, language modellin
University of Edinburg - Understanding the structure of mathematical proofs using proof plans, automated theorem proving.
Nokia Networks, Helsinki.
Microsoft Research - Domain-specific languages, automatic analysis of programs, software visualization.
Monash University - Computer Architecture, Operating Systems, Compilers, Programming Paradigms, Parallel and Distributed Computing, Cluster Computing, Parallel I/O.
University of Illinois, Chicago - Computer hardware, Data structures, Fast arithmetic, Number theory, Networking
Carnegie Mellon - Thread scheduling, parallel algorithms, NESL, provably efficient language implementations, multiprocessor garbage collection.
Laboratoire d'Informatique de Paris - Object-oriented programming, concurrency/parallelism, distributed programming, flexible and adaptive programs, meta-programming and reflection, artificial intelligence, multi-agent systems, software agents, mobile
University of Alabama at Birmingham - Programming languages, compiler design, formal semantics, object-oriented technology.
Garbage collection, GC, storage management, programming languages, Lisp, Ada, APL, ML, functional programming, compilers, linear types, reversible computation, parallel languages, quantum computation.
University of California, Santa Barbara - Computer aided verification, formal methods, static analysis, model checking.
CIRANO (Center for Interuniversity Research on Analysis of Organizations) and Montreal University. Agent and multi-agent technology, e-business and semantic web.
University of Cambridge - Distributed systems.
NIST - Numerical solution of partial differential equations, mathematical software, and information services that support computational science.
University of Edinburgh - Verification using temporal logics, computer-aided verification of potentially infinite systems, logics for true concurrency.
University of Udine - Human-computer interfaces for information access, knowledge representation and reasoning about dynamical systems.
Universities of Modena and of Bologna - Inferential techniques for databases, object oriented methods in knowledge representation and databases.
University of Joensuu, Finland - HCI, Eye movement research, Usability, CS education.
HP Labs - Java, Garbage collection, language theory
University of Washington - Human-computer interaction, constraint-based languages and systems, and land use, transportation, and environmental modeling.
Mississippi State University - Parallel algorithms, scientific computing, scheduling theory, and computational biology.
University of Newcastle - Security of statistical databases.
Williams College - Semantics and design of programming languages, type theory, object-oriented languages, models of higher-order lambda calculus including subtypes and bounded polymorphism.
Cornell University - Distributed systems and database research
University of Cambridge - Speech and language processing, computational linguistics.
York University, Ontario - Concurrent programming languages, semantics, specification languages.
Aalborg University - Temporal databases, deductive databases, and data warehousing.
Indian Institute of Technology, Delhi - Computer Vision, Real-time Systems, Robotics
Moscow State Technical University - CORBA, Object-oriented DBMSs, Performance evaluation tools and methods.
University of Parma - Computer vision, learning in vision, artificial intelligence.
People >> B yielded other results on Canadian Content:
B .C. company suspends flights after balloon crash
A B .C. hot-air ballooning company has suspended operations until the cause of a fatal fire is deter
A B .C. hot-air ballooning company has suspended operations until the cause of a fatal fire is deter
B .C. balloon fire survivor leaped for her life
A survivor of a terrifying balloon fire told reporters she made a "do or die" dec
A survivor of a terrifying balloon fire told reporters she made a "do or die" dec
B .C. lottery audit criticizes prize payout process
The embattled B .C. Lottery Corp. announced further steps Thursday to ensure the ticket buying publi
The embattled B .C. Lottery Corp. announced further steps Thursday to ensure the ticket buying publi
B .C. union seeks to shut down government services
B .C. union seeks to shut down government services British Columbia
B .C. union seeks to shut down government services British Columbia
B .C. gallery changes exhibit to allay cruelty concerns
B .C. gallery changes exhibit to allay cruelty concerns British Columbia
B .C. gallery changes exhibit to allay cruelty concerns British Columbia
|
 |
-
