Curry-Howard for sequent calculus at last!

This paper tries to remove what seems to be the remaining stumbling blocks in the way to a full understanding of the Curry-Howard isomorphism for sequent calculus, namely the questions: What do variables in proof terms stand for? What is co-control and a co-continuation? How to define the dual of Parigot's mu-operator so that it is a co-control operator? Answering these questions leads to the interpretation that sequent calculus is a formal vector notation with first-class co-control. But this is just the "internal" interpretation, which has to be developed simultaneously with, and is justified by, an "external" one, offered by natural deduction: the sequent calculus corresponds to a bi-directional, agnostic (w.r.t. the call strategy), computational lambda-calculus. Next, the duality between control and co-control is studied and proved in the context of classical logic, where one discovers that the classical sequent calculus has a distortion towards control, and that sequent calculus is the de Morgan dual of natural deduction.

COBRA: Continuation of Employer Group Health Insurance, 2007

Medicare Deductible, co-insurance and premiuns form, and rescription drugs plans.

Russia's strategy towards Moldova: continuation or change? OSW Commentary No. 74, 2012-04-19

The nomination on 21 March of deputy prime minister Dmitri Rogozin to the newly created post of the Russian president’s special representative for Transnistria and to the post of co-chairman of the Russian-Moldovan intergovernmental committee demonstrates the Kremlin’s increased interest in Moldova, and may be a sign of a change in Russia’s strategy towards this country. Other developments which may suggest a revival of Russia’s policy towards Moldova include the appointment on 5 April of Farit Mukhametshin as Russia’s new ambassador in Chisinau. Mukhametshin is a high-ranking official who had previously headed the Federal Agency for the Commonwealth of Independent States, Compatriots Living Abroad and International Humanitarian Cooperation (Rossotrudnichestvo), which is one of the major instruments of Russia’s ‘soft power’ policy towards the post-Soviet states. The Kremlin’s growing interest in Moldova has further been confirmed by an unprecedented visit by Russia’s defence minister Anatoly Serdyukov to Transnistria on 12 April, and a two-day visit by Dmitri Rogozin to Chisinau and Tiraspol on 16–17 April.

The land war in Ireland: being a personal narrative of events, in continuation of "A secret history of the English occupation of Egypt,"

I. Gladstone declares for home rule.--II. "Under protection of the league."--III. The general election of 1886.--IV. Vatican politics.--V. Cairo in 1887.--VI. Failure of the Wolff convention.--VII. The Persico mission.--VIII. Balfour chief secretary.--IX. My arrest at Woodford.--X. In gaol.--XI. The papal rescript.--XII. The Parnell Tragedy. A postscript.--Appendices: A. The canon of Aughrim. B. Mr. Blunt to Mr. John Morley. C. Mr. Blunt to the Marquess of Salisbury. D. Mr. Blunt to Mr. Evelyn, M. P. E. Mr. Blunt to Mr. John Morley.--Index.

A dictionary of christian biography, literature, sects and doctrines : being a continuation of 'The dictionary of the Bible' /

Imprint varies: v.3-4, London, Murray.

Work and wages, in continuation of Lord Brassey's 'Work and wages' and 'Foreign work and English wages' ...

Mode of access: Internet.

A continuation of the history and adventures of the renowned Don Quixote de la Mancha.

Translation of Segundo tomo del Ingenioso hidalgo Don Quixote de la Mancha.

A dictionary of Christian antiquities. Being a continuation of the 'Dictionary of the Bible'.

Mode of access: Internet.

Estudo inicial da degradação in vivo de poli(L-co-D,L ácido lático), sintetizado em laboratório, aplicado como prótese tibial em coelhos

