A syntactic approach to combining functional notation, lazy evaluation, and higher-order in LP systems

Nondeterminism and partially instantiated data structures give logic programming expressive power beyond that of functional programming. However, functional programming often provides convenient syntactic features, such as having a designated implicit output argument, which allow function cali nesting and sometimes results in more compact code. Functional programming also sometimes allows a more direct encoding of lazy evaluation, with its ability to deal with infinite data structures. We present a syntactic functional extensión, used in the Ciao system, which can be implemented in ISO-standard Prolog systems and covers function application, predefined evaluable functors, functional definitions, quoting, and lazy evaluation. The extensión is also composable with higher-order features and can be combined with other extensions to ISO-Prolog such as constraints. We also highlight the features of the Ciao system which help implementation and present some data on the overhead of using lazy evaluation with respect to eager evaluation.

Functional notation and lazy evaluation in Ciao

Certain aspects of functional programming provide syntactic convenience, such as having a designated implicit output argument, which allows function cali nesting and sometimes results in more compact code. Functional programming also sometimes allows a more direct encoding of lazy evaluation, with its ability to deal with infinite data structures. We present a syntactic functional extensión of Prolog covering function application, predefined evaluable functors, functional definitions, quoting, and lazy evaluation. The extensión is also composable with higher-order features. We also highlight the Ciao features which help implementation and present some data on the overhead of using lazy evaluation with respect to eager evaluation.

A novel motion tracking system for evaluation of functional rehabilitation of the upper limbs

Upper limb function impairment is one of the most common sequelae of central nervous system injury, especially in stroke patients and when spinal cord injury produces tetraplegia. Conventional assessment methods cannot provide objective evaluation of patient performance and the tiveness of therapies. The most common assessment tools are based on rating scales, which are inefficient when measuring small changes and can yield subjective bias. In this study, we designed an inertial sensor-based monitoring system composed of five sensors to measure and analyze the complex movements of the upper limbs, which are common in activities of daily living. We developed a kinematic model with nine degrees of freedom to analyze upper limb and head movements in three dimensions. This system was then validated using a commercial optoelectronic system. These findings suggest that an inertial sensor-based motion tracking system can be used in patients who have upper limb impairment through data integration with a virtual reality-based neuroretation system.

Objective metrics for functional evaluation of upper limb during the ADL of drinking: application in SCI

Three-dimensional kinematic analysis provides quantitative assessment of upper limb motion and is used as an outcome measure to evaluate movement disorders. The aim of the present study is to present a set of kinematic metrics for quantifying characteristics of movement performance and the functional status of the subject during the execution of the activity of daily living (ADL) of drinking from a glass. Then, the objective is to apply these metrics in healthy people and a population with cervical spinal cord injury (SCI), and to analyze the metrics ability to discriminate between healthy and pathologic people. 19 people participated in the study: 7 subjects with metameric level C6 tetraplegia, 4 subjects with metameric level C7 tetraplegia and 8 healthy subjects. The movement was recorded with a photogrammetry system. The ADL of drinking was divided into a series of clearly identifiable phases to facilitate analysis. Metrics describing the time of the reaching phase, the range of motion of the joints analyzed, and characteristics of movement performance such as the efficiency, accuracy and smoothness of the distal segment and inter-joint coordination were obtained. The performance of the drinking task was more variable in people with SCI compared to the control group in relation to the metrics measured. Reaching time was longer in SCI groups. The proposed metrics showed capability to discriminate between healthy and pathologic people. Relative deficits in efficiency were larger in SCI people than in controls. These metrics can provide useful information in a clinical setting about the quality of the movement performed by healthy and SCI people during functional activities.

Evaluation of semi-passive treatment technologies for septic lagoon capacity expansion

In Canada, increases in rural development has led to a growing need to effectively manage the resulting municipal and city sewage without the addition of significant cost- and energy- expending infrastructure. Storring Septic Service Limited is a family-owned, licensed wastewater treatment facility located in eastern Ontario. It makes use of a passive waste stabilization pond system to treat and dispose of waste and wastewater in an environmentally responsible manner. Storring Septic, like many other similar small-scale wastewater treatment facilities across Canada, has the potential to act as a sustainable eco-engineered facility that municipalities and service providers could utilize to manage and dispose of their wastewater. However, it is of concern that the substantial inclusion of third party material could be detrimental to the stability and robustness of the pond system. In order to augment the capacity of the current facility, and ensure it remains a self-sustaining system with the capacity to safely accept septage from other sewage haulers, it was hypothesized that pond effluent treatment could be further enhanced through the incorporation of one of three different technology solutions, which would allow the reduction of wastewater quality parameters below existing regulatory effluent discharge limits put in place by Ontario’s Ministry of the Environment and Climate Change (MOECC). Two of these solutions make use of biofilm technologies in order to enhance the removal of wastewater parameters of interest, and the third utilizes the natural water filtration capabilities of zebra mussels. Pilot-scale testing investigated the effects of each of these technologies on treatment performance under both cold and warm weather operation. This research aimed to understand the important mechanisms behind biological filtration methods in order to choose and optimize the best treatment strategy for full-scale testing and implementation. In doing so, a recommendation matrix was elaborated provided with the potential to be used as a universal operational strategy for wastewater treatment facilities located in environments of similar climate and ecology.

