O presente trabalho teve como objetivo caracterizar o ensino de música inserido em projetos sociais. Os objetivos específicos foram analisar as dimensões presentes nas práticas educativo-musicais das oficinas de música, identificar os profissionais que ali ensinam música e qual a sua formação, e examinar as concepções sobre educação musical desses profissionais e do coordenador. O referencial teórico do trabalho está fundamentado em conceitos de educação não-formal, de autores da pedagogia e da educação musical. Foi realizado um survey de pequeno porte em 19 oficinas de música do projeto de Descentralização, da Secretaria Municipal de Cultura, da Prefeitura de Porto Alegre. Os participantes foram 14 oficineiros (profissionais que ensinam música) e o ativista de música (coordenador das oficinas). A técnica de pesquisa utilizada foi a da entrevista semi-estruturada, e os dados foram analisados qualitativamente. A partir da análise, considerei que as oficinas de música se configuram como espaços de educação musical não-formal. Os resultados sinalizam a necessidade de reconhecimento desses espaços como contextos de atuação profissional que, como tais, demandam uma formação também profissional.

abstract: Informal finance in this paper refers to the financing activities of individuals or households to borrow money through channels other than formal financial institutions such as commercial banks. Using data from China Household Finance Survey (CHFS) conducted by Southwestern University of Finance and Economics (SWUFE) and the People's Bank of China, this paper employs Probit model to analyze the factors that may influence the financing needs of Chinese households and factors that influence their likelihood of obtaining loans from formal financial institutions versus from informal channels. Results show that household wealth, family structure, and household head’s characteristics are the major factors that influence their financing needs. Moreover, the results suggest that (a) richer families are more likely to obtain loans from formal financial channels while poorer families are more likely to do so from informal channels; (b) families with stronger social ties are more likely to obtain loans from formal financial channels, but this relationship is weaker in regions where the financial market is more competitive;and (c) the increase of formal financial services is positively related to the probability of households obtaining formal finance, but has no relationship with the probability of households obtaining informal finance. These findings have important implications for finance policy making. / Dissertation/Thesis / Doctoral Dissertation Business Administration 2016

This thesis is concerned with the problem of formal verification of correctness specifications for continuous and hybrid dynamical systems. Our main focus will be on developing and automating general proof principles for temporal properties of systems described by non-linear ordinary differential equations (ODEs) under evolution constraints. The proof methods we consider will work directly with the differential equations and will not rely on the explicit knowledge of solutions, which are in practice rarely available. Our ultimate goal is to increase the scope of formal deductive verification tools for hybrid system designs. We give a comprehensive survey and comparison of available methods for checking set invariance in continuous systems, which provides a foundation for safety verification using inductive invariants. Building on this, we present a technique for constructing discrete abstractions of continuous systems in which spurious transitions between discrete states are entirely eliminated, thereby extending previous work. We develop a method for automatically generating inductive invariants for continuous systems by efficiently extracting reachable sets from their discrete abstractions. To reason about liveness properties in ODEs, we introduce a new proof principle that extends and generalizes methods that have been reported previously and is highly amenable to use as a rule of inference in a deductive verification calculus for hybrid systems. We will conclude with a summary of our contributions and directions for future work.

