Jeronimo Martins in 2030 succession and strategy planning

The case outlines the history of Jerónimo Martins and the Dos Santos family in the context of a dialogue between the pater familias Alexandre and his successor Pedro. The case idea analyses the problems associated with next generation entrance in the family business and the outcomes on the different stakeholders and environment, with a particular focus on the evolution of the relationship between family, family holding and the JM group. The case is designed to assess the sustainability of a traditional succession strategy in the context of the challenges of globalization and growth of the company and family, analysing the reciprocal influence in a long-term strategy.

Strategic planning of electricity systems: Integrating renewable energies

Tese de Doutoramento - Programa Doutoral em Engenharia Industrial e Sistemas (PDEIS)

GIS application in water resources master planning

Due to water scarcity, it is important to organize and regulate water resources utilization to satisfy the conflicting water demands and needs. This paper aims to describe a comprehensive methodology for managing the water sector of a defined urbanized region, using the robust capabilities of a Geographic Information System (GIS). The proposed methodology is based on finding alternatives to cover the gap between recent supplies and future demands. Nablus which is a main governorate located in the north of West Bank, Palestine, was selected as case study because this area is classified as arid to semi-arid area. In fact, GIS integrates hardware, software, and data for capturing, managing, analyzing, and displaying all forms of geographic information. The resulted plan of Nablus represents an example of the proposed methodology implementation and a valid framework for the elaboration of a water master plan.

Development of a methodology to incorporate risk and uncertainty in electricity power planning

Dissertação de mestrado em Engenharia Industrial

Quantum field theory approach to the optical conductivity of strained and deformed graphene

The computation of the optical conductivity of strained and deformed graphene is discussed within the framework of quantum field theory in curved spaces. The analytical solutions of the Dirac equation in an arbitrary static background geometry for one dimensional periodic deformations are computed, together with the corresponding Dirac propagator. Analytical expressions are given for the optical conductivity of strained and deformed graphene associated with both intra and interbrand transitions. The special case of small deformations is discussed and the result compared to the prediction of the tight-binding model.

Pseudofermion dynamical theory for the spin dynamical correlation functions of the half-filled 1D Hubbard model

A modified version of the metallic-phase pseudofermion dynamical theory (PDT) of the 1D Hubbard model is introduced for the spin dynamical correlation functions of the half-filled 1D Hubbard model Mott– Hubbard phase. The Mott–Hubbard insulator phase PDT is applied to the study of the model longitudinal and transverse spin dynamical structure factors at finite magnetic field h, focusing in particular on the sin- gularities at excitation energies in the vicinity of the lower thresholds. The relation of our theoretical results to both condensed-matter and ultra-cold atom systems is discussed.

On the temperature dependence of the absorption cross section for black holes in string theory

We study the low frequency absorption cross section of spherically symmetric nonextremal d-dimensional black holes. In the presence of α′ corrections, this quantity must have an explicit dependence on the Hawking temperature of the form 1/TH. This property of the low frequency absorption cross section is shared by the D1-D5 system from type IIB superstring theory already at the classical level, without α′ corrections. We apply our formula to the simplest example, the classical d-dimensional Reissner-Nordstr¨om solution, checking that the obtained formula for the cross section has a smooth extremal limit. We also apply it for a d-dimensional Tangherlini-like solution with α′3 corrections.

Absorption of scalars by nonextremal charged black holes in string theory

We analyze the low frequency absorption cross section of minimally coupled massless scalar fields by different kinds of charged static black holes in string theory, namely the D1–D5 system in d=5 and a four dimensional dyonic four-charged black hole. In each case we show that this cross section always has the form of some parameter of the solution divided by the black hole Hawking temperature. We also verify in each case that, despite its explicit temperature dependence, such quotient is finite in the extremal limit, giving a well defined cross section. We show that this precise explicit temperature dependence also arises in the same cross section for black holes with string \alpha' corrections: it is actually induced by them.

A 3D computer assisted Orthopedic Surgery Planning approach based on planar radiography

Dissertação de mestrado integrado em Engenharia Biomédica (área de especialização em Informática Médica)

La institucionalización de la Comunidad Regional Punilla (Provincia de Córdoba): estudio y promoción de metodologías de diseño participativo y gestión asociada de políticas públicas para el desarrollo. The institution of Punilla Regional Community: study and promotion of participative metodologies for the associated planning and management of development policies.

