Department - PDFSEARCH.IO - Document Search Engine

Department
Results: 775307

#	Item
251	An improved compression technique for signatures based on learning with errors Shi Bai and Steven D. Galbraith Department of Mathematics, University of Auckland, New Zealand. Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2014-01-22 16:26:55 Cryptography Post-quantum cryptography Lattice-based cryptography Computational hardness assumptions Ring learning with errors Learning with errors Digital signature Hash function Multivariate random variable Normal distribution RSA Entropy
252	On Stochastic Games with Multiple Objectives Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, Aistis Simaitis, and Clemens Wiltsche Department of Computer Science, University of Oxford, United Kingdom Abstract. We stud Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2013-06-19 11:02:11 Mathematical analysis Measure theory Mathematics Probability and statistics Determinacy Stochastic game Strategy Markov chain Stochastic process Support Mathematical optimization Statistical model
253	Softstar: Heuristic-Guided Probabilistic Inference Mathew Monfort Computer Science Department University of Illinois at Chicago Chicago, IL 60607 Add to Reading List Source URL: cims.nyu.edu Language: English - Date: 2015-11-01 13:02:43 Search algorithms Routing algorithms Combinatorial optimization Mathematics Information science Information retrieval Game artificial intelligence A* search algorithm Heuristic Bayesian network Dijkstra's algorithm Algorithm
254	Challenges for Fast Synthesis Procedures in SMT Andrew Reynolds1 Department of Computer Science, The University of Iowa Abstract A number of synthesis applications are made possible by automated tools for synthesis. Rece Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2017-07-30 15:10:48 Mathematical logic Theoretical computer science Mathematics Quantification Logic in computer science Formal methods Electronic design automation NP-complete problems Satisfiability modulo theories Boolean satisfiability problem Universal quantification True quantified Boolean formula
255	Planning with PDDL3.0 Preferences by Compilation into STRIPS with Action Costs Percassi Francesco University of Brescia Department of Information Engineering Add to Reading List Source URL: icaps16.icaps-conference.org Language: English - Date: 2016-06-09 08:09:37 Automated planning and scheduling Temporal logic Computation tree logic Logic in computer science STRIPS Planning Domain Definition Language Theoretical computer science Computing
256	IS Approved Courses for Spring 2019 This list is based on information available on October 11th, 2018. Department course schedules are always subject to change. Please check the departmental website for the latest inform Add to Reading List Source URL: polisci.emory.edu Language: English - Date: 2018-10-19 16:01:35 Continents Culture World Geography Cultural geography Africa Asia Diaspora Latin American economy Middle East Civilization Latin America
257	Structural Properties in δ-Hyperbolic Networks: Algorithmic Analysis and Implications Hend Alrasheed Kent State University, Department of Computer Science Kent Ohio, USA Add to Reading List Source URL: gdac.uqam.ca Language: English - Date: 2017-10-04 00:34:48 Graph theory Network theory Bipartite graphs Graph operations Centrality Network analysis Distance Graph Connectivity Tree Shortest path problem Degeneracy
258	Designing Theory Solvers with Extensions Andrew Reynolds1 , Cesare Tinelli1 , Dejan1 Jovanovi´c3 , and Clark Barrett2 1 Department of Computer Science, The University of Iowa Department of Computer Science, Stanford Uni Add to Reading List Source URL: csl.sri.com Language: English - Date: 2018-04-25 11:34:43 Theoretical computer science Mathematics Mathematical logic Logic in computer science Automated theorem proving Electronic design automation Formal methods NP-complete problems Satisfiability modulo theories Boolean satisfiability problem Substitution Model theory
259	Carnegie Mellon University Africa Department Information and Communication TechnologyRwanda 2018‐2019 Handbook Master’s Degree in Information Technology (MSIT) Add to Reading List Source URL: www.africa.engineering.cmu.edu Language: English - Date: 2018-09-12 05:46:12 Carnegie Mellon Silicon Valley Education Carnegie Mellon University Master of Science in Information Technology Course credit Carnegie Mellon School of Computer Science Tepper School of Business
260	TRADITION SEF, Inc. Scot J. Halvorsen Senior Regulatory Counsel and Secretary Legal Department Add to Reading List Source URL: www.traditionsef.com Language: English - Date: 2018-09-26 17:52:54 Futures markets Commodity Futures Trading Commission CFTC Futures contract SEF Finance Money Swap Execution Facility

UPDATE