Faculty - PDFSEARCH.IO - Document Search Engine

Faculty
Results: 56312

#	Item
31	AMBER ELLEN BOYDSTUN Associate Professor, Dept. of Political Science Affiliated Faculty, Dept. of Communication Chancellor’s Fellow University of California, Davis Add to Reading List Source URL: www.amber-boydstun.com Language: English - Date: 2018-10-01 20:55:57 Timothy Jurka American Political Science Association The Chronicles of Amber Agenda-setting theory Framing Political communication Culture Political philosophy Human behavior
32	Trading Performance for Stability in Markov Decision Processes Tom´asˇ Br´azdil∗ , Krishnendu Chatterjee† , Vojtˇech Forejt‡∗ , and Anton´ın Kuˇcera∗ ∗ Faculty of Informatics, Masaryk University ({xbr Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2013-12-01 11:02:39
33	Estimating Gender and Age of Web Page Visitors from the Way They Use Their Mouse Krátky Peter, Chudá Daniela Faculty of Informatics and Information Technologies Slovak University of Technology Ilkoviˇcova 5, Br Add to Reading List Source URL: gdac.uqam.ca Language: English - Date: 2017-10-04 00:46:41 Surveillance Biometrics Security engineering Computing National security Identification Cybercrime Keystroke dynamics Soft biometrics Typing Computer security Statistical classification
34	16 Spring 2013 UF scientists and artists are mixing their unique talents to mutual benefit Add to Reading List Source URL: faculty.cse.tamu.edu Language: English University of Florida Florida Education in the United States
35	Timothy Alden Davis Department Computer Science and Engineering Texas A&M University 3112 TAMU, College Station, Texasemail: web: http://faculty.cse.tamu.edu/davis Add to Reading List Source URL: faculty.cse.tamu.edu Language: English - Date: 2018-06-27 12:39:25
36	Reachability in Recursive Markov Decision Processes ? Tom´aˇs Br´azdil, V´aclav Broˇzek, Vojtˇech Forejt, Anton´ın Kuˇcera Faculty of Informatics, Masaryk University, Botanick´ Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2013-12-01 06:33:37 Mathematical analysis Mathematics Measure theory Boolean algebra Experiment Sigma-algebra Symbol Differential topology Lifting theory Jet bundle
37	INFINITYBranching-Time Model-Checking of Probabilistic Pushdown Automata Tom´asˇ Br´azdil1 V´aclav Broˇzek2 Vojtˇech Forejt3 Faculty of Informatics Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2013-12-01 12:53:36 Temporal logic Mathematical logic Theoretical computer science Finite model theory Linear temporal logic Symbol FO Constructible universe IP Computation tree logic Model theory Mathematics
38	Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives? Tom´asˇ Br´azdil, Vojtˇech Forejt, and Anton´ın Kuˇcera Faculty of Informatics, Masaryk University, B Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2013-12-01 09:40:50 Mathematics Formal languages Finite automata Model checking Mathematical logic Omega language Theory of computation Muller automaton Sigma-algebra Tree Structure Measure
39	16 Spring 2013 UF scientists and artists are mixing their unique talents to mutual benefit Add to Reading List Source URL: faculty.cse.tamu.edu Language: English - Date: 2013-03-27 17:21:12 University of Florida Florida Education in the United States
40	2018 Spring Retreat 2018 Spring Retreat: Lab Overview and Update John Ousterhout Faculty Director Add to Reading List Source URL: platformlab.stanford.edu Language: English - Date: 2018-06-18 15:29:47 Concurrent computing Computing Distributed computing Cloud computing Cloud infrastructure Data center