Durante el período 2006-2008, las actividades de investigación y asistencia técnica de este equipo enfatizaron en la necesaria práctica social y política de horizontalidad en las relaciones, en la 'dimensión intersubjetiva o relacional de la regionalización' (Cáceres, 2006) en el marco de la Comunidad Regional Punilla (CRP), considerando a la identidad regional como un condicionante relevante de la 'construcción de la región como unidad de acción(Boisier, 2003). Así, durante ese período, se ha ido conformando un espacio 'regional' de composición multiactoral, social y gubernamental, para el trabajo asociativo (PROFIM, SIP, UCC 2007, 2008). Con el propósito de profundizar el Programa, este proyecto propone el fortalecimiento institucional de la CRP a través de la formalización del escenario participativo regional (Poggiese, 2001, 2002) para el diseño y gestión asociada de políticas de desarrollo. Tales propósitos y mecanismos están previstos en la Ley Orgánica de Regionalización de la Provincia de Córdoba (9.206/04) y en las normativas regionales derivadas de ésta a través de la figura del 'Consejo de la Sociedad Civil'. Con base en la observación del proceso desarrollado en Punilla desde el año 2006, esta propuesta suscribe el carácter interdisciplinario e intersectorial de la red social y política en la que se sustentará el Consejo y la lógica 'procesal y consensual' de su construcción, considerando, además, la nueva configuración del mapa político de la CRP a partir de los resultados electorales del año 2008 en tanto cambios estructurales en la relación gobierno y oposición que se presentan como una oportunidad para desarrollar los espacios públicos participativos que la sociedad regional puede ocupar para canalizar institucionalmente sus demandas. El proyecto busca 'analizar' pero también 'promover' el proceso de cambio político y social en marcha para facilitar su 'ampliación democrática' (Redín y Moroni, 2003), reflexionado críticamente y poniendo en cuestión algunos de los supuestos que han caracterizado a la retórica de la regionalización provincial: la existencia de una sociedad civil debidamente organizada en cada una de las regiones, cuya concurrencia al proceso decisorio puede asegurarse una vez 'abiertos' -formalizados- los canales de participación; la superación de la dirección bottom up en los procesos de toma de decisiones y la preeminencia de modalidades de 'articulación intermunicipal' para la gestión de políticas allí donde la Ley y las ordenanzas locales declaran establecida una 'Comunidad Regional'. El cuestionamiento de dichos supuestos sustenta, en definitiva, las preguntas que delimitan los temas- problema que se abordarán a partir de este trabajo.

Verificación de Sistemas Basada en Teoría de Tipos. System verification in type theory

Este proyecto se enmarca en la utlización de métodos formales (más precisamente, en la utilización de teoría de tipos) para garantizar la ausencia de errores en programas. Por un lado se plantea el diseño de nuevos algoritmos de chequeo de tipos. Para ello, se proponen nuevos algoritmos basados en la idea de normalización por evaluación que sean extensibles a otros sistemas de tipos. En el futuro próximo extenderemos resultados que hemos conseguido recientemente [16,17] para obtener: una simplificación de los trabajos realizados para sistemas sin regla eta (acá se estudiarán dos sistemas: a la Martin Löf y a la PTS), la formulación de estos chequeadores para sistemas con variables, generalizar la noción de categoría con familia utilizada para dar semántica a teoría de tipos, obtener una formulación categórica de la noción de normalización por evaluación y finalmente, aplicar estos algoritmos a sistemas con reescrituras. Para los primeros resultados esperados mencionados, nos proponemos como método adaptar las pruebas de [16,17] a los nuevos sistemas. La importancia radica en que permitirán tornar más automatizables (y por ello, más fácilmente utilizables) los asistentes de demostración basados en teoría de tipos. Por otro lado, se utilizará la teoría de tipos para certificar compiladores, intentando llevar adelante la propuesta nunca explorada de [22] de utilizar un enfoque abstracto basado en categorías funtoriales. El método consistirá en certificar el lenguaje "Peal" [29] y luego agregar sucesivamente funcionalidad hasta obtener Forsythe [23]. En este período esperamos poder agregar varias extensiones. La importancia de este proyecto radica en que sólo un compilador certificado garantiza que un programa fuente correcto se compile a un programa objeto correcto. Es por ello, crucial para todo proceso de verificación que se base en verificar código fuente. Finalmente, se abordará la formalización de sistemas con session types. Los mismos han demostrado tener fallas en sus formulaciones [30], por lo que parece conveniente su formalización. Durante la marcha de este proyecto, esperamos tener alguna formalización que dé lugar a un algoritmo de chequeo de tipos y a demostrar las propiedades usuales de los sistemas. La contribución es arrojar un poco de luz sobre estas formulaciones cuyos errores revelan que el tema no ha adquirido aún suficiente madurez o comprensión por parte de la comunidad. This project is about using type theory to garantee program correctness. It follows three different directions: 1) Finding new type-checking algorithms based on normalization by evaluation. First, we would show that recent results like [16,17] extend to other type systems like: Martin-Löf´s type theory without eta rule, PTSs, type systems with variables (in addition to systems in [16,17] which are a la de Bruijn), systems with rewrite rules. This will be done by adjusting the proofs in [16,17] so that they apply to such systems as well. We will also try to obtain a more general definition of categories with families and normalization by evaluation, formulated in categorical terms. We expect this may turn proof-assistants more automatic and useful. 2) Exploring the proposal in [22] to compiler construction for Algol-like languages using functorial categories. According to [22] such approach is suitable for verifying compiler correctness, claim which was never explored. First, the language Peal [29] will be certified in type theory and we will gradually add funtionality to it until a correct compiler for the language Forsythe [23] is obtained. 3) Formilizing systems for session types. Several proposals have shown to be faulty [30]. This means that a formalization of it may contribute to the general understanding of session types.