Made available in DSpace on 2016-12-08T17:06:41Z (GMT). No. of bitstreams: 1 sergio.pdf: 1368361 bytes, checksum: d58b88db83e0febe9e5867a7ecfbe467 (MD5) Previous issue date: 2012-03-16 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / This dissertation has as the general objective to understand how the social representations of music, that permeate the social relationships of a Basic Education city school in the interior of Santa Catarina state in Brazil, link with formal and non formal practices of music teaching developed. The specific objectives aimed at understanding how the identity processes of all the investigated subjects relate with the music teaching and learning processes in the context of that school, and identifying and analyzing the several social representations of music constituted and shared by subjects involved direct and indirectly in the musical practices. The qualitative methodology was adopted under the drawing of a case study with an ethnographic approach. The instruments of data collection were individual and focus-group semi-structured interviews with the several participants of the research, documental analysis and participant observation. The data were analyzed under the theoretical framework of the social representations in the perspective of the social psychology by the triangulation among the discursive analysis of the participant subjects, the analysis of the music class plans and the notes of the field diary. The outcomes evidence strong relationship among the music representations constituted and shared by all the participants of this research, their musical identities and the pedagogic practices of the music teaching promoted in the music classes and in the band rehearsal. This specific context of music education shares consensual and contradictory social representations of music promoting the dilution of the borders among the processes of formal and non formal education constituted through a strong complimentary relationship among both / Esta dissertação tem como objetivo geral compreender como as representações sociais de música que permeiam as relações sociais de uma escola de educação básica de um município do interior do Estado de Santa Catarina se relacionam com as práticas formais e não formais do ensino de música nela desenvolvidas. Os objetivos específicos buscaram compreender como os processos identitários de todos os sujeitos investigados se relacionam com os processos de ensino e aprendizagem da música desencadeados no contexto desta mesma escola e identificar e analisar as diversas representações sociais de música constituídas e compartilhadas por sujeitos envolvidos direta e indiretamente nas práticas musicais desta escola. Adotou-se a metodologia qualitativa sob o desenho de um estudo de caso do tipo etnográfico. Os instrumentos de coleta de dados foram entrevistas individuais e grupo-focal semiestruturadas com os vários participantes da pesquisa, análise documental e observação participante. Os dados foram analisados sob o referencial teórico das representações sociais na perspectiva da psicologia social mediante a triangulação entre a análise discursiva dos sujeitos participantes, análise dos planos de aula de música e as anotações do diário de campo das observações. Os resultados apontam para a forte relação entre as representações de música constituídas e compartilhadas por todos os participantes desta pesquisa, suas identidades musicais e as práticas pedagógicas do ensino de música promovidas nas aulas de música e no ensaio da banda. Este contexto específico de educação musical compartilha de representações sociais de música tanto consensuais como contraditórias de forma a promover a diluição das fronteiras entre os processos de educação formal e não formal ali constituídas por meio de uma forte relação de complementaridade entre ambas

Orientador: Alberto Albuquerque Gomes / Banca: Graziela Abdian Zambão / Banca: Célio da Cunha / Banca: Yoshie Ussami Ferrari Leite / Banca: Everraldo Santos Melazzo / Resumo: O presente estudo está vinculado à linha de pesquisa: "Políticas Públicas, Organização Escolar e Formação de Professores", do Programa de Pós-graduação em Educação da Faculdade de Ciências e Tecnologia da Universidade Estadual Paulista. Com a expansão de movimentos educativos paralelos ao sistema formal de ensino, as ações educacionais com foco nos processos de desenvolvimento humano e econômico tornaram-se importantes ferramentas para a resolução de problemas locais, o que encaminhou novas diretrizes nas construções de matrizes de educação não-formal ao redor do mundo. Tais pressupostos alinham-se às concepções políticas internacionais atualmente vigentes, na tentativa de adequar o crescimento econômico ao desenvolvimento social tomando como referência os modelos de acumulação do capital social e capital humano. O capital social surge como mecanismo de valorização da ação coletiva em prol do estabelecimento de laços de confiança e reciprocidade, ao mesmo tempo em que o capital humano favorece possibilidades de avanços individuais frente a novas demandas econômicas e sociais, ambos tendo a educação nãoformal como ponto de convergência para suas iniciativas. Dessa forma esse estudo tomou como parâmetro a análise de documentos da UNESCO em 31 países cujo objetivo foi verificar a relação estabelecida entre as políticas de educação não-formal e os princípios do desenvolvimento econômico e social com aporte às bases do capital social e humano... / Abstract: This study is related to the line of research: "Public Policy, School Organization and Teachers Training," of the Education Post-Graduate Program - Faculty of Sciences and Technology, Sao Paulo State University. With the expansion of educational movements parallel to the formal education system, educational activities focusing on the processes of human and economic development have become important tools for solving local problems, leading to new guidelines in the construction of arrays of non-formal education around the world. Such assumptions are in accordance with international political conceptions currently prevailing, in an attempt to match economic growth and social development with reference to social and human capital accumulation models. The social capital arises as an appreciation mechanism of collective action towards the establishment of trust and reciprocity relations, while the human capital favors individual advances opportunities with reference to new requirements of economic and social demands, both having non-formal education as a central point for their initiatives. Thus, this research aimed of the analysis of UNESCO documents in 31 countries verifying the relationship between non-formal education policies and economic and social development principles with the basis of social and human capital, as well as the direct interest of local governments and the involved international organizations... / Doutor

