WAMM: wiki aided meta modelling

All over the world, organizations are becoming more and more complex, and there’s a need to capture its complexity, so this is when the DEMO methodology (Design and Engineering Methodology for Organizations), created and developed by Jan L. G. Dietz, reaches its potential, which is to capture the structure of business processes in a coherent and consistent form of diagrams with their respective grammatical rules. The creation of WAMM (Wiki Aided Meta Modeling) platform was the main focus of this thesis, and had like principal precursor the idea to create a Meta-Editor that supports semantic data and uses MediaWiki. This prototype Meta-Editor uses MediaWiki as a receptor of data, and uses the ideas created in the Universal Enterprise Adaptive Object Model and the concept of Semantic Web, to create a platform that suits our needs, through Semantic MediaWiki, which helps the computer interconnect information and people in a more comprehensive, giving meaning to the content of the pages. The proposed Meta-Modeling platform allows the specification of the abstract syntax i.e., the grammar, and concrete syntax, e.g., symbols and connectors, of any language, as well as their model types and diagram types. We use the DEMO language as a proofof-concept and example. All such specifications are done in a coherent and formal way by the creation of semantic wiki pages and semantic properties connecting them.

Rising Publication Delays Inflate Journal Impact Factors

Journal impact factors have become an important criterion to judge the quality of scientific publications over the years, influencing the evaluation of institutions and individual researchers worldwide. However, they are also subject to a number of criticisms. Here we point out that the calculation of a journal’s impact factor is mainly based on the date of publication of its articles in print form, despite the fact that most journals now make their articles available online before that date. We analyze 61 neuroscience journals and show that delays between online and print publication of articles increased steadily over the last decade. Importantly, such a practice varies widely among journals, as some of them have no delays, while for others this period is longer than a year. Using a modified impact factor based on online rather than print publication dates, we demonstrate that online-to-print delays can artificially raise a journal’s impact factor, and that this inflation is greater for longer publication lags. We also show that correcting the effect of publication delay on impact factors changes journal rankings based on this metric. We thus suggest that indexing of articles in citation databases and calculation of citation metrics should be based on the date of an article’s online appearance, rather than on that of its publication in print.

Diálogos intertextuais no feminino: Margaret Drabble

In The Middle Ground (1980), Margaret Drabble uses an intertextual web to depict the feminine search for identity and psychological integrity in middle age. This paper attempts to identify and analyze the absorption and integration of other texts in The Middle Ground. The dialogue, both in theme and style, with Virginia Woolf's Mrs Dalloway is initially considered, mostly from the perspective of parody. Other confluences are also studied: with Russian fairy tales, with paintings by Hans Holbein, J. B.Vanmour, Van Dyck, Claude Lorrain and Peter de Hooch, and also its references to the whole of Drabble's literary work.

Module for the analysis of growth in international commerce (MAGIC Plus): user guide (updated)

Includes bibliography

O espetáculo midiático: da era da informação à sociedade dos sonhos pelos caminhos do Fantástico

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Selected statistical indicators of Caribbean countries, vol. XVI, 2003

Includes bibliography

A política externa da primeira República e os Estados Unidos: a atuação de Joaquim Nabuco em Washington (1905-1910)

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Trabalho docente e saúde: tensões da educação superior

