Optical Imaging of Paramagnetic Bead-DNA Aggregation Inhibition Allows for Low Copy Number Detection of Infectious Pathogens

Source URL: shukla.io

• Molecular biology
• Biology
• Biochemistry
• Nature
• Polymerase chain reaction
• Laboratory techniques
• Biotechnology
• DNA replication
• Loop-mediated isothermal amplification
• Nucleic acid test
• Real-time polymerase chain reaction
• Reverse transcription polymerase chain reaction

Software Bug Localization with Markov Logic Sai Zhang, Congle Zhang University of Washington Presented by Todd Schiller

Source URL: zhang-sai.github.io

• Software engineering
• Software
• Code coverage
• Software testing
• ARG2
• Xdebug
• Relational operator
• Tarantula
• Computer programming

All Your Cards Are Belong To Us: Understanding Online Carding Forums Andreas Haslebacher, Jeremiah Onaolapo, and Gianluca Stringhini University College London {j.onaolapo,g.stringhini}@cs

Source URL: jonaolapo.github.io

Static Reference Analysis for GUI Objects in Android Software Atanas Rountev Dacong Yan

Source URL: dacongy.github.io

• Computing
• Computer programming
• Software engineering
• Knowledge representation
• Tree
• Node
• Static single assignment form
• Object Process Methodology
• Recursion

    Code of Conduct    TL;DR.​ Be respectful. Harassment and abuse are never tolerated. If you are in a situation that 

Source URL: sachacks.io

• Abuse
• Human behavior
• Behavior
• Harassment
• Hackathons
• Major League Hacking
• Bullying
• MLH
• Stalking

OneSolution Crowdfunding Terms and Conditions INTRODUCTION These terms and conditions (hereinafter the “Terms”), Privacy Policy and any terms and conditions published from time to time on the Website (being https://1

Source URL: 1solution.io

• Economy
• Money
• Financial technology
• Finance
• Cryptocurrencies
• Payment systems
• Alternative currencies
• Crowdfunding
• Entrepreneurship
• Ethereum
• Equity crowdfunding

TECHNICAL WHITEPAPER Version 2.5 © 2018, everiToken Zug, Switerzland

Source URL: www.everitoken.io

• Cryptocurrencies
• Blockchains
• Concurrent computing
• Ethereum
• Distributed computing
• Alternative currencies
• Computing
• Cross-platform software
• Smart contract
• ERC-20
• EOS.IO
• Non-fungible token

Static Analysis of Real-Time Embedded Systems with REK Arie Gurfinkel1

Source URL: arieg.bitbucket.io

• Carnegie Mellon University
• Software Engineering Institute
• Carnegie Mellon Silicon Valley
• Software engineering
• Mellon
• Pittsburgh

Trust in Formal Methods Toolchains Arie Gurfinkel Software Engineering Institute Carnegie Mellon University

Source URL: arieg.bitbucket.io

• Software engineering
• Theoretical computer science
• Formal methods
• Computing
• Computer science
• Computer security
• Model checking
• Verification
• Formal verification
• Carnegie Mellon University
• Proof-carrying code
• Software Engineering Institute