Characterizing Dynamic Optimization Benchmarks for the Comparison of Multi-Modal Tracking Algorithms

Population-based metaheuristics, such as particle swarm optimization (PSO), have been employed to solve many real-world optimization problems. Although it is of- ten sufficient to find a single solution to these problems, there does exist those cases where identifying multiple, diverse solutions can be beneficial or even required. Some of these problems are further complicated by a change in their objective function over time. This type of optimization is referred to as dynamic, multi-modal optimization. Algorithms which exploit multiple optima in a search space are identified as niching algorithms. Although numerous dynamic, niching algorithms have been developed, their performance is often measured solely on their ability to find a single, global optimum. Furthermore, the comparisons often use synthetic benchmarks whose landscape characteristics are generally limited and unknown. This thesis provides a landscape analysis of the dynamic benchmark functions commonly developed for multi-modal optimization. The benchmark analysis results reveal that the mechanisms responsible for dynamism in the current dynamic bench- marks do not significantly affect landscape features, thus suggesting a lack of representation for problems whose landscape features vary over time. This analysis is used in a comparison of current niching algorithms to identify the effects that specific landscape features have on niching performance. Two performance metrics are proposed to measure both the scalability and accuracy of the niching algorithms. The algorithm comparison results demonstrate the algorithms best suited for a variety of dynamic environments. This comparison also examines each of the algorithms in terms of their niching behaviours and analyzing the range and trade-off between scalability and accuracy when tuning the algorithms respective parameters. These results contribute to the understanding of current niching techniques as well as the problem features that ultimately dictate their success.

Evaluation of a treatment program for individuals with an intellectual disability who have high risk behaviours

In the past two decades numerous programs have emerged to treat individuals with developmental disabilities who have sexual offending behaviours. There has, however been very few studies that systematically examine the effectiveness of long term treatment with this population. The present research examines the therapeutic outcomes of a multi-modal behaviour approach with six individuals with intellectual disabilities previously charged with sexual assault. The participants also exhibited severe behavioural challenges that included verbal aggression, physical aggression, destruction and self-injury. These six participants (5 males, 1 female) were admitted to a Long Term Residential Treatment Program (LTRTP), due to the severity of their behaviours and due to their lack of treatment success in other programs. Individualized treatment plans focused on the reduction of maladaptive behaviours and the enhancing of skills such as positive coping strategies, socio-sexual knowledge, life skills, recreation and leisure skills. The treatment program also included psychiatric, psychological, medical, behavioural and educational interventions. The participants remained in the Long Term Residential Treatment Program (LTRTP) program from 181 to 932 days (average of 1.5 years). Pre and post treatment evaluations were conducted using the following tools: frequency of target behaviours, Psychopathology Inventory for Mentally Retarded Adults (PIMRA), Emotional Problems Scale (EPS), Socio-Sexual Knowledge and Attitudes Assessment Tool (SSKAAT-R) and Quality of Life Questionnaire (QOL-Q). Recidivism rates and the need for re-hospitalization were also noted for each participant. By offering high levels of individualized interventions, all six participants showed a 37 % rate of reduction in maladaptive behaviours with zero to low rates of inappropriate sexualbehaviour, there were no psychiatric hospitalizations, and there was no recidivism for 5 of 6 participants. In addition, medication was reduced. Mental health scores on the PIMRA were reduced across all participants by 25 % and scores on the Quality of Life Questionnaire increased for all participants by an average of 72 %. These findings add to and build upon the existing literature on long term treatment benefits for individuals with a intellectual disability who sexually offend. By utilizing an individualized and multimodal treatment approach to reduce severe behavioural challenges, not only can the maladaptive behaviours be reduced, but adaptive behaviours can be increased, mental health concerns can be managed, and overall quality of life can be improved.

Structural, stratigraphic and geochemical studies of the Horwood Peninsula - Gander Bay Area, Northeast Newfoundland /

