Peter - PDFSEARCH.IO - Document Search Engine

Peter
Results: 45375

#	Item
41	TWO PAPERS IN SUPPLY CHAIN DESIGN: SUPPLY CHAIN CONFIGURATION AND PART SELECTION IN MULTIGENERATION PRODUCTS by Sean Peter Willems B.S.E. Economics Wharton School, University of Pennsylvania, 1993 Add to Reading List Source URL: web.mit.edu Language: English - Date: 2018-07-20 12:49:55 Supply chain management Business process management Business Economy Supply chain Inventory theory New product development Inventory Product lifecycle Supply-chain management
42	p-ADIC GEOMETRY PETER SCHOLZE Abstract. We discuss recent developments in p-adic geometry, ranging from foundational results such as the degeneration of the Hodge-to-de Rham spectral sequence for “compact p-adic manifo Add to Reading List Source URL: eta.impa.br Language: English - Date: 2018-07-28 17:09:48 Algebra Abstract algebra Mathematics Algebraic geometry Cohomology theories Homological algebra Hodge theory Algebraic number theory P-adic Hodge theory tale cohomology Hodge structure Cohomology
43	Fast Ideal Lattice-Based KEMs on ARM Cortex-M4 Matthias J. Kannwischer, Joost Rijneveld, Peter Schwabe September 03, 2018 Add to Reading List Source URL: kannwischer.eu Language: English - Date: 2018-09-09 03:28:07 Mathematics Algebra Abstract algebra Post-quantum cryptography Multiplication Lattice-based cryptography Cryptography Karatsuba algorithm NTRU Lattice Polynomial ring Field extension
44	CRYSTALS – Kyber: a CCA-secure module-lattice-based KEM Joppe Bos∗ , Léo Ducas† , Eike Kiltz‡ , Tancrède Lepoint§ , Vadim Lyubashevsky¶ , John M. Schanckk , Peter Schwabe∗∗ , Gregor Seiler†† , Damien Add to Reading List Source URL: cryptojedi.org Language: English - Date: 2018-07-25 08:38:21 Cryptography Post-quantum cryptography Ciphertext indistinguishability Ring learning with errors Chosen-plaintext attack Learning with errors Advantage Lattice-based cryptography Chosen-ciphertext attack Digital signature Ideal lattice cryptography Semantic security
45	DYNAMIC SYNC-PROGRAMS FOR MODULAR VERIFICATION OF BIOLOGICAL SYSTEMS Peter Dr´abik, Andrea Maggiolo-Schettini and Paolo Milazzo Dipartimento di Informatica, Universit`a di Pisa Add to Reading List Source URL: pages.di.unipi.it Language: English - Date: 2015-12-18 06:55:15 Models of computation Concurrency Computing Formal methods Diagrams Petri net Finite automata Model checking Analog television Finite-state machine Actor model Information and communications technology
46	Arachne Update Core Policies and Memcached Integration Henry Qin, Qian Li, Jacqueline Speiser, Peter Kraft John Ousterhout Introduction Add to Reading List Source URL: platformlab.stanford.edu Language: English - Date: 2018-06-18 15:29:44 Parallel computing Concurrent computing Thread Computer architecture Computing Computer engineering Digital signal processors Microprocessors
47	Peter Budkowski ork Geon Network Team ork Geon Network Ltd. (Inc. No: World Trade Center, 6 Bayside Road Add to Reading List Source URL: www.geon.network Language: English - Date: 2018-10-22 10:36:12 Cryptocurrencies Decentralization Alternative currencies Computing Metaphysics Economy Perception Geon General relativity Blockchain Ethereum Gun
48	THIS WEEK - SUNDAY 21ST OCTOBER TWENTY FIRST SUNDAY AFTER TRINITY ST PETER 08.00 Add to Reading List Source URL: www.stpetersbournemouth.org.uk Language: English - Date: 2018-10-20 14:22:20 Anglican liturgy Anglicanism Anglo-Catholicism Book of Common Prayer Evening Prayer Christianity Protestantism
49	Exploiting sparsity in difference-bound matrices Graeme Gange1 , Jorge A. Navas2 , Peter Schachte1 , Harald Søndergaard1 , and Peter J. Stuckey1 1 2 Add to Reading List Source URL: seahorn.github.io Language: English - Date: 2018-08-03 20:31:21 Mathematics Abstract algebra Mathematical analysis Graph Graph theory Partial derivative Valuation Representation Voltage graph operator
50	Analyzing array manipulating programs by program transformation J. Robert M. Cornish1 , Graeme Gange1 , Jorge A. Navas2 , Peter Schachte1 , Harald Søndergaard1, and Peter J. Stuckey1 1 Add to Reading List Source URL: jorgenavas.github.io Language: English - Date: 2018-10-25 12:43:22 Array data structure Variable Dimensional analysis Computing Mathematics Engineering Jet bundle