Orientador: Katashi Okoshi / Banca: Beatriz Bojikian Matsubara / Banca: João Carlos Hueb / Banca: Fábio Villaça Guimarães Filho / Banca: Jorge Eduardo Assef / Resumo: A expressão 'coração de atleta' é normalmente usada para caracterizar os efeitos cardiovasculares do condicionamento físico à longo prazo, em atletas competitivos e altamente treinados. Sabe-se que o exercício físico é um fator estimulante para o desenvolvimento de hipertrofia ventricular esquerda, podendo esta variar de acordo com a característica do esporte. Assim, o coração do atleta apresenta alterações morfológicas e funcionais resultantes de intenso treinamento físico. Embora muitos estudos mostrem alterações cardíacas induzidas pelo exercício, há poucos relatos sobre a adaptação dos ventrículos esquerdo (VE) e direito (VD) em atletas de futebol, ciclismo e corridas de longa distância. Portanto, o objetivo desse estudo foi avaliar por meio da Doppler-ecocardiografia, a estrutura e funções sistólica e diastólica do coração de atletas dessas modalidades esportivas, comparando-as entre si e com indivíduos não-atletas. Neste estudo prospectivo, observacional e transversal, foi realizado ecocardiograma transtorácico, provido da técnica do Doppler tissular, e eletrocardiograma de 12 derivações em repouso em futebolistas profissionais, ciclistas e corredores de longa distância. Foram estudados 57 atletas e 36 indivíduos não-atletas, todos homens, com idades de 32,9±8,4 e 30,4±11,1 anos, respectivamente. As comparações foram realizadas por ANCOVA (idade como covariante) complementada pelo teste de Tukey (p<0,05). As comparações das freqüências de alterações eletrocardiográficas entre os grupos foram realizadas pelo teste de Goodman para contrastes entre populações multinomiais. Os atletas apresentaram aumento do volume do átrio esquerdo, da espessura do VE e dos diâmetros diastólicos do VE (DDVE) e VD (DDVD) em relação aos sedentários. O volume do átrio esquerdo e o DDVE foram maiores nos ciclistas em relação... (Resumo completo, clicar acesso eletrônico abaixo) / Abstract: The expression "athlete's heart" is normally used to characterize the cardiovascular effects of physical conditioning in competitive and highly trained athletes. It's known that physical exercise stimulates the development of left ventricular hypertrophy according to the sports modalities. Thus, the athlete's heart presents some morphological and functional alterations resultants of the intense physical training. Although many studies have demonstrated cardiac alterations induced by exercise, there are just a few that describe adaptations of left (LV) and right (RV) ventricles in soccer players, bicyclists and long distance runners. Therefore, the objective of this study was to evaluate the structure, systolic and diastolic functions of these athletes by Doppler echocardiography, and compare them among each other and with nonathletes individuals. In this transversal, observational, and prospective study, it was performed a transtoracic ecocardiographic evaluation with tissue Doppler interrogation and a 12-lead electrocardiogram at rest on professional soccer players, bicyclists and long distance runners. Fifty seven athletes and 36 non-athletes men, aged 32.9±8.4 and 30.4±11.1 years, respectively, were studied. Comparisons among the groups were done by ANCOVA (age as co-variate) and complemented by Tukey's test (p<0.05). Electrocardiographic alterations was analyzed by Goodman's test for contrasts among multinomial populations. The athletes showed increased left atrial volume, LV wall thickness and enlargement of left (LVDD) and right (RVDD) ventricular diastolic diameters in comparison with non-athletes group. Bicyclists showed larger left atrial volume and LVDD than long distance runners, and also larger RVDD than soccer players. LV mass index was greater in athletes, and the bicyclists showed a greater index than long distance runners and soccer players. Systolic... (Complete abstract click electronic access below) / Doutor