Dissertação (mestrado)—Universidade de Brasília, Faculdade de Educação, Programa de Pós-graduação em Educação, 2011. / Submitted by Jaqueline Ferreira de Souza (jaquefs.braz@gmail.com) on 2012-06-13T12:16:03Z No. of bitstreams: 1 2011_Priscilla Petrucci Alabarse.pdf: 1359714 bytes, checksum: 3e46d27bbbc68ab4aa75415b72abab6d (MD5) / Approved for entry into archive by Jaqueline Ferreira de Souza(jaquefs.braz@gmail.com) on 2012-06-13T12:16:14Z (GMT) No. of bitstreams: 1 2011_Priscilla Petrucci Alabarse.pdf: 1359714 bytes, checksum: 3e46d27bbbc68ab4aa75415b72abab6d (MD5) / Made available in DSpace on 2012-06-13T12:16:14Z (GMT). No. of bitstreams: 1 2011_Priscilla Petrucci Alabarse.pdf: 1359714 bytes, checksum: 3e46d27bbbc68ab4aa75415b72abab6d (MD5) / Esta pesquisa tem como objetivo analisar as interações que ocorrem entre o monitor da exposição e os estudantes, e desses com os objetos da exposição durante uma visita ao Laboratório de Óptica no Espaço Ciência em Cena do Museu da Vida, no intuito de aproximar o estudo da Óptica aos alunos, uma vez que esse se distancia da realidade nos esquadros formais de ensino. O lócus da pesquisa apresenta aparatos que possibilitam estimular o visitante a refletir sobre fenômenos ópticos e despertar o interesse pela ciência. Este estudo busca compreender a melhor dinâmica que constrói a prática educativa nesses espaços de educação não formal, ancorado nos fundamentos da abordagem qualitativa por meio de entrevista semiestruturada, observação direta e observação participativa. Os participantes da pesquisa são alunos do 1º ano do Ensino Médio, professor e monitor. Ao confrontar os dados com a literatura percebemos pontos dificultadores para a interação no espaço e consequentemente a apropriação do conhecimento científico. Assim, essa pesquisa poderá servir como indicador na melhoria da mediação ocorrente nos espaços museais. ______________________________________________________________________________________ ABSTRACT / This research aims to analyze the interaction that occur between the monitor exposure and the students, and those with the objects of the exhibition during a visit to the optics laboratory located within the “Espaço Ciência em Cena” of the “Museu da Vida”, in order to provide the learning of Optics by the students, since this is far from the reality in the brackets of formal education. The locus of this research presents stimulating devices that allow the visitor to reflect on optical phenomena, and generate interest in science. This study seeks to understand the dynamic that builds the best educational practices in these areas of non-formal education, anchored in the fundamentals of qualitative approach using semi-structured interviews, direct observation and participant observation. Survey participants are students of 1st year of high school, teacher and monitor. By comparing the data with the literature we found points of difficulties to realize the interaction in space and hence the appropriation of scientific knowledge. Thus, this research may serve as an indicator of the improvement in the mediation ocurring within the museum spaces.

