796 resultados para legal reasoning
Resumo:
The documents in the collection include the names of families residing in Stamford Township, Welland County, which today is considered Niagara Falls. Some names are: Allan, Barnett, Brokenshaw, Buchanan, Cadham, Clark, Dalton, Dell, Fell, Garner, Hemmings, Kent, Lightbody, Orchard, Perry, Pew, Ross, Street, Thompson, Willox, Willson, Wright. For a more complete list of names consult the finding aid.
Resumo:
In this study of 109 adolescents from the eighth grade of seven public elementary schools in Ontario, the relationship among adolescents’ violent video game playing patterns, habits and attitudes, their levels of moral reasoning, and their attitudes towards violence in real life was investigated. In addition, gender differences were addressed. The mixed-methodology was employed combining qualitative and quantitative data. The research results confirmed that playing video games in general is a very popular activity among those adolescents. Significant negative relationship was found between adolescents’ amount of time playing violent video games during the day and their scores on The Sociomoral Reflection Measure. Significant difference was also found between adolescents who play violent video games and those who do not play violent video games on their scores on The Attitudes Towards Violence Scale. Boys and girls significantly differed in the amount of playing video games during the day, the reasons for playing video games, their favourite video game choices, and their favourite video game character choices. Boys and girls also significantly differed on their choices of personality traits of selected video game characters, the identification with video game characters, and their mood experiences while playing video games. The findings are put into the educational context and the context of normal development, and suggestions are given for parents, for educators, and for future violent video game research.
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:
Basic relationships between certain regions of space are formulated in natural language in everyday situations. For example, a customer specifies the outline of his future home to the architect by indicating which rooms should be close to each other. Qualitative spatial reasoning as an area of artificial intelligence tries to develop a theory of space based on similar notions. In formal ontology and in ontological computer science, mereotopology is a first-order theory, embodying mereological and topological concepts, of the relations among wholes, parts, parts of parts, and the boundaries between parts. We shall introduce abstract relation algebras and present their structural properties as well as their connection to algebras of binary relations. This will be followed by details of the expressiveness of algebras of relations for region based models. Mereotopology has been the main basis for most region based theories of space. Since its earliest inception many theories have been proposed for mereotopology in artificial intelligence among which Region Connection Calculus is most prominent. The expressiveness of the region connection calculus in relational logic is far greater than its original eight base relations might suggest. In the thesis we formulate ways to automatically generate representable relation algebras using spatial data based on region connection calculus. The generation of new algebras is a two pronged approach involving splitting of existing relations to form new algebras and refinement of such newly generated algebras. We present an implementation of a system for automating aforementioned steps and provide an effective and convenient interface to define new spatial relations and generate representable relational algebras.
Resumo:
This qualitative research examines how service provisions affect lives of unaccompanied minors in Canada. In this study I utilized a semi-structured individual interview method. Among thirteen participants in my study, five came to Canada as unaccompanied minors and eight are professionals involved with service providing organizations in the Niagara region. The unaccompanied children that I interviewed had mixed experiences. Social and legal supports were made available to some of them while one was deported. This paper employs Bhabha’s postcolonial perspective and Foucault’s governmentality to illustrate unaccompanied minors’ post-arrival situation in Canada. This paper also attempts to look at children’s rights from Hanson and Nieuwenhuys’s (2013) perspective of living rights, social justice and translations. This paper explores how the change in recent immigration law affects the lives of unaccompanied minors. Findings of this study suggest that it is important to have a consensus on the definition of an unaccompanied minor; improved data collection and record-keeping on the number of unaccompanied minors; and, having a government-approved follow up mechanism. The study recommends policy makers, service providers and scholars pay increased attention to the experiences of unaccompanied minors to ensure that adequate social and legal services are offered to an unaccompanied minor in Canada.
Resumo:
Richard Leonard was a member of the 104th Regiment of the British Army. He fought during the War of 1812 at Sackett’s Harbour, Lundy’s Lane and Fort Erie. After the war he settled at Lundy’s Lane and was appointed lieutenant colonel of the 1st Lincoln Militia. He later became the Sheriff of Niagara. He died in 1833 and is buried in the Drummond Hill Cemetery.
Resumo:
Tesis ( Maestría en Derecho Laboral) U.A.N.L.
Resumo:
Tesis (Maestría en Derecho Mercantil) U.A.N.L.
Resumo:
Tesis ( Maestría en Ciencias Penales) U.A.N.L.
Resumo:
Tesis (Maestría en Derecho Mercantil) U.A.N.L.
Resumo:
Tesis ( Maestría en Ciencias Forestales ) U.A.N.L.
Resumo:
UANL
Resumo:
UANL
Resumo:
UANL
Resumo:
UANL