Estudos recentes, realizados principalmente no mercado norte-americano, trazem in-dícios de fatores determinantes para o resultado de longo prazo das emissões primá-rias de ações (IPOs, do inglês Initial Public Offerings). Porém, trabalhos com esse enfoque no mercado brasileiro ainda são escassos e inconclusivos, pois utilizam pe-quenas bases de dados e analisam horizontes de tempo de até dois anos. Buscando ampliar a análise de IPOs no mercado brasileiro, o objetivo desta dissertação foi es-tudar os determinantes do desempenho de longo prazo das IPOs realizadas na Bolsa de Valores de São Paulo com horizontes de tempo de três e cinco anos após o pri-meiro dia de negociações. A amostra foi composta por 97 emissões primárias de ações ocorridas entre 2004 e 2012 para o horizonte de três anos e 77 ocorridas entre 2004 e 2010 para o horizonte de cinco anos. O cálculo de retorno de longo prazo seguiu a metodologia de Buy-and-Hold Abnormal Return (BHAR), ajustado ao Ibo-vespa, e os possíveis determinantes do BHAR das IPOs foram submetidos a análises multivariadas através de estimações pelo método de Mínimos Quadrados Ordinários (MQO). Os resultados levam à conclusão de que o desempenho de longo prazo das IPOs brasileiras está positivamente relacionado com: 1) a Idade das firmas, 2) o nível de Governança Corporativa, 3) o Setor e 4) o Desempenho Operacional pós IPO. Pôde-se concluir, também, que o desempenho de longo prazo das IPOs está negati-vamente relacionado com: 1) o Retorno Anormal do Primeiro Dia de negociações, 2) a Quantidade de IPOs realizadas no Ano e 3) o Percentual de Investidores Institucio-nais na emissão primária. Os testes de robustez realizados apontam para uma relação também positiva entre o Crescimento do PIB do período pré IPO com o resultado de longo prazo das ações. / Recent studies, conducted mainly in the North American market, have presented evi-dence regarding decisive factors for the long-run performance of Initial Public Offerings (IPOs). However, the number of similar studies applied in the Brazilian market is yet limited and inconclusive, because they employ reduced databases and short time win-dows up to two years. Seeking to extend the analysis of IPOs in the Brazilian market, the purpose of this study was to explore the determinants of the long-run performance of IPOs held at BM&F Bovespa, with time windows of three and five years after the first trading day. The sample was composed of 97 initial public offerings occurred be-tween 2004 and 2012 for three-year horizon and 77 occurred between 2004 and 2010 for the five-year horizon. The long-run return calculation followed the methodology of Buy-and-Hold Abnormal Return (BHAR), adjusted to the Ibovespa index, and the pos-sible determinants of BHAR related to IPOs were subjected to multivariate analysis using Ordinary Least Squares (OLS) approach. The results lead to the conclusion that the long-run performance of Brazilian’s IPOs is positively related with: 1) Age of the Firms, 2) the level of Corporate Governance, 3) Sector and 4) post IPO Operating Performance. In addition, it was noticed that the long-run performance of IPOs is neg-atively related with: 1) the Abnormal Return of the First Trading Day, 2) the IPO amount held in the year and 3) percentage of Institutional Investors the IPO. Robustness tests were performed, and their conclusions highlighted a positive relationship between GDP growth of previous IPO period with the long-run performance.

