Edu - PDFSEARCH.IO - Document Search Engine

Edu
Results: 1439644

#	Item
221	Parts of this work previously appeared at ACM CCSBN06] and CT-RSABN07]. This is the full version. New Multi-Signature Schemes and a General Forking Lemma Mihir Bellare1 Add to Reading List Source URL: soc1024.ece.illinois.edu Language: English - Date: 2017-09-18 20:31:22 Cryptography Public-key cryptography Post-quantum cryptography Digital signature Hash-based cryptography Forking lemma Blind signature Schnorr signature Key Ring signature RSA Group signature
222	Large-scale Analysis of Counseling Conversations: An Application of Natural Language Processing to Mental Health Tim Althoff∗, Kevin Clark∗, Jure Leskovec Stanford University {althoff, kevclark, jure}@cs.stanford.edu Add to Reading List Source URL: www.timalthoff.com Language: English - Date: 2016-08-14 16:55:55 Conversation Oral communication Psychotherapy Crisis intervention Human behavior School counselor
223	Learning gem5 – Part IV gem5 execution model, ISAs, and CPUs Jason Lowe-Power http://learning.gem5.org/ https://faculty.engineering.ucdavis.edu/lowepower/ Add to Reading List Source URL: learning.gem5.org Language: English - Date: 2018-09-17 11:50:25 Computer architecture Computing Central processing unit Instruction set architectures Reduced instruction set computer ARM architecture RISC-V System call X86
224	Model-Based API Testing for SMT Solvers∗ Aina Niemetz, Mathias Preiner, and Armin Biere Institute for Formal Models and Verification Johannes Kepler University, Linz, Austria Abstract Add to Reading List Source URL: smt-workshop.cs.uiowa.edu Language: English - Date: 2017-09-02 14:08:49 Software testing Theoretical computer science Software engineering Satisfiability modulo theories Solver Test automation Fuzzing Application programming interface Model-based testing API testing
225	Efficient Interpolation for the Theory of Arrays (work in progress) Jochen Hoenicke and Tanja Schindler∗ Department of Computer Science, University of Freiburg Add to Reading List Source URL: smt-workshop.cs.uiowa.edu Language: English - Date: 2017-09-02 14:08:49 Software engineering Computer programming Computing Interpolation Video Video signal Craig interpolation Pure Foreach loop
226	Generating Programs plus Proofs by Refinement Douglas R. Smith Kestrel Institute, Palo Alto, CaliforniaUSA 1 Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-02 20:27:15 Formal methods Computing Software engineering Theoretical computer science Specification language Refinement Abstract state machines Domain-specific language Specification Programming language Integrated circuit design Formal specification
227	Formal Development of a Graphical User Interface for a Radiation Therapy Machine Jonathan Jacky Jonathan Unger Radiation Oncology Department RC-08 University of Washington Add to Reading List Source URL: staff.washington.edu Language: English - Date: 2015-02-13 18:58:52 Humancomputer interaction User interface techniques Human behavior Software architecture Computing Computer User interface Graphical user interface
228	History 7-12, BS "DBEFNJD.BQ 5IF"DBEFNJD.BQTFSWFTBTBTVHHFTUFEDPVSTFTFRVFODFPOMZ4UVEFOUTBSFOPUMJNJUFEUPUIJTQMBOJUJTNFBOUUPCFVTFEBT Add to Reading List Source URL: catalog.southernct.edu Language: English - Date: 2018-10-06 18:04:46
229	nosatelite-3card-6card.ps Add to Reading List Source URL: www.lsi.upc.edu Language: English - Date: 2009-04-02 05:06:14 Constraint programming Local consistency XTR
230	Measuring small subgroup attacks against Diffie-Hellman Luke Valenta∗ , David Adrian† , Antonio Sanso‡ , Shaanan Cohney∗ , Joshua Fried∗ , Marcella Hastings∗ , J. Alex Halderman† , Nadia Heninger∗ ∗ Uni Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2017-09-13 08:39:05 Cryptography Algebra Abstract algebra Group theory Computational hardness assumptions DiffieHellman key exchange Cyclic group Logjam Generating set of a group Subgroup Whitfield Diffie Computational DiffieHellman assumption

UPDATE