Qlose: Program Repair with Quantitative Objectives⋆ Loris D’Antoni1 , Roopsha Samanta2 , and Rishabh Singh3 1 University of Wisconsin-Madison

Source URL: rishabhmit.bitbucket.io

• Computing
• Computer programming
• Software engineering
• Source code
• Syntax
• Dependency grammar
• Expr
• NC
• For loop
• Term

白皮书 版本 001 生态系统 2017年8月

Source URL: hacken.io

Nishant Shukla Notes September 21, 2016

Source URL: shukla.io

• Computational neuroscience
• Robotics
• Artificial intelligence
• Robot
• Technology
• Science and technology
• Applied mathematics

Bytom Global Dev Competition Final Introduction Bytom Global Dev Competition is committed to promoting the application of blockchain technology and strengthening the

Source URL: bytom.io

• Cryptocurrencies
• Bitcoin
• Computing
• Blockchain
• Encodings
• Information
• Bounty
• Data

Invest in future. Invest in your side of the firewall We provide individualized service based on peculiarities of your code and cybersecurity perimeter and offer wide customization options for each bug bounty program tha

Source URL: hacken.io

• Security engineering
• Cyberwarfare
• Computer network security
• Cybercrime
• Computer security
• Cryptography
• Secure communication
• HKN
• Security

Ternion Executive Business Summary Ternion Mission With Ternion, our goal is to build a reliable bridge to connect modern financial realities with the decentralized financial systems of the future, facilitating practica

Source URL: ternion.io

• Cryptocurrencies
• Economy
• Money
• Alternative currencies
• Finance
• Digital currencies
• Financial technology
• Stablecoin
• Blockchains
• Bitcoin
• Counterparty
• Initial coin offering

Automated Vulnerability Analysis of AC State Estimation under Constrained False Data Injection in Electric Power Systems Sicun Gao1 , Le Xie2 , Armando Solar-Lezama1 , Dimitrios Serpanos3 , and Howard Shrobe1 Abstract—

Source URL: scungao.github.io

• Mathematics
• Electromagnetism
• Electric power
• Electrical engineering
• Power engineering
• Power-flow study
• Parameter
• Variable

LEVERJ DECENTRALIZED LEVERAGED EXCHANGE Technical Adviser

Source URL: www.leverj.io

• Economy
• Cryptocurrencies
• Money
• Finance
• Blockchain
• Counterparty
• Smart contract
• Derivative
• Algorithmic trading
• Decentralized exchange
• Order matching system
• Computer security

Towards Solving Differential Equations through Neural Programming Forough Arabshahi 1 Sameer Singh 1 Animashree Anandkumar 2 1. Introduction Differential equations are used to model numerous phenomena such as heat, elec

Source URL: uclmr.github.io

• Mathematics
• Differential equations
• Calculus
• Abstraction
• Partial differential equation
• Ordinary differential equation
• Equation
• Artificial neural network
• Linear differential equation
• Numerical methods for ordinary differential equations

Understanding Regression Failures through Test-Passing and Test-Failing Code Changes Roykrong Sukkerd , Ivan Beschastnikh , Jochen Wuttke , Sai Zhang , Yuriy Brun University of Washington University of Massachusetts Seat

Source URL: zhang-sai.github.io

• Abstract algebra
• Estimation theory
• Extreme programming
• Software testing
• Mathematics
• Debugging
• Delta debugging
• Regression analysis
• Regression testing
• Localization