Dissertação (mestrado)-Universidade de Brasília, Instituto de Ciências Sociais, Departamento de Sociologia, 2009. / Submitted by samara castro (sammy_roberta7@hotmail.com) on 2011-03-29T16:54:26Z No. of bitstreams: 1 2009_RobertoHenriqueSGonzalez[1].pdf: 639970 bytes, checksum: 893d5e8c0545a656ee96218f814ac6f5 (MD5) / Approved for entry into archive by Daniel Ribeiro(daniel@bce.unb.br) on 2011-03-30T01:49:50Z (GMT) No. of bitstreams: 1 2009_RobertoHenriqueSGonzalez[1].pdf: 639970 bytes, checksum: 893d5e8c0545a656ee96218f814ac6f5 (MD5) / Made available in DSpace on 2011-03-30T01:49:50Z (GMT). No. of bitstreams: 1 2009_RobertoHenriqueSGonzalez[1].pdf: 639970 bytes, checksum: 893d5e8c0545a656ee96218f814ac6f5 (MD5) / Esta pesquisa procura identificar quais as tendências recentes da duração dos empregos no Brasil, a fim de responder que processos explicam a significativa flexibilidade numérica do emprego, expressa em elevadas taxas de contratação e demissão. Se nos países capitalistas centrais o movimento de flexibilização do trabalho iniciado na década de 1980 rompeu com a estabilidade dos empregos e com a predominância do contrato padrão típico do período fordista, no caso do Brasil, altas taxas de rotatividade e a duração relativamente curta dos empregos se mantiveram todo o processo de industrialização; o desenvolvimento do capitalismo ocorreu em paralelo ao poder discricionário das empresas na determinação das condições de trabalho, especialmente em termos da liberdade de contratar e demitir. Por outro lado, a introdução de novos métodos de produção flexível, baseados no trabalho polivalente, supostamente reduziria as vantagens da alta rotatividade como forma de controle do trabalho e redução de custos. A investigação empírica utilizou a duração do emprego como indicador de flexibilidade numérica, e como fonte os dados da Pesquisa de Emprego e Desemprego (PED) das regiões metropolitanas de São Paulo e do Distrito Federal e Entorno dos anos de 1992 a 2006. Verificou-se que a duração média do emprego aumenta em todos os setores econômicos, mas que esse ganho concentra-se sobretudo entre os trabalhadores adultos mais experientes; há evidências de que há um número considerável de trabalhadores que não se beneficiaram desse aumento. Identificou-se também alta correlação entre a permanência no emprego e o incremento salarial. Propõe-se a interpretação de que a duração do emprego ampliou-se em um núcleo de trabalhadores mais estáveis. Essa conjunção sugere uma renovação dos mecanismos de consentimento entre os trabalhadores, por meio de um acesso seletivo às “recompensas” da estabilidade e da ascensão salarial, ao mesmo tempo em que o desemprego recorrente continua a operar como mecanismo de coerção para a maioria dos trabalhadores. _________________________________________________________________________________ ABSTRACT / The research aims to identify the recent trends in employment tenure in Brazil, in order to answer which processes could explain the significant numeric flexibility, translated in high hiring and dismissal rates. If in central capitalist countries the flexibility movement initiated in the 1980’s broke the employment stability and the predominance of the standard contract typical in the fordist period, in the case of Brazil, high turnover rates and relatively short employment spells withheld during the whole industrialization process; the capitalist development happened in parallel with the enterprise’s great discretionary power in determining labor conditions, especially in terms of liberty to hire and fire. On the other hand, the introduction of new flexible production methods, based in polyvalent work, supposedly should reduce the advantages of high turnover as a means to control labor and lower costs. The empirical inquiry used the employment tenure as a numeric flexibility indicator, and as source the Employment and Unemployment Research data, comprising the metropolitan areas of Sao Paulo and Federal District from 1992 to 2006. It was observed that the mean employment tenure raises in all economic sectors, but this gain is concentrated among the most experienced adult workers; there is evidence indicating a large number of workers who did not benefit from this raise. A high correlation between employment tenure and wage increase was also identified. According to the interpretation proposed, the employment tenure was increased for a core of more stable workers. This conjunction suggests a renewal of the consent mechanisms among the workers, through a selective access to stability and wage increase ‘rewards’, and at the same time the recurrent unemployment keeps operating as a coercive mechanism for the majority of workers.

Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Matemática, 2009. / Submitted by Marília Freitas (marilia@bce.unb.br) on 2011-05-04T19:47:15Z No. of bitstreams: 1 2009_AndreiaBorgesAvelar.pdf: 569913 bytes, checksum: b9c7b5fd67d3f7351a8c69fe64218b4a (MD5) / Approved for entry into archive by Daniel Ribeiro(daniel@bce.unb.br) on 2011-05-07T01:10:24Z (GMT) No. of bitstreams: 1 2009_AndreiaBorgesAvelar.pdf: 569913 bytes, checksum: b9c7b5fd67d3f7351a8c69fe64218b4a (MD5) / Made available in DSpace on 2011-05-07T01:10:24Z (GMT). No. of bitstreams: 1 2009_AndreiaBorgesAvelar.pdf: 569913 bytes, checksum: b9c7b5fd67d3f7351a8c69fe64218b4a (MD5) / Neste trabalho apresenta-se uma formalização do teorema de existência de unificadores mais gerais em teorias de primeira ordem. Tal formalização foi desenvolvida na linguagem de especificação de ordem superior, do assistente de prova PVS. A prova mecânica e muito semelhante as provas encontradas em livros-texto, as quais se baseiam na correção do já conhecido algoritmo de unificação de Robinson de primeira ordem. A prova do teorema foi aplicada dentro de uma teoria completa, desenvolvida em PVS, para sistemas de reescrita de termos, a m de obter uma formalização completa do Teorema dos Pares Críticos de Knuth-Bendix. Para chegar a esta formalização foi construída uma especificação em PVS de uma teoria para unificação de primeira ordem, onde foram formalizadas as propriedades de generalidade e terminação de uma versão do algoritmo de unificação de Robinson restrito a termos unificáveis. _________________________________________________________________________________ ABSTRACT / This work presents the formalization of the theorem of existence of most general unifiers in first-order theories. The formalization was developed in the higher-order speciation language, of the proof assistant PVS. The mechanical proof is very similar to that found in textbooks, which are based on proving the correction of the well-known Robinson's first-order unification algorithm. The proof of the theorem was applied within a complete theory, also developed in PVS, for term rewriting systems in order to obtain the full formalization of the Knuth-Bendix Critical Pair theorem. To reach this formalization, it was build in PVS a specification of a theory first-order unification, where properties of generality and termination of a version of the Robinson's unification algorithm restricted to unifiable terms were formalized.

