Orientador: Ana Maria Fonseca de Almeida / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Educação / Made available in DSpace on 2018-08-17T02:40:58Z (GMT). No. of bitstreams: 1 Basilio_JulianaRegina_M.pdf: 2460861 bytes, checksum: 64921daf6bb289e8a2a74ea7ccc78362 (MD5) Previous issue date: 2010 / Resumo: A pesquisa tem em vista contribuir para o entendimento da condição docente na escola básica paulista, por meio do estudo das práticas de recrutamento e das formas de inserção dos professores nas escolas que compõem essa rede de ensino. O estudo foi estruturado em dois eixos. O primeiro consistiu no levantamento e na análise, numa perspectiva histórica, da legislação que governou a contratação de professores de 1974 a 2009. O segundo determinou o exame das práticas de recrutamento realmente realizadas. Para isso, foram levantados e estudados os dados estatísticos disponíveis sobre os professores e seus contratos no Departamento de Recursos Humanos da Secretaria Estadual de Educação; foi também realizada uma observação de inspiração etnográfica, no ano de 2009, em diferentes etapas de atribuição de aulas, numa das Diretorias Regionais de Ensino, com vistas a acompanhar in loco os processos de recrutamento e inserção de professores efetivos temporários e eventuais. O estudo apontou que: (i) a atuação dos professores na escola tem uma relação intrínseca com a sua situação de emprego, ou seja, se ele possui ou não um contrato de trabalho e se ele tem ou não estabilidade no emprego; (ii) sua atuação docente, quando analisada do ponto de vista da formação inicial e continuada, tende a culpabilizar o professor pela situação da escola, sem considerar as condições objetivas do exercício do seu trabalho; (iii) o processo de obtenção do emprego e a inserção na escola são reveladores tanto dos processos pelos quais se constrói o lugar objetivo do professor no sistema de ensino quanto de sua posição social. / Abstract: This research aims to contribute to the understanding of teacher's condition in elementary school in São Paulo by the study of recruitment practices and forms of insertion of teachers in schools which make up this network of education. The study was structured in two approaches. In the first, the survey and analysis of the legislation that governed the hiring of teachers from 1974 to 2009 were carried out in a historical perspective. In the second, it was accomplished the examination of recruitment practices which are really carried out in the schools. Thereby, the available statistical data on teachers and their contracts with the Department of Human Resources at the State Department of Education were surveyed and studied. In addition, it was accomplished the observation of ethnographic inspiration, in 2009, in different stages of classes attribution in one of the Regional Boards of Education, aiming to follow in loco the processes of recruitment and insertion of temporary effective and eventual teachers. The study showed that: (i) the teachers' performance in school has an intrinsic relationship with their employment situation, in other words, whether or not they have a labor contract or stability in the work, (ii) their teaching performance, when analyzed from the viewpoint of initial and ongoing formation, tend to blame the teachers for the school situation, without considering the objective conditions of the practice of their employment, and (iii) the process of obtaining the employment and the insertion in school reveal both the processes by which the objective place of teachers is developed in the education system and their social position. / Mestrado / Educação, Conhecimento, Linguagem e Arte / Mestre em Educação

The work describes paricularities of public univerisities. More detail is given to financing investment projekcts by the Ministry of Education, Youth and Sports and by European Union funds. The main part is dedicted to funding by the state system of grants and funding for Operational Programme Education for Compettiveness. The work describes registration procedures for investment projects, drawing on funds and subsequent monitoring.

