• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 59
  • 23
  • 19
  • 7
  • 7
  • 3
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • Tagged with
  • 148
  • 17
  • 16
  • 14
  • 12
  • 12
  • 11
  • 9
  • 9
  • 8
  • 8
  • 8
  • 7
  • 7
  • 7
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
41

Definir e exemplificar: estratégias didáticas no Curso de Linguística Geral (1907) / Defining and Exemplifying: teaching strategies in the Course on General Linguistics

Torelli, Lygia Rachel Testa 07 July 2015 (has links)
Esta dissertação tem por objetivo analisar a atividade docente de Ferdinand de Saussure (1857-1913) relativa à Linguística Geral, em 1907, quando o então experiente professor assumiu, pela primeira vez, o ensino da disciplina (Curso I). Nossos pressupostos teóricos provêm da Historiografia Linguística, tal como praticada por Auroux (1994), Koerner (1996) e Swiggers (2004). Nossa problemática parte do reconhecimento de que uma das maneiras de perpetuar a presença de Saussure no cânone dos estudos linguísticos consiste em repetir metáforas e exemplos a ele creditados, como a célebre metáfora do jogo de xadrez para ilustrar o conceito de língua. A partir de estudos historiográficos das funções semiótica e argumentativa de definições e de exemplos de língua (Rey, 1995; Quijada Van den Berghe e Swiggers, 2009; Chevillard et al., 2007), repartimos o material de análise (Saussure, 1996[1907]) em três porções, a que chamamos domínios (Caussat, 1978): Fonologia, Fonética e Analogia, temas do Curso I, para os quais estabelecemos três objetivos principais de pesquisa [1 a 3], e um objetivo secundário [4]: [1] levantar e caracterizar definições nos três domínios; [2] levantar e caracterizar os exemplos de língua nos três domínios; [3] correlacionar o uso de definições e de exemplos de língua nos três domínios; [4] correlacionar os dados apurados em [3] com com o contexto imediato de emergência do Curso I, ou seja, com o ensino da disciplina Linguística Geral na Faculté de Lettres et Sciences Sociales, em Genebra, em 1907 (Vincent, 2013). Nossas análises, que abarcaram 60 (sessenta) definições, apontam para a preferência de se construir uma definição pelo termo (definitio nominis), e não pela coisa (definitio rei), quando se trata de apresentar definições prioritárias ao assunto. Quanto aos exemplos, foram apuradas mais de 2000 (duas mil) ocorrências, com saliente revezamento entre francês e alemão nos três domínios, acompanhados por latim e grego, em uma representação das línguas-objeto feita principalmente por compreensão, ou seja, pelo uso generalizável dos exemplos de língua, que ilustram o conteúdo temático de maneira não-exaustiva. A unidade majoritária dos exemplos é a palavra, e sua disposição espacial preferencial são séries paralelas, ora em contraste simultâneo, ora em relação de sucessão temporal, com poucos paradigmas e declinações. As perguntas retóricas desempenham papel didático frequente e flexível, desde o teste de hipóteses até a apresentação de definições. Observamos, ainda, a ocorrência de definições que apresentam diretamente exemplos de língua, em uma relação bastante forte de interdependência. Reunimos, ainda, mecanismos de organização dos conteúdos temáticos (numerais, grafemas alfabéticos) e de esquematização (tabelas, símbolos e outras rupturas com a linearidade da exposição oral e da anotação escrita). Por fim, observamos estruturas de negação em todos os mecanismos investigados: definições que apresentam aquilo que não é antes daquilo que é, exemplos de língua que não ilustram determinado assunto, perguntas retóricas com respostas frequentemente negativas e oposições entre conceitos, de modo que as relações de oposição, algumas antinômicas, parecem caracterizar de maneira geral a didática de Saussure antes mesmo da formulação explícita do conceito de signo linguístico, que ocorreu, como sabemos, no curso de 1910-1911. / This paper aims to examine the teaching activity of Ferdinand de Saussure (1857- 1913) as to General Linguistics, in 1907, when the experient professor first started a course on the subject. Our work assumes that one way of perpetrating the canon consists of repeating some metaphors and examples accredited to him, as it goes to the famous saussurian chess game metaphor which illustrates the concept of langue. Our theoretical background lies on the Historiography of Linguistics, as professed by Auroux (1994), Koerner (1996) and Swiggers (2004), and the same applies for our methodological assumptions (Rey, 1995). Having established three separate domains within the first course (Saussure, 1996[1907]), Phonology, Phonetics and Analogy, we have then settled three main goals [1 to 3] and one secondary objective [4]: [1] to describe the definitions given in the three domains; [2] to describe and assess the language examples provided by the three domains; [3] relate the uses of definitions to those of language examples; [4] to relate [3] to the immediate context of emergence of the first course, the institutional background of General Linguistics at the Faculté de Lettres et Sciences Sociales, (Geneva, 1907). In order to accomplish the first step [1], we have adopted the classification of definitio rei, definitio nominis, as far as the definition incidence is concerned, and essencial, formal and functional definition, as to its content (Quijada Van den Berghe e Swiggers, 2009). The language examples [2] were analysed through their démarcation, the way they appear in the text; the way the languages being described are represented in the text, which can assume two forms: either par extension, when the totality of the cases are listed, either par compréhension, when the examples are models from which one can generate new instances (Chevillard et al., 2007). Our corpus comprises 60 (sixty) definitions and over two thousand examples. In general terms, the definitio nominis is enhanced when it comes to define priority terms, such as phonology. As to the examples, four languages appear intensely in the domains: french, german, greek and latin. These languages entertain a kind of representation mainly in comprehension.These instances occur as words, in horizontal and parallel series, scarcely in paradigms or declensions. There are definitions which exemplify overtly and directly, with no more material to accomplish a definition, which shows the strict interdependence of these constructions, together with a different mechanism, the rethorical questions. We have gathered, as well, organizing mechanisms (items, topics) and schematization procedures (tables, symboles and strategies that lessen the linearity of the text). Eventually, we have spotted the wide-spread use of negative strategies, such as defining something by what it is not, or excluding elements from a definition, as well as providing language examples which uncorrectly illustrate what is being said, in order to anticipate possible mistakes. Such procedures seem to be a hallmark on Saussures teaching.
42

