No presente trabalho, as peças Noche (número 3) e Huarache (número 4) das oito que integram a Suíte Carteles de Miguel Bernal Jiménez (México: 1910-1956) serviram de base para analisar e comparar três gravações de pianistas mexicanos e seis gravações de três pianistas brasileiros. As gravações foram analisadas com relação ao andamento e suas micro flutuações (timing), visando os aspectos comuns e discrepâncias como ponto de partida das várias possibilidades interpretativas. Foi avaliada a influência das análises e das escutas de gravações dos pianistas mexicanos apresentadas aos pianistas brasileiros. As gravações dos pianistas mexicanos já estavam disponíveis publicamente. Os pianistas brasileiros concordaram voluntariamente em participar deste estudo gravando duas vezes as duas peças: antes e depois de conhecerem os dados básicos tais como título e compositor, as análises estruturais, as análises retóricas e as gravações dos pianistas mexicanos. Os dados extraídos das gravações foram analisados através de softwares especializados e revelaram semelhanças de variações de andamento na peça Noche (Adagio) com respeito à análise estrutural apresentada. Em referência à análise retórica não foram detectados traços comuns. Com respeito à peça Huarache: (Allegro pesante) não foram encontradas semelhanças na variação dos andamentos adotados. Os gráficos gerados das gravações dos pianistas brasileiros permitiram estabelecer a existência de semelhanças e diferenças no desempenho do andamento, como resultado da influência das informações disponibilizadas. Não foi possível estabelecer um padrão de comportamento do andamento baseado em semelhanças entre interpretações de pianistas mexicanos e brasileiros. / This work presents the analyses and comparison of three Mexican pianists’ recordings and six Brazilian pianists’ recordings of two pieces, Noche (No. 3) and Huarache (No. 4), from the eight movement Suite Carteles by Miguel Bernal Jiménez (México 1910- 1956). The analyses aimed at establishing both similarities and differences as a starting point for several performing possibilities based on findings of tempo and timing. The study evaluated the influence of the analyses and the listening of Mexican pianists’ recordings presented to the Brazilian pianists. Mexican pianists’ recordings were previously available to public access. The Brazilian pianists agreed voluntarily to participate in this study by recording the pieces twice: before and after receiving basic information such as title and composer, structural and rhetorical analysis as well as the recordings of Mexican pianists. The analyses of data extracted from recordings through specialized software showed similarities in tempo variations for the piece Noche (Adagio) in light of the structural analysis presented to the Brazilian participants. Rhetorical analyses presented to same group of participants did not seem to affect the results, there were no traceable differences. Results also point to a lack of discernible patterns for Huarache, the faster piece. Graphs generated from recordings by the Brazilian pianists show both similarities and differences in the timing and this can be attributed to the influences from analytical and recorded information. Finally, results point to wide differences in tempo, timing and overall understanding of the two groups.

