Science - PDFSEARCH.IO - Document Search Engine

Science
Results: 788472

#	Item
141	Trust Is in the Eye of the Beholder Dimitri do B. DeFigueiredo, Earl T. Barr and S. Felix Wu∗ Dept. of Computer Science – UC Davis Revision NovemberAbstract Add to Reading List Source URL: web.cs.ucdavis.edu Language: English - Date: 2009-07-10 13:52:18 Reputation management Interpersonal relationships Human behavior Accountability Emotions Social constructionism Trust Behavioural sciences Psychology Reputation Trust management Computational trust
142	Mixture Density Networks Christopher M. Bishop Neural Computing Research Group Dept. of Computer Science and Applied Mathematics Aston University Add to Reading List Source URL: publications.aston.ac.uk Language: English - Date: 2017-02-05 19:13:20 Mathematical analysis Probability and statistics Probability theory Machine learning Computational neuroscience Computational statistics Artificial neural networks Bayesian statistics Gaussian function Mixture model Mixture distribution Joint probability distribution
143	Pareto Curves for Probabilistic Model Checking Vojtˇech Forejt1 , Marta Kwiatkowska1 , and David Parker2 1 2 Department of Computer Science, University of Oxford, UK Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2012-06-29 07:04:13 Linear temporal logic Temporal logic Symbol FO Differential topology operator
144	FEVS: A Functional Equivalence Verification Suite Stephen F. Siegel, Timothy K. Zirkel, Yi Wei Supported by the National Science Foundation under Grant No. CCF Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2010-07-21 10:31:13 Computing Software engineering Computer programming Array programming languages High-level programming languages Parallel computing Compiler optimizations Fortran Functional programming MATLAB Argonne National Laboratory NP
145	Machine Learning for Programs Martin Vechev Pavol Bielik Department of Computer Science Add to Reading List Source URL: files.sri.inf.ethz.ch Language: English - Date: 2018-09-05 10:57:47 Computing Application software Computer science Machine learning Conditional random field Symposium on Principles of Programming Languages Programming Language Design and Implementation R Structured prediction
146	GloVe: Global Vectors for Word Representation Jeffrey Pennington, Richard Socher, Christopher D. Manning Computer Science Department, Stanford University, Stanford, CA 94305 , , mann Add to Reading List Source URL: nlp.stanford.edu Language: English - Date: 2018-04-09 22:53:03 Algebra Mathematics Computational linguistics Linear algebra Natural language processing Artificial neural networks Machine learning Word2vec Word embedding Latent semantic analysis Vector space model GloVe
147	Curriculum Vitae — Computer Science Ian Glen Neal (+ Education Add to Reading List Source URL: about.iangneal.io Language: English - Date: 2018-10-04 15:10:51 Computing Free software Data management Embedded databases OpenLDAP File system Operating system Verilog SQLite Systems engineering Processor design
148	SCHOOL OF COMPUTER SCIENCE POSTGRADUATE STUDIES IN COMPUTER SCIENCE Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2017-04-10 06:51:54 Security engineering Electromagnetism Computer engineering Computer science Electrical engineering Electronic engineering Computer security Computing Carnegie Mellon School of Computer Science University of Colombo School of Computing
149	Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives Nicolas Basset∗ , Marta Kwiatkowska∗ , Ufuk Topcu† , and Clemens Wiltsche∗ ∗ Department of Computer Science, University of Oxford, Unite Add to Reading List Source URL: www.prismmodelchecker.org Language: English - Date: 2015-04-15 12:27:37 Mathematics Group theory Graph theory Markov chain Kazhdan's property Stochastic game Markov decision process Distribution -quadratic form
150	Order-LWE and the Hardness of Ring-LWE with Entropic Secrets Zvika Brakerski Renen Perlman Weizmann Institute of Science∗ Abstract Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2018-05-21 15:18:19 Cryptography Post-quantum cryptography Lattice-based cryptography Computational hardness assumptions Lie groups Ring learning with errors Learning with errors Lattice Homomorphic encryption Order Entropy Ring learning with errors key exchange

UPDATE