Made available in DSpace on 2016-04-26T20:21:45Z (GMT). No. of bitstreams: 1 Newton Cunha de Sena.pdf: 995812 bytes, checksum: aed06bdc0a05418c66f7c6e3d5eab63e (MD5) Previous issue date: 2013-06-06 / This study aims to analyze contract termination for just cause, in light of the right to information. The first chapter deals with the right to information, based on the notion of a fundamental right, with emphasis on its types and characteristics. The second chapter further explores the right to information, based on the study of its intrinsic principles. The third chapter discusses the application of the right to information in legal relationships between individuals, analyzing the various theories on the subject. The next chapter analyzes objective good faith, as the concretization of the right to information in horizontal relationships. In the fifth chapter, the study treats discharge with a just cause in the strict sense, and analyzes its nomenclature, concept, and requirements. The sixth chapter examines the right to information in termination for just cause, and in the seventh chapter the effects of the breach of that accessory obligation are analyzed. Finally, in the eighth chapter, based on the doctrinal content discussed earlier, the importance of the right to information in termination for just cause is examined by studying some modalities that are provided for in labor legislation / O presente estudo tem por finalidade analisar a rescisão contratual por justa causa a partir do direito de informação. Desta forma, busca-se demonstrar ao longo dos capítulos a ideia central deste, a partir de uma pesquisa de todos os aspectos que a envolvem. No primeiro capítulo, aborda-se o direito de informação a partir da noção de um direito fundamental -, com destaque às suas espécies e características. O segundo capítulo aprofunda o direito de informação, a partir do estudo dos seus princípios intrínsecos. No terceiro capítulo, estuda-se a aplicação do direito de informação nas relações jurídicas entre particulares, analisando as diversas teorias sobre o tema. Como sequência do trabalho, no capítulo seguinte, busca-se analisar a boa-fé objetiva, como forma de concretização do direito de informação nas relações horizontais. No quinto capítulo, o estudo se refere à rescisão contratual por justa causa, propriamente dita, no qual se busca analisar sua nomenclatura, conceito e os seus requisitos. O sexto capítulo estuda o direito de informação na rescisão por justa causa, sendo que, no sétimo capítulo, o objeto é a análise dos efeitos do descumprimento daquela obrigação acessória. Por fim, no oitavo capítulo, a partir de todo o conteúdo doutrinário anteriormente analisado, faz-se uma abordagem da importância do direito de informação na rescisão por justa causa, ao se estudar algumas espécies previstas na legislação trabalhista

Ce travail de thèse est basé sur la mesure du dioxyde de carbone, CO2, et de son isotopologue stable δ13CO2 dans les bulles d'air emprisonnées dans la glace polaire (carotte EPICA Dome C en Antarctique, EDC). On s'intéresse aux transitions rapides entre périodes glaciaires et interglaciaires. Le δ13CO2 permet de départager l'origine du CO2 entre les sources océaniques ou terrestres.<br />Cette étude documente à haute résolution temporelle l'évolution du CO2 et du δ13CO2 pendant les deux dernières déglaciations. La dernière déglaciation est caractérisée par une augmentation en CO2 de 80 ppmv, accompagnée par une diminution en δ13CO2 de 0.6 ‰. Des amplitudes plus importantes sont observées durant la pénultième déglaciation (+110 ppmv CO2, accompagnés pas une diminution en δ13CO2 de 0.9 ‰). <br />Les mesures, interprétées avec deux modèles du cycle du carbone (BOXKIT et BICYCLE) sont cohérentes avec le scénario suivant. Dans un premier temps, un réchauffement de l'hémisphère sud initie une augmentation du CO2 atmosphérique. Ceci entraîne une réorganisation biologique et physique de l'océan austral qui diminue le δ13CO2. Enfin, cette réorganisation se propage vers le nord avec un impact retardé de la biosphère continentale, pendant le Bølling/Allerød (B/A).<br />Ces résultats obtenus pour la première fois dans la carotte EDC, ont permis de proposer un scénario sur les causes des déglaciations. Une série de tests, basée sur des glaces de différentes propriétés a fourni une validation de notre méthode d'extraction.