Este trabalho introduz o conceito de cortes k e cortes kl sobre um circuito mapeado, em uma representação netlist. Esta nova abordagem é derivada do conceito de cortes k e cortes kl sobre AIGs (and inverter graphs), respeitando as diferenças entre essas duas formas de representar um circuito. As principais diferenças são: (1) o número de entradas em um nodo do grafo, e (2) a presença de inversores e buffers de forma explícita no circuito mapeado. Um algoritmo para enumerar cortes k e cortes kl é proposto e implementado. A principal motivação de usar cortes kl sobre circuitos mapeados é para realizar otimizações locais na síntese lógica de circuitos digitais. A principal contribuição deste trabalho é uma abordagem nova de remapeamento iterativo, utilizando cortes kl, reduzindo a área do circuito e respeitando as restrições de temporização do circuito. O uso de portas lógicas complexas pode potencialmente reduzir a área total de um circuito, mas elas precisam ser escolhidas corretamente de forma a manter as restrições de temporização do circuito. Ferramentas comerciais de síntese lógica trabalham melhor com portas lógicas simples e não são capazes de explorar eventuais vantagens em utilizar portas lógicas complexas. A abordagem proposta de remapeamento iterativo utilizando cortes kl é capaz de explorar uma quantidade maior de portas lógicas com funções lógicas diferentes, reduzindo a área do circuito, e mantendo as restrições de temporização intactas ao fazer uma checagem STA (análise temporal estática). Resultados experimentais mostram uma redução de até 38% de área na parte combinacional de circuitos para um subconjunto de benchmarks IWLS 2005, quando comparados aos resultados de ferramentas comerciais de síntese lógica. Outra contribuição deste trabalho é um novo modelo de rendimento (yield) para fabricação de circuitos integrados (IC) digitais, considerando problemas de resolução da etapa de litografia como uma fonte de diminuição do yield. O uso de leiautes regulares pode melhorar bastante a resolução da etapa de litografia, mas existe um aumento de área significativo ao se introduzir a regularidade. Esta é a primeira abordagem que considera o compromisso (trade off) de portas lógicas com diferentes níveis de regularidade e diferentes áreas durante a síntese lógica, de forma a melhorar o yield do projeto. A ferramenta desenvolvida de remapeamento tecnológico utilizando cortes kl foi modificada de forma a utilizar esse modelo de yield como função custo, de forma a aumentar o número de boas amostras (dies) por lâmina de silício (wafer), com resultados promissores. / This work introduces the concept of k-cuts and kl-cuts on top of a mapped circuit in a netlist representation. Such new approach is derived from the concept of k-cuts and klcuts on top of AIGs (and inverter graphs), respecting the differences between these two circuit representations. The main differences are: (1) the number of allowed inputs for a logic node, and (2) the presence of explicit inverters and buffers in the netlist. Algorithms for enumerating k-cuts and kl-cuts on top of a mapped circuit are proposed and implemented. The main motivation to use kl-cuts on top mapped circuits is to perform local optimization in digital circuit logic synthesis. The main contribution of this work is a novel iterative remapping approach using klcuts, reducing area while keeping the timing constraints attained. The use of complex gates can potentially reduce the circuit area, but they have to be chosen wisely to preserve timing constraints. Logic synthesis commercial design tools work better with simple cells and are not capable of taking full advantage of complex cells. The proposed iterative remapping approach can exploit a larger amount of logic gates, reducing circuit area, and respecting global timing constraints by performing an STA (static timing analysis) check. Experimental results show that this approach is able to reduce up to 38% in area of the combinational portion of circuits for a subset of IWLS 2005 benchmarks, when compared to results obtained from logic synthesis commercial tools. Another contribution of this work is a novel yield model for digital integrated circuits (IC) manufacturing, considering lithography printability problems as a source of yield loss. The use of regular layouts can improve the lithography, but it results in a significant area overhead by introducing regularity. This is the first approach that considers the tradeoff of cells with different level of regularity and different area overhead during the logic synthesis, in order to improve overall design yield. The technology remapping tool based on kl-cuts developed was modified in order to use such yield model as cost function, improving the number of good dies per wafer, with promising interesting results.