A comparative analysis of sustainable tourism, planning and development between Sligo and Donegal County Councils

Sustainable Development requires appropriate and continuous planning and management of economic, socio cultural and environmental resources. Tourism planning calls for continuous collaboration among tourism agencies, local authorities and local communities for success of the industry. While evidence suggests that tourism planning has been extensively documented, it is apparent that Donegal and Sligo County Councils have, in some cases failed to adequately address the significance of planning of the tourism industry for the North West of Ireland. This was investigated through interviews with chief planners of Donegal and Sligo county councils and was conducted in conjunction with the analysis of county development plans; which were formulated by both organisations involved in this study. Evidence suggests that although tourism is extensively documented by Donegal and Sligo county councils, neither of the two local authorities have developed implementation strategies to facilitate the promotion of sustainable tourism development. This research compares and analyses Donegal and Sligo county councils and how they plan for sustainable tourism development. It outlines the role of the county councils in relation to tourism planning and how Donegal and Sligo compare in how they plan for such a significant industry in the North West o f Ireland. It highlights the importance of implementation tools and methods and offers future directions that can assist in the development of sustainable tourism.

Darwin and after Darwin. An exposition of the Darwinian theory and a discussion of post-Darwinian questions, by George John Romanes ...

3

Darwin and after Darwin. An exposition of the Darwinian theory and a discussion of post-Darwinian questions, by George John Romanes ...

2

Investigating the long term planning framework for the Galway Bay community from climate change.

This research looked at the scientific evidence available on climate change and in particular, projections on sea level rise which ranged from 0.5m to 2m by the end of the century. These projections were then considered in an Irish context. A review of current policy in Ireland revealed that there was no dedicated Government policy on climate change or coastal zone management. In terms of spatial planning policy, it became apparent that there was little or no guidance on climate change either at a national, regional or local level. Therefore, to determine the likely impacts of sea level rise in Ireland based on current spatial planning practice and policy, a scenario-building exercise was carried out for two case study areas in Galway Bay. The two case study areas were: Oranmore, a densely populated town located to the east of Inner Galway Bay; and Tawin Island, a rural dispersed community, located to the south east of Inner Galway Bay. A ‘best’ and ‘worse’ case scenario was envisaged for both areas in terms of sea level rise. In the absence of specific climate change policies it was projected that in the ‘best’ case scenario of 0.5m sea level rise, Tawin Island would suffer serious and adverse impacts while Oranmore was likely to experience slight to moderate impacts. However, in the ‘worse’ case scenario of a 2m sea level rise, it was likely that Tawin Island would be abandoned while many houses, businesses and infrastructure built within the floodplain of Oranmore Bay would be inundated and permanently flooded. In this regard, it was the author’s opinion that a strategic and integrated climate change policy and adaptation plan is vital for the island of Ireland that recognises the importance of integrated land use and spatial planning in terms of mitigation and adaptation to climate change.