Digital Commons Network^™

Parameter Synthesis For Hierarchical Concurrent Real-Time Systems, Étienne André, Yang Liu, Jun Sun, Jin Song Dong

Research Collection School Of Computing and Information Systems

Modeling and verifying complex real-time systems, involving timing delays, are notoriously difficult problems. Checking the correctness of a system for one particular value for each delay does not give any information for other values. It is hence interesting to reason parametrically, by considering that the delays are parameters (unknown constants) and synthesize a constraint guaranteeing a correct behavior. We present here Parametric Stateful Timed CSP, a language capable of specifying hierarchical real-time systems with complex data structures. Although we prove that the synthesis is undecidable in general, we present an algorithm for efficient parameter synthesis that behaves well in practice.

Not A Partnership In Pepper, Coffee, Callico, Or Tobacco: Edmund Burke And The Vicissitudes Of Colonial Capitalism, Onur Ulas Ince

Research Collection School of Social Sciences

This essay examines the tensions between liberalism and capitalism through an analysis of Edmund Burke's works on eighteenth-century liberal political economy and, specifically the challenges posed by colonial capitalism. When criticizing the East India Company Burke attempted to fortify "commercial" principles, on which British self-image rested, against the "rapacious" policies of British imperialism in India, which threatened this liberal self-image. His denunciation of the Company thus can be construed as an index to broader contradictions between the liberal self-image of capitalism and the coercive processes of colonial displacement and extraction that were an integral part of capitalism's emergence. The article, …

Role Of Matrix Metalloproteinases In Animals, Sariya Asawakarn, Tanong Asawakarn

The Thai Journal of Veterinary Medicine

Matrix metalloproteinases are a family of calcium-dependent and zinc-dependent endopeptidases, which excrete from many cell types. These enzymes can hydrolyze extracellular matrix proteins. The most important inhibitor of MMPs is tissue inhibitors of metalloproteinases (TIMPs). The imbalance between MMPs and TIMPs causes pathological condition in human and animals. This review focuses on structural, role and several reports of MMPs in horse, dog, cat, fish and avian. Over production of MMPs is associated with tissue destruction and erosion of cartilage in equine osteoarthritis, especially MMP-2 and MMP-9. In canine and feline, many evidences reported about MMPs and cancer such as MMP-2 …

1.0 Mission, History, General Organization And Governance Of Saint Mary’S College, Saint Mary's College Of California

Faculty Handbook

No abstract provided.

Complete Handbook, Saint Mary's College Of California

Faculty Handbook

No abstract provided.

3.0 Academic Policies And Services, Saint Mary's College Of California

Faculty Handbook

No abstract provided.

Adversarial Economics In Antitrust Litigation: Losing Academic Consensus In The Battle Of The Experts, Rebecca Haw Allensworth

Vanderbilt Law School Faculty Publications

The adversarial presentation of expert scientific evidence tends to obscure academic consensus. In the context of litigation, small, marginal disagreements can be made to seem important and settled issues can be made to appear hopelessly deadlocked. This Article explores this dynamic's effect on antitrust litigation. Modem antitrust law is steeped in microeconomics, and suits rely heavily on economic expert witnesses. Indeed, expert testimony is often the "whole game" in an antitrust dispute because experts testify about dispositive issues such as the competitive effect of a business practice or the relevant boundaries of a market. And the Supreme Court has encouraged-even …

Evaluation And Development Of Unmanned Aircraft (Uav) For Udot Needs, Steven L. Barfuss, Austin Jensen, Shannon Clemens

Publications

This research involved the use of high-resolution aerial photography obtained from Unmanned Aerial Vehicles (UAV) to aid the Utah Department of Transportation (UDOT) in monitoring and documenting State Roadway structures and associated issues. Using geo-referenced UAV high resolution aerial photographic imagery, the project documented the before, during and after stages of the Southern Parkway construction near the new Saint George International airport, in addition to photographing and classifying wetland plant species in the Utah Lake wetland mitigation bank on the North East corner of Utah Lake.

The Pseudomonas Syringae Type Iii Secretion System: The Translocator Proteins, Their Secretion, And The Restriction Of Translocation By The Plant Immune System, Emerson Crabill

