Theorem Proving Systems Professors in Global

Search By
Location
Location
Searching Globally
Professor
Professor Profile
Satish Thittamaranahalli
University of Southern California United States of America
model-based reasoning
probabilistic reasoning
machine learning
View Professor Profile
Professor
Professor Profile
Satish Thittamaranahalli
University of Southern California United States of America
model-based reasoning
probabilistic reasoning
machine learning
View Professor Profile
Professor
Professor Profile
Gesualdo Scutari
Purdue University United States of America
game theoretical models
mathematical optimization
statistical machine learning
View Professor Profile
Professor
Professor Profile
Nils Napp
Cornell University Netherlands
computer systems
machine learning
algorithms
View Professor Profile
Professor
Professor Profile
Kalikinkar Mandal
University of New Brunswick Canada
computational models
machine learning
algorithms
View Professor Profile
Professor
Professor Profile
Hai Zhou
Northwestern University United States of America
logical methods for computer systems
machine learning
algorithms
View Professor Profile
Professor
Professor Profile
David Scheinker
Stanford University United States of America
probabilistic modeling
mathematical optimization
machine learning
View Professor Profile
Professor
Professor Profile
Mark Schmidt
University of British Columbia Canada
machine learning
mathematical programming
algorithms
View Professor Profile
Professor
Professor Profile
Mark Schmidt
University of British Columbia Canada
machine learning
mathematical programming
algorithms
View Professor Profile
Professor
Professor Profile
Gabor Orosz
University of Michigan United States of America
time-delay systems
neural networks
networks and complex systems
View Professor Profile
Professor
Professor Profile
Hina Shaheen
University of Manitoba Canada
machine learning
statistical machine learning
computational modelling
View Professor Profile
Professor
Professor Profile
Jonathan Weare
New York University United States of America
stochastic algorithms
statistical machine learning
probability theory
View Professor Profile
Professor
Professor Profile
Ran Raz
Weizmann Institute of Science Israel
propositional proof theory
probabilistically checkable proofs
View Professor Profile
Professor
Professor Profile
Ran Raz
Princeton University United States of America
propositional proof theory
probabilistically checkable proofs
View Professor Profile
Professor
Professor Profile
Professorship Biometry Molecular Medicine
Ludwig Maximilian University of Munich Germany
prediction modeling
machine learning
View Professor Profile
Professor
Professor Profile
Helene Thomsen
Aarhus University Denmark
prediction modeling
machine learning
View Professor Profile
Professor
Professor Profile
Mark Daskin
University of Michigan United States of America
math modeling
mathematical optimization
View Professor Profile
Professor
Professor Profile
Jarek Szlichta
York University Canada
data-driven systems
machine learning
View Professor Profile
Professor
Professor Profile
Jarek Szlichta
York University Canada
data-driven systems
machine learning
View Professor Profile
Professor
Professor Profile
Johan Boye
KTH Royal Institute of Technology Sweden
information retrieval systems
machine learning
View Professor Profile
Professor
Professor Profile
Ewen Harrison
University of Edinburgh United Kingdom
prediction modelling
machine learning
View Professor Profile
First
Prev
Page 1 | 9367 Results
Next