42,803 research outputs found

    Characterizing forest fragmentation : Distinguishing change in composition from configuration

    Get PDF
    This project was funded by the Government of Canada through the Mountain Pine Beetle Program, a three-year, $100 million program administered by Natural Resources Canada, Canadian Forest Service. Additional information on the Mountain Pine Beetle Program may be found at: http://mpb.cfs.nrcan.gc.ca.Forest fragmentation can generally be considered as two components: 1) compositional change representing forest loss, and 2) configurational change or change in the arrangement of forest land cover. Forest loss and configurational change occur simultaneously, resulting in difficulties isolating the impacts of each component. Measures of forest fragmentation typically consider forest loss and configurational change together. The ecological responses to forest loss and configurational change are different, thus motivating the creation of measures capable of isolating these separate components. In this research, we develop and demonstrate a measure, the proportion of landscape displacement from configuration (P), to quantify the relative contributions of forest loss and configurational change to forest fragmentation. Landscapes with statistically significant forest loss or configurational change are identified using neutral landscape simulations to generate underlying distributions for P. The new measure, P, is applied to a forest landscape where substantial forest loss has occurred from mountain pine beetle mitigation and salvage harvesting. The percent of forest cover and six LPIs (edge density, number of forest patches, area of largest forest patch, mean perimeter area ratio, corrected mean perimeter area ratio, and aggregation index) are used to quantify forest fragmentation and change. In our study area, significant forest loss occurs more frequently than significant configurational change. The P method we demonstrate is effective at identifying landscapes undergoing significant forest loss, significant configurational change, or experiencing a combination of both loss and configurational change.PostprintPeer reviewe

    Non-specific abdominal pain and air pollution: a novel association.

    Get PDF
    We studied whether short-term exposure to air pollution was associated with non-specific abdominal pain in epidemiologic and animal studies. Patients visiting the emergency department with non-specific abdominal pain were identified in Edmonton (1992 to 2002, n = 95,173) and Montreal (1997 to 2002, n = 25,852). We calculated the daily concentrations for ozone (O(3)), nitrogen dioxide (NO(2)), sulfur dioxide (SO(2)), carbon monoxide (CO), and particles <10 (PM(10)) or <2.5 (PM(2.5)) µm. A case crossover study design was used to estimate the odds ratio (OR) and 95% confidence interval (CI) associated with an increase in the interquartile range of the air pollutants. We investigated differential effects by age and sex. Mice were gavaged with urban particle extracts. In animal models, colonic motility was tested, and visceral abdominal pain was measured using a writhing test, and behavioral response to oil of mustard and neostigmine. Motility and pain was measured acutely (1.5 hours after gavage) and chronically (7-days and 21-days after gavage). Emergency department visits for non-specific abdominal pain were primarily by women between the ages of 15-24 years. Individuals aged 15 to 24 years were at increased risk of non-specific abdominal pain in Edmonton (same day CO: OR = 1.04, 95% CI = 1.02-1.06; and NO(2): OR = 1.06, 95% CI = 1.03-1.09). The risk of air pollution among 15-24 year olds in Montreal was significantly positive (same day CO: OR = 1.11, 95% CI = 1.05-1.17; NO(2): OR = 1.09, 95% CI = 1.01-1.16; SO(2): OR = 1.17, 95% CI = 1.10-1.25; PM(2.5): OR = 1.09, 95% CI = 1.04-1.15). Abdominal pain was increased by an acute gavage of pollution extract but not to chronic exposure to pollutants. Colonic transit was delayed following chronic but not acute exposure with the pollutants. Epidemiological and animal data suggest that short-term exposure to air pollution may trigger non-specific abdominal pain in young individuals

    Specification and Verification of Context-dependent Services

    Full text link
    Current approaches for the discovery, specification, and provision of services ignore the relationship between the service contract and the conditions in which the service can guarantee its contract. Moreover, they do not use formal methods for specifying services, contracts, and compositions. Without a formal basis it is not possible to justify through formal verification the correctness conditions for service compositions and the satisfaction of contractual obligations in service provisions. We remedy this situation in this paper. We present a formal definition of services with context-dependent contracts. We define a composition theory of services with context-dependent contracts taking into consideration functional, nonfunctional, legal and contextual information. Finally, we present a formal verification approach that transforms the formal specification of service composition into extended timed automata that can be verified using the model checking tool UPPAAL.Comment: In Proceedings WWV 2011, arXiv:1108.208

    Social Network Based Substance Abuse Prevention via Network Modification (A Preliminary Study)

    Full text link
    Substance use and abuse is a significant public health problem in the United States. Group-based intervention programs offer a promising means of preventing and reducing substance abuse. While effective, unfortunately, inappropriate intervention groups can result in an increase in deviant behaviors among participants, a process known as deviancy training. This paper investigates the problem of optimizing the social influence related to the deviant behavior via careful construction of the intervention groups. We propose a Mixed Integer Optimization formulation that decides on the intervention groups, captures the impact of the groups on the structure of the social network, and models the impact of these changes on behavior propagation. In addition, we propose a scalable hybrid meta-heuristic algorithm that combines Mixed Integer Programming and Large Neighborhood Search to find near-optimal network partitions. Our algorithm is packaged in the form of GUIDE, an AI-based decision aid that recommends intervention groups. Being the first quantitative decision aid of this kind, GUIDE is able to assist practitioners, in particular social workers, in three key areas: (a) GUIDE proposes near-optimal solutions that are shown, via extensive simulations, to significantly improve over the traditional qualitative practices for forming intervention groups; (b) GUIDE is able to identify circumstances when an intervention will lead to deviancy training, thus saving time, money, and effort; (c) GUIDE can evaluate current strategies of group formation and discard strategies that will lead to deviancy training. In developing GUIDE, we are primarily interested in substance use interventions among homeless youth as a high risk and vulnerable population. GUIDE is developed in collaboration with Urban Peak, a homeless-youth serving organization in Denver, CO, and is under preparation for deployment

    The Need to Support of Data Flow Graph Visualization of Forensic Lucid Programs, Forensic Evidence, and their Evaluation by GIPSY

    Full text link
    Lucid programs are data-flow programs and can be visually represented as data flow graphs (DFGs) and composed visually. Forensic Lucid, a Lucid dialect, is a language to specify and reason about cyberforensic cases. It includes the encoding of the evidence (representing the context of evaluation) and the crime scene modeling in order to validate claims against the model and perform event reconstruction, potentially within large swaths of digital evidence. To aid investigators to model the scene and evaluate it, instead of typing a Forensic Lucid program, we propose to expand the design and implementation of the Lucid DFG programming onto Forensic Lucid case modeling and specification to enhance the usability of the language and the system and its behavior. We briefly discuss the related work on visual programming an DFG modeling in an attempt to define and select one approach or a composition of approaches for Forensic Lucid based on various criteria such as previous implementation, wide use, formal backing in terms of semantics and translation. In the end, we solicit the readers' constructive, opinions, feedback, comments, and recommendations within the context of this short discussion.Comment: 11 pages, 7 figures, index; extended abstract presented at VizSec'10 at http://www.vizsec2010.org/posters ; short paper accepted at PST'1

    Writer Identification Using Inexpensive Signal Processing Techniques

    Full text link
    We propose to use novel and classical audio and text signal-processing and otherwise techniques for "inexpensive" fast writer identification tasks of scanned hand-written documents "visually". The "inexpensive" refers to the efficiency of the identification process in terms of CPU cycles while preserving decent accuracy for preliminary identification. This is a comparative study of multiple algorithm combinations in a pattern recognition pipeline implemented in Java around an open-source Modular Audio Recognition Framework (MARF) that can do a lot more beyond audio. We present our preliminary experimental findings in such an identification task. We simulate "visual" identification by "looking" at the hand-written document as a whole rather than trying to extract fine-grained features out of it prior classification.Comment: 9 pages; 1 figure; presented at CISSE'09 at http://conference.cisse2009.org/proceedings.aspx ; includes the the application source code; based on MARF described in arXiv:0905.123

    μ-Dependent model reduction for uncertain discrete-time switched linear systems with average dwell time

    Get PDF
    In this article, the model reduction problem for a class of discrete-time polytopic uncertain switched linear systems with average dwell time switching is investigated. The stability criterion for general discrete-time switched systems is first explored, and a μ-dependent approach is then introduced for the considered systems to the model reduction solution. A reduced-order model is constructed and its corresponding existence conditions are derived via LMI formulation. The admissible switching signals and the desired reduced model matrices are accordingly obtained from such conditions such that the resulting model error system is robustly exponentially stable and has an exponential H∞ performance. A numerical example is presented to demonstrate the potential and effectiveness of the developed theoretical results

    Adaptive hypermedia for education and training

    Get PDF
    Adaptive hypermedia (AH) is an alternative to the traditional, one-size-fits-all approach in the development of hypermedia systems. AH systems build a model of the goals, preferences, and knowledge of each individual user; this model is used throughout the interaction with the user to adapt to the needs of that particular user (Brusilovsky, 1996b). For example, a student in an adaptive educational hypermedia system will be given a presentation that is adapted specifically to his or her knowledge of the subject (De Bra & Calvi, 1998; Hothi, Hall, & Sly, 2000) as well as a suggested set of the most relevant links to proceed further (Brusilovsky, Eklund, & Schwarz, 1998; Kavcic, 2004). An adaptive electronic encyclopedia will personalize the content of an article to augment the user's existing knowledge and interests (Bontcheva & Wilks, 2005; Milosavljevic, 1997). A museum guide will adapt the presentation about every visited object to the user's individual path through the museum (Oberlander et al., 1998; Stock et al., 2007). Adaptive hypermedia belongs to the class of user-adaptive systems (Schneider-Hufschmidt, Kühme, & Malinowski, 1993). A distinctive feature of an adaptive system is an explicit user model that represents user knowledge, goals, and interests, as well as other features that enable the system to adapt to different users with their own specific set of goals. An adaptive system collects data for the user model from various sources that can include implicitly observing user interaction and explicitly requesting direct input from the user. The user model is applied to provide an adaptation effect, that is, tailor interaction to different users in the same context. In different kinds of adaptive systems, adaptation effects could vary greatly. In AH systems, it is limited to three major adaptation technologies: adaptive content selection, adaptive navigation support, and adaptive presentation. The first of these three technologies comes from the fields of adaptive information retrieval (IR) and intelligent tutoring systems (ITS). When the user searches for information, the system adaptively selects and prioritizes the most relevant items (Brajnik, Guida, & Tasso, 1987; Brusilovsky, 1992b)
    • …
    corecore