School of Biological Sciences: Dissertations, Theses, and Student Research

Pseudomonas syringae is a Gram-negative plant pathogen whose virulence is dependent upon its type III secretion system (T3SS), a nanosyringe that facilitates translocation, or injection, of type III effector (T3E) proteins into eukaryotic cells. The primary function of P. syringae T3E proteins is suppression of plant immunity. Bacterial proteins called translocators form a translocon that forms a pore in the host plasma membrane which is traversed by T3Es. HrpK1, a putative P. syringae translocator, is a type III-secreted protein important for virulence and T3E injection, but not secretion of T3Es. Harpins are a group of proteins specific to plant pathogens …

Gamma Sigma Delta Newsletter Issue #43 [Sic, #44], Summer 2012

Gamma Sigma Delta, Nebraska Chapter: Newsletters

Welcome New Members

Recipients of 2011 Gamma Sigma Delta Awards: Susan Fritz, David Varner, Yiqi Yang, Lisa Karr-Lilienthal, Chandirasegaran Massilamany, Jana Cool, Sean Erickson

In Memoriam: Judy Anne Driskell PhD, George R. Manglitz PhD

Gamma Sigma Delta Committees 2012

Gamma Sigma Delta Outstanding Graduate Student Award Fund #10996

Renewal of Active Membership / Dues for 2012

American Bar Association Section Of Environment, Energy, And Resources Symposium: Selected Addresses [Comments], Eileen Gauna

Faculty Scholarship

Opening remarks for Environmental Justice conference that reviews the growth and efforts made for environmental justice.

Follow The Money! Article I And Article Vi Constitutional Barriers To Renewable Energy In The U.S. Future, Steven Ferrey

Suffolk University Law School Faculty Works

When one "follows the money," the current Administration‘s economic stimulus funding injected unprecedented billions of dollars into new energy-related capital investments. In doing so, it endeavors to fundamentally re-sculpt the legal fabric and infrastructure of the U.S. economy in a once-in-a-generation change of watershed proportion. However, this re-sculpting is hitting fundamental constitutional barriers under Articles I and VI.

There is a jurisdictional barrier: Renewable energy investments, promoted primarily at the state level, confront real challenges pursuant to the Constitution‘s Supremacy Clause (Article VI) and Commerce Clause (Article I). Among the most litigated constitutional issues before the U.S. Supreme Court, these …

2012-2013 Lsu Health Sciences Center In New Orleans Catalog/Bulletin, Office Of The Registrar

Catalogs and Bulletins

No abstract provided.

Joseph Smith And The Spirit Of Optimism, Mark D. Ogletree

Religious Educator: Perspectives on the Restored Gospel

No abstract provided.

General Allee Effect In Two-Species Population Biology, G Livadiotis, Saber Elaydi

Mathematics Faculty Research

The main objective of this work is to present a general framework for the notion of the strong Allee effect in population models, including competition, mutualistic, and predator–prey models. The study is restricted to the strong Allee effect caused by an inter-specific interaction. The main feature of the strong Allee effect is that the extinction equilibrium is an attractor. We show how a ‘phase space core’ of three or four equilibria is sufficient to describe the essential dynamics of the interaction between two species that are prone to the Allee effect. We will introduce the notion of semistability in planar …

Analysis Of The Fish Community On Tidal-Freshwater Constructed Reefs, Briana Langford

Theses and Dissertations

Constructed reefs are used successfully in marine systems to enhance spawning habitat; this study examines the effectiveness of constructed reefs in a tidal-freshwater river. Fish abundance, species diversity and richness, residency, water column position, reproductive guilds, and feeding guilds were analyzed on two constructed reefs in the tidal-freshwater James River and compared to silted regions representing the primary substrate in the river. Reefs were sampled using hydroacoustics, electroshocking, gillnetting, trawling, and egg mats. The constructed reefs had a greater proportion of fish that broadcast spawn over hard substrate and a trend of more overall individual, residential, and demersal fish. The …

Cell Theory And Cell Function [7th Grade], Daisy Wang, Amber Schumacher

Understanding by Design: Complete Collection

