107 research outputs found

    LNCS

    Get PDF
    We provide a procedure for detecting the sub-segments of an incrementally observed Boolean signal ω that match a given temporal pattern ϕ. As a pattern specification language, we use timed regular expressions, a formalism well-suited for expressing properties of concurrent asynchronous behaviors embedded in metric time. We construct a timed automaton accepting the timed language denoted by ϕ and modify it slightly for the purpose of matching. We then apply zone-based reachability computation to this automaton while it reads ω, and retrieve all the matching segments from the results. Since the procedure is automaton based, it can be applied to patterns specified by other formalisms such as timed temporal logics reducible to timed automata or directly encoded as timed automata. The procedure has been implemented and its performance on synthetic examples is demonstrated

    Windbreaks in North American Agricultural Systems

    Get PDF
    Windbreaks are a major component of successful agricultural systems throughout the world. The focus of this chapter is on temperate-zone, commercial, agricultural systems in North America, where windbreaks contribute to both producer profitability and environmental quality by increasing crop production while simultaneously reducing the level of off-farm inputs. They help control erosion and blowing snow, improve animal health and survival under winter conditions, reduce energy consumption of the farmstead unit, and enhance habitat diversity, providing refuges for predatory birds and insects. On a larger landscape scale windbreaks provide habitat for various types of wildlife and have the potential to contribute significant benefits to the carbon balance equation, easing the economic burdens associated with climate change. For a windbreak to function properly, it must be designed with the needs of the landowner in mind. The ability of a windbreak to meet a specific need is determined by its structure: both external structure, width, height, shape, and orientation as well as the internal structure; the amount and arrangement of the branches, leaves, and stems of the trees or shrubs in the windbreak. In response to windbreak structure, wind flow in the vicinity of a windbreak is altered and the microclimate in sheltered areas is changed; temperatures tend to be slightly higher and evaporation is reduced. These types of changes in microclimate can be utilized to enhance agricultural sustainability and profitability. While specific mechanisms of the shelter response remain unclear and are topics for further research, the two biggest challenges we face are: developing a better understanding of why producers are reluctant to adopt windbreak technology and defining the role of woody plants in the agricultural landscape

    Foraging for foundations in decision neuroscience: insights from ethology

    Get PDF
    Modern decision neuroscience offers a powerful and broad account of human behaviour using computational techniques that link psychological and neuroscientific approaches to the ways that individuals can generate near-optimal choices in complex controlled environments. However, until recently, relatively little attention has been paid to the extent to which the structure of experimental environments relates to natural scenarios, and the survival problems that individuals have evolved to solve. This situation not only risks leaving decision-theoretic accounts ungrounded but also makes various aspects of the solutions, such as hard-wired or Pavlovian policies, difficult to interpret in the natural world. Here, we suggest importing concepts, paradigms and approaches from the fields of ethology and behavioural ecology, which concentrate on the contextual and functional correlates of decisions made about foraging and escape and address these lacunae

    Hippocampal synaptic plasticity, spatial memory and anxiety

    Full text link
    corecore