University - PDFSEARCH.IO - Document Search Engine

University
Results: 634567

#	Item
181	Getting to Work with OpenPiton Princeton University http://openpiton.org OpenPit Add to Reading List Source URL: parallel.princeton.edu Language: English - Date: 2017-02-16 15:26:22 Electronic engineering Electronic design automation Digital electronics Hardware acceleration Hardware description languages High-level synthesis Field-programmable gate array Mentor Graphics Synopsys Xilinx Verilog
182	FROM PUBLICATION  TO IMPACT ! Professor Anne-Wil Harzing University of Melbourne www.harzing.com Add to Reading List Source URL: harzing.com Language: English - Date: 2016-11-15 10:32:32 Academic publishing Publishing Knowledge Citation metrics Bibliometrics Research Citation impact Research and development Publish or perish Google Scholar Citation analysis Citation
183	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
184	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
185	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
186	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
187	Bloom Filter Encryption and Applications to Efficient Forward-Secret 0-RTT Key Exchange David Derler1 , Kai Gellert2 , Tibor Jager2 , Daniel Slamanig3 , and Christoph Striecks3 1 Graz University of Technology Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2018-03-27 10:44:26 Cryptography Public-key cryptography Ciphertext indistinguishability ID-based encryption Chosen-plaintext attack RSA Ciphertext Proxy re-encryption Homomorphic encryption XTR Key encapsulation Semantic security
188	Election Violence Research Workshop February 15-16, 2018 REC B 9.22 Common Room Political Science University of Amsterdam Workshop Summary Add to Reading List Source URL: ursuladaxecker.weebly.com Language: English - Date: 2018-01-21 05:04:27 Human behavior Dispute resolution Violence Behavior Gender studies Violence against women Sexual violence Social conflict European Centre for Electoral Support Religious violence Communal violence Peace and conflict studies
189	Mille-Feuille: Putting ISP traffic under the scalpel Olivier Tilmans ‡∗, Tobias Bühler §, Stefano Vissicchio †, Laurent Vanbever § ‡ Université catholique de Louvain, § ETH Zürich, † University College Lo Add to Reading List Source URL: www0.cs.ucl.ac.uk Language: English - Date: 2016-11-17 12:53:02 Computing Information and communications technology Network architecture Internet architecture Internet Standards Routing protocols Computer networking Network protocols Computer network Network switch Port mirroring NetFlow
190	Unfailing Haskell: A Static Checker for Pattern Matching Neil Mitchell and Colin Runciman http://www.cs.york.ac.uk/∼ndm , http://www.cs.york.ac.uk/∼colin University of York, UK Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Computer programming Software engineering Declarative programming Recursion Functional programming Computability theory Theoretical computer science Programming paradigms Algebraic data type Fold Pattern matching Conditional

UPDATE