Curry-Howard for sequent calculus at last!

This paper tries to remove what seems to be the remaining stumbling blocks in the way to a full understanding of the Curry-Howard isomorphism for sequent calculus, namely the questions: What do variables in proof terms stand for? What is co-control and a co-continuation? How to define the dual of Parigot's mu-operator so that it is a co-control operator? Answering these questions leads to the interpretation that sequent calculus is a formal vector notation with first-class co-control. But this is just the "internal" interpretation, which has to be developed simultaneously with, and is justified by, an "external" one, offered by natural deduction: the sequent calculus corresponds to a bi-directional, agnostic (w.r.t. the call strategy), computational lambda-calculus. Next, the duality between control and co-control is studied and proved in the context of classical logic, where one discovers that the classical sequent calculus has a distortion towards control, and that sequent calculus is the de Morgan dual of natural deduction.

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.

Synthesis, antiangiogenesis evaluation and molecular docking studies of 1-Aryl-3-[(thieno[3,2-b]pyridin-7-ylthio)phenyl]ureas: Discovery of a new substitution pattern for type II VEGFR-2 Tyr kinase inhibitors

The synthesis and biological evaluation of novel 1-aryl-3-[2-, 3- or 4-(thieno[3,2-b]pyridin-7-ylthio)phenyl]ureas 3, 4 and 5 as VEGFR-2 tyrosine kinase inhibitors, are reported. The 1-aryl-3-[3-(thieno[3,2-b]pyridin-7-ylthio)phenyl]ureas 4a-4h, with the arylurea in the meta position to the thioether, showed the lowest IC50 values in enzymatic assays (10-206 nM), the most potent compounds 4d-4h (IC50 10-28 nM) bearing hydrophobic groups (Me, F, CF3 and Cl) in the terminal phenyl ring. A convincing rationalization was achieved for the highest potent compounds 4 as type II VEGFR-2 inhibitors, based on the simultaneous presence of: (1) the thioether linker and (2) the arylurea moiety in the meta position. For compounds 4, significant inhibition of Human Umbilical Vein Endothelial Cells (HUVECs) proliferation (BrdU assay), migration (wound-healing assay) and tube formation were observed at low concentrations. These compounds have also shown to increase apoptosis using the TUNEL assay. Immunostaining for total and phosphorylated (active) VEGFR-2 was performed by Western blotting. The phosphorylation of the receptor was significantly inhibited at 1.0 and 2.5 microM for the most promising compounds. Altogether, these findings point to an antiangiogenic effect in HUVECs.