−1 - PDFSEARCH.IO - Document Search Engine

−1
Results: 1637835

#	Item
451	Third International Competition on Runtime Verification CRV 2016 Giles Reger1 , Sylvain Hallé2 , and Yliès Falcone3 1 Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2016-09-29 14:23:26 Computing Cross-platform software Logic in computer science Runtime verification Benchmark Standard Performance Evaluation Corporation Marq AspectJ Java Overclocking
452	1 Off-Path Hacking: The Illusion of Challenge-Response Authentication Yossi Gilad∗‡ , Amir Herzberg†‡ , Haya Shulman§‡ Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2015-02-22 02:35:33 Internet Computing Cyberwarfare Internet security Computer network security Internet Standards Internet protocols Transmission Control Protocol Denial-of-service attack TCP reset attack IP address spoofing Internet protocol suite
453	A Tool for Intersecting Context-Free Grammars and Its Applications Graeme Gange1 , Jorge A. Navas2(B) , Peter Schachte1 , Harald Søndergaard1 , and Peter J. Stuckey1 1 2 Add to Reading List Source URL: jorgenavas.github.io Language: English - Date: 2018-10-25 12:43:22 Formal languages Language Culture Grammar Context-free grammar Formal grammar Context-free language Regular language Regular grammar Model checking Conjunctive grammar
454	Improving Neural Program Synthesis with Inferred Execution Traces Richard Shin 1 * Illia Polosukhin 2 Dawn Song 1 1. Introduction Add to Reading List Source URL: uclmr.github.io Language: English - Date: 2018-08-06 06:17:49 Computational neuroscience Artificial neural networks Applied mathematics Cybernetics Neuroscience Convolutional neural network Feature learning Deep learning Karel Neural network Long short-term memory Machine learning
455	JFP 27, e19, 29 pages, 2017 https://doi.orgS0956796817000107 1 Add to Reading List Source URL: jeapostrophe.github.io Language: English - Date: 2018-10-23 12:14:23 Mathematics Mathematical logic Theoretical computer science Enumerative combinatorics Enumeration Ordering Lambda calculus Type theory Enumerated type Recursively enumerable set Combinatory logic
456	Schedule 1 Designated Investments Risk Statement The statement below does not outline every possible risk in every product. You should not deal in any of the products listed below unless you have an understanding of the Add to Reading List Source URL: tradition-paris.com Language: English - Date: 2011-03-27 10:52:26 Finance Economy Money Financial markets Stock market Options Equity securities Financial law Derivative Futures contract Contract for difference Hedge
457	A Framework for Verification of Software with Time and Probabilities Marta Kwiatkowska1 , Gethin Norman2 , and David Parker1 1 2 Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2010-09-08 19:38:18 Mathematical analysis Mathematics Constructible universe Distribution
458	尊敬的客户根据银发〔2016〕261 号《中国人民银行关于加强支付结算管理防范电信网络新型违法犯罪有关事项的通知》，自 2016 年 12 月 1 日起， Add to Reading List Source URL: www.hsbc.com.cn - Date: 2016-11-30 21:25:57
459	DMA – École normale supérieurejanvier 2014 Examen Algèbre 1 Responsable : O. D EBARRE Add to Reading List Source URL: www.math.ens.fr Language: French - Date: 2014-01-19 10:38:10
460	Department of Emergency Management Audit of Select Cycles for the period July 1, 2016 through June 30, 2018 Add to Reading List Source URL: www.apa.virginia.gov Language: English - Date: 2018-08-27 08:39:26 Accounting Economy Business Compliance requirements United States Office of Management and Budget Fund accounting Audit Internal control Payroll

UPDATE