Concep??es do professor alfabetizador: uma vis?o hist?rico-cr?tica? / Alphabetiser teacher conceptions: a historic-critical view?

Tomio, Noeli Assunta Oro 23 September 2004 (has links)
Made available in DSpace on 2016-04-04T18:27:48Z (GMT). No. of bitstreams: 1 Noeli Assunta Oro Tomio.pdf: 983336 bytes, checksum: b64e0c52da6cc082ddaf8fe4a5a019aa (MD5) Previous issue date: 2004-09-23 / This work pretends to make an analysis of teacher?s conceptions on respect of child concept, the educator role and function and the paper of the interaction as child development propeller. Starting from a deep theoryc study guided by the historic-critical perspective intends to analyze how conceptions and beliefs guides the educator in the moment that the child take a qualitative increase on his cognitive and social development by acquisition of reading and writing capacities. For the research empirical part 14 interviews was made with teachers, in a municipality at Paran? State inland, that have been submitted to a continued formation during 7 years into the historic-critical perspective. The results shows generally that the teacher s definitions alternates so innate-mature as interactionists conceptions of infantile development, refer the child development as result of innate factors or linked to the ambient influence, originated from external factors and acquired by the person. Do not start from the pre-conception that the teacher and the social relations contribute through mediation for the formation of the superior psychological functions, necessary for the knowledge appropriation. Consider that this study may extend the analysis and reflection about propositions that support the construction and execution of a continued formation taking as north reference the perspective of changes on the educational process, looking to that actions developed on pedagogic procedures may change teacher s daily practices. / Este trabalho pretende fazer uma an?lise das concep??es do professor alfabetizador a respeito do conceito de crian?a, papel e fun??o do educador, e o papel da intera??o como propulsora do desenvolvimento da crian?a. A partir de um aprofundamento te?rico norteado pela perspectiva hist?rico-critica, pretendese analisar como as concep??es e cren?as orientam o educador no momento em que a crian?a opera um salto qualitativo em seu desenvolvimento cognitivo e social por meio da aquisi??o da leitura e escrita. Para a parte emp?rica da pesquisa foram entrevistados 14 professores, em um munic?pio no interior do Estado do Paran?, submetidos a uma forma??o continuada durante sete anos dentro da perspectiva hist?rico-cr?tica. Os resultados indicam que de modo geral as defini??es alternam tanto concep??es inatista-maturacionista como interacionistas de desenvolvimento infantil, atribuem o desenvolvimento da crian?a resultante de fatores inatos ou que decorrem da influ?ncia do ambiente, resultantes de fatores externos e adquiridos pelo indiv?duo. N?o partem do pressuposto que, por meio da media??o do conhecimento cient?fico contribuem para a forma??o das fun??es psicol?gicas superiores, necess?rias para a apropria??o do conhecimento. Considera-se que este estudo pode ampliar a an?lise e reflex?o acerca de propostas que favore?am a constru??o e execu??o de uma forma??o continuada tendo como norte ? perspectiva para mudan?as no processo educativo, de forma que a??es desenvolvidas na pr?tica pedag?gica possibilitem edificar mudan?as na pr?tica cotidiana do professor.
43

