Cattle produced in open feedlots are vulnerable to a variety of weather events; under certain conditions heat events can be especially detrimental. Shade structures are often considered as one method of reducing cattle stress. A summer study was conducted during 2007 using instrumented shade structures in conjunction with meteorological measurements to estimate relative effectiveness of various...

Refreshing is the component cognitive process of directing reflective attention to one of several active mental representations. Previous studies using fMRI suggested that refresh tasks involve a component process of initiating refreshing as well as the top-down modulation of representational regions central to refreshing. However, those studies were limited by fMRI's low temporal resolution. I...

Modularity is a pragmatic property of specifications that is not easy to achieve. For instance, it has been left as an open problem by Plotkin in his 81 Aarhus lecture notes where Structural Operational Semantics (SOS) was defined. This open problem has been solved only recently by Mosses with Modular SOS (MSOS), a framework that extends labelled transitions systems with a label category where ...

The notions of simplicity and extensionality for coalgebras are generalized beyond Set and a study of the internal dynamics of extensional coalgebras yields the notion of unitary coalgebras. In some cases, unitary coalgebras include extensional ones. Under some reasonable circumstances, both notions of simplicity and extensionality agree. Other extensions of simplicity and extensionality are ∗−...

‎in this paper first we define the morphism between geometric spaces in two different types‎. ‎we construct two categories of $uu$ and $l$ from geometric spaces then investigate some properties of the two categories‎, ‎for instance $uu$ is topological‎. ‎the relation between hypergroups and geometric spaces is studied‎. ‎by constructing the category $qh$ of $h_{v}$-groups we answer the question...