A construção de um currículo de project-based learning: o currículo ideal e o currículo formal

O objetivo deste trabalho é apresentar os resultados da análise das concepções de dois protagonistas de uma reforma curricular que está sendo implementada numa escola de engenharia. A principal característica do novo currículo é o uso de projetos e oficinas como atividades complementares a serem realizadas pelos estudantes. As atividades complementares acontecerão em paralelo ao trabalho realizado nas disciplinas sem que haja uma relação de interdisciplinaridade. O novo currículo está sendo implantado desde fevereiro de 2015. Segundo Pacheco (2005) há dois momentos, dentre outros, no processo de mudança curricular, o currículo “ideal”, determinado por dimensões epistemológica, política, econômica, ideológica, técnica, estética, e histórica e, que recebe influência direta daquele que idealiza e cria o novo currículo e, o currículo “formal” que se traduz na prática implementada na escola. São essas duas etapas estudadas nesta pesquisa. Para isso serão considerados como fontes de dados dois protagonistas, um mais ligado à concepção do currículo e outro da sua implementação, a partir dos quais se busca compreender as motivações, crenças e percepções que, por sua vez, determinam a reforma curricular. Entrevistas semiestruturadas foram utilizadas como técnica de pesquisa, com o propósito de se entender a gênese da proposta e as mudanças entre essas duas etapas. Os dados revelam que mudanças aconteceram desde a idealização até a formalização do currículo, motivadas por demandas do processo de implementação, revela ainda diferenças na visão de currículo e a motivação para romper com padrões na formação de engenheiros no Brasil.

A avaliação institucional como instrumento de racionalização e o retorno à escola como organização formal

O papel central da avaliação, da avaliação institucional e dos processos de garantia da qualidade de escolas e universidades nas políticas educacionais é objeto de discussão, também considerando a reforma do Estado. As teorias da nova gestão pública e as perspectivas gestionárias são consideradas como algumas das principais fontes de inspiração e de legitimação no contexto dominante de uma educação contábil. Dados empíricos preliminares resultantes do processo de avaliação externa de escolas básicas e secundárias portuguesas são apresentados e interpretados de acordo com os principais conceitos e representações organizacionais de escola presentes nos relatórios externos. Examinando algumas das imagens e dos significados de escola, cultura de escola, autonomia, objetivos, liderança e eficácia presentes nos relatórios de avaliação, o autor releva a importância das imagens formais, racionais e burocráticas de escolas. Várias questões de investigação são apresentadas tendo por base aquilo a que o autor chama o processo da hiperburocratização das organizações educativas. Algumas dimensões do conceito de burocracia de Max Weber são revisitadas, em articulação com perspectivas neocientíficas de garantia da qualidade e com as tecnologias da informação e comunicação. O autor sugere que maior relevância deve ser atribuída aos modelos formais e racionais de interpretação das organizações educativas, pois os processos de avaliação e de garantia da qualidade estão a contribuir para a formalização de escolas e universidades e para a intensificação do seu processo de racionalização, isto é, para a emergência de uma imagem analítica das escolas como hiperburocracias.

ADSNARK: Nearly practical and privacy-preserving proofs on authenticated data

We study the problem of privacy-preserving proofs on authenticated data, where a party receives data from a trusted source and is requested to prove computations over the data to third parties in a correct and private way, i.e., the third party learns no information on the data but is still assured that the claimed proof is valid. Our work particularly focuses on the challenging requirement that the third party should be able to verify the validity with respect to the specific data authenticated by the source — even without having access to that source. This problem is motivated by various scenarios emerging from several application areas such as wearable computing, smart metering, or general business-to-business interactions. Furthermore, these applications also demand any meaningful solution to satisfy additional properties related to usability and scalability. In this paper, we formalize the above three-party model, discuss concrete application scenarios, and then we design, build, and evaluate ADSNARK, a nearly practical system for proving arbitrary computations over authenticated data in a privacy-preserving manner. ADSNARK improves significantly over state-of-the-art solutions for this model. For instance, compared to corresponding solutions based on Pinocchio (Oakland’13), ADSNARK achieves up to 25× improvement in proof-computation time and a 20× reduction in prover storage space.