Nesse estudo - abordamos as metamorfoses do mundo do trabalho, determinadas pelo esgotamento do modelo taylorista-fordista de produção, erigido no sentido de superar a crise da década de 1930, que assolou as sociedades capitalistas. Também é estudada a consolidação de um tipo de Estado que deu suporte ao período de maior desenvolvimento do capitalismo, o Welfare State, assentando, nos países desenvolvidos, suas bases nos pressupostos keynesianos – propunha imprimir ao Estado um papel estratégico no desenvolvimento do capitalismo global, e que tem sua derrocada com a crise econômica da década de 1970, com o aprofundamento do processo de mundialização dos mercados e a consolidação, aí, do poder político-econômico das empresas multi e transnacionais. Problematiza-se a centralidade do trabalho enquanto categoria social fundamental e os nexos entre trabalho, saúde e educação. O papel que Estado desempenha no quadro mais amplo da sociedade capitalista, marcado pela introdução de uma nova regulação social, concretizada por meio da implementação de reformas de cunho neoliberal, as quais podem ser observadas no âmbito das políticas públicas na sociedade brasileira, viabilizando a implementação de uma lógica mercantilista no campo educacional, principalmente na Educação Superior, que se traduz na reorganização e realização do trabalho docente nesse nível de ensino, com precarização, intensificação desse trabalho e sua repercussão sobre a saúde do docente. Analisamos os nexos entre trabalho e saúde, marcados pela submissão do corpo e da “alma” do trabalhador, aos interesses da acumulação capitalista e enfatizamos o momento em que novas questões se colocaram para as diferentes áreas do saber e das práticas, principalmente, no campo da saúde e da educação, de modo a exigirem uma reorientação dos velhos padrões de compreender o mundo, reorientação que implica a necessidade de um encontro entre a Saúde do Trabalhador e a Educação

A participação das escolas de ensino fundamental de Breves-PA no enfrentamento da exploração sexual de crianças e adolescentes

A presente pesquisa elegeu como objeto de análise a participação das escolas públicas de ensino fundamental localizadas na cidade de Breves-PA na rede de enfrentamento da exploração sexual de crianças e adolescentes. Neste sentido, propôs-se como problema a seguinte questão central: no período de 2005 a 2010, como aconteceu a participação das escolas públicas de ensino fundamental localizadas na cidade de Breves-PA na rede de enfrentamento da exploração sexual de crianças e adolescentes? A pesquisa objetivou analisar as ações realizadas pelas escolas públicas localizadas na cidade de Breves-PA que estão voltadas ao enfrentamento da exploração sexual de crianças e adolescentes a partir das propostas de enfrentamento apresentadas para a instituição escolar pela política pública, discutindo categorias fundamentais como currículo e formação de professores. A metodologia utilizada consistiu nas pesquisas bibliográfica e empírica, através do uso de entrevistas semiestruturadas devido ser o instrumento que permite o acesso a gestores escolares, coordenadores pedagógicos e professores para o conhecimento de suas ações e interações no que tange à temática do enfrentamento da exploração sexual. De um universo de dezoito escolas de ensino fundamental localizadas na cidade, foram escolhidas duas, uma escola de 1º ao 5º ano e outra do 6º ao 9º ano, por apresentarem no período de 2006 a 2010 ações pedagógicas estratégicas que envolveram alunos em diferentes faixas etárias (dos 06 aos 14 anos aproximadamente), bem como toda a comunidade escolar na prevenção da exploração sexual. A seleção dos entrevistados ocorreu mediante o contato com os sujeitos das escolas, a qual focalizou aqueles informantes com participação direta nos projetos de intervenção. Por isso, selecionou-se 02 (dois) gestores das escolas, 02 (dois) coordenadores pedagógicos e 06 professores. A análise do material obtido nas entrevistas foi feita mediante o instrumental teórico-metodológico possibilitado pela análise de conteúdo, tendo como pano de fundo o arcabouço analítico proposto pelo materialismo histórico-dialético. O referencial teórico utilizado para análise segue as pesquisas realizadas por Azambuja (2004), Brino e Willians (2003 e 2009), Brino (2006), Faleiros (2004), Fraga et al (2008), Franzoni (2006), Leal (2004), Libório (2005, 2006 e 2009), Rocha (2010), Sanderson (2005), Santos (2007), Silva (2007), Viodres Inoue & Ristum (2008) e outros pesquisadores que tratam de currículo, formação de professores e do enfrentamento da exploração sexual de crianças e adolescentes em redes de proteção, com destaque à atuação da instituição escolar. Os resultados da pesquisa demonstram a participação das escolas de ensino fundamental no enfrentamento da violência sexual (abuso), sem interferir significativamente nas situações de exploração sexual. Os casos de abuso, quando identificados ou relatados pelas crianças, são comunicados ao Conselho Tutelar. Para as suspeitas de exploração sexual não é feita a notificação a esse Conselho, mas tão somente em algumas situações conversa-se com a família, que geralmente nega a existência das mesmas e se omite dos processos de resolução. Os currículos das escolas contemplam as temáticas do abuso e exploração sexual de forma disciplinar, através de planos de curso e de aula, bem como de forma interdisciplinar, através de projetos de ensino-aprendizagem. Estes projetos são realizados durante um período do ano, mas as escolas pesquisadas buscam imprimir um caráter de realização permanente. Por fim, a formação de professores para o enfrentamento da exploração sexual não tem chegado a todos os/as educadores/as, muito menos ao contexto escolar, englobando efetivamente uma parcela bem pequena destes, privilegiando mais diretores e coordenadores pedagógicos.

