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

Source URL: www.timalthoff.com

• Conversation
• Oral communication
• Psychotherapy
• Crisis intervention
• Human behavior
• School counselor

Time-Bounded Analysis of RealTime Systems Sagar Chaki1, Arie Gurfinkel1, Ofer Strichman2, Soonho Kong1 1Software

Source URL: arieg.bitbucket.io

• Carnegie Mellon University
• Software Engineering Institute
• Carnegie Mellon Silicon Valley
• Alan Turing
• Mathematics
• British people
• Pittsburgh

Discovering Concrete Attacks on Website Authorization by Formal Analysis

Source URL: www.doc.ic.ac.uk

• Computing
• Computer access control
• Computer security
• Cloud standards
• Federated identity
• Security
• OAuth
• Cross-site request forgery
• OpenID
• Cross-site scripting
• Social login
• HTTP cookie

An Empirical Analysis of Anonymity in Zcash George Kappos, Haaroon Yousaf, Mary Maller, and Sarah Meiklejohn University College London {georgios.kappos.16,h.yousaf,mary.maller.15,s.meiklejohn}@ucl.ac.uk Abstract

Source URL: smeiklej.com

• Cryptocurrencies
• Exonumia
• Numismatics
• Money
• Zcash
• Bitcoin
• Kraken
• Monero
• Bitcoin Private

Quantitative analysis of disfluency in children with autism spectrum disorder or language impairment

Source URL: alison.rbind.io

• Human communication
• Health
• Medicine
• Psychiatric diagnosis
• Communication disorders
• Speech and language pathology
• Autism
• Pervasive developmental disorders
• Autism spectrum
• Specific language impairment
• Stuttering
• Developmental disorder

A Security Analysis of Police Computer Systems Benjamin VanderSloot∗ Stuart Wheaton∗ J. Alex Halderman

Source URL: benvds.com

• Computer security
• Computing
• Computer network security
• Security engineering
• Information and communications technology
• Crime prevention
• Cryptography
• National security
• Virtual private network
• SCADA
• FBI Criminal Justice Information Services Division
• Computer network

PROTEIN QUANTITATION FROM WHOLE BLOOD ON POLYESTER-TONER LASER-PRINTED MICROFLUIDIC DISCS WITH CELL PHONE IMAGE ANALYSIS Brandon L. Thompson1, Yiwen Ouyang1,5, Jingyi Li1, Shannon T. Krauss1, Nishant Shukla2, Bryan G. Ke

Source URL: shukla.io

• Blood
• Anatomy
• Hematology
• Histology
• Hematocrit
• Serum albumin
• Albumin
• Serum
• Blood plasma
• Microfluidics

DOI:http://dx.doi.orgAPJCPBlood Groups and Risk of Cancer: a Systematic Review and Meta-Analysis RESEARCH ARTICLE ABO Blood Groups and Risk of Cancer: a Systematic Review and Meta-analysis

Source URL: journal.waocp.org

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.

Source URL: qav.comlab.ox.ac.uk

• Markov processes
• Probability
• Markov models
• Model checkers
• PRISM model checker
• Model checking
• Markov reward model
• Markov chain
• Markov decision process
• Probabilistic CTL
• Prism

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

Source URL: dacongy.github.io

• Software engineering
• Subroutines
• Computing
• Computer programming
• Programming paradigms
• Callback
• Network flow problem
• Event
• Data-flow analysis
• Control flow analysis
• Flow network
• Control flow graph