Revisão e Coordenação - Documento de Trabalho

O Plano de Acção Nacional para o Ambiente (PANA) é, em termos de desenvolvimento económico e social, um instrumento político-estratégico que deve moldar as políticas económicas nacionais, regionais, sectoriais e municipais, para que os níveis de desenvolvimento almejados sejam sustentáveis e capazes de assegurar maiores índices de eficiência no relacionamento do cabo-verdiano com o seu ambiente, do qual depende e faz parte integrante. A necessidade da presente revisão decorre do facto de, em função dos níveis e rítmos de desenvolvimento implementados desde 2005 terem, eventualmente, induzido alterações estruturais de contexto e hierarquia de prioridades, bem como de novos desafios que interessam estar, devida e estrategicamente, integrados nos instrumentos de política nacional do desenvolvimento. O presente Relatório Ambiental constitui o principal contributo do processo de Avaliação Ambiental Estratégica (AAE) para a revisão e actualização do Segundo Plano de Acção Nacional para o Ambiente, PANA II, (2004-2014), revisão essa que se apresenta como fundamental nos ajustamentos programáticos, requeridos na actual fase de desenvolvimento do país, sempre num contexto de concertação com os parceiros internacionais do desenvolvimento nacional. Este documento tem como propósito, definir indicadores ambientais, que permitem caracterizar a situação actual e estabelecer metas concretas de melhoria da qualidade do ambiente, na fase de desenvolvimento das estratégias do Plano, bem como avaliar o grau de eficácia e eficiência das acções a implementar. Constatou-se, no entanto, que este desiderato é, em certas áreas e sectores sensíveis, do ponto de vista ambiental, actualmente inatingível, por insuficiência ou fraca fiabilidade de dados. Em consequência a descrição de algumas situações de referência apresenta uma deficiente base quantitativa no que concerne a indicadores de estado, pressão e resposta. Tratando-se de um exercício de revisão e actualização de um instrumento de política ambiental em curso, espelhado no presente documento, este deve ser sempre entendido e utilizado como uma ferramenta complementar ao documento-mãe de forma a não deturpar ou pôr em causa os princípios nele constantes, nomeadamente no seu ponto 1.2. Assim este relatório de revisão e actualização do PANA II deve ser utilizado como instrumento de planeamento ambiental e apoio orçamental, somente e apenas, enquanto complemento do PANA II após seis anos de execução. O presente Relatório ambiental, para além de um resumo executivo e deste capítulo introdutório, no capítulo 2, identifica os objectivos e apresenta a abordagem metodológica seguida, bem como uma descrição do objecto da avaliação (capítulo 3) e um enquadramento estratégico da avaliação (capítulo 4) no contexto da planificação nacional estratégica do desenvolvimento nos seus diferentes níveis (capítulo 5). Apresenta-se ainda num capítulo 6, um conjunto de factores de avaliação que, na sua essência, realçam de forma muito sintética, os principais aspectos que devem enquadrar a actual avaliação ambiental estratégica, de modo a apresentar o referencial de análise para a avaliação dos resultados. O capítulo 7 do Relatório inclui uma breve caracterização e diagnóstico da situação actual para os factores de avaliação, incluindo as principais tendências da sua evolução. As principais recomendações relacionadas com uma política ambiental sustentável são apresentadas no capítulo 8 enquanto o capítulo 9, apresenta uma análise institucional bem como propostas para seguimento e avaliação do PANA II na sua versão revista e actualizada. Finalmente, o documento apresenta um capítulo 10 com a síntese e as conclusões finais deste processo.

Congruences between modular forms and lowering the level mod l^n

In this article we study the behavior of inertia groups for modularGalois mod l^n representations and in some cases we give a generalizationof Ribet s lowering the level result (cf. [Rib90]).

Computing congruences of modular forms and Galois representations modulo prime powers