The copolymer poly (L-co-D,L lactic acid), PLDLA, has gained prominence in the field of temporary prostheses due to the fact that their time of degradation is quite compatible with the requirement in the case of osseous fracture. In this work the in vivo degradation of devices from copolymer, as a system of plates and screws, used in fixation of the tibia of rabbits was studied. The devices were implanted in 15 adult rabbits, albinos, New Zealand race, and they were used as control devices of alloys of titanium (Ti-6Al-4V/ V grade). The use of copolymers, synthesized in the laboratory, was tested in the repair of fracture in rabbits'tibias, being assessed in the following times: 2 weeks, 2 months and 3 months. Morphological analysis of tissue surrounding the plate and screw system, for 2 weeks of implantation, showed the presence of osteoblasts, indicating a pre bone formation. After 2 months there was new bone formation in the region in contact with the polymer. This bone growth occurred simultaneously with the process of PLDLA degradation, invading the region where there was polymer and after 3 months there was an intense degradation of the copolymer and hence greater tissue invasion compared to 2 months which characterized bone formation in a region where the polymer degraded. The in vivo degradation study of the devices for PLDLA by means of histological evaluations during the period of consolidation of the fracture showed the efficiency of plate and screw system, and it was possible to check formation of bone tissue at the implantation site, without the presence of inflammatory reaction

Cation size effects-modified phase and PTCR development in Er3+ and Ca2+ co-doped BaTiO3 ceramics during sintering

Development of the positive temperature coefficient of resistivity (PTCR) in Er3+ and Ca2+ co-doped ferroelectric BaTiO3 was studied in this work, with Er3+ being used to act as a donor doping. Irrespective of all the materials showing high densities after sintering at 1200 to 1300 ºC, these revealed insulator at the lowest sintering temperature, changing to semiconducting and PTCR-type materials only when the sintering temperature was further increased. Observations from X-ray diffraction help correlating this effect with phase development in this formulated (Ba,Ca,Er)TiO3 system, considering the formation of initially two separated major (Ba,Ca)TiO3- and minor (Ca,Er)TiO3-based compounds, as a consequence of cation size-induced stress energy effects. Thus, appearance and enhancement here of the semiconducting and PTCR responses towards higher sintering temperatures particularly involve the incorporation of Er3+ into the major phase, rendering finally possible the generation and "percolative-like" migration of electrons throughout the whole material.

Óxidos do tipo perovskita para reação de redução de no com CO

In this work, the perovskite-type oxides LaNiO3, LaMnO3, La0,7Sr0,3NiO3 and La0,7Sr0,3MnO3 were prepared by co-precipitation and tested in the NO reduction with CO at 400 and 500 ºC for 10 h. The catalysts were characterized by X-ray diffraction, temperature programmed reduction with hydrogen, nitrogen adsorption and chemical analysis. The nonstoichiometric oxygen was quantified by temperature programmed reduction, and the catalytic tests showed that the La0,7Sr0,3MnO3 catalyst presented the higher performance for the reduction reaction of NO with CO. The partial substitution of lanthanum by strontium increased the NO conversion and the N2 yield.

Co-eletrodeposição oscilatória de cobre e estanho

It is investigated in the present contribution the oscillatory co-electrodeposition of CuSn on a polycrystalline gold surface in the presence of Triton X-100 surfactant and citric acid as additive, in acidic media. The experiments were conducted under potentiostatic control and the system dynamics characterized in terms of the morphology and stability of the current oscillations. Besides modulations in the frequency and amplitude of the current oscillations, several patterned states were observed, including relaxation-like and mixed mode oscillations. The oscillations were found to be very robust and some time series presented regular motions up to about two hours.

Áreas de vulnerabilidade para co-infecção HIV-aids/TB em Ribeirão Preto, SP

