Large-scale Analysis of Counseling Conversations: 
 An Application of NLP to Mental Health Tim Althoff*, Kevin Clark*, Jure Leskovec @timalthoff  

Source URL: www.timalthoff.com

• Psychiatry
• Health
• Psychology
• Disability
• Mental health
• Positive psychology
• Social constructionism
• Counselor
• Psychotherapy
• Mental disorder
• School counselor
• Clinical mental health counseling

Automated Generation of Requirements-based Test Cases for an Adaptive Cruise Control System Adina Aniculaesei Falk Howar

Source URL: www.falkhowar.de

• Software testing
• Software engineering
• Test suite
• Test case
• Code coverage
• Test automation
• Software requirements
• NuSMV
• Requirement
• Reliability engineering

SMT-Based Model Checking for Recursive Programs ⋆ Anvesh Komuravelli, Arie Gurfinkel, and Sagar Chaki Carnegie Mellon University, Pittsburgh, PA, USA Abstract. We present an SMT-based symbolic model checking algorithm

Source URL: seahorn.github.io

• Mathematics
• Symbol
• 120-cell
• Craig interpolation
• Computability theory
• Fiber bundles
• Differential topology

Microsoft Word - EO 16 Establishing An Inter-agency Task Force On Worker Misclassification And Payroll Fraud.docx

Source URL: www.governor.virginia.gov

• Economy
• Labour law
• Social programs
• Law
• Government
• Taxation in the United States
• Workers' compensation
• United States labor law
• Independent contractor
• Payroll
• Federal Insurance Contributions Act tax
• Unemployment benefits

Medienmitteilung Anforderungen an die Mobilität von morgen Bern, – Der Schweizerische Verband der Telekommunikation (asut) hat mit über 30 Experten aus der Verkehrs- und Transportbranche und aus der ICT-I

Source URL: asut.ch

HOW TO VOTE USING AN OPTIC SCAN BALLOT

Source URL: www.sos.state.oh.us

• Elections
• Voting
• Politics
• Group decision-making
• Ballot
• Write-in candidate
• Optical scan voting system
• Electronic voting

1 Postquantum SSL/TLS for embedded systems Yun-An Chang† , Ming-Shing Chen†‡ , Jong-shian Wu† , Bo-Yin Yang‡ , of Electrical Engineering, National Taiwan University, Taiwan ‡ Institute of Information Science

Source URL: precision.moscito.org

• Cryptography
• Public-key cryptography
• Transport Layer Security
• Cryptographic software
• Secure communication
• Cryptographic protocols
• Mbed TLS
• Cipher suite
• OpenSSL
• Forward secrecy
• Post-quantum cryptography
• HTTPS

Quantstamp Visual Timeline 2017–2018 Our Development Philosophy The blockchain world is a rapidly evolving industry. For this reason, we implement an agile development process. In contrast to the

Source URL: quantstamp.com

• Cryptocurrencies
• Blockchains
• Computing
• Information
• Technology
• Ethereum
• Smart contract
• Agile software development
• Cardano
• Computer security

Detection Bank: An Object Detection Based Video Representation for Multimedia Event Recognition Tim Althoff UC Berkeley EECS/ICSI

Source URL: www.timalthoff.com

• Computer vision
• Applications of computer vision
• Gesture recognition
• Surveillance
• Feature detection
• Bag-of-words model in computer vision
• Conference on Computer Vision and Pattern Recognition
• Object detection

Why your continuous integration and delivery practices need an edge cloud platform Introduction WHITE PAPER

Source URL: www.fastly.com

• Software development
• Continuous integration
• Software development process
• Agile software development
• Build automation
• Extreme programming
• Continuous delivery
• CI/CD
• DevOps
• Travis CI
• Test automation
• Cloud computing