Em função da adequação reduzida da educação formal para atender às necessidades do estudante e da sociedade, este trabalho apresenta o livro-texto de natureza auto-instrutiva como elemento central de transição gradativa para uma educação menos formal. Nesse sentido, procura-se apresentar as características, vantagens e limitações dos sistemas educativos formais e não formais e o papel do \"livro para aprendizagem\" no planejamento e implantação de sistemas não formais, como um material instrucional criado com base nos princípios científicos da aprendizagem. O arcabouço teórico que sustentou tais princípios formou-se principalmente a partir de quatro autores, considerados como referência obrigatória aos estudiosos da ciência educacional. Dib; Bloom; Kolb; Felder. A escolha do tema contabilidade introdutória deve-se a sua importância como um pilar de sustentação ao curso de ciências contábeis, comprovado pelos inúmeros livros disponíveis no mercado, e pela experiência profissional do pesquisador, como contador e como docente da disciplina em questão. A partir das características verificadas nos livros-textos existentes e de idéias desenvolvidas na revisão da literatura foi proposto um modelo de referência que contivesse os atributos funcionais desejáveis num livro-texto que atenda às características de um ensino menos formal. Para tanto foram analisados 10 livros de contabilidade introdutória das principais editoras com o intuito de verificar a presença ou ausência desses atributos, e quando presentes em que grau. Com a presente pesquisa espera-se oferecer uma contribuição a elaboração de livros-textos aplicados ao ensino de contabilidade introdutória, evidenciar sua importância em termos de auto-aprendizagem e finalmente sugere-se a inclusão de objetivos instrucionais, seleção e organização de conteúdos; recursos utilizados; recursos complementares mínimos necessários que um livro-livro deve contemplar na busca de alternativas inovadoras em educação. / According to the suitable reduction of formal education to supply the society and the students\' needs, this article presents the text-book with self-instructive nature as a central element of gradual transition for a less formal education. This way, it tries to show the features, advantages and limitations from formal and non-formal educational systems and the \"book for learning\" role on planning and introduction of non formal systems, as an instructional material created with base on learning scientific principles. The theoretical framework, which supported such principles, was created mainly from four authors, considered as an obligatory reference for those who study the educational science. Dib; Bloom; Kolb; Felder. The theme introductory accountancy was chosen due to its importance as a pillar for the course of accountancy science. It was confirmed by the countless books available in the market and by the researcher\'s professional experience, as an accountant and as a professor of the referred subject. From the features checked on the existing text-books and from ideas developed on the literature review, a reference pattern was proposed, which had the desirable functional attributes in a book that attends the features of a less formal teaching. Therefore, ten books of introductory accountancy were analysed with the intention of verifying the presence or absence of these attributes, and whether present, in which degree. With such research, it is offered some contribution to the preparation of text-books applied to the introductory accountancy teaching, showing its importance in terms of self-learning and it finally suggests the inclusion of instructional purposes, contents selection and organization, used resources, minimum complementary resources needed in a text-book for searching innovating alternatives in teaching.