Este trabalho apresenta o cálculo da cota de inundação para a Enseada do Itapocorói e para a praia de Morro dos Conventos, litoral do Estado de Santa Catarina. Para atingir os objetivos desse trabalho, a cota de inundação foi calculada através da soma das marés meteorológica e astronômica e do wave run-up. Foi utilizada uma base de 60 anos (horária) de dados de marés e ondas, além de dados de batimetria e topografia das praias. Com o intuito de se obter dados mais realistas do wave run-up, os parâmetros ondulatórios da base de dados foram transferidos de águas profundas para próximo da costa com a utilização do modelo SWAN (Simulating Waves Nearshore). A Enseada do Itapocorói foi dividida em quatro setores (exposto, semiexposto, semiprotegido e protegido) em função dos diferentes graus de exposição à ação de ondas, sendo as equações calibradas para cada setor. A partir dos resultados para Enseada do Itapocorói, notou-se que quanto mais exposta a praia, melhor as equações existentes representavam o wave run-up, assim, para a praia de Morro dos Conventos foi utilizada a equação mais aceita na literatura sem calibração. A cota de inundação instantânea foi calculada para cada hora da série de 60 anos somando-se o wave run-up às marés astronômicas e meteorológicas. Sobre a série de cota de inundação instantânea, para ambas as áreas, foi calculada a cota atingida durante 50% do tempo e por eventos extremos com recorrência de 50, 100 e 200 anos. A estas foi adicionada a previsão de elevação do nível do mar de longo prazo para o mesmo período. A cota atingida durante 50% do tempo na Enseada do Itapocorói foi de 1,35 m no setor exposto, enquanto nos setores semiexposto, semiprotegido e protegido foi de 1 m, 0,9 m e 0,7 m respectivamente. Também, o setor exposto foi o que apresentou as maiores cotas atingidas, sendo 3,45 m, 3,85 m e 4,45 m com tempo de recorrência de 50,100 e 200 anos respectivamente. No setor semiexposto, os valores calculados foram de 2,85 m (50 anos), 3,25 m (100 anos) e 3,9 m (200 anos). No setor semiprotegido, as cotas com tempo de recorrência de 50, 100 e 200 anos foram de 2,65 m, 3,05 m, 3,75 m respectivamente. Já o setor protegido apresentou as menores cotas entre os setores, 2,4 m, 2,85 m e 3,5 m para 50, 100 e 200 anos de tempo de recorrência. Considerando a extensão da área costeira que possui um levantamento de topografia do terreno, 2,4 % da área é inundada durante 50% do tempo, subindo para 26%, 29% e 33% nos casos de recorrência com 50, 100 e 200 anos. A cota atingida na praia de Morro dos Conventos durante 50% do tempo é de 1,1 m, já as cotas calculadas para os tempos de recorrência de 50, 100 e 200 anos foram de 4,2 m, 4,6 m e 5,35 m respectivamente. E, da mesma forma, a área costeira com levantamento topográfico teve 15% de superfície é inundada em 50% do tempo, passando para 85%, 91% e 96% da área total analisada com 50, 100 e 200 anos de tempo de recorrência. A metodologia proposta neste trabalho contribui para o planejamento de zonas costeiras, à medida que indica áreas afetadas por inundação aos eventos extremos. A apresentação de cartas contendo esse tipo de informação em ambiente de SIG facilita a tomada de decisão e o entendimento da área por determinado evento extremo. / The goal of this study is to determine the inundation levels at Ensenada do Itapocorói and Morro dos Conventos beaches, located in Santa Catarina State. This was accomplished through the calculation of the inundation level as the sum of astronomical and meteorological tides and wave run-up. The database for this study included -60 years of hourly waves and tides, bathymetric and topographic data. The instantaneous sea level has been defined for each hour of the data series through the summation of astronomical and meteorological tides. To determine more realistic wave run-up data, the wave parameters have been propagated to shallower water using the SWAN (Simulating WAves Nearshore) model. Published equations were used and results were compared with measured data at a headland bay beach (Enseada do Itapocorói); furthermore, the equations have been calibrated for four sectors of the bay (exposed, semi-exposed, semi-protected and protected). Morro dos Conventos is an exposed beach, comparable to those for which the equations have been developed, so the raw, un-calibrated equations were applied for this site. The inundation level was calculated for each hour of the 60 year-long series by summing the run-up values to obtain the instantaneous level. Over the series of inundation levels, the area inundated during 50% of the time, and the return period for this inundation, have been calculated for 50, 100 and 200 years. The sea-level rise prediction for each calculated period has also been incorporated in order estimate the area likely to be inundated by future events. For Enseada do Itapocorói, the inundation level reached 50% of the time was 1,35 m in the exposed sector, 1 m in the semi-exposed sector, 0,9 m in the semi-protected sector and 0,7 in the protected sector. The exposed sector demonstrated the highest values of inundation, 3,45, 3,85 and 4,5 m for 50, 100 and 200 years of return period respectively. At the semi-exposed sector, the values calculated were 2,85 (50 years), 3,25 (100 years) and 3,9 (200 years) m. At semi-protected sector, inundation levels for the 50-, 100- and 200-year return period intervals were 2,65, 3,05 and 3,75 m, respectively. At the protected sector the lowest levels were reached: 2,4, 2,85 and 3,5 m for 50-, 100- and 200-year return period intervals. 2,4% of the total area for which topographic data is available would be inundated during 50% of the time, increasing to 26%, 29% and 33% for 50-, 100- and 200-year return periods. At Morro dos Conventos, the level of inundation reaches 1,1 m 50% of the time;, for 50,100 and 200 years the level rises to 4,2, 4,6 and 5,36 m respectively. Approximately 15% of the area for which topographic data is available would be area is inundated during 50% of the time, 85% with a 50 year return period, 91% with a 100-year period and 96% with a 200 year period.