The Horwood Peninsula - Gander Bay area is located at NE Newfoundland in the Botwood Zone (Williams et a1., 1974) or in the Dunnage Zone (Williams, 1979) of the Central Mobile Belt of the Newfoundland Appalachians. The area is underlain by Middle Ordovician to possible Lower Silurian rocks of the Davidsville and Indian Islands Groups, respectively. Three conformable formations named informally : the Mafic Volcanic Formation, the Greywacke and Siltstone Formation and the Black Slate Formation, have been recognized in the Davidsville Group. The Greywacke and the Black Slate Formations pass locally into a Melange Formation. From consideration of regional structure and abundant locally-derived mafic volcanic olisto- 1iths in the melange, it is considered to have originated by gravity sliding rather than thrusting. Four formations have been recognized in the Indian Islands Group. They mainly contain silty slate and phyllite, grey cherty siltstone, green to red micaceous siltstone and limestone horizons. Repetition of lithological units by F1 folding are well-demonstrated in one of formations in this Group. The major structure in this Group on the Horwood Peninsula is interpreted to be a synclinal complex. The lithology of this Group is different from the Botwood Group to the west and is probably Late Ordovician and/or Early Silurian in age. The effects of soft-sediment deformation can be seen from the lower part of the Davidsville Group to the middle part of the Indian Islands Group indicating continuous and/or episodic slumping and sliding activities throughout the whole area. However, no siginificant depOSitional and tectonic break that could be assigned to the Taconian Orogeny has been recognized in this study. Three periods of tectonic deformation were produced by the Acadian Orogeny. Double boudinage in thin dikes indicates a southeast-northwest sub-horizontal compression and main northeast-southwest sub-horizontal extension during the D1 deformation. A penetrative, axial planar slaty cleavage (Sl) and tight to isocJ.ina1 F1 folds are products of this deformation. The D2 and D3 deformations formed S2 and S3 fabrics associated with crenulations and kink bands which are well-shown in the slates and phyllites of the Indian Islands Group. The D2 and D3 deformations are the products of vertical and northeast-southwest horizontal shortening respectively. The inferred fault between the Ordovician slates (Davidsville Group) and the siltstones (Indian Islands Group) suggested by Williams (1963, 1964b, 1972, 1978) is absent. Formations can be followed without displacement across this inferred fault. Chemically, the pillow lavas, mafic agglomerates, tuff beds and diabase dikes are subdivided into three rock suites : (a) basaltic komatiite (Beaver Cove Assemblage), (b) tholeiitic basalt (diabase dikes), (c) alkaline basalt (Shoal Bay Assemblage). The high Ti02 , MgO, Ni contents and bimodal characteristic of the basaltic komatiite in the area are comparable to the Svartenhuk Peninsula at Baffin Bay and are interpreted to be the result of an abortive volcano-tectonic rift-zone in a rear-arc basin. Modal and chemical analyses of greywackes and siltstones show the trend of maturity of these rocks increasing from poorly sorted Ordovician greywackes to fairly well-sorted Silurian siltstones. Rock fragments in greywackes indicate source areas consisting of plagiogranite, low grade metamorphic rocks and ultramafic rocks. Rare sedimentary structures in both Groups indicate a southeasterly provenance. Trace element analyses of greywackes also reveal a possible island-arc affinity.

Differentiation of morphology and reproductive traits in the house finch (Carpodacus mexicanus): a comparison between native and introduced populations