In this unit on cell theory and cell structure and functions, 7th grade students will be able to recognize the different levels of organization in plants and animals including cells, tissues, organs, organ systems, and organisms (7.12C). Students will also learn to differentiate between structure and function in plant and animal cell organelles (7.12D) as well as relating how the functions of the cell helps the organism to carry out the functions necessary for survival (7.12E) Students will be able to recognize the characteristics of the cell theory and that all cells need energy from food to sustain life (7.12F).

Dystopian Literature [10th Grade], Valerie Vied

Understanding by Design: Complete Collection

In this unit students examine three dystopian short stories, “The Lottery” by Shirley Jackson, “Harrison Bergeron” by Kurt Vonnegut, Jr., “The Ones Who Walk Away from Omelas” by Ursula K. Le Guin, and one dystopian novel, Fahrenheit 451 by Ray Bradbury. This unit is scheduled as the first unit of the year to peak interest in authentic learning and real-world problems, and get students thinking critically from the first day of school. In preparation for the STAAR exam, the writing focus for the unit is expository. Students will practice the various expository organizational structures (description, sequence, comparison and contrast, cause …

Explorers [4th Grade], Carrie Sites, Melissa Cole

Understanding by Design: Complete Collection

Students will understand that people explore and settle or different purposes including riches, land, and the spread of religion. Students will also know the history or background of explorers and how that defines the cultures of Texas. At the end of this unit students will independently demonstrate their learning by summarizing an explorer’s accomplishments and reasons for exploring by creating and interacting with a Fakebook page.

Circuits [4th Grade], Carrie Sites, Melissa Cole

Understanding by Design: Complete Collection

Students will understand that electricity flows through a circuit which must be closed for the energy to travel, that different materials can allow energy to flow or prevent it from travelling and that the energy source must be properly connected for energy to flow. At the end of this unit students will be able to independently identify complete and incomplete circuits, offer ways to fix incomplete circuits, identify parts of a circuit, and create a circuit that is a part of a lighthouse.

Culture And Identity In Your Community And The World [6th Grade], Stephany Weaver, Anne Daly

Understanding by Design: Complete Collection

“Culture and Identity in your Community and the World” is an interdisciplinary unit designed to stimulate questions about identity and culture and how those two things relate. This unit is meant to be taught at the end of the first semester and the beginning of the second semester. Students have already established an understanding of literary elements in fiction and will now be searching for those same engaging elements in non-fiction.

As the students read the memoir Red Scarf Girl by Ji-li Jiang in Reading, they will be studying the effects of culture and community on a single person’s identity …

A Wild Goose Chase: California’S Attempt To Regulate Morality By Banning The Sale Of One Food Product, Max Shapiro

Loyola of Los Angeles International and Comparative Law Review

No abstract provided.

Design And Implementation Of The Kinect Controlled Electro-Mechanical Skeleton (K.C.E.M.S), Jason Richard Ekelmann

Doctoral Dissertations and Master's Theses

Mimicking real-time human motion with a low cost solution has been an extremely difficult task in the past but with the release of the Microsoft Kinect motion capture system, this problem has been simplified. This thesis discusses the feasibility and design behind a simple robotic skeleton that utilizes the Kinect to mimic human movements in near real-time. The goal of this project is to construct a 1/3-scale model of a robotically enhanced skeleton and demonstrate the abilities of the Kinect as a tool for human movement mimicry. The resulting robot was able to mimic many human movements but was mechanically …

The Effects Of Familiarity And Persuasion On Risk Assessment, Casey L. Smith

Doctoral Dissertations and Master's Theses

Cognitive biases influence decisions and the analyses of risk. They are often derived from two separate processes: bias based on familiarity (familiarity bias) and bias as the result of influences from outside sources (persuasion bias). Research suggests that familiarity-based bias may lead to acceptance of an activity's drawbacks and a leniency of its risks.

In addition, research has tried to measure and analyze different types of biases individually, but few have compared the interactions of more than one bias at once. Because different biases may derive from different mental phenomena it is important to tease out the distinctions, and observe …

Feeding Ecology And Life History Strategies Of White-Faced Capuchin Monkeys, Elizabeth C. Eadie

Anthropology ETDs

Dietary niches have widespread effects on individuals life histories, behaviors, and morphologies. Capuchin monkeys inhabit a complex dietary niche that often entails hunting of relatively large vertebrate prey, tool-use, and extraction of embedded resources that other closely related and sympatric species do not exploit. In this dissertation I examine, a) how juvenile capuchins overcome the challenges of reliance on a difficult-to-acquire diet, b) at what age juveniles achieve maximum foraging return rates for difficult-to-acquire foods, and c) what nutritional benefits capuchins obtain from exploitation of these foods. In the process of addressing these questions I test two prominent hypotheses regarding …

