In project, I provide a general view of facial recognition and and its the real life applications.
2019-01-01» Formal abstract - FABS
The Formal Abstracts project was initiated by Thomas Hales in 2017. See his talk Big conjectures from the Big Proof meeting in Cambridge.
A formal abstract, or fabstract for short, is a formalization of the main results (constructions, definitions, proofs, conjectures) of a piece of informal mathematics, such as a research paper. There is no requirement that the entire text be formalized. Proofs of statements are omitted. A formal abstract is not the formalization of the abstract itself.
Chairman: Thomas C. Hales, Professor
Members: Thang Long University, Pittsburgh University and Carnegie Mellon University
Breast cancer is regarded as the leading cause of death in females in Vietnam. The screening mammogram is one of the most common methods used for early detection of breast cancer. However, the radiopaque artifacts such as wedges and labels or pectoral muscle in the mammogram images can reduce the rate of accuracy. Therefore, the pre-processing of mammogram images creates the possibility of detection of lesion successfully. In this project, we propose automatic techniques (Deep learning) to preprocess mammograms images and present a new approach to detect and segment mass cancer on screening mammograms for early breast cancer detection stage.
This is a my undergraduate thesis. In project, I provide a general view of communities and its the real life applications. In recent years, with the rapid growth of network scale, it is a difficult task to detect overlapping communities in large-scale networks for state of the art methods. This method is implemented in the Apache Spark framework for its power in distributed parallel computation.
This paper describes and implements the classical method to generate random strong primes used in cryptography. Specifically, the Rabin-Miller and Gordon algorithmsare presented in detail.