OBJETIVO: Identificar áreas de vulnerabilidade para os casos novos de co-infecção HIV/tuberculose (TB). MÉTODOS: Estudo descritivo ecológico realizado por meio do georreferenciamento dos casos novos de HIV/TB notificados em Ribeirão Preto, SP, em 2006. Os dados foram obtidos do sistema de informação estadual paulista de notificação de TB. Os casos novos de co-infecção HIV/TB foram analisados conforme características sociodemográficas e clínicas e, posteriormente, georreferenciados na base cartográfica do município segundo endereço residencial. Os setores do município foram categorizados em três níveis socioeconômicos: inferior, intermediário e superior, com base na análise de componentes principais das variáveis do censo demográfico de 2000 (renda, instrução e percentagem de domicílios com cinco ou mais moradores). Foi calculada a incidência da co-infecção HIV/TB para cada nível socioeconômico. RESULTADOS: A co-infecção HIV/TB acometeu mais adultos do sexo masculino em idade economicamente ativa e a forma pulmonar da TB foi a mais comum. A distribuição espacial mostrou que as incidências nas áreas com níveis socioeconômicos intermediários e inferiores (8,3 e 11,5 casos por 100 mil habitantes, respectivamente) foram superiores àquela (4,8 casos por 100 mil habitantes) de nível socioeconômico superior. CONCLUSÕES: A taxa de incidência de co-infecção HIV/TB analisada por níveis socioeconômicos mostrou padraÞo espacial de distribuiçaÞo não homogêneo e apresentou valores mais altos em áreas de maior vulnerabilidade social. O estudo diagnosticou aìreas geograìficas prioritaìrias para o controle da co-infecção e a tecnologia do sistema de informação geográfica pode ser empregada no planejamento das ações em saúde pelos gestores municipais.

Prótese total articulada de joelho utilizada no tratamento de osteossarcoma apendicular em cão

O objetivo do trabalho foi reportar o planejamento cirúrgico, a técnica operatória, a instrumentação e os resultados da substituição completa do terço médio distal do fêmur, do platô tibial e da articulação do joelho por prótese em um cão acometido por osteossarcoma no fêmur esquerdo. A prótese foi confeccionada em aço, apresentando três componentes articulados, mantendo o movimento semelhante à articulação do joelho. As porções femorais e tibiais da prótese foram cimentadas aos respectivos ossos, após ostectomia do fêmur e do platô tibial. O animal foi submetido a seis sessões de quimioterapia, com doxorrubicina e carboplatina, intercaladas mensalmente, objetivando inibir o crescimento de possíveis metástases pulmonares. Durante os seis primeiros dias, o animal apresentou neuropraxia e impotência funcional do membro. Aos 10 dias, o cão iniciou leve apoio e aos 30 dias já utilizava o membro pélvico de forma mais efetiva, porém, o ângulo de extensão da articulação foi reduzido de 150° a 100° devido à contratura muscular e à fibrose na região da fossa poplítea. Após um ano de observação, não houve melhora do ângulo de extensão do joelho, porém, o animal fazia uso do membro com claudicação. Aos 425 dias de pós-operatório, o animal veio a óbito por insuficiência renal. Nesse tempo não ocorreram metástases pulmonares ou locais visíveis radiograficamente, mas o proprietário não permitiu a realização da necropsia do paciente, sendo impossível confirmar outros dados que pudessem esclarecer melhor a causa morte. Conclui-se que a substituição total do joelho de cão é uma cirurgia factível, que permite a preservação e a utilização do membro após ressecção da neoplasia, embora outras pesquisas devam ser conduzidas para obtenção de melhores resultados pós-cirúrgicos.

Meningoencefalite necrotizante de cão Maltês

A Meningoencefalite Necrotizante (MEN) é uma encefalopatia causada por uma disfunção inflamatória de característica necrotizante. O objetivo deste relato é descrever os aspectos clínicos e anatomopatológicos da Meningoencefalite Necrotizante (MEN) em um cão Maltês. A doença tem um caráter necrótico único e está relacionada intimamente à Encefalite do Cão Pug (ECP) devido a suas semelhanças, bem como à Leucoencefalite Necrotizante (LEN). Embora o primeiro relato de caso de ECP tenha mais de 15 anos e o primeiro relato de caso de MEN em Maltês tenha 11 anos, há muito a ser revelado sobre a etiologia e os mecanismos imunopatológicos da doença. Neste trabalho, relata-se o caso de um cão Maltês com sinais que foram compatíveis com a MEN. Foram detectadas nas imagens macroscópicas, cavitação cerebral, e na microscopia, perda de células do parênquima em certas regiões do córtex cerebral. A partir dessas descobertas descreve-se o primeiro caso de MEN em cão Maltês no Brasil.