Digital Commons Network^™

The Daily Gamecok, Monday, November 23, 2009, University Of South Carolina, Office Of Student Media

November

No abstract provided.

Dihomotopic Reduction Used In Deadlock Detection, David A. Cape, Bruce M. Mcmillin

Computer Science Faculty Research & Creative Works

Deadlock detection for concurrent programs has traditionally been accomplished by symbolic methods or by search of a state transition system. We examine an approach that uses geometric semantics involving the topological notion of dihomotopy to partition the state-space into components, after which the reduced state-space is exhaustively searched. Prior work partitioned the state-space inductively, but in this paper, we show that a recursive technique provides greater reduction of the size of the state transition system. as a result, we expect to see more efficient deadlock detection and eventually more efficient verification of some temporal properties for large problems if the …

Bratton V. Scott Clerk's Record V. 4 Dckt. 36275

Idaho Supreme Court Records & Briefs, All

No abstract provided.

Central Florida Future, Vol. 41 No. 90, November 23, 2009

Central Florida Future

UCF earns spot at bowl game 49-0; Service to give rides to students; Education bill will improve grants, loans; Weezer to play free show; Some push for new sign design.

Grand Valley Forum, Volume 034, Number 13, November 23, 2009, Grand Valley State University

2009-2010, Volume 34

Grand Valley Forum is Grand Valley State's faculty and staff newsletter, published from 1976 to the present.

Crow's Nest, November 23, 2009, Crow's Nest Staff

Crow's Nest

The November 23, 2009, issue of the Crow's Nest.

The Hilltop 11-23-2009, Hilltop Staff

The Hilltop: 2000 - 2010

No abstract provided.

Garnet & Black Holiday Issue 2009, University Of South Carolina, Office Of Student Media

Garnet & Black Magazine

No abstract provided.

November 23rd 2009, Csusb

Coyote Chronicle (1984-)

No abstract provided.

Monitor Newsletter November 23, 2009, Bowling Green State University

Monitor

Official Publication of Bowling Green State University for Faculty and Staff

A Model To Study Cyber Attack Mechanics And Denial-Of-Service Exploits Over The Internet's Router Infrastructure Using Colored Petri Nets, Lawrence M. Healy

Master's Theses and Doctoral Dissertations

The Internet‟s router infrastructure, a scale-free computer network, is vulnerable to targeted denial-of-service (DoS) attacks. Protecting this infrastructure‟s stability is a vital national interest because of the dependence of economic and national security transactions on the Internet. Current defensive countermeasures that rely on monitoring specific router traffic have been shown to be costly, inefficient, impractical, and reactive rather than anticipatory.

To address these issues, this research investigation considers a new paradigm that relies on the systemic changes that occur during a cyber attack, rather than individual router traffic anomalies. It has been hypothesized in the literature that systemic knowledge of …

Data Layout Transformation For Enhancing Data Locality On Nuca Chip Multiprocessors, Qingda Lu, Christophe Alias, Uday Bondhugula, Thomas Henretty, Sriram Krishnamoorthy, J. Ramanujam, Atanas Rountev, P. Sadayappan, Yongjian Chen, Tin Fook Ngai, Haibo Lin

Faculty Publications

With increasing numbers of cores, future CMPs (Chip Multi-Processors) are likely to have a tiled architecture with a portion of shared L2 cache on each tile and a bankinterleaved distribution of the address space. Although such an organization is effective for avoiding access hot-spots, it can cause a significant number of non-local L2 accesses for many commonly occurring regular data access patterns. In this paper we develop a compile-time framework for data locality optimization via data layout transformation. Using a polyhedral model, the program's localizability is determined by analysis of its index set and array reference functions, followed by non-canonical …

Public Policy Leadership, Civil Engineering Student Studying In Northern Ireland, Admin

University of Mississippi News

No abstract provided.

Assessment Of Perceived Positive And Negative Outcomes In Risky Adolescent Dating And Peer Situations: A Descriptive Analysis Of Risk And Benefit Perception, Sarah Helms

Theses and Dissertations

