The largest proper congruence on S

S(X) denotes the semigroup of all continuous selfmaps of the topological space X. In this paper, we find, for many spaces X, necessary and sufficient conditions for a certain type of congruence to be the largest proper congruence on S(X)

Mechanisms for the Increased Fatigability of the Lower Limb in People with Type 2 Diabetes

Fatiguing exercise is the basis of exercise training and a cornerstone of management of type 2 diabetes mellitus (T2D), however, little is known about the fatigability of limb muscles and the involved mechanisms in people with T2D. The purpose was to compare fatigability of knee extensor muscles between people with T2D and controls without diabetes and determine the neural and muscular mechanisms for a dynamic fatiguing task. Seventeen people with T2D (10 men, 7 women: 59.6{plus minus}9.0 years) and 21 age-, BMI- and physical activity-matched controls (11 men, 10 women: 59.5{plus minus}9.6 years) performed 120 high-velocity concentric contractions (1 contraction/3 s) with a load equivalent to 20% maximal voluntary isometric contraction (MVIC) torque with the knee extensors. Transcranial magnetic stimulation (TMS) and electrical stimulation of the quadriceps were used to assess voluntary activation and contractile properties. People with T2D had larger reductions than controls in power during the fatiguing task (39.9{plus minus}20.2% vs. 28.3{plus minus}16.7%, P2=0.364, P=0.002). Although neural mechanisms contributed to fatigability, contractile mechanisms were responsible for the greater knee extensor fatigability in men and women with T2D compared with healthy controls

Hindcasting of hurricane characteristics and observed storm damage on a fringing reef, Jamaica, West Indies

Hurricane Allen is one of the most severe hurricanes on record and caused extensive damage throughout the Caribbean in early August 1980. Coral reefs along the north coast of Jamaica were devastated by the hurricane-induced waves. As in the case of most hurricanes, no wave measurements were made. We have computed the wind field and hindcast the deep water wave characteristics as the storm impacted the fringing reef at Discovery Bay on the north central coast of Jamaica. The deep water waves propagated into shallow water on the forereef and transformed as a result of shoaling and refraction. We found that significant wave height at a given time varied by a factor of 2.6 and that incident wave power for the duration of the storm varied by a factor of 7 along a 3 km section of the Discovery Bay forereef due to variations in local bathymetry. Maximum hindcast breakers reached a height of 11.5 m with a significant wave period of 10.5 s. Observations of the most intense reef damage coincided with areas on the eastern forereef experiencing the highest breakers. We speculate that the degree of reef damage is a function of how much time has elapsed since the previous storm rather than frequency of hurricanes at a locality

Intra- and interspecific polymorphisms ofLeishmania donovani andL. tropica minicircle DNA

A pair of degenerate polymerase chain reaction (PCR) primers (LEI-1, TCG GAT CC[C,T] [G,C]TG GGT AGG GGC GT; LEI-2, ACG GAT CC[G,C] [G,C][A,C]C TAT [A,T]TT ACA CC) defining a 0.15-kb segment ofLeishmania minicircle DNA was constructed. These primers amplified not only inter- but also intraspecifically polymorphic sequences. Individual sequences revealed a higher intraspecific than interspecific divergence. It is concluded that individual sequences are of limited relevance for species determination. In contrast, when a data base of 19 different sequences was analyzed in a dendrographic plot, an accurate species differentiation was feasible

Predicate Abstraction for Linked Data Structures

We present Alias Refinement Types (ART), a new approach to the verification of correctness properties of linked data structures. While there are many techniques for checking that a heap-manipulating program adheres to its specification, they often require that the programmer annotate the behavior of each procedure, for example, in the form of loop invariants and pre- and post-conditions. Predicate abstraction would be an attractive abstract domain for performing invariant inference, existing techniques are not able to reason about the heap with enough precision to verify functional properties of data structure manipulating programs. In this paper, we propose a technique that lifts predicate abstraction to the heap by factoring the analysis of data structures into two orthogonal components: (1) Alias Types, which reason about the physical shape of heap structures, and (2) Refinement Types, which use simple predicates from an SMT decidable theory to capture the logical or semantic properties of the structures. We prove ART sound by translating types into separation logic assertions, thus translating typing derivations in ART into separation logic proofs. We evaluate ART by implementing a tool that performs type inference for an imperative language, and empirically show, using a suite of data-structure benchmarks, that ART requires only 21% of the annotations needed by other state-of-the-art verification techniques