University - PDFSEARCH.IO - Document Search Engine

University
Results: 634567

#	Item
1	The Complexity of Zero Knowledge Salil Vadhan∗ School of Engineering and Applied Sciences Harvard University Cambridge, MA 02138 Add to Reading List Source URL: people.seas.harvard.edu Language: English - Date: 2010-03-21 22:20:21 Cryptography Computational complexity theory Complexity classes Interactive proof system Zero-knowledge proof NP Probabilistically checkable proof IP Soundness Commitment scheme NEXPTIME P versus NP problem
2	SoftFlow: A Middlebox Architecture for Open vSwitch Ethan J. Jackson, University of California, Berkeley; Melvin Walls, Penn State Harrisburg and University of California, Berkeley; Aurojit Panda, University of Californi Add to Reading List Source URL: www.usenix.org Language: English - Date: 2016-06-22 03:22:28 Computing Information and communications technology Computer network security Data transmission Network architecture Computer networking Internet architecture Networking hardware OpenFlow Open vSwitch Middlebox Forwarding information base
3	A Story of Parametric Trace Slicing, Garbage and Static Analysis Giles Reger School of Computer Science, University of Manchester, UK PrePost 2017 Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2017-09-19 11:02:58 I1 Garbage collection
4	DryadSynth: A Concolic SyGuS Solver Xiaokang Qiu (joint work with Kangjing Huang and Yanjun Wang) Purdue University SYNT Workshop Add to Reading List Source URL: www.react.uni-saarland.de Language: English - Date: 2017-08-02 04:54:12 Automated theorem proving Concolic testing Software testing Equations Z3 Solver Equation solving Mathematics Abstraction Software engineering
5	Outline SMT: Where Do We Go From Here? Clark Barrett, New York University SMT Workshop, July 17, 2014 Add to Reading List Source URL: smt2014.it.uu.se Language: English - Date: 2014-07-21 06:41:07 Theoretical computer science Mathematics Computational complexity theory Logic in computer science NP-complete problems Electronic design automation Formal methods Constraint programming Satisfiability modulo theories Boolean satisfiability problem Solver Automated reasoning
6	Host Family Program Carnegie Mellon University-Africa is proud to announce the launch of a Host Family Program for International Students in our Kigali Campus. Host family is a vital part of a cultural exchange, immersin Add to Reading List Source URL: www.africa.engineering.cmu.edu Language: English - Date: 2018-09-12 05:46:12 Student exchange Education Culture Human behavior Carnegie Mellon University Carnegie Mellon Silicon Valley International student Host family Kigali
7	FROMM MUSIC FOUNDATION HARVARD UNIVERSITY 3 Oxford Street Cambridge, Massachusetts 02138, USA Tel: • Fax: CONTACT: Lesley Bannatyne Add to Reading List Source URL: www.gf.org Language: English - Date: 2018-10-11 16:09:59 Guggenheim Fellows Classical music Music Paul Fromm Eugene O'Brien Chihchun Chi-sun Lee
8	Learning Outcomes for Master of Business Management (MBM) National Qualification Framework for Iceland Master of Management at Reykjavik University Master of Business Management (MBM) is a 90 ECTS-credit qualification at Add to Reading List Source URL: en.ru.is Language: English - Date: 2018-06-27 06:54:03 Education Human behavior Cognition Organizational theory Educational psychology Master's degree Academic degree Management Critical thinking Scientific method Bachelor's degree Research
9	The 4th Reactive Synthesis Competition SYNTCOMP 2017 Swen Jacobs Saarland University Roderick Bloem TU Graz Add to Reading List Source URL: www.react.uni-saarland.de Language: English - Date: 2017-08-02 04:54:12 Numerical software Model checking Neuropsychology Solver Problem solving
10	Making Sense of Human Rights Diplomacy: Symbolism or Concrete Impact? Rachel Myrick Stanford University Add to Reading List Source URL: www.saramitchell.org Language: English - Date: 2018-10-18 11:43:18 Political imprisonment Human behavior FreeThe20 campaign Politics Human rights Human Rights Watch Ethics International relations Diplomacy Bureau of Democracy Human Rights and Labor Amnesty International