Esta pesquisa aborda aspectos da cultura escolar e de centros de ciências na perspectiva da transformação de saberes que utilizam a física solar com a finalidade de discutir aspectos de física moderna no ensino médio. Em parceria com professores em atuação, o objetivo foi fundamentar a utilização de Sequências de Ensino e Aprendizagem (SEA) que incorporassem elementos da sala de aula com atividades em um centro de ciências, levando em conta o saber docente e as especificidades de ambas as instituições. O centro de ciências em questão é o Observatório Dietrich Schiel do Centro de Divulgação Científica e Cultural da USP. Assumimos como instrumento de validação das SEA a noção de transposição didática e sobrevivência dos saberes (CHEVALLARD 1991) e as regras da transposição didática (ASTOLFI et al. 1997b). Tomamos como metodologias de pesquisa a abordagem qualitativa, circundadas por uma estratégia metodológica por nós elaborada chamada de \"Ciclos de Reflexão\". Adotamos como instrumentos de análise dos dados coletados a noção de losango didático, suas dimensões epistêmica e pedagógica (MÉHEUT e PSILLOS 2004). Nossos resultados indicam que as SEA se adequam às regras da transposição didática e sobrevivência dos saberes em sua validação. Evidenciam também que as atividades desenvolvidas favoreceram o trabalho docente em suas dimensões didática e epistêmica na parceria centro de ciência-escola. Concluímos que, nas escolas em que os trabalhos foram desenvolvidos, as SEA e a parceria estabelecida podem ser consideradas satisfatórias e de convívio harmonioso dentro da proposta curricular do Estado de São Paulo para o 3º ano do ensino médio, possibilitando a integração da escola com o centro de ciências e favorecendo a discussão de tópicos de física moderna e física solar no ensino médio. / This research focuses a curriculum innovation and the introduction of modern physics in the Brazilian high school based on the partnership between formal and informal education. We established the construction and use of a Teaching Learning Sequence (TLS) that incorporates classroom elements with activities in a science center, taking into account the teaching knowledge and the specificities of both institutions. The TLS elaborated were based on teaching with emphasis on the content, in this case the teaching of modern physics using solar physics in different collaborative contexts. The concerned science center was Dietrich Schiel Observatory, in the University of Sao Paulo\"s Center for Scientific and Cultural Dissemination, Brazil. The methodology used in the construction and implementation of the TLS was entitled \"cycles of reflection\", understood as a continuous research actions that provide, at every stage of investigation, didactic and pedagogical support for the teacher-researcher partnership. We used a qualitative research methodology and adopt the rules of the didactic transposition as tool for validation of the TLS. The data were analyzed using the didactic rhombus notion, with its epistemic and pedagogical dimensions. Our results indicate that the TLS obey the rules of didactic transposition and the activities favored teaching in their didactic and epistemic dimensions. We conclude that the TLS and the partnership can be considered satisfactory enabling the integration between school and science center, favoring to insert modern physics and solar physics in high school.