Functional evaluation of a water resources system /

Mode of access: Internet.

Evaluation of mammary-gland development in Holstein and Jersey calves as a measure of potential producing capacity /

Cover title.

Evaluation of random plasma cortisol and the low dose corticotropin test as indicators of adrenal secretory capacity in critically ill patients: A prospective study

It is unclear whether a random plasma cortisol measurement and the corticotropin (ACTH) test adequately reflect glucocorticoid secretory capacity in critical illness. This study aimed to determine whether these tests provide information representative of the 24 hour period. Plasma cortisol was measured hourly for 24 hours in 21 critically ill septic patients followed by a corticotropin test with 1 μ g dose administered intravenously. Serum and urine were analysed for ACTH and free cortisol respectively. Marked hourly variability in plasma cortisol was evident (coefficient of variation 8-30%) with no demonstrable circadian rhythm. The individual mean plasma cortisol concentrations ranged from 286 59 nmol/l to 796 &PLUSMN; 83 nmol/l. The 24 hour mean plasma cortisol was strongly correlated with both random plasma cortisol (r(2) 0.9, P< 0.0001) and the cortisol response to corticotropin (r(2) 0.72, P< 0.001). Only nine percent of patients increased their plasma cortisol by 250 nmol/l after corticotropin (euadrenal response). However, 35% of non-responders had spontaneous hourly rises > 250 nmol/l thus highlighting the limitations of a single point corticotropin test. Urinary free cortisol was elevated (865&PLUSMN; 937 nmol) in both corticotropin responders and non-responders suggesting elevated plasma free cortisol. No significant relationship was demonstrable between plasma cortisol and ACTH. We conclude that although random cortisol measurements and the low dose corticotropin tests reliably reflect the 24 hour mean cortisol in critical illness, they do not take into account the pulsatile nature of cortisol secretion. Consequently, there is the potential for erroneous conclusions about adrenal function based on a single measurement. We suggest that caution be exercised when drawing conclusions on the adequacy of adrenal function based on a single random plasma cortisol or the corticotropin test.

The effect of caudal block on functional residual capacity and ventilation homogeneity in healthy children

Caudal block results in a motor blockade that can reduce abdominal wall tension. This could interact with the balance between chest wall and lung recoil pressure and tension of the diaphragm, which determines the static resting volume of the lung. On this rationale, we hypothesised that caudal block causes an increase in functional residual capacity and ventilation distribution in anaesthetised children. Fifty-two healthy children (15-30 kg, 3-8 years of age) undergoing elective surgery with general anaesthesia and caudal block were studied and randomly allocated to two groups: caudal block or control. Following induction of anaesthesia, the first measurement was obtained in the supine position (baseline). All children were then turned to the left lateral position and patients in the caudal block group received a caudal block with bupivacaine. No intervention took place in the control group. After 15 nun in the supine position, the second assessment was performed. Functional residual capacity and parameters of ventilation distribution were calculated by a blinded reviewer. Functional residual capacity was similar at baseline in both groups. In the caudal block group, the capacity increased significantly (p < 0.0001) following caudal block, while in the control group, it remained unchanged. In both groups, parameters of ventilation distribution were consistent with the changes in functional residual capacity. Caudal block resulted in a significant increase in functional residual capacity and improvement in ventilation homogeneity in comparison with the control group. This indicates that caudal block might have a beneficial effect on gas exchange in anaesthetised, spontaneously breathing preschool-aged children with healthy lungs.

An evaluation of functional impairment among children with anxiety disorders

Despite a considerable progress in developing and testing psychosocial treatments to reduce youth anxiety disorders, much remains to learn about the relation between anxiety symptom reduction and change in youth functional impairment. The specific aims of this dissertation thus were to examine: (1) the relation between different levels of anxiety and youth functional impairment ratings; (2) incremental validity of the Children Global Assessment Scale (CGAS); (3) the mediating role of anxiety symptom reduction on youth functional impairment ratings; (4) the directionality of change between anxiety symptom reduction and youth functional impairment; (5) the moderating effects of youth age, sex, and ethnicity on the mediated relation between youth anxiety symptom reduction and change in functional impairment; and (6) an agreement (or lack thereof) between youths and their parents in their views of change in youth functional impairment vis-à-vis anxiety symptom reduction. ^ The results were analyzed using archival data set acquired from 183 youths and their mothers. Research questions were tested using SPSS and structural equation modeling techniques in Mplus. ^ The results supported the efficacy of psychosocial treatments to reduce the severity of youth anxiety symptoms and its associated functional impairment. Moreover, the results revealed that at posttreatment, youths who scored either low or medium on anxiety levels scored significantly lower on impairment, than youths who scored high on anxiety levels. Incremental validity of the CGAS was also revealed across all assessment points and informants in my sample. In addition, the results indicated the mediating role of anxiety symptom reduction with respect to change in youth functional impairment at posttest, regardless of the youth’s age, sex, and ethnicity. No significant findings were observed with regard to the bidirectionality and an informant disagreement vis-à-vis the relation between anxiety symptom reduction and change in functional impairment. ^ The study’s main contributions and potential implications on theoretical, empirical, and clinical levels are further discussed. The emphasis is on the need to enhance existing evidence-based treatments and develop innovative treatment models that will not only reduce youth’s symptoms (such anxiety) but also evoke genuine and palpable improvements in lives of youths and their families.^