A teoria econômica mostra que instabilidade financeira é um problema que atinge as economias nos períodos de recessão causando desemprego, queda nos níveis de consumo e poupança, surgimento de corridas bancárias e, consequentemente, a redução do bemestar da sociedade. A literatura que estuda instabilidade financeira divide-se em duas vertentes as quais importantes referências nas áreas de estudo sem serviço sequencial e com serviço sequencial são Allen e Gale (2000) e Bertolai, Cavalcanti, e Monteiro (2016), respectivamente. A contribuição deste trabalho consiste em apresentar os modelos e principais resultados de Allen e Gale (2000) e Bertolai et al. (2016) como casos limites de um mesmo problema de escolha do sistema bancário ótimo para estabelecer, em seguida, resultados complementares à essas referências. A primeira contribuição, no ambiente em que não existe serviço sequencial, é propor uma nova forma de divisão do choque inesperado de liquidez no modelo de Allen e Gale (2000) de modo que esse mecanismo de cooperação no interbancário consiga evitar contágio e o colapso generalizado entre os bancos. Já no ambiente com serviço sequencial, uma segunda contribuição é estender Bertolai et al. (2016) ao estabelecer novos equilíbrios de corrida bancária, em que os três últimos depositantes de cada um dos bancos da economia não participam da corrida bancária. / Economic theory shows that financial instability is a problem that affects economies in times of recession, causing unemployment, falling consumption and saving levels, the emergence of bank-run , and consequently the reduction of the welfare of society. The literature that studies financial instability is divided into two strands where important references in the study areas without sequential and sequential service are Allen e Gale (2000) and Bertolai et al. (2016), respectively. The contribution of this work is to present the models and main results of Allen e Gale (2000) and Bertolai et al. (2016) as limiting cases of the same problem of choosing the optimal banking system, in order to establish subsequent results complementary to these references. The first contribution, in the environment in which there is no sequential service, is to propose a new way of dividing the unexpected liquidity shock in the Allen e Gale (2000) model so that this mechanism of interbank cooperation can avoid contagion and the generalized collapse between the banks. In the sequential service environment, a second contribution is to extend Bertolai et al. (2016) by establishing new banking run balances in which the last three depositors of each of the banks of the economy do not participate in the bank run.

