WE - PDFSEARCH.IO - Document Search Engine

WE
Results: 198498

#	Item
201	Advances and Challenges of Quantitative Verification and Synthesis for Cyber-Physical Systems Marta Kwiatkowska Department of Computer Science, University of Oxford, UK Abstract—We are witnessing a huge growth of cyber Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2016-09-02 06:46:32 Model checkers Software engineering Formal methods Theoretical computer science Software quality Computing PRISM model checker Model checking Formal verification Markov chain Stochastic Reliability engineering
202	CONTINUED FRACTIONS AND LATTICE SIEVING JENS FRANKE, THORSTEN KLEINJUNG Abstract. We present a new method of lattice sieving which we expect to be faster by a constant factor than the method of Pollard, and which has bee Add to Reading List Source URL: www.hyperelliptic.org Language: English - Date: 2005-03-19 07:30:03 Integer factorization algorithms Mathematics Computing Quadratic sieve Software engineering NC General number field sieve Pure Euclidean algorithm
203	Timeline: European cooperation in the area of security and defence We are seeing a historic moment in European defence. Add to Reading List Source URL: eeas.europa.eu Language: English - Date: 2017-12-13 10:23:19 Military Politics of the European Union Europe Foreign relations of the European Union Federica Mogherini Renzi Cabinet Coordinated Annual Review on Defence Common Security and Defence Policy Permanent Structured Cooperation High Representative of the Union for Foreign Affairs and Security Policy European Union Military Planning and Conduct Capability
204	Terms of Use Last Updated: May 14, 2018 Hello Prosper Inc. operating as “Hello Prosper” (“Prosper”, “we”, or “us”) provides a service which, amongst other things, allows you as a user (a “user” or “ Add to Reading List Source URL: helloprosper.com Language: English - Date: 2018-05-18 14:40:03 Contract law Law Economy Private law Prosper Marketplace Terms of service Indemnity Session Internet privacy Prosper Trademark Lease
205	Whitepaper Version 1.1.0 We are constantly upgrading our white paper to answer all your questions and provide all information you could possibly need before participating in our ICO. If you are missing any kind of infor Add to Reading List Source URL: icorating.com Language: English - Date: 2018-03-19 09:31:37 Cryptocurrencies Technology Decentralization Economy Alternative currencies Money Digital currencies Financial technology SMS Blockchain Bitcoin Initial coin offering
206	Minter network Privacy Policy (“Privacy Policy”) Version 1.0 August 28, 2018 PREAMBLE Minter Network LLC ("us", "we", or "our") operates the https://minter.network and Add to Reading List Source URL: www.minter.network Language: English - Date: 2018-10-22 10:59:10 World Wide Web Marketing Terms of service Digital media Internet privacy Digital marketing Social networking services Online advertising Google Analytics HTTP cookie Privacy AdWords
207	Invest in future. Invest in your side of the firewall We provide individualized service based on peculiarities of your code and cybersecurity perimeter and offer wide customization options for each bug bounty program tha Add to Reading List Source URL: hacken.io Language: English - Date: 2017-10-12 11:58:32 Security engineering Cyberwarfare Computer network security Cybercrime Computer security Cryptography Secure communication HKN Security
208	October3, 2018 Announcement of E-mail Support for Use of Online System Civil Rehabilitation Debtor: MtGox Co., Ltd. Civil Rehabilitation Trustee: Attorney-at-law Nobuaki Kobayashi On August 23, 2018, we released a system Add to Reading List Source URL: www.mtgox.com Language: English - Date: 2018-10-03 05:14:29 Mail Mt. Gox Spam filtering
209	A Tool for Estimating Information Leakage? Tom Chothia, Yusuke Kawamoto, and Chris Novakovic School of Computer Science, University of Birmingham, Birmingham, UK Abstract. We present leakiEst, a tool that estimates how m Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2017-06-07 20:45:26 Information theory Cryptography Information Electrical engineering Information flow Information leakage Leak Entropy Weka Memory leak Mutual information Biometric passport
210	ON PRIME FANO VARIETIES OF DEGREE 10 AND COINDEX 3 OLIVIER DEBARRE Abstract. We discuss the period map of certain (complex) Fano varieties. The first part of this talk deals with cubic hypersurfaces. We recall their Hodg Add to Reading List Source URL: www.math.ens.fr Language: English - Date: 2012-09-27 08:07:55 Geometry Algebraic geometry Abstract algebra Algebraic varieties Algebraic surfaces Hodge theory Fano variety Birational geometry Projective variety Hodge structure K3 surface Canonical bundle

UPDATE