Ås - PDFSEARCH.IO - Document Search Engine

Ås
Results: 435832

#	Item
261	Considerations when Choosing a Backup System for AFS® By Kristen J. Webb President and CTO Teradactyl LLC. October 21, 2005 The Andrew File System® has a proven track record as a scalable and secure network file system Add to Reading List Source URL: www.teradactyl.com Language: English Backup software System software Utility software Computing Backup Incremental backup Andrew File System File system Remote backup service Veeam Backup & Replication
262	Spring 2018 External Scholarships External scholarships are not affiliated with Emory University and provided only as a resource. To apply for these scholarships you must visit the organization’s website. Internal Awar Add to Reading List Source URL: studentaid.emory.edu Language: English - Date: 2018-10-11 16:06:15 Scholarships in the United States Education Student financial aid Public finance Scholarship National Merit Scholarship Program Point Foundation
263	Small or medium-scale focused research project (STREP) ICT SME-DCA Call 2013 FP7-ICT-2013-SME-DCA Data Publishing through the Cloud: A Data- and Platform-as-a-Service Approach to Efficient Add to Reading List Source URL: bd7a65e2cb448908f934-86a50c88e47af9e1fb58ce0672b5a500.r32.cf3.rackcdn.com Language: English - Date: 2015-11-27 10:43:10 Computing Information science Data management Semantic Web Knowledge representation Query languages Technical communication SPARQL Resource Description Framework Linked data RDF query language Ontology
264	2018 PROGRAM Payments as a Global Village – Fostering Regional Solutions It is a small world we are living in and globalization has made it even smaller! Global Payment Summit-Asia 2018 takes a new direction on-board Add to Reading List Source URL: globalpaymentsummit.com Language: English - Date: 2018-09-13 20:29:52 Economy Finance Money E-commerce Financial technology Cashless society International finance Mobile payment Hong Leong Bank HSBC Wirecard CurrencyFair
265	Tutorial to Locales and Locale Interpretation∗ Clemens Ballarin Abstract Locales are Isabelle’s approach for dealing with parametric theories. They have been designed as a module system for a theorem prover Add to Reading List Source URL: mirror.clarkson.edu Language: English - Date: 2018-08-15 07:19:09 Mathematics Order theory Algebra Abstract algebra Lattice theory Mathematical logic Algebraic structures Predicate logic Distributive lattice Complete Heyting algebra Mereology Partially ordered set
266	Area 2 (Programming Techniques and the Web) Danny Yoo () Abstract The object capability (ocap) community uses Y-URLs (yurls) as a means of extending the ocap paradigm to the distributed world of the Web. L Add to Reading List Source URL: www.hashcollision.org Language: English Computing World Wide Web Uniform Resource Locator Network architecture Internet protocols Continuation Control flow Hypertext Transfer Protocol Web server Server HTTP referer
267	WHITE PAPER January 2018 http://tokensale.heroesjourney.world The information in this White Paper is subject to change or update and should not be construed as a commitment, promise or guarantee by HeroesJourney Partner Add to Reading List Source URL: icorating.com Language: English - Date: 2018-03-19 09:27:44 Cryptocurrencies Blockchains Ethereum Alternative currencies Concurrent computing Distributed computing Computing Kin Smart contract Token coin ERC-20
268	Tutorial to Locales and Locale Interpretation∗ Clemens Ballarin Abstract Locales are Isabelle’s approach for dealing with parametric theories. They have been designed as a module system for a theorem prover Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2018-08-15 07:19:09 Mathematics Order theory Algebra Abstract algebra Lattice theory Mathematical logic Algebraic structures Predicate logic Distributive lattice Complete Heyting algebra Mereology Partially ordered set
269	Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives? Tom´asˇ Br´azdil, Vojtˇech Forejt, and Anton´ın Kuˇcera Faculty of Informatics, Masaryk University, B Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2013-12-01 09:40:50 Mathematics Formal languages Finite automata Model checking Mathematical logic Omega language Theory of computation Muller automaton Sigma-algebra Tree Structure Measure
270	Quantum FHE (Almost) As Secure as Classical Zvika Brakerski∗ Abstract Fully homomorphic encryption schemes (FHE) allow to apply arbitrary efficient computation to encrypted data without decrypting it first. In Quantum Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2018-04-10 03:50:18 Cryptography Post-quantum cryptography Lattice-based cryptography Models of computation Homeomorphisms Homomorphic encryption Quantum computing Lattice Learning with errors RSA One-time pad Quantum circuit

UPDATE