This article starts a computational study of congruences of modular forms and modular Galoisrepresentations modulo prime powers. Algorithms are described that compute the maximum integermodulo which two monic coprime integral polynomials have a root in common in a sensethat is defined. These techniques are applied to the study of congruences of modular forms andmodular Galois representations modulo prime powers. Finally, some computational results withimplications on the (non-)liftability of modular forms modulo prime powers and possible generalisationsof level raising are presented.

O Processo de Coordenação Pedagógica no desenvolvimento do trabalho docente no Ensino Secundário Estudo de Caso – Escola Secundária Cónego Jacinto Peregrino da Costa – Várzea

O presente trabalho, intitulado o processo de coordenação pedagógica no desenvolvimento do trabalho docente no Ensino Secundário, consiste se num estudo com o propósito de enfatizar o contributo da coordenação pedagógica no desenvolvimento profissional dos professores no Ensino Secundário. Trata-se de uma investigação de natureza qualitativa e quantitativa, no qual a abordagem qualitativa aparece nas pesquisas bibliográficas e na análise documental e, abordagem quantitativa aparece no tratamento estatístico dos dados recolhidos. Os dados foram recolhidos através de inquérito por questionário junto de 74 professores e coordenadores de disciplinas da Escola Secundária Cónego Jacinto Peregrino da Costa. A construção do questionário teve como referentes principais a legislação, nomeadamente o Decreto-Lei n.º Decreto-Lei nº 77/94 de 27 de Dezembro, e a literatura da especialidade, e é constituído, essencialmente por questões de resposta fechada que, posteriormente foram alvo de tratamento estatístico, com o auxílio dos programas Excel e SPSS versão 15.0 for windows.

Modular support for developing mobile ad hoc applications

Abstract This PhD thesis addresses the issue of alleviating the burden of developing ad hoc applications. Such applications have the particularity of running on mobile devices, communicating in a peer-to-peer manner and implement some proximity-based semantics. A typical example of such application can be a radar application where users see their avatar as well as the avatars of their friends on a map on their mobile phone. Such application become increasingly popular with the advent of the latest generation of mobile smart phones with their impressive computational power, their peer-to-peer communication capabilities and their location detection technology. Unfortunately, the existing programming support for such applications is limited, hence the need to address this issue in order to alleviate their development burden. This thesis specifically tackles this problem by providing several tools for application development support. First, it provides the location-based publish/subscribe service (LPSS), a communication abstraction, which elegantly captures recurrent communication issues and thus allows to dramatically reduce the code complexity. LPSS is implemented in a modular manner in order to be able to target two different network architectures. One pragmatic implementation is aimed at mainstream infrastructure-based mobile networks, where mobile devices can communicate through fixed antennas. The other fully decentralized implementation targets emerging mobile ad hoc networks (MANETs), where no fixed infrastructure is available and communication can only occur in a peer-to-peer fashion. For each of these architectures, various implementation strategies tailored for different application scenarios that can be parametrized at deployment time. Second, this thesis provides two location-based message diffusion protocols, namely 6Shot broadcast and 6Shot multicast, specifically aimed at MANETs and fine tuned to be used as building blocks for LPSS. Finally this thesis proposes Phomo, a phone motion testing tool that allows to test proximity semantics of ad hoc applications without having to move around with mobile devices. These different developing support tools have been packaged in a coherent middleware framework called Pervaho.

Borcherds products and arithmetic intersection theory on Hilbert modular surfaces

We prove an arithmetic version of a theorem of Hirzebruch and Zagier saying that Hirzebruch-Zagier divisors on a Hilbert modular surface are the coefficients of an elliptic modular form of weight 2. Moreover, we determine the arithmetic selfintersection number of the line bundle of modular forms equipped with its Petersson metric on a regular model of a Hilbert modular surface, and we study Faltings heights of arithmetic Hirzebruch-Zagier divisors.

Galois representations, embedding problems and modular forms

