Institute - PDFSEARCH.IO - Document Search Engine

Institute
Results: 275473

#	Item
141	1 Postquantum SSL/TLS for embedded systems Yun-An Chang† , Ming-Shing Chen†‡ , Jong-shian Wu† , Bo-Yin Yang‡ , of Electrical Engineering, National Taiwan University, Taiwan ‡ Institute of Information Science Add to Reading List Source URL: precision.moscito.org Language: English - Date: 2014-12-08 15:44:41 Cryptography Public-key cryptography Transport Layer Security Cryptographic software Secure communication Cryptographic protocols Mbed TLS Cipher suite OpenSSL Forward secrecy Post-quantum cryptography HTTPS
142	Learning-Based Abstractions for Nonlinear Constraint Solving Sumanth Dathathri ∗1 , Nikos Arechiga2 , Sicun Gao3 , and Richard M. Murray1 1 Computing and Mathematical Sciences, California Institute of Technology 2 Add to Reading List Source URL: scungao.github.io Language: English - Date: 2018-09-27 16:37:21 Constraint programming Mathematical optimization Theoretical computer science Statistical classification Artificial intelligence Machine learning Support vector machine Constraint satisfaction problem Constraint satisfaction Decomposition method Constrained optimization Constraint
143	HONG KONG INSTITUTE FOR MONETARY RESEARCH HETEROGENEOUS PREFERENCES AND RISK SHARING AT HOUSEHOLD LEVEL IN CHINA Jennifer T. Lai, Isabel K. M. Yan and Xingjian Yi Add to Reading List Source URL: www.hkimr.org Language: English - Date: 2018-02-09 01:16:49 Economy Finance Money Financial risk Actuarial science Economic systems Financial markets Insurance industry Risk Macroeconomic model Systematic risk Economics
144	Control-data plane intelligence trade-off in SDN Yash Sinha, Siddharth Bhatia Birla Institute of Technology and Science, Pilani, India Abstract— With the decoupling of network control and data Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2017-05-13 21:01:36 Computing Network architecture Emerging technologies Information and communications technology Configuration management Software-defined networking Ethernet OpenFlow Computer architecture Access control Computer network Network interface controller
145	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
146	1 SoK: Towards Grounding Censorship Circumvention in Empiricism Michael Carl Tschantz∗ , Sadia Afroz∗ , Anonymous‡ , and Vern Paxson∗† ∗ International Computer Science Institute Add to Reading List Source URL: internet-freedom-science.org Language: English - Date: 2016-04-13 13:52:54 Computing Internet privacy Digital rights Proxy servers Internet censorship Internet Secure communication Great Firewall Internet censorship circumvention Telex Tor Flash proxy
147	BOXES: A Symbolic Abstract Domain of Boxes Arie Gurfinkel and Sagar Chaki Software Engineering Institute Carnegie Mellon University Add to Reading List Source URL: arieg.bitbucket.io Language: English - Date: 2018-10-19 18:15:18 Functions and mappings Function Graph of a function Abstraction Structure
148	Dissertation Abstract: Exploiting Symmetries in Sequential Decision Making under Uncertainty Ankit Anand Indian Institute of Technology, Delhi New Delhi,India Add to Reading List Source URL: icaps16.icaps-conference.org Language: English - Date: 2016-06-09 08:09:17 Statistical randomness Metaphysics Free software Game artificial intelligence Dynamic programming Markov processes Stochastic control Rondebosch University of Cape Town Monte Carlo tree search Abstraction Markov decision process
149	HONG KONG INSTITUTE FOR MONETARY RESEARCH IMPLICATIONS OF LOAN PORTFOLIO CONCENTRATION FOR BANKS’ CREDIT RISK AND RETURN: EVIDENCE FROM HONG KONG Add to Reading List Source URL: www.hkimr.org Language: English - Date: 2018-10-12 04:21:56 Economy Financial services Finance Financial law Banking Economics Systemic risk Concentration risk Bank Credit risk Asset and liability management Financial crisis of 20072008
150	Learning-Based Testing the Sliding Window Behavior of TCP Implementations Paul Fiter˘au-Bro¸stean?1 and Falk Howar2 1 Institute for Computing and Information Sciences, Radboud University, Nijmegen, Add to Reading List Source URL: www.falkhowar.de Language: English - Date: 2018-09-30 08:43:02 Transmission Control Protocol Constructible universe Algorithm Sliding window protocol Mathematics Dimension reduction Computing Philosophy of mathematics

UPDATE