Este trabalho apresenta o cálculo da cota de inundação para a Enseada do Itapocorói e para a praia de Morro dos Conventos, litoral do Estado de Santa Catarina. Para atingir os objetivos desse trabalho, a cota de inundação foi calculada através da soma das marés meteorológica e astronômica e do wave run-up. Foi utilizada uma base de 60 anos (horária) de dados de marés e ondas, além de dados de batimetria e topografia das praias. Com o intuito de se obter dados mais realistas do wave run-up, os parâmetros ondulatórios da base de dados foram transferidos de águas profundas para próximo da costa com a utilização do modelo SWAN (Simulating Waves Nearshore). A Enseada do Itapocorói foi dividida em quatro setores (exposto, semiexposto, semiprotegido e protegido) em função dos diferentes graus de exposição à ação de ondas, sendo as equações calibradas para cada setor. A partir dos resultados para Enseada do Itapocorói, notou-se que quanto mais exposta a praia, melhor as equações existentes representavam o wave run-up, assim, para a praia de Morro dos Conventos foi utilizada a equação mais aceita na literatura sem calibração. A cota de inundação instantânea foi calculada para cada hora da série de 60 anos somando-se o wave run-up às marés astronômicas e meteorológicas. Sobre a série de cota de inundação instantânea, para ambas as áreas, foi calculada a cota atingida durante 50% do tempo e por eventos extremos com recorrência de 50, 100 e 200 anos. A estas foi adicionada a previsão de elevação do nível do mar de longo prazo para o mesmo período. A cota atingida durante 50% do tempo na Enseada do Itapocorói foi de 1,35 m no setor exposto, enquanto nos setores semiexposto, semiprotegido e protegido foi de 1 m, 0,9 m e 0,7 m respectivamente. Também, o setor exposto foi o que apresentou as maiores cotas atingidas, sendo 3,45 m, 3,85 m e 4,45 m com tempo de recorrência de 50,100 e 200 anos respectivamente. No setor semiexposto, os valores calculados foram de 2,85 m (50 anos), 3,25 m (100 anos) e 3,9 m (200 anos). No setor semiprotegido, as cotas com tempo de recorrência de 50, 100 e 200 anos foram de 2,65 m, 3,05 m, 3,75 m respectivamente. Já o setor protegido apresentou as menores cotas entre os setores, 2,4 m, 2,85 m e 3,5 m para 50, 100 e 200 anos de tempo de recorrência. Considerando a extensão da área costeira que possui um levantamento de topografia do terreno, 2,4 % da área é inundada durante 50% do tempo, subindo para 26%, 29% e 33% nos casos de recorrência com 50, 100 e 200 anos. A cota atingida na praia de Morro dos Conventos durante 50% do tempo é de 1,1 m, já as cotas calculadas para os tempos de recorrência de 50, 100 e 200 anos foram de 4,2 m, 4,6 m e 5,35 m respectivamente. E, da mesma forma, a área costeira com levantamento topográfico teve 15% de superfície é inundada em 50% do tempo, passando para 85%, 91% e 96% da área total analisada com 50, 100 e 200 anos de tempo de recorrência. A metodologia proposta neste trabalho contribui para o planejamento de zonas costeiras, à medida que indica áreas afetadas por inundação aos eventos extremos. A apresentação de cartas contendo esse tipo de informação em ambiente de SIG facilita a tomada de decisão e o entendimento da área por determinado evento extremo. / The goal of this study is to determine the inundation levels at Ensenada do Itapocorói and Morro dos Conventos beaches, located in Santa Catarina State. This was accomplished through the calculation of the inundation level as the sum of astronomical and meteorological tides and wave run-up. The database for this study included -60 years of hourly waves and tides, bathymetric and topographic data. The instantaneous sea level has been defined for each hour of the data series through the summation of astronomical and meteorological tides. To determine more realistic wave run-up data, the wave parameters have been propagated to shallower water using the SWAN (Simulating WAves Nearshore) model. Published equations were used and results were compared with measured data at a headland bay beach (Enseada do Itapocorói); furthermore, the equations have been calibrated for four sectors of the bay (exposed, semi-exposed, semi-protected and protected). Morro dos Conventos is an exposed beach, comparable to those for which the equations have been developed, so the raw, un-calibrated equations were applied for this site. The inundation level was calculated for each hour of the 60 year-long series by summing the run-up values to obtain the instantaneous level. Over the series of inundation levels, the area inundated during 50% of the time, and the return period for this inundation, have been calculated for 50, 100 and 200 years. The sea-level rise prediction for each calculated period has also been incorporated in order estimate the area likely to be inundated by future events. For Enseada do Itapocorói, the inundation level reached 50% of the time was 1,35 m in the exposed sector, 1 m in the semi-exposed sector, 0,9 m in the semi-protected sector and 0,7 in the protected sector. The exposed sector demonstrated the highest values of inundation, 3,45, 3,85 and 4,5 m for 50, 100 and 200 years of return period respectively. At the semi-exposed sector, the values calculated were 2,85 (50 years), 3,25 (100 years) and 3,9 (200 years) m. At semi-protected sector, inundation levels for the 50-, 100- and 200-year return period intervals were 2,65, 3,05 and 3,75 m, respectively. At the protected sector the lowest levels were reached: 2,4, 2,85 and 3,5 m for 50-, 100- and 200-year return period intervals. 2,4% of the total area for which topographic data is available would be inundated during 50% of the time, increasing to 26%, 29% and 33% for 50-, 100- and 200-year return periods. At Morro dos Conventos, the level of inundation reaches 1,1 m 50% of the time;, for 50,100 and 200 years the level rises to 4,2, 4,6 and 5,36 m respectively. Approximately 15% of the area for which topographic data is available would be area is inundated during 50% of the time, 85% with a 50 year return period, 91% with a 100-year period and 96% with a 200 year period.

