A logic for n-dimensional hierarchical refinement

Hierarchical transition systems provide a popular mathematical structure to represent state-based software applications in which different layers of abstraction are represented by inter-related state machines. The decomposition of high level states into inner sub-states, and of their transitions into inner sub-transitions is common refinement procedure adopted in a number of specification formalisms. This paper introduces a hybrid modal logic for k-layered transition systems, its first-order standard translation, a notion of bisimulation, and a modal invariance result. Layered and hierarchical notions of refinement are also discussed in this setting.Comment: In Proceedings Refine'15, arXiv:1606.0134

Identity based cryptography from bilinear pairings

This report contains an overview of two related areas of research in cryptography which have been prolific in significant advances in recent years. The first of these areas is pairing based cryptography. Bilinear pairings over elliptic curves were initially used as formal mathematical tools and later as cryptanalysis tools that rendered supersingular curves insecure. In recent years, bilinear pairings have been used to construct many cryptographic schemes. The second area covered by this report is identity based cryptography. Digital certificates are a fundamental part of public key cryptography, as one needs a secure way of associating an agent’s identity with a random (meaningless) public key. In identity based cryptography, public keys can be arbitrary bit strings, including readable representations of one’s identity.Fundação para a Ci~Encia e Tecnologia - SFRH/BPD/20528/2004

Nematoxic effect of essential oils and their fractions against the pinewood nematode, Bursaphelenchus xylophilus

The pinewood nematode (PWN) Bursaphelenchus xylophilus is a highly pathogenic plant parasite that greatly affects pine forests. In Portugal, the most affected species is Pinus pinaster Aiton. Despite great efforts, since its fist detection in 1999, the PWN has spread through the country, including Madeira Island, having been recently detected in Spain [1,2]. Containing this pest is of the utmost importance for European pine forest safeguard. Since most synthetic chemicals used to control phytoparasites are toxic to humans and animals, and can accumulate in the soil and in food plants [3], in the present work, the nematoxic potential of over 80 essential oils (EOs), isolated from the Portuguese flora, were assessed against the PWN. EOs were isolated by hydrodistillation and analysed by GC and GC-MS [3]. EOs hydrocarbon and oxygen-containing fractions were obtained as in [4]. Direct-contact assays, adapted from [3], were performed by adding EOs/methanol stock-solutions to 50-100 mixed-stage PWN suspensions. After 24h in darkness, dead and live nematodes were counted under an inverted microscope. Assays were repeated at least 10 times in two series. Mortalities ≥96% were obtained with 2μL/mL of the EOs isolated from Cymbopogon citratus, Eucalyptus citriodora, Mentha arvensis, Origanum virens, Origanum vulgare, Ruta graveolens, Satureja montana, Syzygium aromaticum, Thymbra capitata, Thymus caespititius (carvacrol and/or thymol-rich), Thymus vulgaris and Thymus zygis. These EOs were further tested at 1, 0.5 and 0.25μL/mL. Minimum lethal concentrations (LC100) <0.4μL/mL, were obtained for the 2-undecanone-rich R. graveolens EO and the carvacrol and γ-terpinene-rich S. montana and T. capitata EOs. Assays with EO fractions revealed that the monoterpene-rich nematoxic EOs control PWN through their combined hydrocarbon and oxygen-containing fractions through additive and/or synergic relations. As complex mixtures of active components, EOs may prove to be effective nematoxic age nts

O imaginário educacional da autonomia sob o signo da luz e das sombras