Dans cette thèse, nous décrivons comment on peut utiliser un diagramme de séquence UML avec des contraintes de temps MARTE pour spécifier complètement le comportement des systèmes à base de composants tout en faisant abstraction des rôles fonctionnels des composants. Nous avons proposé une approche qui permet d'analyser ces spécifications d'une manière modulaire. Pour cela, nous avons attribué une sémantique opérationnelle aux diagrammes de séquence en les traduisant vers les TIOSTS qui sont des automates symbolique et temporisé. Nous avons utilisé des techniques d'exécution symbolique pour calculer les exécutions du système sous la forme d'un arbre symbolique. Nous avons défini des mécanismes de projection pour extraire l'arbre d'exécution associé à un composant sous-jacent. L'arbre résultant de la projection caractérise les comportements attendus du composant et peut être utilisé comme une référence pour valider le système bout par bout. Pour ce faire, nous nous sommes intéressés à des techniques de test. Nous avons présenté un résultat qui ramène la conformité du système à la conformité des composants qui le composent. Sur la base de ces résultats, nous avons proposé une méthodologie incrémentale de test basé sur des spécifications décrites sous la forme de diagrammes de séquence. / In this thesis, we describe how to use UML sequence diagrams with MARTE timing constraints to specify entirely the behavior of component-based systems while abstracting as much as possible the functional roles of components composing it. We have shown how to conduct compositional analysis of such specifications. For this, we have defined operational semantics to sequence diagrams by translating them into TIOSTS which are symbolic automata with timing constraints. We have used symbolic execution techniques to compute possible executions of the system in the form of a symbolic tree. We have defined projection mechanisms to extract the execution tree associated with any distinguished component. The resulting projected tree characterizes the possible behaviors of the component with respect to the context of the whole system specification. As such, it represents a constraint to be satisfied by the component and it can be used as a correctness reference to validate the system in a compositional manner. For that purpose, we have grounded our validation framework on testing techniques. We have presented compositional results relating the correctness of a system to the correctness of components. Based on these results, we have defined an incremental approach for testing from sequence diagrams.

Denna studie undersöker hur kapitalstrukturen bland företag noterade på Stockholmsbörsenförändrades till följd av den globala finanskrisen 2008-2009. Studien utgår från femfinansiella mått som bidrar till att förklara företagens skuldsättning, hur måttens sambandmed skuldsättningen ser ut och hur dessa samband förändrats till följd av finanskrisen.Genom en multipel regressionsanalys finner studien signifikant förändrade samband medskuldsättning för måtten lönsamhet, företagsstorlek och market-to-book-kvot. Genomytterligare en multipel regression kan studien även dra slutsatsen att skuldsättningen minskatunder finanskrisen utan spår av återhämtning fram till 2012. Resultatet ger stöd för trade-offteorinoch enbart svagt stöd för pecking order-teorin och market timing-teorin. Studiensresultat skiljer sig på flera punkter från resultat i liknande studier gjorda på företag i andraländer.

