Toronto - PDFSEARCH.IO - Document Search Engine

Toronto
Results: 25698

#	Item
1	The KnowledgeComplexity of Interactive Proof-Systems (ExtendedAbstract) ShafiGoldwasser SilvioMicali CharlesRackoff MIT MIT Universityof Toronto Add to Reading List Source URL: groups.csail.mit.edu Language: English - Date: 2005-09-09 15:31:38 Computational complexity theory Theory of computation Complexity classes Randomized algorithms Models of computation IP NP ArthurMerlin protocol Interactive proof system BPP PP Zero-knowledge proof
2	THE GLOBAL VILLAGERS: COMPARING INTERNET USERS AND USES AROUND THE WORLD1 Wenhong Chen, Jeffrey Boase, and Barry Wellman Department of Sociology, University of Toronto Abstract Add to Reading List Source URL: individual.utoronto.ca Language: English - Date: 2017-09-21 13:37:53 Technology Culture Cultural globalization Information and communications technology Digital media Rural economics Social inequality Technology development Digital divide Internet access Internet Digital divide by country
3	Optimization Approaches to Multi-robot Planning and Scheduling Kyle E. C. Booth Department of Mechanical & Industrial Engineering University of Toronto, Toronto, Ontario, Canada Add to Reading List Source URL: icaps16.icaps-conference.org Language: English - Date: 2016-06-09 08:09:20 Artificial intelligence Robotics Machine learning Robot Humanrobot interaction Motion planning Automated planning and scheduling Mobile robot Simultaneous localization and mapping Cognitive robotics Ayorkor Korsah Cloud robotics
4	Toronto \| May 31-June 2, 2019 Sponsorship A BLOCKCHAIN CONFERENCE FEATURING INDUSTRY LEADERS Add to Reading List Source URL: cryptochickshackathon.com Language: English - Date: 2018-10-23 00:42:08 Hackathon Hacker culture Internet slang OpenBSD Culture
5	Planning Under Uncertainty with Temporally Extended Goals Alberto Camacho ∗ Department of Computer Science University of Toronto. Canada. Add to Reading List Source URL: icaps16.icaps-conference.org Language: English - Date: 2016-06-16 07:11:20 Finite automata Temporal logic Automated planning and scheduling Linear temporal logic Theoretical computer science Neuropsychology Computational complexity theory Model checking Deterministic finite automaton Finite-state machine Nondeterministic finite automaton Algorithm
6	Deciding How to Get By: Subsistence Choices among Homeless Youth in Toronto by Tyler Jarret Frederick Add to Reading List Source URL: tspace.library.utoronto.ca Language: English - Date: 2012-12-11 16:10:02 Homelessness Housing Humanitarian aid Poverty Socioeconomics Street performance Culture Sociology Economy Youth homelessness Habitus
7	VSTTE 2008 Verified Software: Theories, Tools, Experiments October 6 to 9 Toronto All talks, tutorials, and panels take place in the Champagne Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2008-09-26 11:27:36 Harbourfront PATH Toronto Transit Commission Ontario Yonge Street Union station King station Queens Quay Queen station Gardiner Expressway Bay station
8	Learning to Decipher the Heap for Program Verification Marc Brockschmidt1 , Yuxin Chen2 , Byron Cook3 , Pushmeet Kohli1 , Daniel Tarlow1 1 Microsoft Research 2 ETH Zurich 3 University College London Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2016-06-04 11:31:07 Data types Computing Theoretical computer science Software engineering Heap Tree Separation logic Variable Parse tree Logic programming Linked list
9	RESEARCH EXCELLENCE The Department of Sociology at the University of Toronto is committed to excellence in research and in teaching, and maintains that the two cannot be divorced from each other. For over fifty Add to Reading List Source URL: sociology.utoronto.ca Language: English - Date: 2018-09-21 14:59:32 Sociology Social science
10	Minimizing Expected Losses in Perturbation Models with Multidimensional Parametric Min-cuts Adrian Kim, Kyomin Jung Seoul National University Seoul, South Korea Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2015-06-16 05:01:10 Estimation theory Econometrics Statistical inference M-estimators Loss function Maximum likelihood estimation Confidence interval