University - PDFSEARCH.IO - Document Search Engine

University
Results: 634567

#	Item
211	Handling Multiword Expressions in Causality Estimation Shota Sasaki, Sho Takase, Naoya Inoue, Naoaki Okazaki, Kentaro Inui Tohoku University {sasaki.shota, naoya-i, okazaki, inui}@ecei.tohoku.ac.jp . Add to Reading List Source URL: aclweb.org Language: English - Date: 2017-12-22 15:42:33 Metaphysics Linguistics Causality Conditionals Philosophy of science Idiom Causal reasoning Lexical item
212	A Class of Greedy Algorithms And Its Relation to Greedoids Srinivas Nedunuri Dept. of Computer S ien es University of Texas at Austin Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2014-10-03 20:56:47 Mathematics Combinatorics Combinatorial optimization Greedoid Order theory Matroid theory Matroid Universal property Greedy algorithm
213	Loyalty in Online Communities William L. Hamilton∗ † , Justine Zhang∗ ‡ , Cristian Danescu-Niculescu-Mizil‡ , Dan Jurafsky† , Jure Leskovec† † Stanford University, ‡ Cornell University Add to Reading List Source URL: stanford.edu Language: English - Date: 2017-05-31 04:48:31 Digital media World Wide Web Collaboration Community building Social information processing Virtual reality Crowdsourcing Reddit Online community Social networking service Customer engagement Social media
214	FLIP the (Flow) Table: Fast LIghtweight Policy-preserving SDN Updates Stefano Vissicchio∗ , Luca Cittadini† ∗ Universit´e catholique de Louvain † RomaTre University Add to Reading List Source URL: www0.cs.ucl.ac.uk Language: English - Date: 2016-11-17 12:53:02 Network flow problem Physics Internet architecture Flow network Routing Work
215	PRISM: Probabilistic Model Checking for Performance and Reliability Analysis Marta Kwiatkowska, Gethin Norman and David Parker Oxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford, OX1 3QD {marta. Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2008-12-15 10:57:28 Markov processes Probability Markov models Model checkers PRISM model checker Model checking Markov reward model Markov chain Markov decision process Probabilistic CTL Prism
216	On Collaborative Predictive Blacklisting∗ Luca Melis, Apostolos Pyrgelis, Emiliano De Cristofaro University College London arXiv:1810.02649v1 [cs.CR] 5 Oct 2018 Add to Reading List Source URL: arxiv.org Language: English - Date: 2018-10-07 20:56:58 Information science Statistical classification Information retrieval Mathematics Information retrieval evaluation Biostatistics Bioinformatics Data mining Cluster analysis Precision and recall K-nearest neighbors algorithm K-means clustering
217	Implementing Post-Quantum Cryptography on the Cortex M4 Matthias Kannwischer, Joost Rijneveld, Peter Schwabe, and Ko Stoffelen Radboud University, Nijmegen, The Netherlands Add to Reading List Source URL: joostrijneveld.nl Language: English - Date: 2018-09-12 10:43:16 Emerging technologies Quantum computing Theoretical computer science Quantum cryptography Cryptography Quantum information science Technology Applied mathematics Post-quantum cryptography Internet of things
218	Algorithmic Logic-Based Verification with SeaHorn (Invited Tutorial) Arie Gurfinkel Software Engineering Institute Carnegie Mellon University http://arieg.bitbucket.org Add to Reading List Source URL: arieg.bitbucket.io Language: English - Date: 2018-10-19 18:15:18 Theoretical computer science Formal methods Software engineering Logic in computer science Formal verification Satisfiability modulo theories Abstract interpretation Loop invariant Logic programming Model checking KeY Software verification
219	Combined Static and Dynamic Automated Test Generation Sai Zhang University of Washington Joint work with: Add to Reading List Source URL: zhang-sai.github.io Language: English - Date: 2015-05-05 00:58:35 Computing Software engineering Java platform Cross-platform software Object-oriented programming languages Software testing Java Database Connectivity JUnit D Test automation
220	Static Control-Flow Analysis of User-Driven Callbacks in Android Applications Shengqian Yang, Dacong Yan, Haowei Wu, Yan Wang, and Atanas Rountev Ohio State University Email: {yangs,yan,wuhaow,wang10,rountev}@cse.ohio-st Add to Reading List Source URL: dacongy.github.io Language: English - Date: 2017-06-27 01:04:15 Software engineering Subroutines Computing Computer programming Programming paradigms Callback Network flow problem Event Data-flow analysis Control flow analysis Flow network Control flow graph

UPDATE