1 - PDFSEARCH.IO - Document Search Engine

1
Results: 1637835

#	Item
11	FOR RELEASE October 1, 2018 FOR MEDIA OR OTHER INQUIRIES: Carroll Doherty, Director of Political Research Jocelyn Kiley, Associate Director, Research Bridget Johnson, Communications Manager Add to Reading List Source URL: www.people-press.org Language: English - Date: 2018-10-10 11:49:45 Politics of the United States American people of German descent Climate change skepticism and denial Donald Trump The Apprentice United States Politics United States presidential approval rating Republican Party Donald Trump presidential campaign Foreign policy of the Donald Trump administration
12	1.3 ISMS POLICY It is the policy of Porism to maintain an information management system designed to meet the requirements of ISO 27001:2013 in pursuit of its primary Add to Reading List Source URL: porism.com Language: English - Date: 2018-08-16 07:40:11 Prevention Security Computer security Computing Data security ISO/IEC 27001 Safety Information security Management system ISMS ISO/IEC 27006 Information security management
13	Int. J. of Intelligent Engineering Informatics, Vol. x, No. x, 1–26 Numerical Program Optimization by Automatic Improvement of the Accuracy of Computations Nasrine Damouche* and Matthieu Martel Universit´e de Perpign Add to Reading List Source URL: perso.univ-perp.fr Language: English - Date: 2018-01-15 07:35:42 Functions and mappings Mathematical analysis Mathematics Computer arithmetic Limit of a function Abstract interpretation Unit in the last place Exponentiation Integral Lambda calculus Quantifier Combinatory logic
14	Form LR-ER Page 1 of 6 (RevMailing Address P.O. BoxRaleigh, NC Add to Reading List Source URL: lobby.ncsbe.gov Language: English - Date: 2018-09-26 08:36:07 Expense Political terminology Lobbying in the United States Lobbying Public sphere
15	Multi-objective discounted reward verification in graphs and MDPs Krishnendu Chatterjee1 , Vojtˇech Forejt2 , and Dominik Wojtczak3 1 2 Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2013-12-01 11:49:36 Mathematical analysis Mathematics Dynamic programming Markov decision process Stochastic control Sigma-algebra
16	26 SeptemberImportant Notice Beware of Bogus Call 1. The Hongkong and Shanghai Banking Corporation Limited, Macau Branch would like to alert its customers on bogus communications that claim to be from HSBC. (e.g. Add to Reading List Source URL: www.hsbc.com.mo Language: English - Date: 2017-09-27 23:17:30 Economy Finance Banks Nuisance call Teletraffic HSBC The Hongkong and Shanghai Banking Corporation Telephone call HSBC Insurance
17	What is a Trace? A Runtime Verification Perspective Giles Reger1 1 2 Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2016-10-13 07:25:09 Debugging Logic in computer science Runtime verification Software optimization Computing Instrumentation Tracing Information technology management Management
18	1 Annotation inference for modular checkers Cormac Flanagan, Rajeev Joshi, and K. Rustan M. Leino Compaq Systems Research Center, 130 Lytton Ave., Palo Alto, CA 94301, U.S.A. Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:26:03 Software engineering Formal methods Mathematical logic Type theory Theoretical computer science Type systems Edsger W. Dijkstra Predicate transformer semantics Extended static checking ESC/Java Type inference HindleyMilner type system