Aplicação das classificações CID-10 e CIF nas definições de deficiência e incapacidade / Application of the classifications ICD-10 and ICF on definitions of disability

Di Nubila, Heloisa Brunow Ventura 14 March 2007 (has links)
A Organização Mundial de Saúde tem hoje duas classificações de referência para a descrição dos estados de saúde: a CID-10 (Classificação Estatística Internacional de Doenças e Problemas Relacionados à Saúde) e a CIF (Classificação Internacional de Funcionalidade, Incapacidade e Saúde). A utilização da CIF vem sendo aguardada com grande expectativa pelas organizações de pessoas com deficiências e instituições relacionadas. A falta de definição clara de “deficiência" ou “incapacidade" tem sido apontada como um impedimento para a promoção de saúde de pessoas com deficiência. Este trabalho tem como objetivo apresentar definições de deficiência, discutindo a utilização da CID-10 e da CIF e a contribuição da CIF para melhorar a compreensão sobre definições de deficiência a partir do conceito de funcionalidade e dos fatores contextuais. Foram revisados alguns diferentes conceitos/definições de deficiência, bem como publicações envolvendo a aplicação da CIF. São apresentadas algumas categorias de diagnósticos de estados de saúde da CID-10 hoje utilizadas em alguns sistemas, além de elementos da recém-apresentada CIF, que podem contribuir para diferentes campos de aplicabilidade no que diz respeito ao entendimento das definições de deficiência ou incapacidade. / The World Health Organization has nowadays two reference classifications for description of health conditions: ICD-10 (International Statistical Classification of Diseases and Health Related Problems) and ICF (International Classification of Functioning, Disability and Health). Organizations of people with disabilities and related institutions are waiting with high expectation for the ICF utilization. Lack of clear definition of “disability" is being pointed out as a deterrent for promoting the health of people with disabilities. The objective of this work is to evaluate definitions of disability, and discuss the use of ICD-10 and ICF and the contribution of ICF to improve understanding of definitions of disability through functioning and contextual factors. Some different definitions of disability have been reviewed, as well as publications involving ICF application. Diagnostic categories of health conditions of ICD-10 used in some systems are presented, as well as ICF components that could contribute for different fields of applicability regarding the understanding of definitions of disability.
44

A legislação brasileira na conservação das áreas úmidas - compilação de termos e definições

Caleffi, Vanessa 25 February 2009 (has links)
Made available in DSpace on 2015-03-05T16:19:37Z (GMT). No. of bitstreams: 0 Previous issue date: 25 / Nenhuma / O presente artigo pretende estudar as áreas úmidas, trazendo sua definição e identificação, além de suas funções e importâncias. Um histórico a respeito das leis que envolvem esse tipo de ecossistema está incluído neste trabalho, juntamente com as legislações brasileiras, em nível federal e estadual, voltadas às áreas de preservação permanente ou a conservação de áreas úmidas. Os principais resultados deste estudo encontram-se sob a forma de artigo científico, complementado com anexos onde se destaca a presença de um glossário de termos de áreas úmidas. As considerações finais da dissertação estão fundamentadas nos resultados encontrados que forneceram subsídios importantes e adicionais para a preservação de áreas úmidas. / This article aims to explore the wetlands, bringing its definition and identification, in addition to his duties and importance. A history to the laws involving this type of ecosystem is included in this work, together with the Brazilian laws, in federal and state level, focusing on areas of permanent preservation or conservation of wetlands. The main results of this study are found in the form of scientific article, supplemented with attachments where highlights the presence of a glossary of terms of wetlands. The final of the dissertation are based on results that provide important and additional allowances for the preservation of wetlands.
45

A aplicabilidade de conceitos de palavra à língua Noke Koĩ / The applicability of concepts of word to the Noke Koĩ language

