42,803 research outputs found
Characterizing forest fragmentation : Distinguishing change in composition from configuration
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.
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
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)
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
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
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
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
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)
- …