Institute - PDFSEARCH.IO - Document Search Engine

Institute
Results: 275473

#	Item
11	HONG KONG INSTITUTE FOR MONETARY RESEARCH HIGH-FREQUENCY TRADING IN THE U.S. TREASURY MARKET AROUND MACROECONOMIC NEWS ANNOUNCEMENTS George J. Jiang, Ingrid Lo and Giorgio Valente Add to Reading List Source URL: www.hkimr.org Language: English - Date: 2018-08-16 22:14:26 Financial markets Finance Economy Money Share trading Electronic communication network High-frequency trading Algorithmic trading Market liquidity Market microstructure Day trading Bidask spread
12	Model-Driven Software Verification Gerard J. Holzmann Rajeev Joshi JPL Laboratory for Reliable Software California Institute of Technology 4800 Oak Grove Drive Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:26:03 Model checkers Software engineering Theoretical computer science Formal methods C C++ Sizeof Model checking Promela Abstraction Computing Abstract interpretation
13	Hong Kong Institute for Monetary Research – Newsletter Thirty-third Issue (AprilHong Kong Institute for Monetary Research 香港金融研究中心 Add to Reading List Source URL: www.hkimr.org Language: English - Date: 2018-04-08 22:40:58 Economy Finance Money International finance institutions Central bankers Hong Kong Monetary Authority International finance Bank of China Hong Kong dollar Norman Chan International Monetary Fund Basel II
14	Theorem-Proving by Resolution as a Basis for Question-Answering Systems Cordell Green Stanford Research Institute Menlo Park, California Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2011-11-16 13:42:21 Mathematical logic Logic Mathematics Model theory Automated theorem proving Predicate logic Semantics Logic programming Resolution First-order logic Skolem normal form Substitution
15	Zero-Knowledge Protocols for Search Problems Ben Berger Zvika Brakerski Weizmann Institute of Science, Israel∗ Abstract Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2018-05-14 10:13:17 Complexity classes Cryptography Computational complexity theory Computing Interactive proof system Zero-knowledge proof NP IP Soundness Proof of secure erasure Certificate Zero knowledge
16	The AI Alignment Problem: Why It’s Hard, and Where to Start Eliezer Yudkowsky Machine Intelligence Research Institute May 5, 2016 Add to Reading List Source URL: intelligence.org Language: English - Date: 2017-01-30 22:06:06 Artificial intelligence Technology Motivation Metaphysics Game theory Futurology Philosophy of artificial intelligence Choice modelling Utility Expected utility hypothesis Intelligent agent Friendly artificial intelligence
17	NoIn the Supreme Court of the United States NATIONAL INSTITUTE OF FAMILY LIFE ADVOCATES, DBA NIFLA, et al., Add to Reading List Source URL: www.supremecourt.gov Language: English - Date: 2018-07-30 11:00:21 Case law Supreme Court of the United States Crisis pregnancy center Planned Parenthood v. Casey Abortion National Institute of Family and Life Advocates Abortion debate
18	Multivariate Cryptography Louis Goubin, Versailles St-Quentin-en-Yvelines University, France, Jacques Patarin, Versailles St-Quentin-en-Yvelines University, France, and Bo-Yin Yang, Institute of Information Science, Acad Add to Reading List Source URL: precision.moscito.org Language: English - Date: 2013-03-31 09:28:56 Cryptography Multivariate cryptography Post-quantum cryptography Algebra Polynomials Unbalanced Oil and Vinegar Hidden Field Equations Algebraic equation QUAD Variable Equation Finite field
19	Worcester Polytechnic Institute Social Science and Policy Studies Department GOV 231X – The Politics of Food Sample Syllabus Course Information Professor Patricia Stapleton Add to Reading List Source URL: www.patriciastapleton.com Language: English - Date: 2018-08-04 14:42:46 Health Food and drink Food and Drug Administration Food science Food law Pharmaceuticals policy Food safety Product safety FDA Food Safety Modernization Act Center for Food Safety and Applied Nutrition Food politics Food
20	HONG KONG INSTITUTE FOR MONETARY RESEARCH A TASTE FOR DIM SUM: ANALYSING THE FINANCIAL DIFFUSION IN THE NEW OFFSHORE RENMINBI DEBT SECURITIES Tom Fong, Paul Mizen and Serafeim Tsoukas Add to Reading List Source URL: www.hkimr.org Language: English - Date: 2018-05-30 02:54:13 Economy Money Finance Renminbi RMB Qualified Foreign Institutional Investor Bond Bank of China Qualified Foreign Institutional Investor Internationalization of the renminbi Schengen bond