Falchi, Flávia Leonel 18 December 2015 (has links)
Submitted by Cláudia Bueno (claudiamoura18@gmail.com) on 2016-03-02T20:12:15Z No. of bitstreams: 2 Dissertação - Flávia Leonel Falchi - 2015.pdf: 6117990 bytes, checksum: 706b3a67d10c899c0663ff0852885da1 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2016-03-03T12:34:03Z (GMT) No. of bitstreams: 2 Dissertação - Flávia Leonel Falchi - 2015.pdf: 6117990 bytes, checksum: 706b3a67d10c899c0663ff0852885da1 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Made available in DSpace on 2016-03-03T12:34:03Z (GMT). No. of bitstreams: 2 Dissertação - Flávia Leonel Falchi - 2015.pdf: 6117990 bytes, checksum: 706b3a67d10c899c0663ff0852885da1 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) Previous issue date: 2015-12-18 / Fundação de Amparo à Pesquisa do Estado de Goiás - FAPEG / The Noke Koĩ language, also called by the names Katukina or Vitxináwa in the less recente bibliography, is a Panoan language spoken by the indigenous group Noke Koĩ. This group lives in the Amazon rainforest, in the region of the Juruá river, in two areas, Terra Indígena Campinas/Katukina and Terra Indígena Rio Gregório. Both areas are located in Tarauacá, in the state of Acre, Brazil. This thesis presents an analysis of the application or not to the Noke Koĩ language of the main definitions that there are in Linguistics for the problematic term word. The statement that exists in this field about not being possible to define word likewise for every language is also considered. Therefore, a specific concept for the Noke Koĩ language is formulated, based on the stress and on the number of syllables of the words of this language, in accordance with Aguiar (1994a). According to the analysis realized of the main definitions of word that objectify to be universal, the criterion stress, unsuitable to the Portuguese language (Camara Júnior, 2010, 2011), can be applied to the Noke Koĩ. In this indigenous language, the definition of word based on the writing and the semantic concept can not be used. Possibly a new type of forms, not classified yet by linguistic theory, must be included on the definition formulated by Bloomfield (1926, 1976) and revised by Camara Júnior (1979, 1980, 1996, 2010, 2011). / A língua Noke Koĩ, até recentemente conhecida na literatura pelos nomes Katukina e Vitxináwa, pertence à família Páno e é falada na Amazônia brasileira, pelo grupo indígena Noke Koĩ. Esse grupo vive na região do rio Juruá, na Terra Indígena Campinas/Katukina e na Terra Indígena Rio Gregório, localizadas no estado do Acre, no município de Tarauacá. O presente trabalho apresenta uma análise da aplicabilidade à língua Noke Koĩ dos principais conceitos existentes na Linguística a respeito da problemática definição de palavra. Além disso, considerando-se a afirmação que há na Linguística de que um conceito universal de palavra não é possível, uma definição de palavra específica para a língua indígena Noke Koĩ é elaborada a partir do acento e da quantidade de sílabas das palavras dessa língua, em concordância com Aguiar (1994a). Segundo a análise da aplicabilidade realizada em relação aos principais conceitos que objetivam ser universais, a definição de palavra baseada no acento, inadequada ao português (Camara Júnior, 2010, 2011), pode ser aplicada à língua indígena Noke Koĩ. Quanto ao conceito semântico e ao baseado na escrita, esses não podem ser usados para essa língua. Ademais, ao conceito de palavra formulado por Bloomfield (1926, 1976) e revisto por Camara Júnior (1979, 1980, 1996, 2010, 2011), possivelmente se deve incluir mais um outro tipo de formas ainda não classificado pela teoria linguística.
46

Definir e exemplificar: estratégias didáticas no Curso de Linguística Geral (1907) / Defining and Exemplifying: teaching strategies in the Course on General Linguistics