A crescente evolução das tecnologias de fabricação de circuitos integrados demanda o desenvolvimento de novas ferramentas de CAD. O desenvolvimento tradicional de circuitos digitais a nível físico baseia-se em bibliotecas de células. Estas bibliotecas de células oferecem certa previsibilidade do comportamento elétrico do projeto devido à caracterização prévia das células. Além disto,diferentes versões para cada célula são requeridas de forma que características como atraso e consumo sejam atendidos, aumentando o número de células necessárias em uma bilioteca. A geração automática de leiautes é uma alternativa cada vez mais importante para a geracão baseada em células. Este método implementa transistores e conexões de acordo com padrões que são definidos em algoritmos sem as limitações impostas pelo uso de uma biblioteca de células. A previsibilidade em leiautes gerado automaticamente é oferecida por ferramentas de análise e estimativa. Estas ferramentas devem ser aptas a trabalhar com estimativas do leiaute e gerar informações relativas a atraso, potência e área. Este trabalho inclui a pesquisa de novos métodos de síntese física e a implementação de um gerador automático de leiautes cujas células são geradas no momento da síntese do leiaute. A pesquisa investiga diferentes estratégias de disposição dos componentes (transistores, contatos e conexões) em um leiaute e seus efeitos na ocupação de área e no atraso e de um circuito. A estratégia de leiaute utilizada aplica técnicas de otimização de atraso pela integração com uma técnicas de dimensionamento de transistores. Isto é feito de forma que o método de folding permita diferentes dimensionamentos para os transistores. As principais características da estratégia proposta neste trabalho são: linhas de alimentação entre bandas, roteamento sobre o leiaute (não são utilizados canais de roteamento) e geração de leiautes visando a redução do atraso do circuito pela aplicação da técnica de dimensionamento ao leiaute e redução do comprimento médio das conexões. O fato de permitir a implementação de qualquer combinação de equações lógicas, sem as restrições impostas pelo uso de uma biblioteca de células, permite a síntese de circuitos com uma otimização do número de transistores utilizados. Isto contribui para a diminuição de atrasos e do consumo, especialmente do consumo estático em circuitos submicrônicos. Comparações entre a estratégia proposta e outros métodos conhecidos são apresentadas de forma a validar a proposta apresentada. / The evolution of integrated circuits technologies demands the development of new CAD tools. The traditional development of digital circuits at physical level is based in library of cells. These libraries of cells offer certain predictability of the electrical behavior of the design due to the previous characterization of the cells. Besides, different versions of each cell are required in such a way that delay and power consumption characteristics are taken into account, increasing the number of cells in a library. The automatic full custom layout generation is an alternative each time more important to cell based generation approaches. This strategy implements transistors and connections according patterns defined by algorithms. So, it is possible to implement any logic function avoiding the limitations of the library of cells. Tools of analysis and estimate must offer the predictability in automatic full custom layouts. These tools must be able to work with layout estimates and to generate information related to delay, power consumption and area occupation. This work includes the research of new methods of physical synthesis and the implementation of an automatic layout generation in which the cells are generated at the moment of the layout synthesis. The research investigates different strategies of elements disposition (transistors, contacts and connections) in a layout and their effects in the area occupation and circuit delay. The presented layout strategy applies delay optimization by the integration with a gate sizing technique. This is performed in such a way the folding method allows individual discrete sizing to transistors. The main characteristics of the proposed strategy are: power supply lines between rows, over the layout routing (channel routing is not used), circuit routing performed before layout generation and layout generation targeting delay reduction by the application of the sizing technique. The possibility to implement any logic function, without restrictions imposed by a library of cells, allows the circuit synthesis with optimization in the number of the transistors. This reduction in the number of transistors decreases the delay and power consumption, mainly the static power consumption in submicrometer circuits. Comparisons between the proposed strategy and other well-known methods are presented in such a way the proposed method is validated.

No presente trabalho, as peças Noche (número 3) e Huarache (número 4) das oito que integram a Suíte Carteles de Miguel Bernal Jiménez (México: 1910-1956) serviram de base para analisar e comparar três gravações de pianistas mexicanos e seis gravações de três pianistas brasileiros. As gravações foram analisadas com relação ao andamento e suas micro flutuações (timing), visando os aspectos comuns e discrepâncias como ponto de partida das várias possibilidades interpretativas. Foi avaliada a influência das análises e das escutas de gravações dos pianistas mexicanos apresentadas aos pianistas brasileiros. As gravações dos pianistas mexicanos já estavam disponíveis publicamente. Os pianistas brasileiros concordaram voluntariamente em participar deste estudo gravando duas vezes as duas peças: antes e depois de conhecerem os dados básicos tais como título e compositor, as análises estruturais, as análises retóricas e as gravações dos pianistas mexicanos. Os dados extraídos das gravações foram analisados através de softwares especializados e revelaram semelhanças de variações de andamento na peça Noche (Adagio) com respeito à análise estrutural apresentada. Em referência à análise retórica não foram detectados traços comuns. Com respeito à peça Huarache: (Allegro pesante) não foram encontradas semelhanças na variação dos andamentos adotados. Os gráficos gerados das gravações dos pianistas brasileiros permitiram estabelecer a existência de semelhanças e diferenças no desempenho do andamento, como resultado da influência das informações disponibilizadas. Não foi possível estabelecer um padrão de comportamento do andamento baseado em semelhanças entre interpretações de pianistas mexicanos e brasileiros. / This work presents the analyses and comparison of three Mexican pianists’ recordings and six Brazilian pianists’ recordings of two pieces, Noche (No. 3) and Huarache (No. 4), from the eight movement Suite Carteles by Miguel Bernal Jiménez (México 1910- 1956). The analyses aimed at establishing both similarities and differences as a starting point for several performing possibilities based on findings of tempo and timing. The study evaluated the influence of the analyses and the listening of Mexican pianists’ recordings presented to the Brazilian pianists. Mexican pianists’ recordings were previously available to public access. The Brazilian pianists agreed voluntarily to participate in this study by recording the pieces twice: before and after receiving basic information such as title and composer, structural and rhetorical analysis as well as the recordings of Mexican pianists. The analyses of data extracted from recordings through specialized software showed similarities in tempo variations for the piece Noche (Adagio) in light of the structural analysis presented to the Brazilian participants. Rhetorical analyses presented to same group of participants did not seem to affect the results, there were no traceable differences. Results also point to a lack of discernible patterns for Huarache, the faster piece. Graphs generated from recordings by the Brazilian pianists show both similarities and differences in the timing and this can be attributed to the influences from analytical and recorded information. Finally, results point to wide differences in tempo, timing and overall understanding of the two groups.