Fundação para a Ciência e a Tecnologia(FCT

Filosofias do empoderamento e educação emancipatória

[Excerto] Introdução: O idioma da emancipação, tomando por referência o mundo complexo e multicultural da contemporaneidade, não é uma língua morta e muito menos um vocabulário perdido nas brumas da história. Trata-se, isso sim, de um compromisso e de uma paixão que por vezes sai à rua, ganha voz e se faz ouvir nas arenas discursivas do espaço público, ora reivindicando a democratização dos espaços estruturais sociais, como os espaços das relações familiares, das relações de produção, das relações econômicas ou das relações sociais que extravasam essas categorias, ora colocando a exigência na autodeterminação e na luta contra todas as formas de dominação que ainda pautam o quotidiano das sociedades complexas e multiculturais. (...

Educação, democracia e sociedade civil

O objetivo da comunicação é fazer uma revisitação ao tema já clássico da relação entre a educação e a democracia partindo da hipótese de trabalho segundo a qual se verifica, nos países mais severamente colonizados pela governamentalidade neoliberal, uma des-democratização das finalidades da educação e que esse fenómeno é tanto mais funesto quanto compromete a resposta a desafios que hoje assolam a democracia, como é o caso da sua reconstrução como projeto de vida em comum numa era de tensões étnicas, culturais e religiosas, e, ainda, a questão da sustentabilidade ambiental do seu padrão de vida. O texto da comunicação analisa criticamente essa situação e sustenta a necessidade de rearticular mais intensamente a educação com a democracia ao nível das finalidades do ato educativo, não só na escola e nas instituições de ensino, mas também no próprio âmbito da sociedade civil, aí onde ocorre uma grande parte da nossa formação em atitudes, valores e comportamentos. A esta luz, procura-se mostrar que é legítimo esperar da sociedade civil um contributo na formação de cidadãos aptos a corresponderem aos desafios atuais da democracia, seja em termos de interculturalidade, seja em termos de sustentabilidade, e que essa ação ganha pertinência e relevância pedagógica no âmbito das organizações mais emblemáticas da sociedade civil percorrendo determinados caminhos educativos

Education and development through the European agenda concerning growth: a reformulation departing from the civil society organizations

As agendas do crescimento estão de regresso à região europeia e todo o discurso acerca da educação e do desenvolvimento já está a sofrer o seu efeito. A eventualidade de uma degradação desse discurso é uma ameaça para a educação que se alia à promoção de um desenvolvimento verdadeiramente humano e com preocupações ecológicas e, por isso, equacionamos, neste artigo, a sua ressignifi cação desde baixo, ou seja, desde as organizações da sociedade civil que reagem, no dia a dia e em diversos fóruns, contra a redução da educação e do desenvolvimento às perspetivas mais estreitas do crescimento econômico e da acumulação de riqueza para fazer face ao desemprego e às dívidas públicas, que hoje monopolizam as atenções e as preocupações dos meios políticos ocidentais.The agendas of growth are back to the european region and the whole speech about education and development is already suffering its effects. The possibility of a degradation of that speech is a threat to education that allies to the promotion of a truly human development and ecological concerns and, therefore, we analize in this article its redefi nition from below, ie, from the organizations of civil society that react in the everyday life and in several fora, against the reduction of education and development to the closer perspectives of economic growth and accumulation of wealth to tackle unemployment and public debts that nowadays monopolize the attention and concerns of western political circles.“Este trabalho é financiado por Fundos Nacionais através da FCT – Fundação para a Ciência e a Tecnologia no âmbito do Projeto PEST-OE/CED/UI1661/2014

Empowerment of individuals and communities: education facing the production of vulnerabilities

Este artigo investiga a possibilidade de articular a educação com o empoderamento de indivíduos e comunidades partindo do pressuposto, ou da hipótese de trabalho, de que o empoderamento, desenvolvendo as capacidades de enfrentamento (coping capacities) dos atores sociais a perigos ou ameaças do meio, é uma importante ferramenta para reagir às vulnerabilidades socialmente produzidas nos contextos onde se responde às crises económicas e financeiras cortando nos direitos, degradando a cidadania social e precarizando as condições de vida de amplas camadas da população, especialmente as mais expostas aos novos riscos sociais. A conclusão do artigo, validando a hipótese de trabalho, reconhece que o poder de agir dos indivíduos e das comunidades, mesmo lesado ou diminuído, pode ser recuperado pelas práticas pedagógicas de empoderamento democrático nas suas diversas modalidadesEste artículo investiga la posibilidad de articular la educación con el empoderamiento de individuos y comunidades. La suposición o hipótesis de trabajo es que dicho empoderamiento, al promover el desarrollo de las capacidades de afrontamiento (coping capacities) de los actores sociales a los peligros o amenazas del entorno, funciona como una herramienta importante para reaccionar a las vulnerabilidades socialmente producidas. Esto, en contextos donde se reacciona a las crisis económicas y financieras dando un corte en los derechos, disminuyendo la ciudadanía social y precarizando las condiciones de vida de amplios sectores de la población, especialmente los más expuestos a nuevos riesgos sociales. La conclusión del artículo, validando la hipótesis de trabajo, reconoce que el poder de actuar de los individuos y de las comunidades, incluso lesionado o disminuido, puede ser recuperado por las prácticas pedagógicas de empoderamiento democrático en sus diversas modalidades.This article investigates the possibility of articulating education with the empowerment of individuals and communities based on the assumption, or the work hypothesis, that empowerment, by developing the coping capacities of social actors to the dangers or threats of the environment, is an important tool to react to socially produced vulnerabilities in contexts where the response to economic and financial crises is cutting people’s rights, degrading social citizenship and precarious living conditions of large sections of the population, particularly those most exposed to the new social risks. The conclusion of the article, validating the hypothesis of work, acknowledges that the power to act of individuals and communities, even damaged or diminished, can be retrieved by the pedagogical practices of democratic empowerment in its various modalities.info:eu-repo/semantics/publishedVersio

Educação e imaginário intercultural: recomposição do papel da sociedade civil

Analisa, com referência às sociedades europeias, a diversificação cultural dos cenários sociais pós-coloniais e a urgente necessidade de vincular a educação, nesses contextos, a um imaginário social mais conforme a lógica inclusiva da democracia. O imaginário intercultural é visto como o novo rosto daquele imaginário e pressupõe, como condição de materialização, ampla e profunda recomposição do papel educativo da sociedade civil, como concluímos no texto.This work analyzes the cultural diversification of the social post-colonial scenarios and the urgency to link education to a social imaginary in accordance to the inclusive democratic logic. The intercultural imaginary is seen as a new face of the previous one and establishes as materialization condition the wide recomposition of the civil society educational role.Fundação para a Ciência e a Tecnologia/Cie