Lygia Rachel Testa Torelli 07 July 2015 (has links)
Esta dissertação tem por objetivo analisar a atividade docente de Ferdinand de Saussure (1857-1913) relativa à Linguística Geral, em 1907, quando o então experiente professor assumiu, pela primeira vez, o ensino da disciplina (Curso I). Nossos pressupostos teóricos provêm da Historiografia Linguística, tal como praticada por Auroux (1994), Koerner (1996) e Swiggers (2004). Nossa problemática parte do reconhecimento de que uma das maneiras de perpetuar a presença de Saussure no cânone dos estudos linguísticos consiste em repetir metáforas e exemplos a ele creditados, como a célebre metáfora do jogo de xadrez para ilustrar o conceito de língua. A partir de estudos historiográficos das funções semiótica e argumentativa de definições e de exemplos de língua (Rey, 1995; Quijada Van den Berghe e Swiggers, 2009; Chevillard et al., 2007), repartimos o material de análise (Saussure, 1996[1907]) em três porções, a que chamamos domínios (Caussat, 1978): Fonologia, Fonética e Analogia, temas do Curso I, para os quais estabelecemos três objetivos principais de pesquisa [1 a 3], e um objetivo secundário [4]: [1] levantar e caracterizar definições nos três domínios; [2] levantar e caracterizar os exemplos de língua nos três domínios; [3] correlacionar o uso de definições e de exemplos de língua nos três domínios; [4] correlacionar os dados apurados em [3] com com o contexto imediato de emergência do Curso I, ou seja, com o ensino da disciplina Linguística Geral na Faculté de Lettres et Sciences Sociales, em Genebra, em 1907 (Vincent, 2013). Nossas análises, que abarcaram 60 (sessenta) definições, apontam para a preferência de se construir uma definição pelo termo (definitio nominis), e não pela coisa (definitio rei), quando se trata de apresentar definições prioritárias ao assunto. Quanto aos exemplos, foram apuradas mais de 2000 (duas mil) ocorrências, com saliente revezamento entre francês e alemão nos três domínios, acompanhados por latim e grego, em uma representação das línguas-objeto feita principalmente por compreensão, ou seja, pelo uso generalizável dos exemplos de língua, que ilustram o conteúdo temático de maneira não-exaustiva. A unidade majoritária dos exemplos é a palavra, e sua disposição espacial preferencial são séries paralelas, ora em contraste simultâneo, ora em relação de sucessão temporal, com poucos paradigmas e declinações. As perguntas retóricas desempenham papel didático frequente e flexível, desde o teste de hipóteses até a apresentação de definições. Observamos, ainda, a ocorrência de definições que apresentam diretamente exemplos de língua, em uma relação bastante forte de interdependência. Reunimos, ainda, mecanismos de organização dos conteúdos temáticos (numerais, grafemas alfabéticos) e de esquematização (tabelas, símbolos e outras rupturas com a linearidade da exposição oral e da anotação escrita). Por fim, observamos estruturas de negação em todos os mecanismos investigados: definições que apresentam aquilo que não é antes daquilo que é, exemplos de língua que não ilustram determinado assunto, perguntas retóricas com respostas frequentemente negativas e oposições entre conceitos, de modo que as relações de oposição, algumas antinômicas, parecem caracterizar de maneira geral a didática de Saussure antes mesmo da formulação explícita do conceito de signo linguístico, que ocorreu, como sabemos, no curso de 1910-1911. / This paper aims to examine the teaching activity of Ferdinand de Saussure (1857- 1913) as to General Linguistics, in 1907, when the experient professor first started a course on the subject. Our work assumes that one way of perpetrating the canon consists of repeating some metaphors and examples accredited to him, as it goes to the famous saussurian chess game metaphor which illustrates the concept of langue. Our theoretical background lies on the Historiography of Linguistics, as professed by Auroux (1994), Koerner (1996) and Swiggers (2004), and the same applies for our methodological assumptions (Rey, 1995). Having established three separate domains within the first course (Saussure, 1996[1907]), Phonology, Phonetics and Analogy, we have then settled three main goals [1 to 3] and one secondary objective [4]: [1] to describe the definitions given in the three domains; [2] to describe and assess the language examples provided by the three domains; [3] relate the uses of definitions to those of language examples; [4] to relate [3] to the immediate context of emergence of the first course, the institutional background of General Linguistics at the Faculté de Lettres et Sciences Sociales, (Geneva, 1907). In order to accomplish the first step [1], we have adopted the classification of definitio rei, definitio nominis, as far as the definition incidence is concerned, and essencial, formal and functional definition, as to its content (Quijada Van den Berghe e Swiggers, 2009). The language examples [2] were analysed through their démarcation, the way they appear in the text; the way the languages being described are represented in the text, which can assume two forms: either par extension, when the totality of the cases are listed, either par compréhension, when the examples are models from which one can generate new instances (Chevillard et al., 2007). Our corpus comprises 60 (sixty) definitions and over two thousand examples. In general terms, the definitio nominis is enhanced when it comes to define priority terms, such as phonology. As to the examples, four languages appear intensely in the domains: french, german, greek and latin. These languages entertain a kind of representation mainly in comprehension.These instances occur as words, in horizontal and parallel series, scarcely in paradigms or declensions. There are definitions which exemplify overtly and directly, with no more material to accomplish a definition, which shows the strict interdependence of these constructions, together with a different mechanism, the rethorical questions. We have gathered, as well, organizing mechanisms (items, topics) and schematization procedures (tables, symboles and strategies that lessen the linearity of the text). Eventually, we have spotted the wide-spread use of negative strategies, such as defining something by what it is not, or excluding elements from a definition, as well as providing language examples which uncorrectly illustrate what is being said, in order to anticipate possible mistakes. Such procedures seem to be a hallmark on Saussures teaching.
47