Esta tese tem como foco a política fiscal no longo prazo e é composta por quatro ensaios. O objetivo do primeiro ensaio é compreender o papel da política fiscal em trajetória histórica, de 1970 aos anos recentes, conhecer os fatores que a influenciam e dar base para a análise empírica do segundo ensaio. Assim, os ensaios I e II estão diretamente conectados e compõem a primeira parte da pesquisa. O objetivo do ensaio II é investigar, utilizando a metodologia de componentes não observáveis e a análise de cointegração de Johansen (1988), o padrão da política fiscal discricionária brasileira em relação aos termos de troca e ao nível de atividade, entre 1991 e 2014. O objetivo do ensaio III é analisar, através de um modelo que utiliza Lewis (1954) e que considera um ambiente de economia dual, o impacto da política fiscal no desenvolvimento econômico. O objetivo do quarto ensaio é investigar para grupos de países, através de técnicas de GMM (Generalized Method of Moments) duas possíveis não linearidades: entre política fiscal e crescimento econômico e entre padrão de política fiscal e termos de troca. Os principais resultados são: há uma relação de longo prazo entre as variáveis saldo fiscal estrutural, produção industrial (proxy para o PIB) e os termos de troca; a política fiscal brasileira é pró-cíclica em relação ao nível de atividade econômica, mas contracíclica em relação aos termos de troca; há uma armadilha de desenvolvimento-fiscal; o impacto da política fiscal no crescimento econômico é não linear; há uma relação na forma de U invertido entre gastos públicos em investimento e crescimento econômico, para os países de renda baixa (LIC) e entre o padrão da política fiscal e os termos de troca, para os países de renda alta (HIC). Finalmente, os resultados para o padrão da política fiscal convergem para o consenso de que os países em desenvolvimento adotam políticas pró-cíclicas e os desenvolvidos contracíclicas. / This thesis focuses on fiscal policy in the long run and is specifically divided into four essays. In order to give foundation for the second essay the aim of the first essay is to understand the role of fiscal policy in historical trajectory, from 1970 to recent years, and to know the factors that influence it. Thus, the essays I and II are directly linked and constitute the first part of this study. Using the methodology of unobservable components and the Johansen\'s (1988) cointegration analysis, the aim of the II essay is to investigate the pattern of the Brazilian discretionary fiscal policy in relation to terms of trade and the level of economic activity, between 1991 and 2014. Setting forth a theoretical model based on Lewis (1954) and by assuming a dual economy, the third essay analyzes the impact of fiscal policy on economic development. Applying GMM (Generalized Method of Moments) techniques the fourth essay investigates to groups of countries two possible nonlinearities: between fiscal policy and economic growth and between the pattern of fiscal policy and terms of trade. The main results are: there is a long-run relationship between the variables structural fiscal balance, GDP and the terms of trade; Brazil\'s fiscal policy is procyclical on the level of economic activity but countercyclical in relation to the terms of trade; there is a fiscal-development trap; the impact of fiscal policy on economic growth is nonlinear; there is an inverted U-shaped relationship between public investment and growth for low-income countries (LIC), and between the standard of fiscal policy and the terms of trade for high-income countries (HIC). Finally, the results on the pattern of fiscal policy converge to the consensus that developing countries adopt procyclical policies and developed adopt countercyclical fiscal policy.

Production, egg quality, behaviour, and physical condition were compared from Wk 20 to Wk 50 among three beak- trimmed commercial laying strains, Lohmann White (LW), H & N White (HN), Lohmann Brown (LB), and a non-commercial Cross between Rhode Island Red (male) and Barred Plymouth Rock (female) in conventional cages and in floor pens. All chicks were reared in their respective environments, and 450 and 432 pullets were housed at 18 and 7 weeks of age in cages and floor pens respectively. Hens in cages were provided with 688 cm2/bird and those in pens with over 6,000 cm2/bird, both of which are more than provided by commercial standards. Body weights and eggshell weights were higher for birds in floor pens than those in cages, and although they increased with age, body weight of hens in cages decreased at Wk 50. White-egg layers (LW, HN) used perches and nest boxes more than Brown-egg layers (LB, Cross). During the laying period, mortality was higher for all strains in cages and during the rearing period mortality was higher in floor pens for LB hens but not other strains. No aggressive behaviours were found, but the frequency of gentle feather pecking and pecking at the enclosure was higher in cages than in floor pens. Feather condition deteriorated over time in cages mainly because of contact with the cage wires whereas in floor pens, feather condition of birds at Wk 20 was not different from that at Wk 50. The frequency of keel bone deformities was higher for White-egg layers than for Brown-egg layers in cages and was higher for Cross hens than other strains in floor pens. Claws were longer in cages than in the floor pens. Foot condition was worse in floor pens than in cages. The welfare indicators used in this study showed that cages restricted the hens' behaviour compared to floor pens and resulted in higher laying period mortality, reduced body weight and deteriorated feather condition than floor pens. Both systems had advantages and disadvantages in regard to the hens’ health and welfare. The use of environmental complexities was strain specific in floor pens. The environment by genotype interactions suggests that the strain should be considered when considering alternative housing systems. / Land and Food Systems, Faculty of / Graduate

