Some techniques for automated, resource-aware distributed and mobile computing in a multi-paradigm programming system

Distributed parallel execution systems speed up applications by splitting tasks into processes whose execution is assigned to different receiving nodes in a high-bandwidth network. On the distributing side, a fundamental problem is grouping and scheduling such tasks such that each one involves sufñcient computational cost when compared to the task creation and communication costs and other such practical overheads. On the receiving side, an important issue is to have some assurance of the correctness and characteristics of the code received and also of the kind of load the particular task is going to pose, which can be specified by means of certificates. In this paper we present in a tutorial way a number of general solutions to these problems, and illustrate them through their implementation in the Ciao multi-paradigm language and program development environment. This system includes facilities for parallel and distributed execution, an assertion language for specifying complex programs properties (including safety and resource-related properties), and compile-time and run-time tools for performing automated parallelization and resource control, as well as certification of programs with resource consumption assurances and efñcient checking of such certificates.

Certificate size reduction in abstraction-carrying code

Abstraction-Carrying Code (ACC) has recently been proposed as a framework for mobile code safety in which the code supplier provides a program together with an abstraction (or abstract model of the program) whose validity entails compliance with a predefined safety policy. The abstraction plays thus the role of safety certificate and its generation is carried out automatically by a fixpoint analyzer. The advantage of providing a (fixpoint) abstraction to the code consumer is that its validity is checked in a single pass (i.e., one iteration) of an abstract interpretation-based checker. A main challenge to make ACC useful in practice is to reduce the size of certificates as much as possible while at the same time not increasing checking time. The intuitive idea is to only include in the certificate information that the checker is unable to reproduce without iterating. We introduce the notion of reduced certificate which characterizes the subset of the abstraction which a checker needs in order to validate (and re-construct) the fall certificate in a single pass. Based on this notion, we instrument a generic analysis algorithm with the necessary extensions in order to identify the information relevant to the checker. Interestingly, the fact that the reduced certificate omits (parts of) the abstraction has implications in the design of the checker. We provide the sufficient conditions which allow us to ensure that 1) if the checker succeeds in validating the certificate, then the certificate is valid for the program (correctness) and 2) the checker will succeed for any reduced certificate which is valid (completeness). Our approach has been implemented and benchmarked within the CiaoPP system. The experimental results show t h a t our proposal is able to greatly reduce the size of certificates in practice. To appear in Theory and Practice of Logic Programming (TPLP).

Assessment of Narrow-Body Transport Airplane Evacuation by Numerical Simulation

This paper presents the results obtained with a new agent-based computer model that can simulate the evacuation of narrow-body transport airplanes in the conditions prescribed by the airworthiness regulations for certification. The model, described in detail in a former paper, has been verified with real data of narrow-body certification demonstrations. Numerical simulations of around 20 narrow-body aircraft, representative of current designs in various market segments, show the capabilities of the model and provide relevant information on the relationship between cabin features and emergency evacuation. The longitudinal location of emergency exits seems to be even more important than their size or the overall margin with respect to the prescribed number and type of exits indicated by the airworthiness requirements

Certificados electrónicos de servidor en administración y comercio electrónicos: garantías de seguridad