Functional Evaluation of Causal Mutations Identified in Human Genetic Studies

Human genetics has been experiencing a wave of genetic discoveries thanks to the development of several technologies, such as genome-wide association studies (GWAS), whole-exome sequencing, and whole genome sequencing. Despite the massive genetic discoveries of new variants associated with human diseases, several key challenges emerge following the genetic discovery. GWAS is known to be good at identifying the locus associated with the patient phenotype. However, the actually causal variants responsible for the phenotype are often elusive. Another challenge in human genetics is that even the causal mutations are already known, the underlying biological effect might remain largely ambiguous. Functional evaluation plays a key role to solve these key challenges in human genetics both to identify causal variants responsible for the phenotype, and to further develop the biological insights from the disease-causing mutations.

We adopted various methods to characterize the effects of variants identified in human genetic studies, including patient genetic and phenotypic data, RNA chemistry, molecular biology, virology, and multi-electrode array and primary neuronal culture systems. Chapter 1 is a broader introduction for the motivation and challenges for functional evaluation in human genetic studies, and the background of several genetics discoveries, such as hepatitis C treatment response, in which we performed functional characterization.

Chapter 2 focuses on the characterization of causal variants following the GWAS study for hepatitis C treatment response. We characterized a non-coding SNP (rs4803217) of IL28B (IFNL3) in high linkage disequilibrium (LD) with the discovery SNP identified in the GWAS. In this chapter, we used inter-disciplinary approaches to characterize rs4803217 on RNA structure, disease association, and protein translation.

Chapter 3 describes another avenue of functional characterization following GWAS focusing on the novel transcripts and proteins identified near the IL28B (IFNL3) locus. It has been recently speculated that this novel protein, which was named IFNL4, may affect the HCV treatment response and clearance. In this chapter, we used molecular biology, virology, and patient genetic and phenotypic data to further characterize and understand the biology of IFNL4. The efforts in chapter 2 and 3 provided new insights to the candidate causal variant(s) responsible for the GWAS for HCV treatment response, however, more evidence is still required to make claims for the exact causal roles of these variants for the GWAS association.

Chapter 4 aims to characterize a mutation already known to cause a disease (seizure) in a mouse model. We demonstrate the potential use of multi-electrode array (MEA) system for the functional characterization and drug testing on mutations found in neurological diseases, such as seizure. Functional characterization in neurological diseases is relatively challenging and available systematic tools are relatively limited. This chapter shows an exploratory research and example to establish a system for the broader use for functional characterization and translational opportunities for mutations found in neurological diseases.

Overall, this dissertation spans a range of challenges of functional evaluations in human genetics. It is expected that the functional characterization to understand human mutations will become more central in human genetics, because there are still many biological questions remaining to be answered after the explosion of human genetic discoveries. The recent advance in several technologies, including genome editing and pluripotent stem cells, is also expected to make new tools available for functional studies in human diseases.

Evaluation of semi-passive treatment technologies for septic lagoon capacity expansion

In Canada, increases in rural development has led to a growing need to effectively manage the resulting municipal and city sewage without the addition of significant cost- and energy- expending infrastructure. Storring Septic Service Limited is a family-owned, licensed wastewater treatment facility located in eastern Ontario. It makes use of a passive waste stabilization pond system to treat and dispose of waste and wastewater in an environmentally responsible manner. Storring Septic, like many other similar small-scale wastewater treatment facilities across Canada, has the potential to act as a sustainable eco-engineered facility that municipalities and service providers could utilize to manage and dispose of their wastewater. However, it is of concern that the substantial inclusion of third party material could be detrimental to the stability and robustness of the pond system. In order to augment the capacity of the current facility, and ensure it remains a self-sustaining system with the capacity to safely accept septage from other sewage haulers, it was hypothesized that pond effluent treatment could be further enhanced through the incorporation of one of three different technology solutions, which would allow the reduction of wastewater quality parameters below existing regulatory effluent discharge limits put in place by Ontario’s Ministry of the Environment and Climate Change (MOECC). Two of these solutions make use of biofilm technologies in order to enhance the removal of wastewater parameters of interest, and the third utilizes the natural water filtration capabilities of zebra mussels. Pilot-scale testing investigated the effects of each of these technologies on treatment performance under both cold and warm weather operation. This research aimed to understand the important mechanisms behind biological filtration methods in order to choose and optimize the best treatment strategy for full-scale testing and implementation. In doing so, a recommendation matrix was elaborated provided with the potential to be used as a universal operational strategy for wastewater treatment facilities located in environments of similar climate and ecology.