Ján - PDFSEARCH.IO - Document Search Engine

Ján
Results: 45437

#	Item
1	Lipschitz Robustness of Finite-state Transducers Thomas A. Henzinger, Jan Otop, Roopsha Samanta IST Austria Abstract We investigate the problem of checking if a finite-state transducer is robust to uncertainty in Add to Reading List Source URL: www.cs.purdue.edu Language: English - Date: 2016-07-15 23:00:36 Finite automata Abstract algebra Algebra Finite-state transducer Mathematics Theoretical computer science Finite-state machine Semigroup action Kazhdan's property Tree transducer
2	Feature-Specific Profiling LEIF ANDERSEN, PLT @ Northeastern University, United States of America VINCENT ST-AMOUR, PLT @ Northwestern University, United States of America JAN VITEK, Northeastern University and Czech Tec Add to Reading List Source URL: users.eecs.northwestern.edu Language: English - Date: 2018-10-25 09:39:05 Software engineering Computer programming Computing Functional languages Profilers Control flow Profiling Software optimization Racket Arc Stack Matthias Felleisen
3	Lecture 3, Tues Jan 24: Basic Rules of QM Tensor products are a way of building bigger vectors out of smaller ones. Let’s apply a NOT operation to the first bit, and do nothing to the second bit. That’s really the sa Add to Reading List Source URL: www.scottaaronson.com Language: English - Date: 2018-08-29 13:55:03 Quantum mechanics Physics Theoretical computer science Quantum information science Quantum states Quantum computing Information theory Qubit Mathematical formulation of quantum mechanics Unitary matrix Quantum superposition Matrix
4	Anonymous Attestation with Subverted TPMs ? Jan Camenisch1 , Manu Drijvers1,2 , and Anja Lehmann1 1 Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2017-06-28 10:54:34 Cryptography Computer security Trusted computing Cryptographic software Direct Anonymous Attestation Trusted Platform Module Digital signature Secure multi-party computation Universal composability Privacy
5	October 12, 2018 VIA UPS, Electronic Mail, and Facsimile Mr. Jan A. Verleur Chief Executive Officer VMR Products LLC 3050 Biscayne Boulevard, Floor 7 Add to Reading List Source URL: www.fda.gov Language: English Food and Drug Administration Health Federal Food Drug and Cosmetic Act Center for Tobacco Products Investigator's brochure Regulation of tobacco by the U.S. Food and Drug Administration
6	How to Break DES for B C 8,980 Sandeep Kumar1 , Christof Paar1 , Jan Pelzl1 , Gerd Pfeiffer2 , Andy Rupp1 , Manfred Schimmler2 1 Add to Reading List Source URL: www.hyperelliptic.org Language: English - Date: 2006-03-23 05:56:04 Cryptography Electronic engineering Hardware acceleration Electronics Digital electronics Data Encryption Standard Reconfigurable computing Field-programmable gate array Custom hardware attack Brute-force attack Xilinx EFF DES cracker
7	Parallelizing Julia with a Non-invasive DSL Todd A. Anderson1 , Hai Liu1 , Lindsey Kuper1 , Ehsan Totoni1 , Jan Vitek2 , and Tatiana Shpeisman1 1 2 Add to Reading List Source URL: thev.net Language: English - Date: 2017-06-12 20:43:02 Software engineering Computing Computer programming Array programming languages Parallel computing Functional languages High-level programming languages Object-oriented programming languages Array data type Array programming MATLAB Data parallelism
8	Is Java Card ready for hash-based signatures? Ebo van der Laan1 , Erik Poll2 , Joost Rijneveld2 , Joeri de Ruiter2 , Peter Schwabe2 , and Jan Verschuren1 ? 1 Netherlands National Communication Security Agency (NLNCSA) Add to Reading List Source URL: cryptojedi.org Language: English - Date: 2018-10-07 06:08:08 Cryptography Public-key cryptography Post-quantum cryptography Smart cards Hash-based cryptography Digital signature Cryptographic hash function Java Card Hash function Security token Cryptographic primitive XMSS
9	Lecture 1, Tues Jan 17: Course Intro, Church-Turing Thesis ● ● ● Add to Reading List Source URL: www.scottaaronson.com Language: English - Date: 2018-08-29 15:30:40 Theoretical computer science Metaphysics Computer science Alan Turing Computability theory Theory of computation Models of computation ChurchTuring thesis Quantum computing Quantum mechanics Turing machine Introduction to quantum mechanics
10	Is Java Card ready for hash-based signatures? Ebo van der Laan1 , Erik Poll2 , Joost Rijneveld2 , Joeri de Ruiter2 , Peter Schwabe2 and Jan Verschuren1 1 Netherlands National Communication Security Agency (NLNCSA) Add to Reading List Source URL: joostrijneveld.nl Language: English - Date: 2018-09-03 08:56:26 Cryptography Post-quantum cryptography Quantum cryptography Emerging technologies Quantum computing Key Supersingular isogeny key exchange Ring learning with errors key exchange