Este trabalho introduz o conceito de cortes k e cortes kl sobre um circuito mapeado, em uma representação netlist. Esta nova abordagem é derivada do conceito de cortes k e cortes kl sobre AIGs (and inverter graphs), respeitando as diferenças entre essas duas formas de representar um circuito. As principais diferenças são: (1) o número de entradas em um nodo do grafo, e (2) a presença de inversores e buffers de forma explícita no circuito mapeado. Um algoritmo para enumerar cortes k e cortes kl é proposto e implementado. A principal motivação de usar cortes kl sobre circuitos mapeados é para realizar otimizações locais na síntese lógica de circuitos digitais. A principal contribuição deste trabalho é uma abordagem nova de remapeamento iterativo, utilizando cortes kl, reduzindo a área do circuito e respeitando as restrições de temporização do circuito. O uso de portas lógicas complexas pode potencialmente reduzir a área total de um circuito, mas elas precisam ser escolhidas corretamente de forma a manter as restrições de temporização do circuito. Ferramentas comerciais de síntese lógica trabalham melhor com portas lógicas simples e não são capazes de explorar eventuais vantagens em utilizar portas lógicas complexas. A abordagem proposta de remapeamento iterativo utilizando cortes kl é capaz de explorar uma quantidade maior de portas lógicas com funções lógicas diferentes, reduzindo a área do circuito, e mantendo as restrições de temporização intactas ao fazer uma checagem STA (análise temporal estática). Resultados experimentais mostram uma redução de até 38% de área na parte combinacional de circuitos para um subconjunto de benchmarks IWLS 2005, quando comparados aos resultados de ferramentas comerciais de síntese lógica. Outra contribuição deste trabalho é um novo modelo de rendimento (yield) para fabricação de circuitos integrados (IC) digitais, considerando problemas de resolução da etapa de litografia como uma fonte de diminuição do yield. O uso de leiautes regulares pode melhorar bastante a resolução da etapa de litografia, mas existe um aumento de área significativo ao se introduzir a regularidade. Esta é a primeira abordagem que considera o compromisso (trade off) de portas lógicas com diferentes níveis de regularidade e diferentes áreas durante a síntese lógica, de forma a melhorar o yield do projeto. A ferramenta desenvolvida de remapeamento tecnológico utilizando cortes kl foi modificada de forma a utilizar esse modelo de yield como função custo, de forma a aumentar o número de boas amostras (dies) por lâmina de silício (wafer), com resultados promissores. / This work introduces the concept of k-cuts and kl-cuts on top of a mapped circuit in a netlist representation. Such new approach is derived from the concept of k-cuts and klcuts on top of AIGs (and inverter graphs), respecting the differences between these two circuit representations. The main differences are: (1) the number of allowed inputs for a logic node, and (2) the presence of explicit inverters and buffers in the netlist. Algorithms for enumerating k-cuts and kl-cuts on top of a mapped circuit are proposed and implemented. The main motivation to use kl-cuts on top mapped circuits is to perform local optimization in digital circuit logic synthesis. The main contribution of this work is a novel iterative remapping approach using klcuts, reducing area while keeping the timing constraints attained. The use of complex gates can potentially reduce the circuit area, but they have to be chosen wisely to preserve timing constraints. Logic synthesis commercial design tools work better with simple cells and are not capable of taking full advantage of complex cells. The proposed iterative remapping approach can exploit a larger amount of logic gates, reducing circuit area, and respecting global timing constraints by performing an STA (static timing analysis) check. Experimental results show that this approach is able to reduce up to 38% in area of the combinational portion of circuits for a subset of IWLS 2005 benchmarks, when compared to results obtained from logic synthesis commercial tools. Another contribution of this work is a novel yield model for digital integrated circuits (IC) manufacturing, considering lithography printability problems as a source of yield loss. The use of regular layouts can improve the lithography, but it results in a significant area overhead by introducing regularity. This is the first approach that considers the tradeoff of cells with different level of regularity and different area overhead during the logic synthesis, in order to improve overall design yield. The technology remapping tool based on kl-cuts developed was modified in order to use such yield model as cost function, improving the number of good dies per wafer, with promising interesting results.

