Yao Li

An Improved Artificial Fish-Swarm Algorithm and Its Applications

2021 · 2021 China Automation Congress (CAC)

The convergence and accuracy of the artificial fish swarm algorithm (AFSA) depend not only on the algorithm parameters, but also on the four different behaviors of the fish swarm algorithm. This paper analyzes the influence …

Ready, Set, Verify! Applying hs-to-coq to real-world Haskell code

2018 · arXiv (Cornell University)

Good tools can bring mechanical verification to programs written in mainstream functional languages. We use hs-to-coq to translate significant portions of Haskell's containers library into Coq, and verify it against specifications that we derive from …

The discussion on the progressive education of children and adolescents

2018

The methods of education for children and adolescents have been discussed in this paper, which ought to be the essential knowledge for parents and teachers to carry out children's education of setbacks, gradual influence, inspiration …

Knowledge Graph Enhanced Third-Party Library Recommendation for Mobile Application Development

2020 · IEEE Access

With the prevalence of smart terminal devices and the rapid development of the mobile Internet, mobile application markets become increasingly prosperous. Third-party libraries have played an essential role in mobile application development. These libraries can …

Automated Anomaly Detection Assisted by Discrimination Model for Time Series

2019

As more and more sensor data have been recorded, automated anomaly detection of high reliability is urgently needed to lessen the increasing monitoring burden and reduce the risk of system faults. To this end, this …

Migrate On-Premises Real-Time Data Analytics Jobs Into the Cloud

2021

Twitter's data platform team is serving a large number of real-time analytics jobs, powering a wide range of data science use cases, from aggregations over time to spam detection. These analytics jobs constitute a crucial …

A Review of Adversarial Attack and Defense for Classification Methods

2021 · The American Statistician

Despite the efficiency and scalability of machine learning systems, recent studies have demonstrated that many classification methods, especially Deep Neural Networks (DNNs), are vulnerable to adversarial examples; that is, examples that are carefully crafted to …

Supervised Parameter Estimation of Neuron Populations from Multiple Firing Events

2022 · arXiv (Cornell University)

The firing dynamics of biological neurons in mathematical models is often determined by the model's parameters, representing the neurons' underlying properties. The parameter estimation problem seeks to recover those parameters of a single neuron or …