* Automated Mathematician, an artificial intelligence program

Douglas Lenat's Automated Mathematician and Eurisko artificial intelligence programs were inspired by Pólya's work.

* Automated Mathematician

A sequel to Automated Mathematician, it consists of heuristics, i. e. rules of thumb, including heuristics describing how to use and change its own heuristics.

Automated theorem proving ( also known as ATP or automated deduction ) is the proving of mathematical theorems by a computer program.

::; Automated external defibrillator ( AED ): An external defibrillator that is commonly found outside of health care settings.

This process whereby an actor rerecords lines spoken during filming in order to improve audio quality or reflect dialogue changes is called Automated Dialogue Replacement ( ADR ), also known as Additional Dialogue Recording.

Automated Dialogue Replacement, or Additional Dialogue Recording ( ADR ), is the process of re-recording the original dialogue after the filming process for the purpose of obtaining a cleaner, more intelligible dialogue track ( also known as " looping " or a " looping session ").

The FBI has been forced to continue using its decade-old Automated Case Support system, which is considered woefully inadequate by IT experts.

The Hong Kong International Airport Automated People Mover is a driverless people-mover system located within the Hong Kong International Airport in Chek Lap Kok.

The municipal library, the Brooks Free Library in Harwich Center, is the largest and is a member of the Cape Libraries Automated Materials Sharing library network.

The change being undertaken in some organizations is to switch to Automated Business Process ( ABP ) software which generates complete systems.

Automated, potentially lossless digital technologies allowed vast increases in the rapidity of information growth in an era that is now sometimes called an " Information Age ".

* Hydrophobia ( video game ) from Dark Energy Digital features the MAVI ( Mobile Automated Visual Interface ), which is a tool used to enhance environmental geometry among other purposes.

Automated driverless systems are not exclusively rubber-tyred ; many have since been built using conventional rail technology, such as London's Docklands Light Railway, the Copenhagen metro and Vancouver's SkyTrain, the Disneyland Resort Line which uses converted rolling stocks from non-driverless trains, as well as AirTrain JFK which is linking JFK Airport in New York City with local subway and commuter trains.

The town's post office and public library are also located nearby, and the library is a member of the Cape Libraries Automated Materials Sharing library network.

The post office is located just east of the Vineyard Camp Meeting Association lands, as is Oak Bluffs Public Library, which is a member of the Cape Libraries Automated Materials Sharing library network.

The Vineyard Haven Public Library is located just north of the heart of Vineyard Haven, and is a part of the Cape Libraries Automated Materials Sharing library network.

Each patrol car is equipped with a first aid kit, oxygen tank, and an Automated external defibrillator.

Each patrol car is equipped with a first aid kit, oxygen tank, and an Automated external defibrillator.

The library is a member of the Morris Automated Information Network consortium.

Each patrol car is equipped with a first aid kit, oxygen tank, and an Automated external defibrillator.

The system that handles these tones is called the Automated Coin Toll Service, or ACTS.

Automated voice solutions allow the agents to remain on the line while disclosures and other important information is provided to customers in the form of pre-recorded audio files.

This is the spaceport used by the ESA to send supplies to the International Space Station using the Automated Transfer Vehicle.

In 1918 Hobart C. Niblack patented an apparatus that automatically changed records, leading to one of the first selective jukeboxes being introduced in 1927 by the Automated Musical Instrument Company, later known as AMI.

The FBI Latent Print Unit processed a fingerprint collected in Madrid and reported a " 100 percent positive " match against one of the 20 fingerprint candidates returned in a search response from their IAFIS — Integrated Automated Fingerprint Identification System.

" The bank was also one of the first to offer full service Automated Teller Machines ( ATM's ) which were named " Ready Freddy " and included a picture of Fred until the Bank decided to terminate its contract with Hanna Barbera to use the likeness.

The 40-year-old company responsible for the design of the automated system, BAE Automated Systems of Carrollton, Texas, at one time responsible for 90 % of the baggage systems in the United States, was acquired in 2002 by G & T Conveyor Company, Inc.

An Automated Side Loader only needs one operator, where a traditional rear load garbage truck may require two or three people, and has the additional advantage of reducing on the job injuries due to repetitive heavy lifting.

Note that " CAPTCHA " is an acronym for " Completely Automated Public Turing test to tell Computers and Humans Apart " so that the original designers of the test regard the test as a Turing test, not specifically a reverse one.

In preparation for the arrival of the European Space Agency's Automated Transfer Vehicle ( ATV ), Padalka and Fincke removed laser retro reflectors from the Zvezda Service Module assembly compartment and installed three updated laser retro reflectors and one internal videometer target.

Although instrumentation and surgical techniques for endokeratoplasty are still in evolution, one commonly performed form of endokeratoplasty at present is Descemet's Stripping ( Automated ) Endothelial Keratoplasty ( DSEK DSAEK ).

* ZAIRZA is the official technical society and is initiated by its students. ZAIRZA was born in the year 2005-2006 with Software and Manual robotics as the two main wings, but it was made official in the year 2007 by the college Administration with addition of Automated robotics ( Which is one main wing now ).

Before joining the Department of Computer Sciences as the chair, he formed a company, Computational Logic Inc., along with others including his close friend at the University of Texas at Austin and one of the highly regarded professors in the field of Automated Reasoning, Robert S. Boyer.

A group of U. S. Marine simulations experts originally led by Major Kirk Skinner, including Lieutenant Luis Velasquez and Lieutenant Scott Barnett as the project officers with Sergeant Snyder as one of the designers and modelers, in Quantico, Virginia of the Automated Information Systems Office, and later Marine Corps Modeling and Simulation Management Office ( MCMSMO ), obtained a copy of the commercial Doom, released in 1993 by id Software, and used it to develop a simulation that focused on mutual fireteam support, protection of the automatic rifleman, proper sequencing of an attack, ammunition discipline and succession of command.

Automated fingerprint identification is the process of automatically matching one or many unknown fingerprints against a database of known and unknown prints.

There is one Automated Ticket Machine, which is next to the Ticket office.

There is one Automated Ticket Machine at surface level, and a Permit to Travel machine adjacent to the ticket office.

; Automated templates: Create standard output templates ( usually HTML and XML ) that can be automatically applied to new and existing content, allowing the appearance of all content to be changed from one central place.

Then the Vermont Organization of Koha Automated Libraries ( VOKAL ) was organized to create one database to be used by libraries.