University of Texas at Austin

About: University of Texas at Austin is a education organization based out in Austin, Texas, United States. It is known for research contribution in the topics: Population & Poison control. The organization has 94352 authors who have published 206297 publications receiving 9070052 citations. The organization is also known as: UT-Austin & UT Austin.

“Sometimes” and “not never” revisited: on branching versus linear time temporal logic

Abstract: The differences between and appropriateness of branching versus linear time temporal logic for reasoning about concurrent programs are studied. These issues have been previously considered by Lamport. To facilitate a careful examination of these issues, a language, CTL*, in which a universal or existential path quantifier can prefix an arbitrary linear time assertion, is defined. The expressive power of a number of sublanguages is then compared. CTL* is also related to the logics MPL of Abrahamson and PL of Harel, Kozen, and Parikh. The paper concludes with a comparison of the utility of branching and linear time temporal logics.

A Shortest Path Dependency Kernel for Relation Extraction

Abstract: We present a novel approach to relation extraction, based on the observation that the information required to assert a relationship between two named entities in the same sentence is typically captured by the shortest path between the two entities in the dependency graph. Experiments on extracting top-level relations from the ACE (Automated Content Extraction) newspaper corpus show that the new shortest path dependency kernel outperforms a recent approach based on dependency tree kernels.

Measuring transactive memory systems in the field: Scale development and validation.

Abstract: This study describes the development and validity testing of a field measure of transactive memory systems. Transactive memory systems are especially important for teams designed to leverage members' expertise, but field research has lagged because there are no adequate measures of the construct. The author developed and tested a 15-item scale in a laboratory sample of 124 teams, a field sample of 64 Master of Business Administration consulting teams, and a field sample of 27 teams from technology companies. Results from the present study demonstrate that the scale is internally consistent, related to alternative measures and hypothesized causes and effects, and unrelated to theoretically distinct constructs, providing evidence of convergent, criterion-related, and discriminant validity. Suggestions for improving the scale, future validity testing, and possible boundary conditions are discussed.