Research - PDFSEARCH.IO - Document Search Engine

Research
Results: 462323

#	Item
291	UNIVERSITY OF TORONTO FRAMEWORK TO ADDRESS ALLEGATIONS OF RESEARCH MISCONDUCT Revised Effective January 1, PREAMBLE Add to Reading List Source URL: www.sgs.utoronto.ca Language: English - Date: 2014-06-11 12:46:17 Misconduct Scientific misconduct Human behavior Applied ethics Hate speech laws in Canada Southwell inquiry
292	Delta-Decision Procedures for Exists-Forall Problems over the Reals Soonho Kong1 , Armando Solar-Lezama2 , and Sicun Gao3 1 Toyota Research Institute Add to Reading List Source URL: scungao.github.io Language: English - Date: 2018-09-27 16:37:21 Computational complexity theory Theoretical computer science Mathematical logic NP-complete problems Electronic design automation Formal methods Logic in computer science Predicate logic Boolean satisfiability problem Quantifier Limit of a function Exponential time hypothesis
293	Refinement Types for Secure Implementations JESPER BENGTSON, Uppsala University KARTHIKEYAN BHARGAVAN, Microsoft Research ´ CEDRIC FOURNET, Microsoft Research Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2012-02-28 13:28:34 Software engineering Computing Programming language theory Type theory Formal methods Functional languages Procedural programming languages Data types Type system F Sharp HindleyMilner type system First-order logic
294	Towards Algorithmic Synthesis of Synchronization for Shared-Memory Concurrent Programs Roopsha Samanta Computer Engineering Research Centre, The University of Texas at Austin. Add to Reading List Source URL: www.cs.purdue.edu Language: English - Date: 2016-07-15 23:00:36 Mathematics Formal languages Temporal logic Syntax Metalogic Logic Metaphilosophy Model theory Linear temporal logic Interpretation Computation tree logic Variable
295	Small or medium-scale focused research project (STREP) ICT SME-DCA Call 2013 FP7-ICT-2013-SME-DCA Data Publishing through the Cloud: A Data- and Platform-as-a-Service Approach to Efficient Add to Reading List Source URL: bd7a65e2cb448908f934-86a50c88e47af9e1fb58ce0672b5a500.r32.cf3.rackcdn.com Language: English - Date: 2014-11-03 11:28:51 Knowledge representation Computing Information science Technical communication Information Semantic Web Knowledge engineering Ontology Resource Description Framework Upper ontology Open data SPARQL
296	Cryptology and Its Applications Nordic Research Training course, Bergen Zero knowledge and some applications Helger Lipmaa Add to Reading List Source URL: kodu.ut.ee Language: English - Date: 2008-09-12 11:33:08 Cryptography Computational complexity theory Zero-knowledge proof Zero knowledge Interactive proof system IP NP Cryptographic protocol Proof of knowledge Oblivious transfer
297	Learning Shape Analysis Marc Brockschmidt1 , Yuxin Chen2 , Pushmeet Kohli3 , Siddharth Krishna4 , and Daniel Tarlow5 1 Microsoft Research, 2 ETH Z¨ Add to Reading List Source URL: www.microsoft.com Language: English - Date: 2018-01-04 03:04:14 Formal languages Tree Heap Binary tree Context-free grammar Computing Software engineering Mathematics Regular tree grammar
298	AP: Artificial Programming Rishabh Singh1 and Pushmeet Kohli1 1 Cognition Group, Microsoft Research , Add to Reading List Source URL: rishabhmit.bitbucket.io Language: English - Date: 2018-06-25 09:59:57 Artificial neural networks Computational neuroscience Applied mathematics Computing Artificial intelligence Cognitive science Computational statistics Market research Convolutional neural network Deep learning Recurrent neural network Domain-specific language
299	The State of Internet Censorship in Egypt A research study by: Open Observatory of Network Interference (OONI) Association for Freedom of Thought and Expression (AFTE) Add to Reading List Source URL: ooni.torproject.org Language: English - Date: 2018-10-19 07:05:34 Internet in Egypt Internet censorship Deep packet inspection Telecom Egypt Ministry of Communications and Information Technology Economy of Africa Information and communications technology Economy of Egypt Internet censorship and surveillance by country Internet censorship in Tunisia

UPDATE