Peer and dating violence perpetration and victimization are common experiences placing adolescents at-risk for maladaptive outcomes, yet little research has focused on specific problematic situations associated with these types of violence and other related risk-taking behaviors. Further, prevention programs have typically focused on changing beliefs, attitudes, and skill-deficits, with little attention to adolescents’ motivations or perceptions of costs and benefits associated with risky situations, despite support for this type of research in other health-related fields (e.g., substance abuse, behavioral medicine). The current study assessed adolescents’ perceptions of potential positive and negative outcomes associated with risky dating and peer situations, many …

Bi Responds To Bpk Audit Report Century To The Dpr, Sugeng Wibowo

Documents

No abstract provided.

Design For Invisibility: Designing A Placing System Through The Study Of User-Object Relationships In Everyday Life, Gahyung Song

Theses

The world we live in is a place where people are influenced by designed objects, often without noticing their presence or the fact that they have been designed at all. Although these objects are taken for granted their impact on our everyday life is immeasurable. By examining designed objects with regard to their relationship to users, this thesis attempts to rediscover the meaning of design in everyday life by encouraging a fluid user-object relationship, rather than a passive consumer-product relationship. It is important to understand the everyday phenomena by which designed objects become invisible when they fit one's environment well. …

Gan Heterojunction Fet Device Fabrication, Characterization And Modeling, Qian Fan

Theses and Dissertations

This dissertation is focused on the research efforts to develop the growth, processing, and modeling technologies for GaN-based Heterojunction Field Effect Transistors (HFETs). The interest in investigating GaN HFETs is motivated by the advantageous material properties of nitride semiconductor such as large band gap, large breakdown voltage, and high saturation velocity, which make it very promising for the high power and microwave applications. Although enormous progress has been made on GaN transistors in the past decades, the technologies for nitride transistors are still not mature, especially concerning the reliability and stability of the device. In order to improve the device …

Dinosaurian Faunas Of The Cedar Mountain Formation And La-Icp-Ms Detrital Zircon Ages For Three Stratigraphic Sections, Hirotsugu Mori

Theses and Dissertations

The Cedar Mountain Formation contains the most diverse record of Early Cretaceous dinosaurs in the western hemisphere. However, analyses of its faunas have been hindered because 1) most taxa are based on incomplete/fragmentary materials or incomplete descriptions, 2) most sites and some horizons preserve few taxa, and 3) the stratigraphy and geochronology are poorly understood. To help resolve these stratigraphic and correlation problems U-Pb LA-ICP-MS detrital zircon ages were obtained at significant sites and horizons. These dates indicate all sites at or near the base of the formation are no older than 122 to 124 Ma, thus all basal stratigraphic …

The Eastern Echo, November 23, 2009, Eastern Michigan University

EMU Student Newspaper: The Normal News & The Eastern Echo

No abstract provided.

A Systematic Examination Of Data-Driven Decision-Making Within A School Division: The Relationships Among Principal Beliefs, School Characteristics, And Accreditation Status, Beth Teigen

Theses and Dissertations

This non-experimental, census survey included the elementary, middle, and high school principals at the comprehensive schools within a large, suburban school division in Virginia. The focus of this study was the factors that influence building administrators in using data to make instructional decisions. The purpose was to discover if there is a difference in the perceptions of elementary, middle, and high school principals of data use to make instructional decisions within their buildings. McLeod’s (2006) Statewide Data-Driven Readiness Study: Principal Survey was used to assess the principals’ beliefs about the data-driven readiness of their individual schools. Each principal indicated the …

Lanthorn, Vol. 44, No. 26, November 23, 2009, Grand Valley State University

Volume 44, July 8, 2009 - June 10, 2010

Lanthorn is Grand Valley State's student newspaper, published from 1968 to the present.

Nurturing America's Growth In The Global Marketplace Through Talent Development: An Interim Report On The Evaluation Of Generations Ii And Iii Of Wired, Nancy Hewat, Kevin Hollenbeck

Reports