House Finches (CarpQdacqs mexiCAnuS) were introduced to Long Island, New York from southern'California in 1940. Apparently, an initial sample of less than 100 birds has given rise to a population that now occupies much of the eastern United States. This study was to determine if morphological and reproductive changes have taken place in introduced eastern birds, which have colonized a novel environment. A study area in Goleta, California (CAL) represented the parental population whereas for comparison, House Finches in St. Catharines, Ontario (ONT) represented the introduced population. Interlocality variation in 25 morphometric characters of 100 adult House Finches was examined statistically. Singleclassification analysis of variance revealed significant interlocality differentiation in seven characters of males and nine of females. Females showed differentiation in more limb elements than males. Analysis of character variation using discriminant and principal component analysis distinguished samples on the basis of variation in shape. Compared to CAL, aNT birds (especially females) had smaller extremities relative to certain core parts and weight. Females showed similar patterns of character covariation in each locality on the second principal component, which suggests that differentiation of the ONT population may not be solely environmentally induced. Sexual dimorphism was evident in four charaoters in aNT and five in CAL. Disoriminant analysis distinguished sex on the basis of variation in shape. Males possessed a relatively larger flying apparatus and small.er hind limbs than females. The dearee of sexual dimorphism did not vary sicnifioantly between looalities. 3 Data on reproduotive parameters were oolleoted in 1983 and 1984 in ONT, and 1984 in CAL. In 1984, Bouse Finohes began breedina approximately three months earlier in CAL than in ONT. In ONT, there was no sianifioant differenoe in mean olutoh initiation date between 1983 and 1984. In both looalities most nests oontained either four or five ea",s, and olutoh size differenoes between looalites were not signifioant. Seasonal deolines in olutch size were evident in ONT but not in CAL. Intralooality variation in e.g weight and size was not related to clutch size. E",g weiaht showed no seasonal trend in ONT, but inoreased sianifioantly with breed ina season in OAL. In both looalities e8'''' weiaht increased sipifioantly with order of layina in olutohes of four but not in clutohes of five. Eag's in ONT in 1983 and 1984 were sip.ificantly larser than in CAL in 1984. The modal inoubation period was 13 days and did not vary sip.ifioantly between localites. In both looalities nestling weiaht on the day of hatohing was oorrelated to fresh ega welaht. For muoh of the period between hatohing and 14 days post-hatoh, ONT nestlinas were signifioantly laraer than CAL nestlings in terms of weiaht. bill length, bill depth, and manus length.

Textual characteristics of coarse sediments in selected streams of the Niagara Peninsula, Ontario

The streams flowing through the Niagara Escarpment are paved by coarse carbonate and sandstone sediments which have originated from the escarpment units and can be traced downstream from their source. Fifty-nine sediment samples were taken from five streams, over distances of 3,000 to 10,000 feet (915 to 3050 m), to determine downstream changes in sediment composition, textural characteristics and sorting. In addition, fluorometric velocity measurements were used in conjunction with measured -discharge and flow records to estimate the frequency of sediment movement. The frequency of sediments of a given lithology changes downstream in direct response to the outcrop position of the formations in the channels. Clasts derived from a single stratigraphic unit usually reach a maximum frequency within the first 1,000 feet (305 m) of transport. Sediments derived from formations at the top of waterfalls reach a modal frequency farther downstream than material originating at the base of waterfalls. Downstream variations in sediment size over the lengths of the study reaches reflect the changes in channel morphology and lithologic composition of the sediment samples. Linear regression analyses indicate that there is a decrease in the axial lengths between the intial and final samples and that the long axis decreases in length more rapidly than the intermediate, while the short axis remains almost constant. Carbonate sediments from coarse-grained, fossiliferous units - iii - are more variable in size than fine-grained dolostones and sandstones. The average sphericity for carbonates and sandstones increases from 0.65 to 0.67, while maximum projection sphericity remains nearly constant with an average value of 0.52. Pebble roundness increases more rapidly than either of the sphericity parameters and the sediments change from subrounded to rounded. The Hjulstrom diagram indicates that the velocities required to initiate transport of sediments with an average intermediate diameter of 10 cm range from 200 cm/s to 300 cm/s (6.6 ft./sec. to 9.8 ft./sec.). From the modal velocitydischarge relations, the flows corresponding to these velocities are greater than 3,500 cfs (99 m3s). These discharges occur less than 0.01 p~r cent (0.4 days) of the time and correspond to a discharge occurring during the spring flood.

Foraging ecology and parental care of common terns (Sterna hirundo) nesting in Windermere Basin, Lake Ontario

The relationships among chick feeding, size and type of prey item, and foraging time away from the brood have not been well studied in seabirds. This study investigated spatial and temporal patterns of foraging and chick-provisioning among 23 radio-tagged male common terns nesting at Hamilton Harbour, Lake Ontario during 1991 and 1992. Telemetry data were collected concurrently with behavioural observations from an elevated blind. Terns fitted with transmitters did not differ from controls with respect to either brood attendance, patterns of chick mortality, species and size distributions of prey delivered to offspring, or chick-provisioning rates. There was a clear separation of parental roles: males were primarily responsible for feeding chicks while females allocated more time to brood attendance. The prey species most commonly delivered to chicks by adults were rainbow smelt (Osmerus mordax) and alewife (A/osa pseudoharengus), followed in importance by larval fish, emerald shiner (Notropis antherinoides), salmonids, and fathead minnows (Pimepha/es prome/as). The relative proportions of various fish speCies delivered to chicks by males differed over the course of each breeding season, and there was also much variability in species composition of prey between years. Sizes of prey delivered to chicks also differed between sampling periods. The modal size of fish brought to chicks during Peak 1991 was 1.5 bill lengths, while the majority of prey in Late 1991 were small larval fish. The reverse trend occurred in 1992 when small fish were delivered to chicks predominantly during the Peak nesting period. During periods when predominantly small fish were delivered to chicks, the foraging activity of radio-tagged males was concentrated within a two kilometer radius of the colony. The observed variation in prey composition and foraging locations during the study likely reflects temporal variation in the availability of prey in the vicinity of the colony. Males delivered fish to chicks at a constant rate, while females 4 increased their feeding frequency over the first six to ten brood days. The mean length of fish delivered to chicks by adults increased significantly with increasing chick age. As a group, within each nesting period, transmittered males either foraged predominantly in the same directional bearing (north during Peak 1991, south during Late 1992), or concentrated foraging activity in the immediate vicinity of the colony (Late 1991, Peak 1992). However, individual radio-tagged males exhibited unique and predictable foraging patterns, often favouring specific locations within these areas and differing in their secondary foraging patterns. Overall, the Lake Ontario shoreline between NCB Bay" (3.5 km south of colony) and the lift bridge canal (4 km north of colony) was the foraging area used most frequently by radiotagged males during the chick-rearing period. Foraging patterns of transmittered males at Windermere Basin are similar to patterns of peak-nesting common terns, but differ from those of late-nesters, at a nearby colony (Port Colborne, Lake Erie). Differences between the foraging patterns of late-nesting terns at these colonies likely reflect differences in annual patterns of fish availability between the two locations. No relationship was found between foraging proficiency of adults and survival of offspring. Stochastic factors, such as predation by black-crowned nightherons (Nycticorax nycticorax) and adverse weather conditions during the early stages of chick rearing, may be more important determinants of common tern breeding success than parental quality or fish availability.

Using fuction-based CBT with parent involvement to treat OCD in two school-age children with high-functioning autism

Obsessive Compulsive Disorder (OCD) involves excessive worry coupled with engaging in rituals that are believed to help alleviate the worry. Pervasive Developmental Disorders (PODs) are characterized by impairments in social interaction, communication, and the presence of repetitive and/or restrictive behaviours (American Psychiatric Association, 2000). Research suggests that as many as 81% of children with a POD also meet criteria for a diagnosis ofOCD. Currently, only a handful of studies have investigated the use of Cognitive Behavioural Therapy (CBT) in treating OCD in children with autism (Reaven & Hepburn, 2003 ; Sze & Wood, 2007; Lehmkuhl, Storch, Bodtish & Geflken, 2008). In these case studies. the use of a multi-modal CBT treatment package was successful in alleviating OCD behaviours. The current study used function-based CBT with parent involvement and behavioural supplements to treat 2 children with POD and OCD. Using a multiple baseline design across behaviours and participants, parents reported that their child 's anxiety was alleviated and these gains were maintained at 6-month follow-up. According to results of the Children 's Yale-Brown Obsessive Compulsive Scale (Goodman, Price, Rasmussen, Riddle, & Rapoport, 1986) from preto post-test, OCD behaviours of the children decreased II"om the severe to the mild range. In addition, the parents rated the family's level of interference related to their child 's OCD as substantially lower. Last, the CBT treatment received high ratings of consumer satisfaction.

Characterisation and optimisation of the flavour of health-promoting, plantderived bitterants in functional beverages.

Flavour is a combination of taste, odour, and chemesthetic sensations. Close associations exist between these sensory modalities, and thus, the overall flavour of a food or beverage product can change when the intensity of one or more of these sensations is altered. Strategies to modify flavour are often utilized by the food industry, and are central to the engineering of new and reformulated products. For functional food and beverages, flavour modification is particularly important, as fortifying agents can elicit high levels of less than desirable sensations, such as bitterness and astringency. The application of various flavour modifying strategies can decrease the perceived intensity of these sensations, and in tum, improve the sensory profile of the product. This collection of studies describes the sensory characteristics of experimental functional beverages fortified with trans-resveratrol, (+)-catechin, and/or caffeine, and examines the impact of novel flavour modifying strategies on the perceived flavour of these beverages. In the first study, results demonstrate that the flavour profile of Cabemet Sauvignon wines fortified with 20 mglL and 200 mg/L of trans-resveratrol is not perceived as different compared to control wine (0 mglL). However, Riesling wine fortified with 200 mg/L is perceived as significantly higher in bitterness compared to 20 mglL and control. For some functional food formulations, alternative strategies for flavour modification are needed. Traditional methods, such as the addition of sucrose and sodium chloride, may decrease the perceived 'healthiness' of a product, and thus, may be sub-optimal. In a second study, high and low concentrations of five different bitter inhibiting compounds - 'bitter blockers' - (B-cyclodextrin, homoeridictyol sodium salt, carboxymethylcellulose - low viscosity, zinc sulfate, magnesium sulfate) were tested for their efficacy towards decreasing the bitterness of high and low concentrations of caffeine and (+)catechin - two health-relevant, plant-derived bitterants. B-cyclodextrin and homoeridictyol sodium salt were the most effective blockers at decreasing (+ )-catechin and caffeine, respectively. In addition to bitter blockers, additional flavour modifying strategies, either alone or in combination - may also be successful in functional food formulations. Both sucrose and rebaudioside A - a plant-derived sweetener - were effective at decreasing the bitterness of (+)catechin. When added to (+)-catechin along with B-cyc1odextrin, both sweeteners provided the most effective decrease in bitterness compared to binary, ternary, or quaternary mixtures of (+)catechin together with bitter blockers, sweeteners, andlor odourants. The perceived intensity of sensations elicited by sweeteners and odourants was not affected by the addition of bitter blockers, and thus, their impact within these complex matrices is minimal. In addition, withinmodal (taste-taste) compared to cross-modal (taste-odour) sensory interactions were more effective at decreasing the bitterness of (+ )-catechin. Overall, results from these studies demonstrate that certain novel, alternative flavour modifying approaches may be successful towards lowering the bitterness and astringency elicited by (+ )-catechin and caffeine in aqueous solutions.

An Interactive Theorem Prover for First-Order Dynamic Logic

Dynamic logic is an extension of modal logic originally intended for reasoning about computer programs. The method of proving correctness of properties of a computer program using the well-known Hoare Logic can be implemented by utilizing the robustness of dynamic logic. For a very broad range of languages and applications in program veri cation, a theorem prover named KIV (Karlsruhe Interactive Veri er) Theorem Prover has already been developed. But a high degree of automation and its complexity make it di cult to use it for educational purposes. My research work is motivated towards the design and implementation of a similar interactive theorem prover with educational use as its main design criteria. As the key purpose of this system is to serve as an educational tool, it is a self-explanatory system that explains every step of creating a derivation, i.e., proving a theorem. This deductive system is implemented in the platform-independent programming language Java. In addition, a very popular combination of a lexical analyzer generator, JFlex, and the parser generator BYacc/J for parsing formulas and programs has been used.