Thesis - PDFSEARCH.IO - Document Search Engine

Thesis
Results: 17857

#	Item
11	The Raymond and Beverly Sackler Faculty of Exact Sciences The Blavatnik School of Computer Science New Methods for Side Channel Cryptanalysis Thesis submitted in partial fulfilment of the requirements towards the M.Sc. Add to Reading List Source URL: www.ofirweisse.com Language: English - Date: 2018-10-17 09:19:20 Cryptography Side-channel attacks Block ciphers Advanced Encryption Standard Power analysis Cryptanalysis International Data Encryption Algorithm
12	Microsoft Word - Michelle Final Thesis-Aug05.doc Add to Reading List Source URL: web.mit.edu Language: English - Date: 2018-07-20 12:49:43 Economy Business Supply chain management Third-party logistics Logistics Supply chain Computer network Nanyang Technological University Outsourcing Singapore
13	Automated Quantitative Software Verification by Mark Kattenbelt A thesis submitted for the degree of Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2011-03-15 10:13:22 Model checkers Model checking Abstraction Mathematical proof Economic model Verification Theoretical computer science Formal methods Cognitive science Computing PRISM model checker Construction and Analysis of Distributed Processes
14	Physical Attack Vulnerability of Hash-Based Signature Schemes Verwundbarkeit von Hash-basierten Signaturverfahren durch Physikalische Angriffe Master-Thesis von Matthias Julius Kannwischer Tag der Einreichung: Add to Reading List Source URL: kannwischer.eu Language: English - Date: 2018-06-25 08:42:52 Cryptography Public-key cryptography Post-quantum cryptography Hashing Hash-based cryptography XMSS Cryptographic hash function Merkle signature scheme Digital signature HMAC RSA Power analysis
15	Robust fault-recovery in Software-Defined Networks IBSDN: IGP as a Backup in SDN Master’s thesis presented in partial fulfillment of the requirements for the degree of Add to Reading List Source URL: inl.info.ucl.ac.be Language: English - Date: 2018-05-31 05:55:27 Network architecture Computing Computer architecture Information and communications technology Emerging technologies Internet architecture Configuration management Software-defined networking Network protocols OpenFlow Open vSwitch Computer network
16	master thesis in computer science by Maria A Schett submitted to the Faculty of Mathematics, Computer Science and Physics of the University of Innsbruck Add to Reading List Source URL: www.maria-a-schett.net Language: English - Date: 2016-12-11 09:15:03 Theoretical computer science Mathematics Formal languages Discrete mathematics Graph theory Graph rewriting Logic in computer science Rewriting Rewrite order Confluence Graph Abstract semantic graph
17	Reachability games and related matrix and word problems Thesis submitted in accordance with the requirements of the University of Liverpool for the degree of Doctor in Philosophy by Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2018-05-21 09:45:07 Complexity classes Mathematics Theoretical computer science Discrete mathematics EXPTIME P Reachability problem Matrix Controllability Decidability Reachability Word problem
18	Microsoft Word - PhD_Thesis_WangYexin_.doc Add to Reading List Source URL: web.mit.edu Language: English - Date: 2018-07-20 12:49:48 Business Economy Supply chain management Inventory Channel coordination Vendor Simulation Logistics Safety stock
19	From Trees to Graphs: On the Influence of Collapsing on Rewriting and on Termination Maria A Schett defensio: master thesis advised by Georg Moser department of CS @ UIBK Oktober 25, 2016 Add to Reading List Source URL: www.maria-a-schett.net Language: English - Date: 2016-12-11 09:16:58 Theoretical computer science Formal languages Mathematics Discrete mathematics Graph theory Abstract semantic graph Graph Rewriting Graph rewriting
20	Thesis Abstract: Constructing Heuristics for PDDL+ Planning Domains Wiktor Piotrowski Supervised by: Daniele Magazzeni and Maria Fox Department of Informatics King’s College London United Kingdom Add to Reading List Source URL: icaps16.icaps-conference.org Language: English - Date: 2016-06-09 08:09:38 Automated planning and scheduling Artificial intelligence Planning Domain Definition Language Mathematical optimization Model checking Heuristic Motion planning Genetic algorithm Protein domain Cognitive science Learning

UPDATE