University - PDFSEARCH.IO - Document Search Engine

University
Results: 634567

#	Item
121	Parameter Synthesis for Probabilistic Timed Automata Using Stochastic Game Abstractions Aleksandra Jovanovi´c, Marta Kwiatkowska Department of Computer Science, University of Oxford, Oxford, UK Abstract Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2017-05-12 04:35:43 Statistical models Probability and statistics Statistical theory Statistics Timed automaton Parametric model Parameter Markov decision process Markov chain
122	Stanford University Clery and CA Ed CodeIncident Report Form Introduction: This form is intended to help a CSA gather information for reporting in compliance with the Clery Act and the California Education C Add to Reading List Source URL: police.stanford.edu Language: English - Date: 2018-10-11 19:17:19 Human behavior Violence Rape Human sexuality Sexual abuse Sex crimes Violence against men Violence against women Clery Act Hate crime Laws regarding rape Sexual assault
123	Luca Melis Curriculum Vitae Computer Science Dept, University College London Gower Street, London WC1E 6BT Add to Reading List Source URL: lucamelis.github.io Language: English - Date: 2018-03-26 13:20:58 Cryptography Computing Security engineering Crime prevention Information governance National security Secure communication Differential Privacy Post-quantum cryptography Privacy Information security Internet privacy
124	Optimizing S-box Implementations for Several Criteria using SAT Solvers Ko Stoffelen Radboud University, Digital Security, Nijmegen, The Netherlands Add to Reading List Source URL: ko.stoffelen.nl Language: English - Date: 2018-02-09 07:40:06 Logic gates Theoretical computer science Boolean satisfiability problem XOR gate XNOR gate AND gate Data Encryption Standard OR gate Block cipher Mathematical optimization Circuit
125	COLLOQUIUM Rachel Quinlan National University of Ireland, Galway “I almost wish I hadn’t gone down that Add to Reading List Source URL: www.uregina.ca Language: English - Date: 2018-03-19 23:23:54 Algebra Mathematics Matrix theory Matrices Determinants Linear algebra Enumerative combinatorics Matrix Alternating sign matrix Square matrix Permutation Minor
126	Matjaz B. Juric Matjaz B. Juric holds a Ph.D. in computer and information science. He is Full Professor at the University of Ljubljana, Faculty of Computer and Information Science. He is the head of Laboratory for Integr Add to Reading List Source URL: suncontract.org Language: English - Date: 2018-10-19 08:31:23 Enterprise application integration Computing Oracle SOA Suite Matja Business Process Execution Language Oracle Fusion Middleware Rozman Economy Software architecture
127	Strategy Synthesis for Markov Decision Processes and Branching-Time Logics Tom´asˇ Br´azdil⋆ and Vojtˇech Forejt⋆⋆ Faculty of Informatics, Masaryk University, Botanick´a 68a, 60200 Brno, Czech Republic. Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2013-12-01 06:48:09 Mathematics Linear temporal logic Temporal logic Mathematical logic Symbol Structure Model theory Distribution operator
128	13th International Satisfiability Modulo Theories Competition (SMT-COMP 2018): Rules and Procedures Matthias Heizmann University of Freiburg Germany Add to Reading List Source URL: smtcomp.sourceforge.net Language: English - Date: 2018-07-14 13:51:00 Theoretical computer science NP-complete problems Logic in computer science Constraint programming Electronic design automation Formal methods Satisfiability modulo theories Solver Benchmark Unsatisfiable core Lis
129	School of Business Reykjavík University Rules for PhD Studies (Approved by the School of Business Faculty Council on 23 MayAs advised in the Reykjavík University Rules for PhD Studies (approved by the RU Executi Add to Reading List Source URL: www.ru.is Language: English - Date: 2016-05-24 09:16:47 Education Titles Academia Grey literature Rhetoric Thesis Doctor of Philosophy Doctorate Doctor of Business Administration Academic degree Master of Advanced Studies Doctor
130	A Breadth-First Course in Multicore and Manycore Programming Suzanne Rivoire Sonoma State University March 12, 2010 Add to Reading List Source URL: rivoire.cs.sonoma.edu Language: English - Date: 2017-05-29 18:45:13 Parallel computing Computing Computer programming IT infrastructure Manycore processor Multi-core processor OpenMP

UPDATE