Automated search for supernova explosions

Automated segmentation of the pulmonary arteries in low-dose CT by vessel tracking

Automated selection of LEDs by luminance and chromaticity coordinate

Automated Semantic Grading of Programs

Automated Sky-Compensating Photometer with a Silicon Photodiode

Automated Software Testing Using Metahurestic Technique Based on An Ant Colony Optimization

Automated spectral classification of broad-line and narrow-line active galactic nuclei based on K-nearest neighbour

Automated Spreadsheet Development

Automated Stereogrammetry of Venus

Automated supernova search

Automated supernova search

Automated Symbolic Analysis of ARBAC-Policies (Extended Version)

Automated Synthesis of a Finite Complexity Ordering for Saturation

Automated Synthesis of Assertion Monitors using Visual Specifications

Automated synthesis of reliable and efficient systems through game theory: a case study

Automated Synthesis of Tableau Calculi

Automated telescope scheduling

Automated Termination Analysis for Logic Programs with Cut

Automated Termination Proofs for Logic Programs by Term Rewriting

Automated Text Summarization Base on Lexicales Chain and graph Using of WordNet and Wikipedia Knowledge Base