Fighting Fear Of Blood Test With Secret Powers: Using Game Design As A New Method Of Inquiry In Design Research, Eva Knutz

DRS Biennial Conference Series

Non-verbal forms of interactions as found in play and gaming has not been investigated as a method that can actually communicate or express an emotional state. In this paper we are using the design of a computer game (called the Child Patient Game) designed especially for hospitalized children as Design Case. We are demonstrating how children’s interaction with a computer game is used as a method for letting children express their emotions towards a hospital examination. In order to make sense of the different elements that constitute a Playful Experience this paper makes use of the Playful Experience Framework. This …

Unintentional, Paediatric Domestic Injury In A Semi Rural Area Of Karachi., Emaduddin Siddiqui, Kiran Ejaz, Uzma Siddiqui

Department of Emergency Medicine

OBJECTIVE:

To identify the characteristics of unintentional domestic injury in children living in a semi-rural area of Karachi.

METHODS:

This retrospective descriptive study was carried out at a private hospital located at the northern outskirts of Karachi, Pakistan, from January 2005 to January 2007. We enrolled 271 out-patient children of either gender with a positive injury history. A questionnaire inquiring socio-demographic characteristics, timing of injury, monthly variation, injury pattern and factors was filled out. Descriptive analysis and Chi-square test were applied to find out the statistically significant differences.

RESULTS:

Among the 271 patients, the male-to-female ratio was 1.2:1. Fall from …

Osmoregulators Proline And Glycine Betaine Counteract Salinity Stress In Canola, Mt Sakr, Nm El-Sarkassy, Mp Fuller

School of Biological and Marine Sciences

Salt inundation leads to increased salinization of arable land in many arid and semi-arid regions. Until genetic solutions are found farmers and growers must either abandon salt-affected fields or use agronomic treatments that alleviate salt stress symptoms. Here, field experiments were carried out to study the effect of the osmoregulators proline at 200 mg L-1 and glycine betaine at 400 mg L-1 in counteracting the harmful effect of soil salinity stress on canola plants grown in Egypt. We assessed growth characteristics, yield and biochemical constituents. Results show first that all growth characters decreased with increasing salinity stress but applied osmoregulators …

A Pilot Study To Investigate The Disconnection Between Researched Theory And Creative Practice In Visual Communication Research Projects, Jesvin Puayhwa Yeo

DRS Biennial Conference Series

Research will play an important role in art and design education as the number of art and design research degree student increases. Yet ‘the relationship between creativepractical work and research protocols still remains a contentious issue’ stated Hockey. The missing link between researched theory and creative practice has been unable to develop the depth and relevance of students’ creative practice. From the perspective of Asian undergraduate studies, this paper seeks to explore students’ abilities and knowledge of research methodologies. This paper is not proposing a method or a solution to bridge the disconnection between researched theory and creative practice. But …

Stop Motion Animation As A Tool For Sketching In Architecture, Ru Zarin, Kent Lindbergh, Daniel Fallman

DRS Biennial Conference Series

Widely acknowledged as an archetypal design activity, sketching is typically carried out using little more than pen and paper. Today’s designed artifacts however, are often given qualities that are hard to capture with traditional means of sketching. While pen and paper sketching catches the character of a building, it may not equally well capture how that building changes with the seasons, how people pass through it, how the light moves in between its rooms from sunrise to dawn, and how its façade subtly decays over centuries. Yet, it is often exactly these dynamic and interactive aspects that are emphasized in …