Tato práce představuje nové metody pro verifikaci programů pracujících s neomezenými celočíslenými proměnnými, konkrétně metody pro analýzu dosažitelnosti a~konečnosti. Většina těchto metod je založena na akceleračních technikách, které počítají tranzitivní uzávěry cyklů programu. V práci je nejprve představen algoritmus pro akceleraci několika tříd celočíselných relací. Tento algoritmus je až o čtyři řády rychlejší než existující techniky. Z teoretického hlediska práce dokazuje, že uvažované třídy relací jsou periodické a~poskytuje tudíž jednotné řešení prolému akcelerace. Práce dále představuje semi-algoritmus pro analýzu dosažitelnosti celočíselných programů, který sleduje relace mezi proměnnými programu a~aplikuje akcelerační techniky za účelem modulárního výpočtu souhrnů procedur. Dále je v práci navržen alternativní algoritmus pro analýzu dosažitelnosti, který integruje predikátovou abstrakci s accelerací s cílem zvýšit pravděpodobnost konvergence výpočtu. Provedené experimenty ukazují, že oba algoritmy lze úspěšně aplikovat k verifikaci programů, na kterých předchozí metody selhávaly. Práce se rovněž zabývá problémem konečnosti běhu programů a~dokazuje, že tento problém je rozhodnutelný pro několik tříd celočíselných relací. Pro některé z těchto tříd relací je v práci navržen algoritmus, který v polynomiálním čase vypočítá množinu všech konfigurací programu, z nichž existuje nekonečný běh. Tento algoritmus je integrován do metody, která analyzuje konečnost běhů celočíselných programů. Efektivnost této metody je demonstrována na několika netriviálních celočíselných programech.

International Telemetering Conference Proceedings / October 20-23, 2003 / Riviera Hotel and Convention Center, Las Vegas, Nevada / The use of remote ground stations for telemetry data-relay in space launch applications is costly and limits the geographic locations for launches of future Reusable Launch Vehicle (RLV) systems. The National Aeronautics and Space Administration Space-based Telemetry and Range-Safety (STARS) Study is investigating the use of satellite data relay systems as a replacement or supplement for ground-based tracking and relay stations. Phase-1 of STARS includes flight testing that evaluates satellite data-relay feasibility, defines satellite system performance limitations, and generates requirements for the development of future satellite telemetry data relay systems. STARS Phase-1 ground-test results and goals for the Phase-2 system development and flight-testing are also presented.

ITC/USA 2007 Conference Proceedings / The Forty-Third Annual International Telemetering Conference and Technical Exhibition / October 22-25, 2007 / Riviera Hotel & Convention Center, Las Vegas, Nevada / The Joint Advanced Missile Instrumentation (JAMI) Program’s main thrust has been the integration of Global Positioning System (GPS) tracking technology into the Department of Defense (DoD) Missile Test Ranges. This technology could be used for Time, Space, Position, and Information (TSPI), Flight Termination (FTS), or End Game Scoring purposes. However the Program’s main goal is to develop Proof-of-Concept components only. Transitioning Missile technology developed by the Government to Private Industry, so that it can be economically mass produced, has been quite a challenge. Traditionally, private industry has had to bid on proposals without much detailed information on how these components have been designed and fabricated. These unknown risks, Non-Recurring Engineering (NRE) and Missile Flight Qualification costs, routinely have significantly increased the price of these procurement contracts. In order so that the Fleet can economically utilize these components in the field, Cooperative Research and Development Agreements (CRADA) between the Government and Private Industry have been used to successfully transition Government developed technology to mass production. They can eliminate the NRE and flight qualification costs to provide for an economical and low risk method of providing the Fleet with the latest advances in GPS Tracking Technology. This paper will discuss how this is currently being accomplished in the development of a conformal wraparound instrumentation antenna for a five-inch diameter Missile Telemetry (TM) Section.