A constituição de estudo acerca da ritmicidade biológica do indivíduo, e sua expressão social no mundo contemporâneo foi objetivo desta dissertação, ela integra as Ciências Humanas com as Ciências Biológicas. Estuda-se a construção cultural da virtude relacionada ao trabalho intenso e extenuante, faz-se isso analisando inicialmente o processo histórico na transição do feudalismo para o capitalismo mercantil até o capitalismo contemporâneo. No decorrer desta construção histórica, observa-se a inversão de valores voltados ao trabalho, que de castigo torna-se virtude. Essa transformação está associada a conflitos e revoluções de ordem religiosa e econômica. A relação trabalho-tempo se transforma de um modo de produção tradicional, no feudalismo, no qual o tempo do trabalho é o tempo da terra, é o tempo do plantar e do colher, é o tempo da natureza para uma relação trabalho-tempo ditada por salários, pelo sincronismo das máquinas, pela doutrinação religiosa, pelo controle dos horários e pela coação da lei. Essa relação trabalho-tempo que emerge no capitalismo mercantil reverbera nos dias atuais através do fenômeno ideológico moldado nos últimos quatro séculos por meio de mecanismos semelhantes, econômicos, religiosos e legais. De forma que contemporaneamente, de forma geral, se entende que quanto mais tempo se dedica ao trabalho, quanto mais cedo se acorda para trabalhar mais virtuoso é o indivíduo. Por lado quanto mais tarde se acorda para trabalhar e quanto mais se invade a noite para o lazer mais vagabundo. No entanto de uma área da Biologia surgida nos meados do século XX; a Cronobiologia, emerge o conhecimento sobre o tempo biológico que surge então como elemento adicional para se pensar o tempo e o trabalho. O tempo na cronobiologia é a integração entre o tempo dos organismos e o tempo da natureza, do dia e da noite, é o dia interior ajustado ao dia exterior. É, portanto individual, é genético e ontogênico. Os horários sociais nos quais se exerce as rotinas de trabalho nem sempre estão em harmonia com o tempo biológico o que leva parte da população a uma espécie de desarranjo temporal ou a pratica de horários não triviais como acordar nas primeiras horas da tarde, por exemplo. Imposições temporais como o horário de verão, horário de aula para alunos, turnos de trabalhos invertidos, não levam em consideração resultados de estudos de grande parte da literatura na área de cronobiologia, e resultam em consequências para a saúde da população. Assim concluímos que estigmatizar quem pratica horários incomuns ou estabelecer uma rigidez de horários nos quais se deve exercer atividades como trabalho ou dormir são construções ideológicas historicamente determinadas, as quais o saber cronobiológico descontrói, pois a compreensão do tempo biológico resulta em entender sua adaptabilidade no contexto dos horários sociais. Além disso, entende se que são necessárias Políticas Públicas relacionadas a intervenções nos horários de trabalho e educação do quotidiano que levem em consideração estes novos conhecimentos surgidos no final do século XX que terão papel preventivo em doenças contemporâneas como câncer e doenças psiquiátricas / The study of individual biological rhythmicity and its social expression in the contemporary world was objective of this dissertation, which integrates Human and Biological sciences. We have studied the cultural construction of virtue related to intense and hard work. We analyzed initially the historical process of the transition from feudalism to the mercantile capitalism and to contemporary capitalism. During this process there were an inversion of values; the work from punishment becomes virtue. This transformation is associated with conflicts and revolutions of religious and economic order. The relationship \"work-time\" changes from a traditionalist production method, in feudalism, in which working time is the time of the land, is the time of planting and harvest, is the time of nature, to a temporal relationship dictated by wages, the timing of machines, by religious indoctrination, by schedule control and enforcement of the law. This working time relationship that emerges in mercantile capitalism reverberates today through an ideological phenomenon in the last four centuries, through similar, economic, religious and legal mechanisms. Contemporaneously, in general, it is understood that the more time is devoted to work, the sooner one agrees to work more virtuous he is. On the other side who wakes up to work at noon and breaks the night for leisure is a vagabond . However an area of Biology that emerged in the mid-twentieth century, the Chronobiology, brings knowledge about the biological timing as an additional element to think about the time and work. Time in chronobiology is the integration between the time of nature day and night, and time of body , is the day inside adjusted to the day outside. It is, therefore, individual, it is genetic and ontogenetic. Social schedules and work routines are not always in harmony with the biological timing what leads people either to a kind of temporal misalignment or to practice nontrivial temporal schedules like waking up in the afternoon, for example. Time impositions for daylight saving time, class time for students, inverted shifts to workers, do not take into account the results of most studies of chronobiology literature and result in consequences for the health of the population. Thus, we can conclude that stigmatize those who practice unusual times or set a rigid schedule to carrying out activities such as work or to sleep are ideological constructions historically determined, which the knowledge in Chronobiology deconstructs since it can interpreted that the understanding of biological timing allows to understand its adaptability to social context. We also considered that public policies related to interventions in working hours and education that take into account this new knowledge that emerged in the late twentieth century in Biology will have a role in preventive medicine in contemporary diseases such as cancer and psychiatric disorders