To an odd irreducible 2-dimensional complex linear representation of the absolute Galois group of the field Q of rational numbers, a modular form of weight 1 is associated (modulo Artin's conjecture on the L-series of the representation in the icosahedral case). In addition, linear liftings of 2-dimensional projective Galois representations are related to solutions of certain Galois embedding problems. In this paper we present some recent results on the existence of liftings of projective representations and on the explicit resolution of embedding problems associated to orthogonal Galois representations, and explain how these results can be used to construct modular forms.

Animal Tissue Response To Mid-Term Electronic Modular Artificial Sphincter Implantation

Introduction and objectives: The AMS 800TM is considered the gold standard for sphincter replacement. However, the one-ring design can erode the urethra and lead to severe complications. A mechanism that could alternatively compress successive segments of the urethra would limit such deleterious outcome. We report 12 weeks animal urethral tissue analysis following implantation of a new modular artificial sphincter. METHODS: The device is composed by three parts: the contractile unit, two rings and an integrated microprocessor. The contractile unit is made of Nitinol fibers. The rings are placed around the urethra to control the flow of urine by squeezing the urethra. They work in a sequential alternative mode and are controlled by a microprocessor connected to an external computer. The computer can reveal specific failure of device components. The device was impkanted in eight male sheep. The rings were positioned around the urethra and the control unit was placed 5cm away. The device was working twenty hours per day; it was open 10min. per hour to allow urination. The animals were sacrificed after 12 weeks. The urethra and the tissues surrounding the control unit were macroscopically and microscopically examined. Two transversal sections crossing the sphincter and two transversal sections crossing the urethra alone were obtained and stained with modified Paragon after resin embedding. Urethra was also embedded in paraffin. The first section was stained with safranin-hematoxylin-eosin, the second section was stained with Masson's Trichrome and the remaining eight sections were available for immunolabelling of the macrophages.Results: The chronic study went uneventful. No clinical infection or pain was observed. The computer registered no specific failure in ring function, Nitinol wires and tube connectors. At explantation, except for a slight grade of lymphocytes in two out of eight specimens, no urethral stricture or atrophy could be observed. Immunohistochemistry confirmed the absence of macrophages. Tissue structure and organization of the urethra with and without artificial sphincter were similar. No migration of the device was observed.Conclusions: The study clearly showed no tissue damage or inflammation of the urethra. Electronic design, preservation of urethral vascularisation and adjustability after implantation are the key ideas to improve the actual AUS. Further studies will be carried out to evaluate this potential.

Arithmetical problems in number fields, abelian varieties and modular forms

Number theory, a fascinating area in mathematics and one of the oldest, has experienced spectacular progress in recent years. The development of a deep theoretical background and the implementation of algorithms have led to new and interesting interrelations with mathematics in general which have paved the way for the emergence of major theorems in the area. This report summarizes the contribution to number theory made by the members of the Seminari de Teoria de Nombres (UB-UAB-UPC) in Barcelona. These results are presented in connection with the state of certain arithmetical problems, and so this monograph seeks to provide readers with a glimpse of some specific lines of current mathematical research.

A modular magnetic anastomotic device for minimally invasive digestive anastomosis: proof of concept and preliminary data in the pig model.

BACKGROUND: The aim of our study was to assess the feasibility of minimally invasive digestive anastomosis using a modular flexible magnetic anastomotic device made up of a set of two flexible chains of magnetic elements. The assembly possesses a non-deployed linear configuration which allows it to be introduced through a dedicated small-sized applicator into the bowel where it takes the deployed form. A centering suture allows the mating between the two parts to be controlled in order to include the viscerotomy between the two magnetic rings and the connected viscera. METHODS AND PROCEDURES: Eight pigs were involved in a 2-week survival experimental study. In five colorectal anastomoses, the proximal device was inserted by a percutaneous endoscopic technique, and the colon was divided below the magnet. The distal magnet was delivered transanally to connect with the proximal magnet. In three jejunojejunostomies, the first magnetic chain was injected in its linear configuration through a small enterotomy. Once delivered, the device self-assembled into a ring shape. A second magnet was injected more distally through the same port. The centering sutures were tied together extracorporeally and, using a knot pusher, magnets were connected. Ex vivo strain testing to determine the compression force delivered by the magnetic device, burst pressure of the anastomosis, and histology were performed. RESULTS: Mean operative time including endoscopy was 69.2 ± 21.9 min, and average time to full patency was 5 days for colorectal anastomosis. Operative times for jejunojejunostomies were 125, 80, and 35 min, respectively. The postoperative period was uneventful. Burst pressure of all anastomoses was ≥ 110 mmHg. Mean strain force to detach the devices was 6.1 ± 0.98 and 12.88 ± 1.34 N in colorectal and jejunojejunal connections, respectively. Pathology showed a mild-to-moderate inflammation score. CONCLUSIONS: The modular magnetic system showed enormous potential to create minimally invasive digestive anastomoses, and may represent an alternative to stapled anastomoses, being easy to deliver, effective, and low cost.

Comparative modular analysis of gene expression in vertebrate organs.

ABSTRACT: BACKGROUND: The degree of conservation of gene expression between homologous organs largely remains an open question. Several recent studies reported some evidence in favor of such conservation. Most studies compute organs' similarity across all orthologous genes, whereas the expression level of many genes are not informative about organ specificity. RESULTS: Here, we use a modularization algorithm to overcome this limitation through the identification of inter-species co-modules of organs and genes. We identify such co-modules using mouse and human microarray expression data. They are functionally coherent both in terms of genes and of organs from both organisms. We show that a large proportion of genes belonging to the same co-module are orthologous between mouse and human. Moreover, their zebrafish orthologs also tend to be expressed in the corresponding homologous organs. Notable exceptions to the general pattern of conservation are the testis and the olfactory bulb. Interestingly, some co-modules consist of single organs, while others combine several functionally related organs. For instance, amygdala, cerebral cortex, hypothalamus and spinal cord form a clearly discernible unit of expression, both in mouse and human. CONCLUSIONS: Our study provides a new framework for comparative analysis which will be applicable also to other sets of large-scale phenotypic data collected across different species.

Informação estatística: política, regulação, coordenação

Tendo como foco a informação estatística, procura-se destacar as polêmicas que vicejam no entorno de suas dimensões sociopolíticas, que define a demanda, e técnico-científica, que define a oferta, fazendo-o através de uma evolução histórica. Procura-se mostrar que a definição e a harmonia entre ambas, a demanda e a oferta da informação estatística, não passa pelo livre jogo das forças de mercado, locus natural da espontânea coordenação econômica, de modo que se faz vital haver uma coordenação especializada, apropriada e adequadamente institucionalizada em alguma esfera oficial de governo (em se tratando de um bem que se quer público). Assim, a algum agente público caberá o exercício dessa coordenação institucional, fazendo-o nos limites do mandato que se queira ou se possa atribuir-lhe, dessa forma praticando-se uma cuidadosa regulação de todo o processo, cognitivo e social, a partir dos princípios integrantes de uma política de informação. Dessa forma, associa-se a política de informação, como parece correto, ao equacionar das polêmicas que impedem ou dificultam um certo bem (no caso a informação estatística) de se tornar público, fazendo-o no contexto de alguma agência de poder (no caso uma coordenação especializada), assentando-se um conjunto de seis pilares (utilidade, pertinência, validade, visibilidade, continuidade, integridade), capazes de a substanciar e a sustentar.

Revistas de arquitetura, urbanismo, paisagismo e design: a divergência de perspectivas

Trata de estabelecer as características atuais de revistas de arquitetura, urbanismo, paisagismo e design publicados no Brasil para um possível enquadramento como periódicos científicos ou técnicos. Comenta uma metodologia corrente de avaliação de publicações científicas de outras áreas de conhecimento e contextualiza sua aplicação diante da natureza diversificada da produção científica da área de arquitetura e urbanismo.