Nous analysons l'incidence du niveau de fonds propres sur la vulnérabilité des banques aux phénomènes de ruée. Nous commençons par déterminer un cadre théorique dans lequel la banque capitalisée permet une allocation désirable des ressources et des risques. Nous agrégeons ensuite les modèles de ruée auto-réalisatrice et de ruée fondamentale en intégrant les fonds propres dans la représentation de l'intermédiaire financier. Le jeu des retraits est étudié dans un cadre contractuel général afin de mettre en évidence les différentes configurations possibles. Les outils issus de la théorie des jeux globaux sont utilisés pour résoudre le problème de coordination lorsque le jeu post-contractuel admet des équilibres multiples. Cela permet enfin de déterminer à rebours le niveau optimal de vulnérabilité bancaire compte tenu de la probabilité de ruée associée au niveau de solvabilité sélectionné. / We analyse the effects of bank equity on their vulnerability to runs. We first define a theoretical framework in which a capitalized financial intermediary is an efficient solution to risk and resource allocation. We then develop a bank-run model and analyse how both self-fulfilling and fundamental-based runs affect a capitalized financial intermediary. We exhibit different types of feasible configurations of the post-deposit game equilibria. We use the results of global game theory to select a particular equilibrium in cases when coordination problems result in multiple equilibria. Finally, the optimal banking fragility is determined by backward induction while taking into account the run probability associated to the selected solvency.

In this report we evaluate different techniques for increasing the performance of an interpreted processing language in a telecommunication system, called Billing Gateway R8. We have implemented a prototype in which we first translate the language into C++ code, and then compile it using a C++ compiler. In our prototype we experienced a threefold increase in processing throughput, compared to the original system, when running on a Symmetric Multi Processor with four CPU:s that were under full load. The prototype also showed better scalability than Billing Gateway R8, due to less use of dynamic memory management.

The growing use of computers in modern control systems has led to the develop- ment of complex dynamic systems known as hybrid systems, which integrates both discrete and continuous systems. Given that hybrid systems are systems that operates in real time allowing for changes in continuous state over time periods, and discrete state changes across zero time, their modelling, analysis and verification becomes very difficult. The formal verifications of such systems based on specifications that can guar- antee their behaviour is very important especially as it pertains to safety critical applications. Accordingly, addressing such verifications issues are important and is the focus of this thesis. In this thesis, in order to actualise the specification and verification of hybrid systems, Interval Temporal Logic(ITL) was adopted as the underlying formalism given its inherent characteristics of providing methods that are flexible for both propositional and first-order reasoning regarding periods found in hardware and software system’s descriptions. Given that an interval specifies the behaviour of a system, specifications of such systems are therefore represented as a set of intervals that can be used to gain an understanding of the possible behaviour of the system in terms of its composition whether in sequential or parallel form. ITL is a powerful tool that can handle both forms of composition given that it offers very strong and extensive proof and specification techniques to decipher essential system properties including safety, liveliness and time projections. However, a limitation of ITL is that the intervals within its framework are considered to be a sequence of discrete states. Against this back- drop, the current research provides an extension to ITL with the view to deal with verification and other related issues that centres around hybrid systems. The novelty within this new proposition is new logic termed SPLINE Interval Temporal Logic (SPITL) in which not only a discrete behaviour can be expressed, but also a continuous behaviour can be represented in the form of a spline i.e. the interval is considered to be a sequence of continuous phases instead of a sequence of discrete states. The syntax and semantics of the newly developed SPITL are provided in this thesis and the new extension of the interval temporal logic using a hybrid system as a case study. The overall framework adopted for the overall structure of SPITL is based on three fundamental steps namely the formal specification of hybrid systems is expressed in SPLINE Interval Temporal Logic, followed by the executable subset of ITL, called Tempura, which is used to develop and test a hybrid system specification that is written in SPITL and finally a runtime verification tool for ITL called AnaTempura which is linked with Matlab in order to use them as an integrated tool for the verification of hybrid systems specification. Overall, the current work contributes to the growing body of knowledge in hybrid systems based on the following three major milestones namely: i. the proposition of a new logic termed SPITL; ii. executable subset, Tempura, integrated with SPITL specification for hybrid systems; and iii. the development of a tool termed Ana Tempura which is integrated with Matlab to ensure accurate runtime verification of results.