Proceedings - PDFSEARCH.IO - Document Search Engine

Proceedings
Results: 28892

#	Item
11	Proceedings of Machine Learning Research, 4th International Conference on Predictive Applications and APIs An Architecture and Domain Specific Language Framework for Repeated Domain-Specific Predictive M Add to Reading List Source URL: proceedings.mlr.press Language: English - Date: 2018-08-30 22:04:11 Software engineering Computing Modeling and simulation Software architecture Software design Domain-specific language Domain-driven design Conceptual model Architectural pattern Scientific modelling Domain-specific modeling Feature engineering
12	LIPIcs Leibniz International Proceedings in Informatics Continuous-Time Stochastic Games with Time-Bounded Reachability Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2013-12-01 10:22:58 Mathematics Mathematical analysis Group theory Geometric group theory Measure theory Boolean algebra Experiment Sigma-algebra Determinacy Kazhdan's property Jet bundle Orbifold
13	Proceedings of the 1999 Haskell Workshop Erik Meijer (editor) UU-CS Add to Reading List Source URL: www.haskell.org Language: English - Date: 2015-02-15 12:19:14 Software engineering Computer programming Declarative programming Type theory Functional programming Data types Type systems Functional languages Haskell Type class Monad Generic programming
14	Proceedings Template - WORD Add to Reading List Source URL: gdac.uqam.ca Language: English - Date: 2017-10-04 00:34:38 Artificial neural networks Artificial intelligence Natural language processing Linguistics Machine learning Computational neuroscience Computational linguistics Statistical natural language processing Word embedding Sentiment analysis Word2vec Convolutional neural network
15	Full version of an extended abstract published in Proceedings of PKC 2015, Springer-Verlag, 2015. Available from the IACR Cryptology ePrint Archive as ReportA Profitable Sub-Prime Loan: Obtaining the Advantage Add to Reading List Source URL: smeiklej.com Language: English - Date: 2018-10-23 14:58:02 Algebra Abstract algebra Mathematics Group theory Linear algebra Pairing-based cryptography Subgroup Pairing XTR Generalized flag variety
16	ZKProof Standards Applications Track Proceedings 1 August 2018 + subsequent revisions This document is an ongoing work in progress. Feedback and contributions are encouraged. Track Chairs: Add to Reading List Source URL: zkproof.org Language: English - Date: 2018-10-25 10:32:39 Identity management Cryptography Computer security Identity Federated identity Computer access control Zero-knowledge proof Credential Cryptographic protocol NP Credit card Digital identity
17	Proceedings on Privacy Enhancing Technologies 2015; ):4–24 Nikita Borisov, George Danezis, and Ian Goldberg* DP5: A Private Presence Service Abstract: Users of social applications like to be notified Add to Reading List Source URL: www.degruyter.com Language: English Cryptography Public-key cryptography Transport Layer Security Cross-platform software Internet protocols Cryptographic protocols Private information retrieval XMPP Forward secrecy HTTPS Email WHOIS
18	Appeared in Proceedings of the Fourth Symposium on Operating Systems Design and Implementation (OSDI 2000), pages 347–360, San Diego, CA, October 23–25, 2000. Knit: Component Composition for Systems Software Alastair Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2000-10-30 16:55:50 Software engineering Computer programming Computing Object-oriented programming Component-based software engineering Inter-process communication C++ Component Object Model Inline function ECO Scope C standard library
19	ZKProof Standards Implementation Track Proceedings 1 August 2018 + subsequent revisions This document is an ongoing work in progress. Feedback and contributions are encouraged. Track chairs: Add to Reading List Source URL: zkproof.org Language: English - Date: 2018-10-25 10:32:39 Software engineering Computer programming Computing Constraint programming Benchmark JavaScript Constraint satisfaction problem Mathematical proof Constraint satisfaction Non-interactive zero-knowledge proof
20	Full version of an extended abstract published in Proceedings of Eurocrypt 2014, Springer-Verlag, 2014. D´ej`a Q: Using Dual Systems to Revisit q-Type Assumptions Sarah Meiklejohn∗ UC San Diego Add to Reading List Source URL: smeiklej.com Language: English - Date: 2018-10-23 14:58:02 Algebra Abstract algebra XTR Verifiable random function Computational hardness assumptions Group theory Lie groups