Student Self-Assessment: Teachers' Definitions, Reasons, and Beliefs

Andrews, Christopher Daren 01 June 2016 (has links)
The purpose of this study was to understand how teachers define student self-assessment (SSA), why teachers use or do not use SSA, and to explore how beliefs might influence teachers' reasons for using SSA or not. This study used Ajzen's theory of planned behavior to explore the relationships between teachers' stated beliefs about SSA and reasons for using or not using SSA. I interviewed seven teachers from one high school in the Intermountain West and found that five of the seven teachers in this study used SSA. I found that these teachers' definitions of SSA varied between formative and summative approaches. The way teachers defined SSA appeared to influence their implementation of SSA, as well as their reasons for using or not using SSA. I also found that beliefs associated with student outcomes (e.g., student cognitive and skill growth, student motivation) were usually indicators for using SSA. However, beliefs about resources (e.g., time to implement, good models) and concerns about students' ability to self-assess were typically associated with not using SSA. For those studying this issue, or schools or districts intending to implement forms of SSA, a "one-size-fit-all" approach is not recommended. A more effective approach for moving research to practice would be to start with how teachers are defining SSA, and then individually address their reasons and beliefs surrounding SSA.
48

Descriptive Types for XML Query Language Xcerpt

Wilk, Artur January 2006 (has links)
<p>The thesis presents a type system for a substantial fragment of XML query language Xcerpt. The system is descriptive; the types associated with Xcerpt constructs are sets of data terms and approximate the semantics of the constructs.</p><p>A formalism of Type Definitions, related to XML schema languages, is adopted to specify such sets. The type system is presented as typing rules which provide a basis for type inference and type checking algorithms, used in a prototype implementation. Correctness of the type system wrt. the formal semantics of Xcerpt is proved and exactness of the result types inferred by the system is discussed.</p><p>The usefulness of the approach is illustrated by example runs of the prototype on Xcerpt programs.</p><p>Given a non-recursive Xcerpt program and types of data to be queried, the type system is able to infer a type of results of the program. If additionally a type specification of program results is given, the system is able to prove type correctness of a (possibly recursive) program. Type correctness means that the program produces results of the given type whenever it is applied to data of the given type. Non existence of a correctness proof suggests that the program may be incorrect. Under certain conditions (on the program and on the type specification), the program is actually incorrect whenever the proof attempt fails.</p> / Report code: LiU-TEK-LIC-2006:9
49

Perception of risk : studies of risk attitudes, perceptions and definitions

Drottz-Sjöberg, Britt-Marie January 1991 (has links)
<p>Diss. Stockholm : Handelshögsk.</p>
50

Mäns våld mot kvinnor ur ett teoretiskt perspektiv

Mårtensson, Ingrid January 2006 (has links)
<p>The essay begins by asserting that the theoretical approaches of men’s violence against women are just as important to study as its extent. The purpose is therefore to analyse and compare two theoretical approaches which is done by a comparative text analysis of two texts written on the subject. The essay attempts to answer two questions; what the theoretical approaches are and how they can be understood in light of feminist theory.</p><p>Previous research on men’s violence against women discuss especially three theoretical aspects. These are how the concept is defined, if the different forms of violence are being treated separately or not, and how it is explained. These aspects are used as the basis for the analysis which is conducted in two steps.</p><p>The result shows that the theoretical approaches analysed share many similarities with both each other and the feminist theory. All apply a broad definition, hold the different forms of violence together, and consider the most basic explanation for the violence to be the unequal power structure between the sexes. The biggest difference between the two theoretical approaches and the feminist theory is that the former also emphasizes other explanatory levels as well as the purely structural.</p>

Page generated in 0.238 seconds