Vo, Hoang Viet

The study of how prairie rattlesnakes, a common species of reptiles across the United States, regulate their body temperature is essential to human efforts to conserve such species and maintain ecological balance. The...

Le, Hieu Kinh

Ensemble methods are widely applied in classification problems. Ensemble methods combine results from multiple classifiers to overcome the possible deficiency of any single classifier. One important question is how to construct...

Kelly, Samuel Livingston

In this paper we present two novel abstract syntax tree (AST) indexing algorithms that solve the get-descendants-by-type problem in near constant time. This work has been implemented in the U.S. Department of Energy's ROSE...

Nguyen Tra, My

We present a case study on the development of a formally verified PHP web social network application. With the expansion of social media and our presence in the cyber world, the privacy and security of our content online have...

Okogwu, Beverley-Claire Adaobi

Genetic Algorithms (GAs) are a branch of search algorithms popularly used due to their ability to find near optimal solutions in reasonable amounts of time. The algorithm itself stems from the Darwinian Theory of natural...

Sun, Peixin

Cogen, Adam

Toris, Russell Charles

Evolutionary Robotics is an expanding area in the world of robotics that incorporates ideas from fields such as Biology, Engineering, and Computer Science. The main idea behind Evolutionary Robotics is to use computerized...

Keating, Michael Patrick

Midkiff, James