El uso de Internet por parte de los ciudadanos para relacionarse con las Administraciones Públicas o en relación con actividades de comercio electrónico crece día a día. Así lo evidencian los diferentes estudios realizados en esta materia, como los que lleva a cabo el Observatorio Nacional de las Telecomunicaciones y la Sociedad de la Información (http://www.ontsi.red.es/ontsi/). Se hace necesario, por tanto, identificar a las partes intervinientes en estas transacciones, además de dotarlas de la confidencialidad necesaria y garantizar el no repudio. Uno de los elementos que, junto con los mecanismos criptográficos apropiados, proporcionan estos requisitos, son los certificados electrónicos de servidor web. Existen numerosas publicaciones dedicadas a analizar esos mecanismos criptográficos y numerosos estudios de seguridad relacionados con los algoritmos de cifrado, simétrico y asimétrico, y el tamaño de las claves criptográficas. Sin embargo, la seguridad relacionada con el uso de los protocolos de seguridad SSL/TLS está estrechamente ligada a dos aspectos menos conocidos:  el grado de seguridad con el que se emiten los certificados electrónicos de servidor que permiten implementar dichos protocolos; y  el uso que hacen las aplicaciones software, y en especial los navegadores web, de los campos que contiene el perfil de dichos certificados. Por tanto, diferentes perfiles de certificados electrónicos de servidor y diferentes niveles de seguridad asociados al procedimiento de emisión de los mismos, dan lugar a diferentes tipos de certificados electrónicos. Si además se considera el marco jurídico que afecta a cada uno de ellos, se puede concluir que existe una tipología de certificados de servidor, con diferentes grados de seguridad o de confianza. Adicionalmente, existen otros requisitos que también pueden pasar desapercibidos tanto a los titulares de los certificados como a los usuarios de los servicios de comercio electrónico y administración electrónica. Por ejemplo, el grado de confianza que otorgan los navegadores web a las Autoridades de Certificación emisoras de los certificados y cómo estas adquieren tal condición, o la posibilidad de poder verificar el estado de revocación del certificado electrónico. El presente trabajo analiza todos estos requisitos y establece, en función de los mismos, la correspondiente tipología de certificados electrónicos de servidor web. Concretamente, las características a analizar para cada tipo de certificado son las siguientes:  Seguridad jurídica.  Normas técnicas.  Garantías sobre la verdadera identidad del dominio.  Verificación del estado de revocación.  Requisitos del Prestador de Servicios de Certificación. Los tipos de certificados electrónicos a analizar son:  Certificados de servidor web:  Certificados autofirmados y certificados emitidos por un Prestador de Servicios de Certificación.  Certificados de dominio simple y certificados multidominio (wildcard y SAN)  Certificados de validación extendida.  Certificados de sede electrónica. ABSTRACT Internet use by citizens to interact with government or with e-commerce activities is growing daily. This topic is evidenced by different studies in this area, such as those undertaken by the Observatorio Nacional de las Telecomunicaciones y la Sociedad de la Información (http://www.ontsi.red.es/ontsi/ ). Therefore, it is necessary to identify the parties involved in these transactions, as well as provide guaranties such as confidentiality and non-repudiation. One instrument which, together with appropriate cryptographic mechanisms, provides these requirements is SSL electronic certificate. There are numerous publications devoted to analyzing these cryptographic mechanisms and many studies related security encryption algorithms, symmetric and asymmetric, and the size of the cryptographic keys. However, the safety related to the use of security protocols SSL / TLS is closely linked to two lesser known aspects:  the degree of security used in issuing the SSL electronic certificates; and  the way software applications, especially web Internet browsers, work with the fields of the SSL certificates profiles. Therefore, the diversity of profiles and security levels of issuing SSL electronic certificates give rise to different types of certificates. Besides, some of these electronic certificates are affected by a specific legal framework. Consequently, it can be concluded that there are different types of SSL certificates, with different degrees of security or trustworthiness. Additionally, there are other requirements that may go unnoticed both certificate holders and users of e-commerce services and e-Government. For example, the degree of trustworthiness of the Certification Authorities and how they acquire such a condition by suppliers of Internet browsers, or the possibility to verify the revocation status of the SSL electronic certificate. This paper discusses these requirements and sets, according to them, the type of SSL electronic certificates. Specifically, the characteristics analyzed for each type of certificate are the following:  Legal security.  Technical standards.  Guarantees to the real identity of the domain.  Check the revocation status.  Requirements of the Certification Services Providers. The types of electronic certificates to be analyzed are the following:  SSL electronic certificates:  Self-signed certificates and certificates issued by a Certification Service Provider.  Single-domain certificates and multi-domain certificates (wildcard and SAN)  Extended Validation Certificates.  “Sede electrónica” certificates (specific certificates for web sites of Spanish Public Administrations).

La evaluación de la competencia comunicativa específica en el ámbito de la ingeniería y la arquitectura

La progresiva internacionalización de las universidades españolas convierte a estas organizaciones en escenarios plurilingües. El español convive en ellos con otras lenguas, en especial el inglés, como vehículo de acceso y transmisión de conocimiento especializado. Esto requiere un proceso de alfabetización académica en lengua extranjera que tendrían que asumir las universidades de acogida, con objeto de preservar a los alumnos de los fracasos en los programas internacionales. Por el momento, en España, los programas de grado o de posgrado no establecen filtros con umbrales lingüísticos mínimos de acceso, a excepción de algunas universidades que se limitan a requerir certificados de grado de dominio del español general. No existen exámenes públicos de ingreso, o exámenes propios de postadmisión, que evalúen la habilidad lingüística comunicativa en contextos académicos. En este trabajo, se parte de la hipótesis de que los exámenes que certifican un grado de dominio de español general no sirven al propósito de discriminar a los alumnos capaces de seguir con éxito los programas de las universidades. Para verificarla, se desarrolla una prueba de examen específica que mida la capacidad de emplear el español en contextos académicos. La prueba se centra en las tareas que se revelan, en una primera fase exploratoria de la investigación, como más necesarias en lo que se refiere al uso del español como lengua vehicular: las clases magistrales. Una vez pilotada, se administró junto con otras destinadas a evaluar el grado de dominio de la lengua en contextos generales. Los resultados obtenidos del contraste de estas mediciones y de diversos análisis de los datos arrojan evidencias de que este tipo de prueba mide un constructo específico: la habilidad de uso del español en contextos académicos. ABSTRACT The progressive internationalization of Spanish universities has transformed these organizations into plurilingual scenarios. Spanish lives in them sharing the stage with other languages, especially English, as a means of access and transmission of expert knowledge. This requires a process of academic literacy in foreign language that host universities should assume, in order to safeguard students from failures in international programs. At the moment, in Spain, undergraduate or graduate programs do not set filters with minimum language requirements to gain access, except for some universities that merely require certificates of general Spanish. There are no Spanish language public admission exams, or post-enrollment tests of their own, to assess the communicative language ability of foreign students in academic contexts. In this dissertation, we start from the hypothesis that those tests that certify the student degree of mastery of the Spanish language do not serve the purpose of discriminating against students capable of successfully pursuing university programs. To prove it, a specific test that measures the ability to use Spanish in academic contexts was developed. This language test focused on the tasks associated with the most common genre, which revealed prominent in a first exploratory phase of the investigation, related to the use of Spanish as a means of instruction: university lectures. Once piloted, the test was administered along with others designed to assess the degree of mastery of the language in general contexts. Contrast results of these measurements and various analyzes of the data showed evidence that this type of test measures a specific construct: the ability to use Spanish in academic contexts.

Cuadro de mando, plataforma de gestión para el modelo EFQM

La propuesta del trabajo de fin de grado escogida por el autor del proyecto se basa en la continuación del proyecto comenzado durante la asignatura de Prácticum del pasado semestre. El nacimiento del mismo se gestó en una pequeña empresa de consultoría llamada ‘Grupo Develop’ (en la sección ‘Entidad colaboradora y ubicación’ se describe más detalladamente la organización) situada al este de Madrid, una organización con carácter de fundación y dedicada, esencialmente, al sector de la consultoría en el sector de la calidad. Grupo Develop necesitaba aprovechar la utilidad de las nuevas tecnologías para ofrecer un nuevo y mejor servicio para sus clientes mediante un proyecto que fuera dirigido y llevado a cabo por un ingeniero informático. Partiendo de este contexto se vislumbró un proyecto consistente en diseñar, desplegar, programar y mantener una plataforma-sistema informático capaz de ayudar a las organizaciones (en este caso particular la mayoría son organizaciones sin ánimo de lucro) a gestionarse mejor de acuerdo a distintos modelos de calidad como pueden ser el EFQM1 o ISO. Además, la certificación en ambos modelos son cada vez más demandados como garantía de calidad por organismos públicos y privados e incluso por los clientes. Por lo tanto, este programa debe llegar a ser una herramienta que realmente apoye a cada entidad a elaborar un diagnóstico de su gestión y, por supuesto, debe conseguir acercar a estas empresas a los certificados más prestigiosos. Desde el punto de vista de un profesional del sector de la informática, el proyecto se estructura de una forma clara en una arquitectura cliente-servidor clásica donde todas las entidades (de momento 15) han participado de forma activa y paralela al desarrollo del proyecto. Si bien es cierto que esto ha ralentizado notablemente el desarrollo del proyecto y ha requerido una sincronización entre dos proyectos paralelos (uno para el despliegue y otro para el desarrollo).---ABSTRACT---The proposal of my graduation work is a continuation of the project that I already started in the Practicum subject the first part of the academic year. The birth of that project arose in a small consulting firm (Grupo Develop) in the east of Madrid, an organization that at the same time is incorporated as a Foundation. This organization works with different NGO´s and their work covers the Quality Consulting Sector. Grupo Develop needed to use new technologies to give a new and best service to our customers through a project managed by a person trained in the computer science area. Starting from this context, Grupo Develop saw a new opportunity to create a project to design, deploy and maintain a platform-system that can help our customers (in this case the organizations are often organizations from the Third Sector) to get a best management in some Norms or Models like ISO or EFQM. Also in some cases the Certifications of any of these models are increasingly demanded as quality assurance by public entities, privates and even by clients. Therefore, this program should be a tool that helps to any organization to make a diagnosis of their management and, of course, should close to these companies to the most prestigious Certificates. From a point of view of a computer science student, the software project has a defined structure in a classic client-server model where all the organizations (15) have actively participated in parallel mode to the development of the project. It is true that the involvement of the organizations has slowed the development of the project so I had to create two projects (one for the different organizations and the other one to develop the major improvements).

Avaliação da qualidade do Sistema de Informação de Registro de Óbitos Hospitalares (SIS-ROH), Hospital Central da Beira, Moçambique

As informações de mortalidade são úteis para avaliar a situação de saúde de uma população. Dados de mortalidade confiáveis produzidos por um sistema de informação de saúde nacional constituem uma ferramenta importante para o planejamento de saúde. Em muitos países, sobretudo em desenvolvimento, o sistema de informação de mortalidade continua precário. Apesar dos esforços feitos em Moçambique para melhoria das estatísticas de mortalidade, os desafios ainda prevalecem em termos de tecnologias de informação, capacidade técnica de recursos humanos e em termos de produção estatística. O SIS-ROH é um sistema eletrônico de registro de óbitos hospitalares de nível nacional, implementado em 2008 e tem uma cobertura de apenas 4% de todos os óbitos anuais do país. Apesar de ser um sistema de nível nacional, ele presentemente funciona em algumas Unidades Sanitárias (US), incluindo o Hospital Central da Beira (HCB). Dada a importância deste sistema para monitorar o padrão de mortalidade do HCB e, no geral, da cidade da Beira, este estudo avalia a qualidade do SIS-ROH do HCB. É um estudo descritivo sobre a completitude, cobertura, concordância e consistência dos dados do SIS-ROH. Foram analisados 3.009 óbitos de menores de 5 anos ocorridos entre 2010 e 2013 e regsitrados no SIS-ROH e uma amostra de 822 Certificados de Óbitos (COs) fetais e de menores de 5 anos do HCB. O SIS-ROH apresentou uma cobertura inferior a 50% calculados com os dados de mortalidade estimados pelo Inquérito Nacional de Causas de Morte (INCAM). Verificamos a utilização de dois modelos diferentes de CO (modelo antigo e atual) para o registro de óbitos referentes ao ano de 2013. Observou-se completitude excelente para a maioria das variáveis do SISROH. Das 25 variáveis analisadas dos COs observou-se a seguinte situação: 9 apresentaram completitude muito ruim, sendo elas relativas à identificação do falecido (tipo de óbito e idade), relativas ao bloco V em que dados da mãe devem ser obrigatoriamente preenchidos em caso de óbitos fetais e de menores de 1 ano (escolaridade, ocupação habitual, número de filhos tidos vivos e mortos, duração da gestação) e relativas às condições e às causas de óbito (autópsia e causa intermédiacódigo); 3 variáveis apresentaram completitude ruim relativas à identificação do falecido (NID) e relativas às condições e causas de morte (causa intermédia - descrição e causa básica - código); 9 apresentaram completitude regular relativas à identificação do falecido (data de nascimento e idade), relativas ao bloco V (idade da mãe, tipo de gravidez, tipo de parto, peso do feto/bebé ao nascer, morte do feto/bebé em relação ao parto) e relativas às condições e causa de óbito (causa direta- código, causa básica descrição); 2 apresentaram completitude bom relativas à identificação do falecido (sexo e raça/cor) e, por último, 2 apresentaram completitude excelente relativas ao local de ocorrência de óbito (data de internamento e data de óbito ou desaparecimento do cadáver). Algumas variáveis do SIS-ROH e dos COS apresentaram inconsistências. Observou-se falta de concordância para causa direta entre o SIS-ROH e os COs. Conclusão: Moçambique tem feito esforços para aprimorar as estatísticas de mortalidade, porém há lacunas na qualidade; a análise rotineria dos dados pode identificar essas lacunas e subsidiar seu aprimoramento.

Certificação da sustentabilidade de edifícios de escritórios corporativos no Brasil.

O crescimento industrial, comercial e de serviços traz para as sociedades mais evoluídas uma série de benefícios, como o desenvolvimento econômico e o crescimento populacional, aliados a maiores oportunidades de emprego e renda. Entretanto, pela falta de uma consciência mais apurada sobre os possíveis impactos negativos de ritmo acelerado de crescimento, acaba-se verificando uma série de problemas sociais e, sobretudo, ambientais. Em razão disso, nos últimos anos, constata-se a preocupação de alguns setores da sociedade na busca do desenvolvimento fundamentado em práticas mais sustentáveis. Isso não tem sido diferente no setor da construção civil. A preocupação com a sustentabilidade nos empreendimentos é tema e foco de diversos eventos, tanto no meio acadêmico, como no profissional e governamental. Particularmente, o segmento de mercado de EDIFÍCIOS DE ESCRITÓRIOS CORPORATIVOS tem sido alvo de pressão para o uso de práticas mais sustentáveis em todo o seu ciclo de vida, desde sua concepção, projeto, implantação e operação até a sua revitalização. Para aferir a sustentabilidade dos EDIFÍCIOS DE ESCRITÓRIOS CORPORATIVOS, muitas empresas do setor buscam certificações de origem estrangeira, que possuem certas limitações em sua aplicabilidade no Brasil, as quais são discutidas neste trabalho. Neste contexto, esta tese visa à construção da CERTIFICAÇÃO DA SUSTENTABILIDADE DE EDIFÍCIOS DE ESCRITÓRIOS CORPORATIVOS no Brasil, que é oportuna e necessária para tratar das condições de contorno e de realidade nacional. Para isso, foram realizados: [i] levantamento do estado da arte deste tema; [ii] construção da MATRIZ DE ATRIBUTOS para a avaliação da sustentabilidade dos EDIFÍCIOS DE ESCRITÓRIOS CORPORATIVOS; [iii] entrevistas com formadores de opinião deste segmento do mercado imobiliário; [iv] visitas em EDIFÍCIOS DE ESCRITÓRIOS CORPORATIVOS relevantes para as arbitragens iniciais; [v] a construção dos procedimentos, regras e rotina, com testes de validação e calibragem do SISTEMA PARA CLASSIFICAÇÃO.

Hemorragia subaracnoideia (HSA) por rotura de aneurisma cerebral em doentes admitidos no Hospital de Santa Maria (HSM) : análise retrospetiva de 2008 a 2012

Trabalho Final do Curso de Mestrado Integrado em Medicina, Faculdade de Medicina, Universidade de Lisboa, 2014

The Italian Merck Case. Research Papers in Law, 1/2007

From the Introduction. Regulation 1768/921 created supplementary protection certificates (hereinafter, ‘SPCs’) for medicinal products (hereinafter, “pharmaceuticals”) protected by patents. SPCs afford the same exclusive rights as those conferred by patents once these expire and may be granted for a maximum of five years.2 Italy enacted similar legislation in 1991, the most salient difference between both texts being that, pursuant to Law No. 349/91,3 holders of Italian patents for pharmaceuticals could be granted supplementary protection for a maximum period of 18 years after the expiration of the patent. Following the enactment of Regulation 1768/92, SPCs granted by the Italian authorities were brought in line with the period provided for in that text. However, pharmaceuticals for which supplementary protection was sought in the lapse between the adoption of Law No. 349/91 and Regulation 1768/92 (around 400 products) continued to enjoy the protection provided for in the former text.4 Several steps were taken by the Italian authorities to progressively reduce the length of protection granted to these products.

Energy efficiency: the ever neglected priority of the European energy strategy. Egmont Paper No. 66, June 2014

Summary. Energy saving has been a stated policy objective of the EU since the 1970s. Presently, the 2020 target is a 20% reduction of EU energy consumption in comparison with current projections for 2020. This is one of the headline targets of the European Energy Strategy 2020 but efforts to achieve it remain slow and insufficient. The aim of this paper is to understand why this is happening. Firstly, this paper examines the reasons why public measures promoting energy efficiency are needed and what form these measures should optimally take (§ 1). Fortunately, over the last 20 years, much research has been done into the famous ‘energy efficiency gap’ (or ‘the energy efficiency paradox’), even if more remains to be done. Multiple explanations have been given: market failures, modelling flaws and behavioural obstacles. Each encompasses many complex aspects. Several types of instruments can be adopted to encourage energy efficiency: measures guaranteeing the correct pricing of energy are preferred, followed by taxes or tradable white certificates which in turn are preferred to standards or subsidies. Information programmes are also necessary. Secondly, the paper analyzes the evolution of the different programmes from 2000 onwards (§ 2). This reveals the extreme complexity of the subject. It deals with quite diverse topics: buildings, appliances, public sector, industry and transport. The market for energy efficiency is as diffuse as energy consumption patterns themselves. It is composed of many market actors who demand more efficient provision of energy services, and that suppliers of the necessary goods and know-how deliver this greater efficiency. Consumers in this market include individuals, businesses and governments, and market activities cover all energy-consuming sectors of the economy. Additionally, energy efficiency is the perfect example of a shared competence between the EU and the Member States. Lastly, the legal framework has steadily increased in complexity, and despite the successive energy efficiency programmes used to build this framework, it has become clear that the gap between the target and the results remains. The paper then examines whether the 2012/27/EU Directive adopted to improve the situation could bring better results. It briefly describes the content of this framework Directive, which accompanies and implements the latest energy efficiency programme (§ 3). Although the Directive is technically complex and maintains nonbinding energy efficiency targets, it certainly represents an improvement in several aspects. However, it is also saddled with a multiplicity of exemption clauses and interpretative documents (with no binding value) which weaken its provisions. Furthermore, alone, it will allow the achievement of only about 17.7% of final energy savings by 2020. The implementation process, which is essential, also remains fairly weak. The paper also gives a glimpse of the various EU instruments for financing energy efficiency projects (§ 4). Though useful, they do not indicate a strong priority. Fourthly, the paper tries to analyze the EU’s limited progress so far and gather a few suggestions for improvement. One thing seems to remain useful: targets which can be defined in various ways (§ 5). Basically, all this indicates that the EU energy efficiency strategy has so far failed to reach its targets, lacks coherence and remains ambiguous. In the new Commission’s proposals of 22 January 2014 – intended to define a new climate/energy package in the period from 2020 to 2030 – the approach to energy efficiency remains unclear. This is regrettable. Energy efficiency is the only instrument which allows the EU to reach simultaneously its three targets: sustainability, competitiveness and security. The final conclusion appears thus paradoxical. On the one hand, all existing studies indicate that the decarbonization of the EU economy will be absolutely impossible without some very serious improvements in energy efficiency. On the other hand, in reality energy efficiency has always been treated as a second zone priority. It is imperative to eliminate this contradiction.

The Energy Performance of Buildings: Promises Still Unfulfilled. Egmont Paper No. 78, May 2015

EXECUTIVE SUMMARY All observers agree that energy efficiency must be the cornerstone of any serious EU energy strategy. In this general context, the EU building sector is critical. It represents about 40% of EU final energy consumption (residential houses, public/private offices, commercial buildings, etc.) and approximately 36% of EU CO2 emissions. This is massive. The EU has certainly not been inactive in this field. The Energy Performance in Buildings Directive 2002/91/EC (EPBD) was the first and the main instrument to address the problem of the energy performance of buildings. It has established numerous principles: a reliable methodology which enables the calculation and rating of the energy performance of buildings; minimum energy performance standards for new buildings and existing buildings under major renovation; energy performance certificates; regular inspection of heating and air-conditioning systems; and, finally, quality standards for inspections and energy performance certificates. They were strengthened in 2010 by the recast Directive 2010/31/EU. This directive also introduces a decisive concept for the development of the building sector: ‘nearly zeroenergy buildings’. In 2012, the new Energy Efficiency Directive 2012/27/EU dealt with other aspects. In the building sector, three of them are particularly important. They concern: (1) the establishment of long-term strategies for mobilizing investment in the renovation of the national building stocks; (2) the introduction of energy saving schemes for ‘designated’ energy companies with a view to reducing consumption among ‘final consumers’ by 1.5% annually; and (3), as an option, the setting up of an Energy Efficiency National Fund to support energy efficiency initiatives. This paper also briefly examines the different instruments put in place to disseminate information and consultation, and the EU funding for energy efficiency in buildings. Results, however, have remained limited until now. The improvement of the energy performance of buildings and the rhythm of renovation remain extremely weak. Member States’ unwillingness to timely and properly transpose and implement the Directives continues despite the high degree of flexibility permitted. The decentralized approach chosen for some specific aspects and the differentiation in the application of EPBD standards between Member States do not appear optimal either. Adequate financial schemes remain rare. The permanent deficit of qualified and trained personnel and the inertia of public authorities to make the public understand the stakes in this domain remain problematic. Hence the need to take new initiatives to reap the benefits that the building sector is meant to bring.

Processos e práticas de avaliação de centros novas oportunidades: o caso do CNO da escola secundária Gabriel Pereira

A presente investigação assentou na temática da Educação e Formação de Adultos, nomeadamente no processo de Reconhecimento, Validação e Certificação de Competências. Sob a configuração metodológica de um estudo de caso, teve como objeto de estudo o Centro Novas Oportunidades da Escola Secundária Gabriel Pereira. Neste trabalho de investigação procurou-se não só analisar os resultados em matéria de satisfação pessoal e profissional, decorrentes da realização de um processo de RVCC, manifestados pelos diferentes intervenientes (adultos certificados, famílias e entidades empregadoras de adultos certificados e equipa técnico-pedagógica) como também, compreender até que ponto a avaliação do processo permite consubstanciar esses mesmos resultados. Ao longo de toda a pesquisa foi definida uma estratégia metodológica que permitiu combinar uma variedade de métodos, incluindo técnicas de natureza quantitativa e qualitativa. Com o desenvolvimento desta investigação foi possível concluir que os resultados alcançados pelos adultos certificados são, do ponto de vista dos diferentes participantes, mais positivos no domínio da satisfação pessoal comparativamente à dimensão profissional, corroborando, aliás, outros estudos dirigidos à mesma problemática.

The Brazilian real estate securitization market: determinants of pricing

Analisamos os determinantes de precificação de Certificados de Recebíveis Imobiliários (CRIs) com relação ao ativo objeto e níveis de garantias, controlando por variáveis de tamanho, prazo e rating. Verifica-se um prêmio médio adicional em CRIs de 1,0 p.p. quando comparados com debêntures de prazos semelhantes e de mesmo rating. A justificativa desse prêmio é analisada em duas frentes: (a) apesar de CRI seguir relativa padronização, encontramos que o papel pode representar diferentes níveis de risco e ativos-objeto; e (b) essa falta de padronização leva a níveis de precificação diferenciados por suas características específicas de riscos. Os diferentes níveis de risco são percebidos pelas diversas garantias utilizadas sendo que 41% das emissões possuem garantias pessoais de originadores (aval ou fiança). Conclui-se que existe, em geral, uma diferença de retornos positiva (o spread médio na emissão dos CRIs indexados à inflação foi de 321 bps superior à curva de juros de mercado), sendo mais preponderante a depender do segmento (prêmio para os segmentos residencial e loteamentos) e mitigado pelo nível de garantias oferecido. É possível verificar um prêmio médio de 1,4 p.p. para os segmentos residencial e de loteamentos. Algumas características das emissões foram analisadas como controle (tamanho, prazo e, por fim, das notas e origem da agência avaliadora de rating). Os CRIs de maior volume e maior prazo apresentam spreads menores. Quanto ao rating, os CRIs apresentam efeitos diversos a depender do segmento. Para CRIs residenciais, o efeito é positivo (redução de spread) caso a emissão seja avaliada por alguma agência de rating, enquanto que para os CRIs comerciais, o efeito é negativo. O efeito pode ser positivo para os CRIs comerciais (redução de spread) em caso de avaliação por agência de rating internacional ou possuir notas de rating superiores à nota ‘A’.

Das Prinzip der Freizügigkeit: eine Idee für alle

"Das Prinzip der Freizügigkeit. Eine Idee für alle". Presentation (in German) by Charlotte Sieber-Gasser at the 2d Doctoral Seminar of the Center for Migration Law held in Oberdorf (Switzerland) on 30 November and 1 December 2012. In the presentation (in German), Charlotte Sieber-Gasser argues that there is a direct link between regional labour market integration, economic development and migration pressure. The link consists of the impact of labour market integration on added-value production: Through more added-value production in the global South, economic development in the region is more sustainable, jobs are created and brain drain is to a certain extent reversed. As this is acknowledged also by developing countries, more and more regional labour market integration measures emerge in the global South. These newer forms of regulation of the movement of labour is in some cases relatively unique and innovative. Charlotte Sieber-Gasser presents five examples of such newer regulation. The different models range from liberalisation restricted to high skilled labour and indirect liberalisation through the recognition of certificates to relatively far reaching liberalisation for particular groups of professionals and their families, also covering low skilled labour.