Winâ Foy : functional object-oriented programming language

This thesis will introduce a new strongly typed programming language utilizing Self types, named Win--*Foy, along with a suitable user interface designed specifically to highlight language features. The need for such a programming language is based on deficiencies found in programming languages that support both Self types and subtyping. Subtyping is a concept that is taken for granted by most software engineers programming in object-oriented languages. Subtyping supports subsumption but it does not support the inheritance of binary methods. Binary methods contain an argument of type Self, the same type as the object itself, in a contravariant position, i.e. as a parameter. There are several arguments in favour of introducing Self types into a programming language (11. This rationale led to the development of a relation that has become known as matching [4, 5). The matching relation does not support subsumption, however, it does support the inheritance of binary methods. Two forms of matching have been proposed (lJ. Specifically, these relations are known as higher-order matching and I-bound matching. Previous research on these relations indicates that the higher-order matching relation is both reflexive and transitive whereas the f-bound matching is reflexive but not transitive (7]. The higher-order matching relation provides significant flexibility regarding inheritance of methods that utilize or return values of the same type. This flexibility, in certain situations, can restrict the programmer from defining specific classes and methods which are based on constant values [21J. For this reason, the type This is used as a second reference to the type of the object that cannot, contrary to Self, be specialized in subclasses. F-bound matching allows a programmer to define a function that will work for all types of A', a subtype of an upper bound function of type A, with the result type being dependent on A'. The use of parametric polymorphism in f-bound matching provides a connection to subtyping in object-oriented languages. This thesis will contain two main sections. Firstly, significant details concerning deficiencies of the subtype relation and the need to introduce higher-order and f-bound matching relations into programming languages will be explored. Secondly, a new programming language named Win--*Foy Functional Object-Oriented Programming Language has been created, along with a suitable user interface, in order to facilitate experimentation by programmers regarding the matching relation. The construction of the programming language and the user interface will be explained in detail.

The effects of upper extremity functional electrically stimulated (FES) exercise training on upper limb function in individuals with tetraplegia

Functional Electrically Stimulated (FES) ami cycle ergometry is a relatively new technique for exercise in individuals with impairments of the upper limbs. The purpose of this study was to determine the effects of 12 weeks of FES arm cycle ergometry on upper limb function and cardiovascular fitness in individuals with tetraplegia. F!ve subjects (4M/1F; mean age 43.8 ± 15.4 years) with a spinal cord injury of the cervical spine (C3- C7; ASIA B-D) participated in 12 weeks of3 times per week FES arm cycle ergometry training. Exercise performance measures (time to fatigue, distance to fatigue, work rate) were taken at baseline, 6 weeks, and following 12 weeks of training. Cardiovascular measures (MAP, resting HR, average and peak HR during exercise, cardiovascular efficiency) and self reported upper limb function (as determined by the CUE, sf-QIF, SCI-SET questionnaires) were taken at baseline and following 12 weeks of training. Increases were found in time to fatigue (84.4%), distance to fatigue (111.7%), and work rate (51.3%). These changes were non-significant. There was a significant decrease in MAP (91.1 ± 13.9 vs. 87.7 ± 14.7 mmHg) following 12 weeks ofFES arm cycle ergometry. There was no significant change in resting HR or average and peak HR during exercise. Cardiovascular efficiency showed an increase following the 12 weeks ofFES training (142.9%), which was non-significant. There were no significant changes in the measures of upper limb function and spasticity. Overall, FES arm cycle ergometry is an effective method of cardiovascular exercise for individuals with tetraplegia, as evidenced by a significant decrease in MAP, however it is unclear whether 12 weeks of thrice weekly FES arm cycle ergometry may effectively improve upper limb function in all individuals with a cervical SCI.

The structural effects of divalent cations and insulin on phospholipid model membranes /

It is well accepted that structural studies with model membranes are of considerable value in understanding the structure of biological membranes. Many studies with models of pure phospholipids have been done; but the effects of divalent cations and protein on these models would make these studies more applicable to intact membrane. The present study, performed with above view, is a structural analysis of divalent io~cardio1ipin complexes using the technique of x-ray diffraction. Cardiolipin, precipitated from dilute solution by divalent ionscalcium, magnesium and barium, contains little water and the structure formed is similar to the structure of pure cardiolipin with low water content. The calcium-cardiolipin complex forms a pure hexagonal type II phase that exists from 40 to 400 C. The molar ratio of calcium and cardiolipin in the complex is 1 : 1. Cardiolipin, precipitated with magnesium and barium forms two co-existing phases, lamellar and hexagonal, the relative quantity of the two phases being dependent on temperature. The hexagonal phase type II consisting of water filled channels formed by adding calcium to cardiolipin may have a remarkable permeability property in intact membrane. Pure cardiolipin and insulin at pH 3.0 and 4.0 precipitate but form no organised structure. Lecithin/cardiolipin and insulin precipitated at pH 3.0 give a pure lamellar phase. As the lecithin/cardiolipin molar ratio changes from 93/7 to SO/50, (a) the repeat distance of the lamellar changes from 72.8 X to 68.2 A; (b) the amount of protein bound increases in such a way that cardiolipin/insulin molar ratio in the complex reaches a maximum constant value at lecithin/cardiolipin molar ratio 70/30. A structural model based on these data shows that the molecular arrangement of lipid and protein is a lipid bilayer coated with protein molecules. The lipid-protein interaction is chiefly electrostatic and little, if any, hydrophobic bonding occurs in this particular system. So, the proposed model is essentially the same as Davson-Daniellifs model of biological membrane.

Diagenesis and geochemical stratigraphy of Upper Pennsylvanian madera brachiopods, New Mexico

Owing to the fact that low-Mg calcite fossil shells are so important in paleoceanographic research, 249 brachiopod, cement and matrix specimens from two neighboring localities (Jemez Springs and Battleship Rock), of the Upper Pennsylvanian Madera Formation were analyzed. Of which, about 86% of the Madera brachiopods are preserved in their pristine mineralogy, microstructure and geochemistry. Cement and matrix samples, in contrast, have been subjected to complete but variable post-deposition~1 alteration. It is confirmed that the stable isotope data of brachiopods are much better than that of matrix material in defining depositional parameters. Because there is no uniform or constant relationship between the two data bases (e.g., from 0.1 to 3.0%0 for 0180 and from 0.2 to 6.7%0 for 013C in this study), it is not possible to make corrections for the matrix data. Regarding the two stratigraphic sections, elemental and petrographic analyses suggest that Jemez Springs is closer to Penasco Uplift than Battleship Rock. Seawater at Jemez Springs is more aerobic, and the water chemistry is more influenced by continental sources than that at Battleship Rock. In addition, there is a relatively stronger dolomitization in the mid-section of the Battleship Rock. Results further suggest that no significant biogenic fractionation or vital effects occurred during their shell secretion, suggesting that the Madera brachiopods incorporated oxygen and carbon isotopes in equilibrium with the ambient seawater. This conclusion is not only drawn from the temporal and spatial analyses, but also supported by brachiopod inter-generic comparison (Composita and Neospirifer) and statistical analysis ( t-test).

Teachers' perceptions of effects of terminal examinations on teaching and learning at the secondary school level in Zimbabwe

This study was particularly aimed at the examinations and the effect they have on schooling at the secondary school level in Zimbabwe. The views and opinions of teachers on the use of terminal examinations for certification and the influence they are seen to have on teachers' approach to the curriculum were examined. The literature has shown that there is widespread criticism of the justice and effects of terminal examinations. It is argued that they lead to an over-emphasis of that which is measured, knowledge and intellectual ability, at the expense of that kind of education progress which is almost impossible to measure in an end-of-the-course assessment. Three hundred and six secondary school teachers responded to a survey which asked for teachers' perceptions of examinations and the curriculum. The findings of this study indicated that teaching is structured towards examinations. Although teachers are trying to teach and develop reasoning skills and other activities, the pressure of examinations and the importance of doing well in them force teachers to restrict themselves to examination requirements.

The effects of static and diurnally-cycling temperature acclimations on thermal tolerances of rainbow trout, Salmo gairdneri

:ofiedian lethal temperatures ( LT50' s ) were determined for rainbow trout, Salmo gairdnerii, acclimated for a minimum of 21 days at 5 c onstant temperatures between 4 and 20 0 C. and 2 diel temperature fluctuations ( sinewave curves of amplitudes ± 4 and ± 7 0 C. about a mean temperature of 12 0 C. ) . Twenty-four-, 48-, and 96-hour LT50 estimates were c alculated f ollowing standard flow-through aquatic bioassay techniques and probi t transformation of mortality data. The phenomenon of delayed thermal mortality was also investigated. Shifts in upper incipient lethal temperature occurred as a result of previous thermal conditioning. It was shown that increases in constant acclimation temperature result in proportional l inear increases in thermal tolerances. The increase i n estimated 96-hour LT50's was approximately 0.13 0 c. X 1 0 C:1 between 8 and 20 0 C. The effect of acclimation to both cyclic temperature regimes was an increase in LT50 to values between the mean and maximum constant equivalent daily temperatures of the cycles. Twenty-four-, 48-, and 96-hour LT50 estimates of both cycles corresponded approximately to the LT50 values of the 16 0 C. c onstant temperature equivalent . This increase i n thermal tolerance was further demonstrated by the delayed thermal mortality experiments . Cycle amplitudes appeared to i nfluence thermal resistance through alterations in initi al mortality since mortality patterns characteristic of base temperature acclimations re-appeared after approximately 68 hours exposure to test temperatures for the 12 + 4 0 C. group, whereas mortality patterns stabilized and remained constant for a period greater than 192 hours with the larger therma l cycle ( 12 + 7 0 C. ). NO s ignificant corre lations between s pecimen weight and time-to-death was apparent. Data are discussed in relation to the establishment of thermal criteria for important commercial and sport fishes , such as the salmonids , as is the question whether previously reported values on lethal temperature s may have been under estimated.

Dynamic Upper Leg Strength and Neuromuscular Function in Children, Adolescents and Adults

This study examined muscle strength, muscle performance, and neuromuscular function during contractions at different velocities across maturation stages and between sexes. Participants included pre-pubertal, late-pubertal and adult males and females. All completed 8 isometric and 8 isokinetic leg extensions at two different velocities. Peak torque (PT), rate of torque development (PrTD), electromechanical-day (EMD), rate of muscle activation (Q30), muscle activation efficiency and coactivation were determined. Sex, maturity, and velocity main effects were found in PT and PrTD, reflecting greater values in men, adults, and isometric contractions respectively. When values were normalized to quadriceps cross-sectional area (qCSA), there was still an increase with maturity. EMD decreased with maturity. Adults had greater activation efficiency than children. Overall, differences in muscle size and neuromuscular function failed to explain group differences in PT or PrTD. More research is needed to investigate why adults may be affected to a greater extent by increasing movement velocity.