Thesis (MSc)--Stellenbosch University, 2013. / ENGLISH ABSTRACT: The search for non-terminating paths within a program is a crucial part of software verification, as the detection of anfinite path is often the only manner of falsifying program termination - the failure of a termination prover to verify termination does not necessarily imply that a program is non-terminating. This document describes the development and implementation of two focussed techniques for investigating the non-termination of affine loops. The developed techniques depend on the known non-termination concepts of recurrent sets and Jordan matrix decomposition respectively, and imply the decidability of single-variable and cyclic affine loops. Furthermore, the techniques prove to be practically capable methods for both the location of non-terminating paths, as well as the generation of preconditions for non-termination. / AFRIKAANSE OPSOMMING: Sagtewareveri kasie vereis of die bewys van die beeindiging van 'n program, of die deteksie van oneindige uitvoerings. In hierdie tesis ontwikkel en implementeer ons twee tegnieke om oor die oneindige eienskap van a ene lusse te beslis. Die tegnieke wat ontwikkel word is gebaseer op konsepte soos Jordan matriksdekomposisie en herhaalde groepe wat al in die verlede gebruik is om die beeindiging van lusse te ondersoek. Die tegnieke kan gebruik word om die uitvoerbaarheid van beide een-veranderlike en sikliese a ene lusse te bepaal. Feitlik alle nie-eindige a ene lusse kan ge denti seer word en die toestande waaronder hierdie oneindige eienskap verskyn kan beskryf word.

International Telemetering Conference Proceedings / November 04-07, 1991 / Riviera Hotel and Convention Center, Las Vegas, Nevada / Missile Flight Test Safety Managers (MFTSM) and other flight safety personnel at White Sands Missile Range (WSMR) constantly monitor the realtime space position of missile and airborne target vehicles and the telemetered missile and target vehicle performance parameters during the test flight to determine if these are about to leave Range boundaries or if erratic vehicle performance might endanger Range personnel, Range support assets or the nearby civilian population. WSMR flight safety personnel rely on the vehicle telemetry system to observe the Flight Termination System (FTS) parameters. A realtime closed loop that involves the ground command-destruct transmitter, the vehicle command-destruct receiver (CDR), other FTS components, the missile S-band telemetry transmitter, and the ground telemetry acquisition/ demultiplex system is active when the vehicle is in flight. The FTS engineer relies upon telemetry to provide read-back status of the flight termination system aboard the vehicle. WSMR flight safety personnel use the telemetry system to assess realtime airborne vehicle systems performance and advise the MFTSM. The MFTSM uses this information, in conjunction with space position information provided by an Interactive Graphics Display System (IGDS), to make realtime destruct decisions about missiles and targets in flight. This paper will aid the missile or target developer in understanding the type of vehicle performance data and FTS parameters WSMR flight safety personnel are concerned with, in realtime missile test operations.

According to self-expansion theory, there is an innate drive to gain new resources, identities, and perspectives, which causes people to seek and maintain interpersonal relationships. However, an individual’s relationship partners may come into conflict with each other. In the current research, 656 adults in established monogamous romantic relationships completed an online questionnaire about romantic partners asking them to give up a friendship. The researcher explored the prevalence of this friendship interference phenomenon and its relationship to sources of self-expansion. The amount of self-expansion provided by a friendship was manipulated through vignettes. Additional measures assessed the relationship between amount of self-expansion provided by the partner and gained independently as well as desire for self-expansion on willingness to give up the proposed friendship. Further measures assessed whether a current or previous partner had requested a friendship termination, partner’s reasoning given for the request, whether the participant acquiesced to the request, and the degree to which the request contributed to break-up. Results showed that about 1/3 of people had been asked by a romantic partner to terminate a friendship, with 73% asked acquiescing to a current partner’s request, and 34% acquiescing to a previous partner’s request. Contrary to what was predicted, no gender difference was found for rate of acquiescence to partner’s request for friendship termination. Sexual orientation, age, and desire for self-expansion significant predicted willingness to give up a friendship. Additionally, participants were mostly willing to give up the friendship when their partnership was highly self-expanding but the friendship was not, and willingness declined when the friendship was highly self-expanding, regardless of how self-expanding the partnership.

