Brain mechanisms in conditioning and learning

Brain mechanisms in conditioning and learning of higher mammal

Patching task-level robot controllers based on a local µ-calculus formula

We present a method for mending strategies for GR(1) specifications. Given the addition or removal of edges from the game graph describing a problem (essentially transition rules in a GR(1) specification), we apply a µ-calculus formula to a neighborhood of states to obtain a “local strategy” that navigates around the invalidated parts of an original synthesized strategy. Our method may thus avoid global resynthesis while recovering correctness with respect to the new specification. We illustrate the results both in simulation and on physical hardware for a planar robot surveillance task

Ecology of Juvenile Walleye Pollock, Theragra chalcogramma: Papers from the workshop "The Importance of Prerecruit Walleye Pollock to the Bering Sea and North Pacific Ecosystems" Seattle, Washington, 28-30 October 1993

The Alaska Fisheries Science Center (AFSC), National Marine Fisheries Service (NMFS), hosted an international workshop, 'The Importance of Prerecruit Walleye Pollock to the Bering Sea and North Pacific Ecosystems," from 28 to 30 October 1993. This workshop was held in conjunction with the annual International North Pacific Marine Science Organization (PICES) meeting held in Seattle. Nearly 100 representatives from government agencies, universities, and the fishing industry in Canada, Japan, the People's Republic of China, Russia, and the United States took part in the workshop to review and discuss current knowledge on juvenile pollock from the postlarval period to the time they recruit to the fisheries. In addition to its importance to humans as a major commercial species, pollock also serves as a major forage species for many marine fishes, birds, and mammals in the North Pacific region. (PDF file contains 236 pages.