Uma das características dos adolescentes é a fase atrasada dos ritmos biológicos circadianos. Esse atraso na expressão da ritmicidade circadiana pode gerar um atrito entre o tempo biológico e o tempo social (horário escolar). Assim, analisamos a expressão do atrito temporal entre o tempo biológico e o tempo social em adolescentes escolares. Todos os adolescentes atrasaram os horários do inicio e do final do sono na comparação entre os dias letivos e não letivos. Os adolescentes atrasam a acrofase da temperatura periférica, e a MFS na comparação entre os dias letivos e não letivos. Foi observada uma diminuição significativa para os vespertinos, na ritmicidade circadiana da temperatura na transição dos dias letivos para os dias não letivos. Dessa forma, o deslocamento da acrofase da temperatura e o deslocamento da MFS podem ser a expressão do atrito temporal. Esse cronicidade do atrito pode trazer conseqüências negativas para o bem estar dos adolescentes. / And one of the adolescents characteristics is the latest phase of circadian biological rhythms, compared with children and adults. This delay in the expression of circadian rhythmicity may generate friction between biological time and social time. Thus we analyzed the temporal friction between biological time and social time in scholar adolescents. All adolescents delay the time of beginning and the end of sleep in school days compared to non-school days. All adolescents had a delay in the peripheral temperature acrophase, and the MFS in the comparison between school days and non-school days. Therefore we understand the friction time between the biological and the social through changes in the CVS patterns, shift of peripheral temperature acrophase, and displacement of the MFS, in the transition from school days to non-school days. This chronicity of friction can have negative consequences for the well being of the adolescents.

