University - PDFSEARCH.IO - Document Search Engine

University
Results: 634567

#	Item
511	Opportunities and Research Challenges of Hybrid Software Defined Networks Stefano Vissicchio⇤ Laurent Vanbever Princeton University Add to Reading List Source URL: www0.cs.ucl.ac.uk Language: English - Date: 2016-11-17 12:53:02 Network architecture Emerging technologies Computing Computer architecture Information and communications technology Configuration management Software-defined networking OpenFlow Network function virtualization Routing Big Switch Networks Computer network
512	Coping with Inconsistent Databases Semantics, Algorithms, and Complexity Phokion G. Kolaitis University of California Santa Cruz and Add to Reading List Source URL: sat2016.labri.fr Language: English - Date: 2016-07-06 08:29:21 Database theory Computing Data management Information science Conjunctive query Relational model Boolean conjunctive query Relational database FO Functional dependency Query language
513	Structural Topic Models for Open-Ended Survey Responses Margaret E. Roberts University of California, San Diego Brandon M. Stewart Harvard University Dustin Tingley Harvard University Christopher Lucas Harvard University Add to Reading List Source URL: scholar.harvard.edu Language: English - Date: 2014-03-07 09:26:14 Statistical natural language processing Machine learning Artificial intelligence Learning Topic model Causal inference Latent Dirichlet allocation Experiment Mixture model Unsupervised learning
514	Abstract DPLL and Abstract DPLL Modulo Theories Robert Nieuwenhuis1 , Albert Oliveras1 , and Cesare Tinelli2 1 Technical University of Catalonia Add to Reading List Source URL: www.lsi.upc.edu Language: English - Date: 2005-03-21 16:24:36 Theoretical computer science Mathematics Computational complexity theory Formal methods Electronic design automation Logic in computer science NP-complete problems Boolean algebra Boolean satisfiability problem DPLL Phase-locked loop Satisfiability
515	Rigorous Reachability Analysis and Domain Decomposition of Taylor Models Martin Berz and Kyoko Makino Department of Physics and Astronomy Michigan State University Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2017-07-24 10:20:50 Numerical methods for ordinary differential equations Domain decomposition methods Numerical analysis Numerical software Mathematical analysis PROPT
516	COLLOQUIUM Shakhawat Hossain University of Winnipeg Shrinkage estimation method of exponentiated Weibull regression model Add to Reading List Source URL: www.uregina.ca Language: English - Date: 2018-03-28 19:06:03 Estimation theory Statistical inference Econometrics Estimator Shrinkage estimator Maximum likelihood estimation Regression analysis Mean squared error Efficient estimator
517	Sonoma State University CS Degree Requirements Updated Summer 2018 MathCalculus I CS) Add to Reading List Source URL: www.cs.sonoma.edu Language: English - Date: 2018-06-12 18:13:52 Logic in computer science Type theory
518	Global Measurement of DNS Manipulation Paul Pearce Ben Jones† Frank Li Roya Ensafi† Nick Feamster† Nick Weaver‡ Vern Paxson University Add to Reading List Source URL: people.eecs.berkeley.edu Language: English - Date: 2017-06-30 16:05:22 Domain name system Internet Computing Network architecture Name server DNS hijacking Google Public DNS Denial-of-service attack DNS root zone Root name server OpenDNS Hosts
519	From Underapproximations to Overapproximations and Back! Arie Gurfinkel Software Engineering Institute Carnegie Mellon University Add to Reading List Source URL: arieg.bitbucket.io Language: English - Date: 2018-10-19 18:15:18 Carnegie Mellon University Cyberwarfare Software Engineering Institute Mellon Software engineering Carnegie Pittsburgh
520	A Parallel Identification Protocol for RFID Systems Linghe Kong∗† , Liang He∗ , Yu Gu∗ , Min-You Wu† , Tian He‡ ∗ Singapore University of Technology and Design, Singapore † Shanghai Jiao Tong University, Add to Reading List Source URL: wirelesslab.sjtu.edu.cn Language: English - Date: 2015-04-14 12:02:36 Radio-frequency identification Automatic identification and data capture Privacy Ubiquitous computing Wireless Mobile RFID SAM Computing Technology Data

UPDATE