Avaliação da implementação das ações de enfrentamento ao abuso sexual contra crianças e adolescentes em escolas públicas de ensino fundamental do bairro do Guamá – Belém- PA

Estudiosos apontam a escola como local estratégico para o fortalecimento da ação de enfrentamento ao abuso sexual de crianças e adolescentes. A partir de 2000, com a elaboração do Plano Nacional de Enfrentamento à Violência Sexual Contra Crianças e Adolescentes, a política pública destinada ao tratamento desse problema ganhou maior visibilidade e organicidade no Brasil. O abuso sexual de crianças e adolescentes é a principal ocorrência registrada pelo Disque Direitos Humanos (2011) e pelos Conselhos Tutelares de Belém (2010). O bairro do Guamá – Belém/PA apresenta o maior índice de denúncias dessa natureza e as meninas são a maioria das vítimas. Esse contexto revela a relevância social do problema. A presente tese tem como objeto de estudo da avaliação da implementação da política pública de enfrentamento à violência sexual de crianças e adolescentes em escolas públicas de ensino fundamental do Guamá. Para conseguir imprimir uma análise contextual a pesquisa foi desenvolvida por meio de uma abordagem qualitativa apoiada nas técnicas de análise documental e entrevistas semiestruturadas. Os dados de pesquisa são documentos relativos aos planos, programas e projetos governamentais que tem em seu escopo o enfrentamento a esse tipo de violência e são voltados às escolas. Também foram realizadas entrevistas nas treze escolas públicas de ensino fundamental do bairro com diretores ou funcionários indicados por eles. A análise do material se deu por meio da técnica de análise de conteúdo dividida nas etapas da pré-análise, descrição analítica e a interpretação inferencial. A análise dos dados apontaram que: 1) as políticas formuladas em âmbito federal na área da formação dos profissionais da educação e dos materiais didáticos pedagógicos elaborados com a finalidade de subsidiá-los na apropriação da temática não chegaram às escolas pesquisadas; 2) planos/projetos que têm entre os seus objetivos o enfrentamento a esse tipo de violação devido a problemas de infraestrutura e de pessoal não foram executados como planejados; 3) nove entrevistados consideram que há a abordagem da temática no currículo das escolas, porém, não como conteúdo específico, mas como uma discussão pontual em meio a outras questões. Conclui-se dessa maneira, que pelas debilidades apresentadas a política pública de enfrentamento à violência sexual contra crianças e adolescentes não foi implementada nas escolas públicas de ensino fundamental do Guamá – Belém/PA. Crianças e adolescentes, em idade escolar obrigatória, são as principais vítimas de violência sexual. Por isso, a importância da inserção efetiva da escola na rede de enfrentamento com condições para identificar e notificar casos dessa natureza. Mas, para isso, é preciso fazer com que às políticas elaboradas com essa finalidade cheguem às unidades escolares, sobretudo a política de formação e que tenha intersecção com a política educacional.

Análise estrutural das proteínas da seda da teia da aranha Nephila clavipes por uma abordagem proteômica

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Tecnologias de Informação e Comunicação no cotidiano dos adolescentes: enfoque no comportamento e na competências informacionais da geração Google