Submitted by Regis Baratti Lima Salgado (regiss@fgvmail.br) on 2012-10-09T13:30:32Z No. of bitstreams: 1 TeseRegisBarattiLSalgado_VFim.pdf: 861409 bytes, checksum: 48cbf91a3e1e3ed3d3c91940bfde85ac (MD5) / Approved for entry into archive by ÁUREA CORRÊA DA FONSECA CORRÊA DA FONSECA (aurea.fonseca@fgv.br) on 2012-10-22T19:15:00Z (GMT) No. of bitstreams: 1 TeseRegisBarattiLSalgado_VFim.pdf: 861409 bytes, checksum: 48cbf91a3e1e3ed3d3c91940bfde85ac (MD5) / Made available in DSpace on 2012-10-23T18:23:36Z (GMT). No. of bitstreams: 1 TeseRegisBarattiLSalgado_VFim.pdf: 861409 bytes, checksum: 48cbf91a3e1e3ed3d3c91940bfde85ac (MD5) Previous issue date: 2012-08-22 / This thesis extend the theoretical dominance of annuities over non-contingent discount notes; under standard assumptions, we show that full annuitization is optimal even in incomplete annuity markets. Through numerical simulations, we scrutinize factors a ecting annuitization decision, consolidating and extending previous research by taking into account unfair prices, bequest motives, and out-of-pocket medical expenses. We also take into consideration the insurer's risk of default, and relax an implicit assumption in most past models and detach annuitization from retirement, i.e.: we do not presume that consumers are already retired from work when they decide whether or not to annuitize. In line with previous literature, our results originate very high levels of annuitization. Yet, we show that the demand for annuities drops sharply, if preferences are such that the implied optimal consumption path decays with age. We also show that optimal annuitization timing is closely related to the endowments pattern. / A inconsistência entre a teoria e o comportamento empírico dos agentes no que tange ao mercado privado de pensões tem se mostrado um dos mais resistentes puzzles presentes na literatura econômica. Em modelos de otimização intertemporal de consumo e poupança sob incerteza em relação ao tempo de vida dos agentes, anuidades são ativos dominantes, anulando ou restringindo fortemente a demanda por ativos cujos retornos não estão relacionados à probabilidade de sobrevivência. Na prática, entretanto, consumidores são extremamente céticos em relação às anuidades. Em oposição ao seguro contra longevidade oferecido pelas anuidades, direitos sobre esses ativos - essencialmente ilíquidos - cessam no caso de morte do titular. Nesse sentido, choques não seguráveis de liquidez e a presença de bequest motives foram consideravelmente explorados como possíveis determinantes da baixa demanda verificada. Apesar dos esforços, o puzzle persiste. Este trabalho amplia a dominância teórica das anuidades sobre ativos não contingentes em mercados incompletos; total na ausência de bequest motives, e parcial, quando os agentes se preocupam com possíveis herdeiros. Em linha com a literatura, simulações numéricas atestam que uma parcela considerável do portfolio ótimo dos agentes seria constituída de anuidades mesmo diante de choques de liquidez, bequest motives, e preços não atuarialmente justos. Em relação a um aspecto relativamente negligenciado pela academia, mostramos que o tempo ótimo de conversão de poupança em anuidades está diretamente relacionado à curva salarial dos agentes. Finalmente, indicamos que, caso as preferências dos agentes sejam tais que o nível de consumo ótimo decaia com a idade, a demanda por anuidades torna-se bastante sensível ao sobrepreço (em relação àquele atuarialmente justo) praticado pela indústria, chegando a níveis bem mais compatíveis com a realidade empírica.