Made available in DSpace on 2016-04-04T18:36:31Z (GMT). No. of bitstreams: 1 Ednea Zandonadi Brambila.pdf: 1153153 bytes, checksum: 70abed7b1525cb983c387ff3947fec64 (MD5) Previous issue date: 2006-02-13 / The origin of the Science of the Information as interdisciplinary science, enrolled in the Post-modern context, it considers information a product integrated to the social cycle that it foresees its circulation and use. In this sense, the Public Library, as institution that collect culture should contemplate the development of collections compromised with the local community's culture, making available a space in the society where the individual can exercise its creativity and the exaltation of his/her citizenship, contributing like this to the elaboration and preservation of the local cultural identity. To identify the way for which fellow creature process if it renders, it is made a historical rising of the appearance of the Public Libraries in Brazil, being drawn a parallel one among BP idealized by M?rio of Andrade and the characterization of the performance of first BP of Esp?rito Santo State. Finally, through empiric study, it tries to develop possibilities of effective viabilization of the access to the culture through BP. / A origem da Ci?ncia da Informa??o como ci?ncia interdisciplinar, inscrita no contexto P?s-Moderno, considera informa??o um produto integrado ao ciclo social que prev? sua circula??o e uso. Neste sentido, a Biblioteca P?blica, como institui??o coletora de cultura deve contemplar o desenvolvimento de cole??es compromissadas com a cultura da comunidade local, disponibilizando um espa?o na sociedade onde o indiv?duo possa exercer sua criatividade e o enaltecimento de sua cidadania, contribuindo assim para a elabora??o e preserva??o da identidade cultural local. Para identificar o modo pelo qual semelhante processo se concretiza, faz-se um levantamento hist?rico do surgimento das Bibliotecas P?blicas no Brasil, tra?ando-se um paralelo entre a BP idealizada por M?rio de Andrade e a caracteriza??o da atua??o da primeira BP do Estado do Esp?rito Santo. Finalmente, atrav?s de estudo emp?rico, procura-se desenvolver possibilidades de efetiva viabiliza??o do acesso ? cultura via BP.

Information flow properties are away of specifying security properties of systems ,dating back to the work of Goguen and Meseguer in the eighties. In this framework ,a system is modeled as having high-level (or confidential)events as well as low-level (or public) events, and a typical property requires that the high-level events should not “influence ”the occurrence of low-level events. In other words, the sequence of low-level events observed from a system execution should not reveal “too much” information about the high-level events that may have taken place. For example, the trace-based “non-inference” property states that for every trace produced by the system, its projection to low-level events must also be a possible trace of the system. For a system satisfying non-inference, a low-level adversary (who knows the language generated by the system) viewing only the low-level events in any execution cannot infer any in-formation about the occurrence of high-level events in that execution. Other well-known properties include separability, generalized non-interference, non-deducibility of outputs etc. These properties are trace-based. Similarly there is another class of properties based on the structure of the transition system called bisimulation-based information flow properties, defined by Focardiand Gorrieriin1995. In our thesis we study the problem of model-checking the well-known trace-based and bisimulation-based properties for some popular classes of infinite-state system models. We first consider trace-based properties. We define some language-theoretic operations that help to characterize language-inclusion in terms of satisfaction of these properties. This gives us a reduction of the language inclusion problem for a class of system models, say F, to the model-checking problem for F, whenever F, is effectively closed under these language-theoretic operations. We apply this result to show that the model-checking problem for Petri nets, push down systems and for some properties on deterministic push down systems is undecidable. We also consider the class of visibly pushdown systems and show that their model-checking problem is undecidable in general(for some properties).Then we show that for the restricted class of visibly pushdown systems in which all the high (confidential) event are internal, the model-checking problem becomes decidable. Similarly we show that the problem of model-checking bisimulation-based properties is undecidable for Petrinets, pushdown systems and process algebras. Next we consider the problem of detecting information leakage in programs. Here the programs are modeled to have low and high inputs and low outputs. The well known definition of“ non-interference” on programs says that in no execution should the low outputs depend on the high inputs. However this definition was shown to be too strong to be used in practice, with a simple(and considered to be safe)“password-checking” program failing it.“Abstract non-interference(ANI)”and its variants were proposed in the literature to generalize or weaken non-interference. We call these definitions qualitative refinements of non-interference. We study the problem of model-checking many classes of finite-data programs(variables taking values from a bounded domain)for these refinements. We give algorithms and show that this problem is in PSPACE for while, EXPTIME for recursive and EXPSPACE for asynchronous finite-data programs. We finally study different quantitative refinements of non-interference pro-posed in the literature. We first characterize these measures in terms of pre images. These characterizations potentially help designing analysis computing over and under approximations for these measures. Then we investigate the applicability of these measures on standard cryptographic functions.