This is the first report from the evaluation of Generations II and III of the Workforce Innovations in Regional Economic Development Initiative. This interim report presents baseline information from all 26 regions. It reflects the status of regional activities as of the summer of 2008, when many regions were in the initial stage of implementation. Thus, the report focuses on the development of partnerships, governance arrangements, and the design of decision-making processes. In early 2006, ETA announced the initial recipients of grants to promote regional collaboration of a wide range of public and private organizations with the goal of transforming …

The Murray Ledger And Times, November 23, 2009, The Murray Ledger And Times

The Murray Ledger & Times

No abstract provided.

Structural Damage Localization With Tolerance To Large Time Synchronization Errors In Wsns, Guirong Yan, Shirley J. Dyke, Wei Song, Gregory Hackmann, Chenyang Lu

Civil, Architectural and Environmental Engineering Faculty Research & Creative Works

With Recent Technological Advances in Smart Sensor Platforms, Structural Condition Monitoring Implementations based on Wireless Sensor Networks (WSNs) Have Received Considerable Attention. Modal Identification is an Integral Step in Many Structural Condition Monitoring Systems. However, Accurate Time Synchronization is Not Always Possible, Leading to Incorrect Identification of the Mode Shapes. Although Strict Time Synchronization of the Wireless Sensors Has Been Viewed as Crucial for the Identification of Mode Shapes, a New Perspective is Taken Herein. the Distortion in the Identified Mode Shapes is Characterized and Accommodated. Then the Resulting Mode Shapes Are Used with a Flexibility-Based Damage Detection Approach to …

Neural Network Control Of Quadrotor Uav Formations, Travis Dierks, Sarangapani Jagannathan

Electrical and Computer Engineering Faculty Research & Creative Works

In this paper, a novel framework for leader-follower formation control is developed for the control of multiple quadrotors unmanned aerial vehicles (UAVs) based on spherical coordinates. the control objective for the follower UAV is to track its leader at a desired- separation, angle of incidence, and a bearing by using an auxiliary velocity control. Then, a novel neural network (NN) control law for the dynamical system is introduced to learn the complete dynamics of the UAV including unmodeled dynamics like aerodynamic friction. Additionally, the interconnection dynamic errors between the leader and its followers are explicitly considered, and the stability of …

R-Factor: A New Parameter To Enhance Location Accuracy In Rssi Based Real-Time Location Systems, Mohammed Rana Basheer, Sarangapani Jagannathan

Electrical and Computer Engineering Faculty Research & Creative Works

The fundamental cause of localization error in an indoor environment is fading and spreading of the radio signals due to scattering, diffraction, and reflection. These effects are predominant in regions where there is no-line-of-sight (NLoS) between the transmitter and the receiver. Efficient algorithms are needed to identify the subset of receivers that provide better localization accuracy. © 2009 IEEE.

Gpsa Council Meeting, 11/23/2009, Graduate And Professional Student Association

GPSA Meeting Agendas and Minutes

No abstract provided.

The Role Of Cannabinoids And Cannabinoid Receptors In Enteric Neuronal Survival, Yan Li

Theses and Dissertations

The Endocannabinoid system has been found in the gastrointestinal tract, where it plays an important role in gut under both physiological and pathological conditions. Although the major effects of cannabinoids in the gut are mediated through effects on enteric neurons, the role of cannabinoids in the enteric nervous system is poorly understood. In the present study, we have used the primary cultures of myenteric ganglia and a newly developed fetal enteric neuronal cell line to identify whether the endocannabinoid, anandamide, affects ganglionic and neuronal survival and the pathways involved. Anandamide had a biphasic effect on ganglionic survival, increasing survival at …

Foreign Contacts And The First Amendment, Timothy Zick

Popular Media

No abstract provided.

A Descriptive Study Of Teachers' Instructional Use Of Student Assessmetn Data, Nancy Hoover

Theses and Dissertations

The overarching question for this study is: to what extent are teachers using summative assessment data in a formative way? A survey research design study was implemented to address this question. A web-based survey was administered to elementary, middle, and high school teachers in a large, suburban school division in central Virginia. The survey data were used to determine the frequency with which teachers administered specific types of summative assessments, analyzed student summative assessment data, made changes in their instructional practice as a result of their analysis, and the level of teachers’ assessment literacy. The results of this study suggest …