Detta arbete behandlar anställningsavtalen: det svenska Storsjöavtalet för styrmän/telegrafist, färöiskt anställningsavtal för svenska fartygsbefäl och ITF:s anställningsavtal för besättningsmedlemmar på bekvämlighetsflaggade fartyg. Syftet med jämförelsen var att utröna skillnaderna mellan avtalen, gällande uppsägning, ekonomisk ersättning vid sjukdom och skadefall samt skadeståndsansvar med hänsyn till social trygghet. Metoden som användes för att genomföra arbetet var en kvalitativ litteraturstudie. Storsjöavtalet och det färöiska avtalet liknar varandra relativt väl gällande uppsägning medan ITF:s anställningsavtal skiljer sig från de andra avtalen. Gällande sjukdom och skadefall ger alla avtalen ersättningar. Storsjöavtalets ersättning baseradas på Försäkringskassans utbetalningar medan det färöiska och ITF:s anställningsavtal har separata försäkringar som rederiet upprättar till enskilt fartygsbefäl. Beträffande skadeståndsansvar devierar ITF:s anställningsavtal eftersom det inte behöver finnas synnerliga skäl, som krävs enligt Storsjöavtalet och det färöiska avtalet, för att bli personligt skadeståndsskyldig för fel i tjänsten. Jämförelsen ger en bra inblick hur avtalen är uppbyggda kring nationella lagar och/eller avsaknaden av dessa. Generellt är Storsjöavtalet mer socialt betryggande än vad det färöiska och det internationella ITF-anställningsavtalet är. / This study deals with employment agreements: the Swedish Storsjö Agreement for officers and telegraphists, Faroese Employment Agreement for Swedish officers and the ITF Uniform ”TCC” Collective Agreement for crews onboard flag of convenience ships. The purpose of the comparison was to determine differences between the agreements concerning termination, economical compensation for illness and injury cases and liability in case of default in regards of social security. The method of the work was a qualitative literature study. Storsjö Agreement and the Faroese Agreement is relatively similar to each other regarding termination of the contract, while the ITF Agreement differ from the other agreements. Regarding economical compensation for illness and injury cases all the agreements provides a safety net for the officer. The compensation with Storsjö Agreement is based on the Swedish Social Insurance Agency payouts, while the Faroese Agreement and ITF Agreement have separate insurance policies that the company arranges to individual officers. Regarding liability due to default, the ITF Agreement contract differ since it does not have to be any exceptional reasons for the default, which is required in Storsjö Agreement and the Faroese Agreement, to make the officer personally responsible for the damage. The comparison gives a good insight into how the contracts are structured around national laws and/or the lack of them. Generally Storsjö Agreement is more reassuring than the Faroese Agreement and the ITF Agreement concerning social security.

International Telemetering Conference Proceedings / October 25-28, 1999 / Riviera Hotel and Convention Center, Las Vegas, Nevada / The Edwards Flight Test Range is a part of 20,000 square miles of DOD airspace (R-2508). A hypersonic air vehicle traveling above Mach 3 can easily exceed that airspace within seconds. An Unpiloted Autonomous Vehicle can exceed the airspace when flying long duration missions. To satisfy the flight-test requirements of Hypersonic Air Vehicles and Unpiloted Autonomous Vehicles, additional airspace and extended test ranges are required. The Air Force Flight Test Center and Dryden Flight Research Center at Edwards Air Force Base, California have mutual goals to support these flight test programs. To meet these goals, the Extended Test Range Alliance was formed as an engineering and operations team to satisfy program requirements in the areas of telemetry, flight termination, ground communications, uplink command, and differential global positioning systems. This paper will discuss the resources and technical capabilities available through the Extended Test Range.