4,923 research outputs found
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.
- …