Computer Sciences

Algorithm boosts efficiency, nutrition for food bank ops

Cornell University systems engineers examined data from a busy New York state food bank and, using a new algorithm, found ways to better distribute and allocate food, and elevate nutrition among its patrons in the process.

Computer Sciences

Can a new algorithm make self-driving cars safer?

A driverless car isn't driven by a person but is controlled by a system of sensors and processors. In many countries, tests of autonomous driving have been happening for years. Germany wants to permit driverless cars across ...


Parking sensors

Even in the middle of a pandemic lockdown, finding a good parking space can be a painful task. Now, work published in the International Journal of Sensor Networks, offers a new approach to parking space allocation based on ...


Report: Algorithm question complicates TikTok sale

Sale talks for TikTok's U.S. operations have been complicated by the key question of whether the app's core algorithms can be included as part of a deal, according to a introduced export restrictions on artificial intelligence ...

Computer Sciences

Managing data flow to boost cyber-physical system performance

Researchers from North Carolina State University have developed a suite of algorithms to improve the performance of cyber-physical systems—from autonomous vehicles to smart power grids—by balancing each component's need ...

Computer Sciences

A heuristic search algorithm to plan attacks in robotic football

Robots have gradually been making their way into a variety of fields and settings, including sports competitions. Robotic football, or soccer, is an innovative version of soccer in which human players are replaced by robots.

Computer Sciences

Scientists use reinforcement learning to train quantum algorithm

Recent advancements in quantum computing have driven the scientific community's quest to solve a certain class of complex problems for which quantum computers would be better suited than traditional supercomputers. To improve ...

page 1 from 31


In mathematics, computing, linguistics, and related subjects, an algorithm is a finite sequence of instructions, an explicit, step-by-step procedure for solving a problem, often used for calculation and data processing. It is formally a type of effective method in which a list of well-defined instructions for completing a task, will when given an initial state, proceed through a well-defined series of successive states, eventually terminating in an end-state. The transition from one state to the next is not necessarily deterministic; some algorithms, known as probabilistic algorithms, incorporate randomness.

A partial formalization of the concept began with attempts to solve the Entscheidungsproblem (the "decision problem") posed by David Hilbert in 1928. Subsequent formalizations were framed as attempts to define "effective calculability" (Kleene 1943:274) or "effective method" (Rosser 1939:225); those formalizations included the Gödel-Herbrand-Kleene recursive functions of 1930, 1934 and 1935, Alonzo Church's lambda calculus of 1936, Emil Post's "Formulation 1" of 1936, and Alan Turing's Turing machines of 1936–7 and 1939.

This text uses material from Wikipedia, licensed under CC BY-SA