Ján

Results: 45437



#Item
1Finite automata / Abstract algebra / Algebra / Finite-state transducer / Mathematics / Theoretical computer science / Finite-state machine / Semigroup action / Kazhdan's property / Tree transducer

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
2Software engineering / Computer programming / Computing / Functional languages / Profilers / Control flow / Profiling / Software optimization / Racket / Arc / Stack / Matthias Felleisen

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
3Quantum 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

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
4Cryptography / Computer security / Trusted computing / Cryptographic software / Direct Anonymous Attestation / Trusted Platform Module / Digital signature / Secure multi-party computation / Universal composability / Privacy

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
5Food 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

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
6Cryptography / 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

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
7Software 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

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
8Cryptography / 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

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
9Theoretical 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

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
10Cryptography / Post-quantum cryptography / Quantum cryptography / Emerging technologies / Quantum computing / Key / Supersingular isogeny key exchange / Ring learning with errors key exchange

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
UPDATE