22 resultados para branched programs
Resumo:
Formal verification of software can be an enormous task. This fact brought some software engineers to claim that formal verification is not feasible in practice. One possible method of supporting the verification process is a programming language that provides powerful abstraction mechanisms combined with intensive reuse of code. In this thesis we present a strongly typed functional object-oriented programming language. This language features type operators of arbitrary kind corresponding to so-called type protocols. Sub classing and inheritance is based on higher-order matching, i.e., utilizes type protocols as basic tool for reuse of code. We define the operational and axiomatic semantics of this language formally. The latter is the basis of the interactive proof assistant VOOP (Verified Object-Oriented Programs) that allows the user to prove equational properties of programs interactively.
Resumo:
This study examined the process of integrating children with Emotional Behavioural Disorders (EBDs) with their peers into recreation programs. The purpose was to develop a set of recommendations for the development of a handbook to help workers in recreation with the integration process. To this end, a needs assessment was conducted with experienced recreation workers in the form of semistructured interviews. Participants were recruited from two community centers in a large southern Ontario city. Themes were drawn from the analysis of the interview transcripts and combined with findings from the research literature. The results were a set of recommendations on the content and format of a handbook for integrating children with EBDs into recreation programs.
Resumo:
The purpose of this study was to understand referral linkages that exist among falls prevention agencies in a southern Ontario region using network analysis theory. This was a single case study which included fifteen individual interviews. The data was analyzed through the constant comparative approach. Ten themes emerged and are classified into internal and external factors. Themes associated with internal factors are: 1) health professionals initiating services; 2) communication strategies; 3) formal partnerships; 4) trust; 5) program awareness; and 6) referral policies. Themes associated with external factors are: 1) client characteristics; 2) primary and community care collaboration; 3) networking; and 4) funding. Recommendations to improve the referral pathway are: 1) electronic database; 2) electronic referral forms; 3) educating office staff; and 4) education days. This study outlined the benefit of using network analysis to understand referral pathways and the importance of implementing strategies that will improve falls prevention referral pathways.
Resumo:
Parent education programs offered by a variety of public health services are effective support and knowledge resources that enhance positive parenting competencies in early childhood and adolescence. However, parenting education programs are less effective and encompass fewer benefits for fathers in comparison to mothers. This study sought to investigate trends of paternal involvement in early childhood and to compare the influence of parenting education programs on paternal involvement and conceptualization of fathers. A sample of 52 fathers, between the ages of 19 to 54, with children 6 years old and younger completed an electronic or hard copy version of a survey questionnaire reporting on their fathering and experiences as a dad. Findings indicate the sample of Canadian fathers self-reported high levels of paternal involvement, including many who favoured play-based interactions with their children. Although no significant difference in levels of involvement was noted between fathers who had versus those who had not previously participated in a parenting education program, half of the Canadian fathers indicated that supports are needed to strengthen their role as fathers. Results suggest that future initiatives to strengthen parent education program services available in Canada should specifically consider the father’s role.
Resumo:
Inniskillin Wines was founded by Karl Kaiser and Donald Ziraldo in 1975 in Niagara-on-the-Lake, Ontario. They had met the previous year, when Karl Kaiser, a winemaker and chemist, purchased some grapes from Donald Ziraldo, who owned and operated Ziraldo Nurseries. The two shared a vision of producing better quality Canadian wines and formed a partnership, with Kaiser making the wine and Ziraldo serving as company President. In 1975, they were granted a winery license by the LCBO, the first one granted since 1929. The company name Inniskillin was derived from the Inniskilling Fusilliers, an Irish regiment whose Colonel once owned the land that Ziraldo Nurseries occupied. This was the original site of the winery, although in 1978 the winery moved to the Brae Burn Estate, their current location. In 1982 the winery expanded by 50 acres with the addition of the Montague Vineyard, and another 50 acres was acquired in 1991. The Niagara-on-the-Lake vineyard produces single vineyards bottlings of Chardonnay, Pinot Noir, Merlot and Pinot Grigio/Pinot Gris. In 1984, Karl Kaiser began producing icewine from Vidal grapes frozen naturally on the vine. Inniskillin garnered international acclaim for the quality of their icewines, receiving the prestigious Grand Prix d’Honneur at VinExpo in 1991, for their 1989 Vidal icewine. This established Inniskillin as a producer of world class wines, while also raising the profile of Canadian wines in general. The company branched out their operations, first acquiring vineyards in the Napa Valley in 1989 to form Inniskillin Napa (producing wines under the Terra label), and in 1994 establishing Inniskillin Okanagan in the Okanagan Valley in British Columbia. The Napa valley venture ceased in the mid 90’s, while Inniskillin Okanagan continues to operate. In 2006, Karl Kaiser and Donald Ziraldo left Inniskillin. Kaiser retired, while Ziraldo became chair of the Vineland Research and Innovation Center (2006-2011), and remains involved in the wine industry. In 2007, Bruce Nicholson joined Inniskillin as winemaker. Nicholson continues to produce award-winning wines under the Inniskillin label, receiving the top award, the Premio Speciale Gran Award, at Vinitaly 2009 for his 2006 Gold Vidal and his 2006 Sparkling Vidal Icewine. In 2012, he received several awards for the 2008 Riesling Icewine, including gold at the International Wine and Spirits Competition in London, UK, the San Francisco International Wine Championships, and Selections Mondials des Vins Canada.
Resumo:
This qualitative research project explores the insights of Muslim women as teacher candidates completing pre-service programs in Ontario. Ontario schools cater to students from many ethnic, cultural and religious groups, including a sizable Muslim population. Muslims make up 4.6% of Ontario’s population with the highest concentration of Muslims in the GTA (Statistics Canada, 2011). The Muslim population in Ontario is of a significant enough number that, in a post 9/11 world, it has prompted discussion of how to integrate Muslim populations in Canada. In this research, I explore how Islamophobic sentiment is experienced in Ontario-based teacher education programs. I use Critical Race Theory (CRT) and Critical Race Feminism (CRF) to analyse and deconstruct experiences of female Muslim teacher candidates in pre-service programs. I discuss how Muslims are a racialized group that experience racism as discussed by critical race literature; however, there is a marked difference between how Muslim men and women experience gendered Islamophobia. By using in-depth research-based interviews, I explore how Muslim women perceived diversity, education, accommodations and Islamophobia in pre-service programs. This study adds to the current literature on critical race theory and anti-racist practices in education. Furthermore, this study adds to the voice of Muslim women in the discussion of diversity and inclusivity in educational institutions.
Resumo:
The purpose of this study was to investigate the impact of participating in an integrated program at the secondary level on students’ lives based on their postsecondary perceptions. A basic interpretive qualitative design was employed in this study. Ten semistructured interviews were conducted with graduates of integrated program as the means of data collection. It was found that the integrated programs accomplished objectives in close alignment with the mandated curriculum expectations regarding integrated programs. Some of the most powerful impacts related to students' learning skills, such as collaboration and social skills, and how to create as well as participate in community. A strong connection between participating in integrated programs and vocational guidance was also identified. The results led to the recommendation that integrated programs be explored as a platform for delivering 21st century education as they closely paralleled the objectives prescribed by a number of authors who detailed the role of education in the 21st century.