Introduction: Individuals born from the 1990’s to accompany technological change course and learn how to use the technological resources that have access before they even learn to read or write. In this sense, the literature considers the digital natives or even 'Google generation'. However, it has been questioned their skills to identify information needs and seeking and use of information in the most varied environments digital information available on the Web. Objectives: To characterize the behavior of information seeking in everyday life of a group of teenage students from a private school in Marilia, Sao Paulo. Methodology: A qualitative study with 30 adolescent students of a private school in Marilia, Sao Paulo. Data collection was accomplished at first by means of a questionnaire, based on the research of Hughes-Hussell and August (2007), containing questions about age, gender, hobbies and everyday tasks, and issues the use of computers and the internet, which allowed determination of the social, economic and cultural rights of respondents. Results: have focused on the use of Information and Communication Technologies (ICT) to search access and use information. It was suggested that the "Brotherhood of Informatics', an incentive for students to (re) learn the tools of digital communication and make appropriate use of the resources, products and services on the web to search and effective use of information compatible with their needs and that is tied to the ethical and responsible use of technology environments. Conclusions: The results arising from this study will continue through the continuation of the Confraternity of Computing, which became a "thermometer" on the use of digital information environments and the attitude of the students in front of Information and Communication Technologies in the College “Cristo Rei”.

Análises físico-químicas e biológicas de diferentes scaffolds à base de polihidroxibutirato e polihidroxibutirato-co-valerato

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Análises físico-químicas e biológicas de diferentes scaffolds à base de polihidroxibutirato e polihidroxibutirato-co-valerato

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Interactive theorem provers: issues faced as a user and tackled as a developer

Interactive theorem provers (ITP for short) are tools whose final aim is to certify proofs written by human beings. To reach that objective they have to fill the gap between the high level language used by humans for communicating and reasoning about mathematics and the lower level language that a machine is able to “understand” and process. The user perceives this gap in terms of missing features or inefficiencies. The developer tries to accommodate the user requests without increasing the already high complexity of these applications. We believe that satisfactory solutions can only come from a strong synergy between users and developers. We devoted most part of our PHD designing and developing the Matita interactive theorem prover. The software was born in the computer science department of the University of Bologna as the result of composing together all the technologies developed by the HELM team (to which we belong) for the MoWGLI project. The MoWGLI project aimed at giving accessibility through the web to the libraries of formalised mathematics of various interactive theorem provers, taking Coq as the main test case. The motivations for giving life to a new ITP are: • study the architecture of these tools, with the aim of understanding the source of their complexity • exploit such a knowledge to experiment new solutions that, for backward compatibility reasons, would be hard (if not impossible) to test on a widely used system like Coq. Matita is based on the Curry-Howard isomorphism, adopting the Calculus of Inductive Constructions (CIC) as its logical foundation. Proof objects are thus, at some extent, compatible with the ones produced with the Coq ITP, that is itself able to import and process the ones generated using Matita. Although the systems have a lot in common, they share no code at all, and even most of the algorithmic solutions are different. The thesis is composed of two parts where we respectively describe our experience as a user and a developer of interactive provers. In particular, the first part is based on two different formalisation experiences: • our internship in the Mathematical Components team (INRIA), that is formalising the finite group theory required to attack the Feit Thompson Theorem. To tackle this result, giving an effective classification of finite groups of odd order, the team adopts the SSReflect Coq extension, developed by Georges Gonthier for the proof of the four colours theorem. • our collaboration at the D.A.M.A. Project, whose goal is the formalisation of abstract measure theory in Matita leading to a constructive proof of Lebesgue’s Dominated Convergence Theorem. The most notable issues we faced, analysed in this part of the thesis, are the following: the difficulties arising when using “black box” automation in large formalisations; the impossibility for a user (especially a newcomer) to master the context of a library of already formalised results; the uncomfortable big step execution of proof commands historically adopted in ITPs; the difficult encoding of mathematical structures with a notion of inheritance in a type theory without subtyping like CIC. In the second part of the manuscript many of these issues will be analysed with the looking glasses of an ITP developer, describing the solutions we adopted in the implementation of Matita to solve these problems: integrated searching facilities to assist the user in handling large libraries of formalised results; a small step execution semantic for proof commands; a flexible implementation of coercive subtyping allowing multiple inheritance with shared substructures; automatic tactics, integrated with the searching facilities, that generates proof commands (and not only proof objects, usually kept hidden to the user) one of which specifically designed to be user driven.