Termination Casts: A Flexible Approach to Termination with General Recursion

This paper proposes a type-and-effect system called Teqt, which distinguishes terminating terms and total functions from possibly diverging terms and partial functions, for a lambda calculus with general recursion and equality types. The central idea is to include a primitive type-form "Terminates t", expressing that term t is terminating; and then allow terms t to be coerced from possibly diverging to total, using a proof of Terminates t. We call such coercions termination casts, and show how to implement terminating recursion using them. For the meta-theory of the system, we describe a translation from Teqt to a logical theory of termination for general recursive, simply typed functions. Every typing judgment of Teqt is translated to a theorem expressing the appropriate termination property of the computational part of the Teqt term.Comment: In Proceedings PAR 2010, arXiv:1012.455

Análise multivariada da resistência do solo à penetração sob plantio direto.

Com vistas ao aumento da produção, optou-se, no Brasil, pelo acréscimo de área cultivada e pelo intenso uso da motomecanização, o que acarretou prejuízos aos solos agrícolas. Paralelamente, práticas conservacionistas têm sido adotadas, a exemplo do sistema plantio direto. Em ambos os casos, estudos do estado de compactação do solo se fazem necessários. Prática e controversa, a penetrometria é a metodologia mais utilizada para o dimensionamento desse parâmetro. Assim, realizou-se trabalho em um Latossolo Vermelho sob plantio direto visando a identificar a estratificação vertical da resistência do solo à penetração. Foram amostrados 40 pontos, em malha de 50mx50m. Em cada ponto, analisou-se o comportamento do solo em três posições: na linha de semeadura, entre as linhas de semeadura e entre as linhas de semeadura com tráfego de trator agrícola. Os dados foram obtidos com penetrômetro hidráulico-eletrônico. Para identificação das camadas de solo com resistência à penetração semelhante, utilizou-se técnica de análise multivariada, denominada análise fatorial, com rotação ortogonal. Entre as linhas de semeadura, identificaram-se quatro camadas, sendo que as mais superficiais se mostraram com variância relativa maior. Nas entrelinhas com tráfego de trator e nas linhas de semeadura, locais de ação antrópica, identificaram-se três camadas, sendo as mais profundas as de variância relativa mais elevada

Sclerosing Epithelioid Fibrosarcoma of the Bone: A Case Report of High Resistance to Chemotherapy and a Survey of the Literature

Sclerosing epithelioid fibrosarcoma (SEF) is a rare soft tissue sarcoma mostly occurring in extraosseous sites. SEF represents a clinically challenging entity especially because no standardized treatment regimens are available. Intraosseous localization is an additional challenge with respect to the therapeutical approach. We report on a 16-year-old patient with SEF of the right proximal tibia. The patient underwent standardized neoadjuvant chemotherapy analogous to the EURAMOS-1 protocol for the treatment of osteosarcoma followed by tumor resection and endoprosthetic reconstruction. Histopathological analysis of the resected tumor showed >90% vital tumor cells suggesting no response to chemotherapy. Therefore, therapy was reassigned to the CWS 2002 High-Risk protocol for the treatment of soft tissue sarcoma. To date (22 months after diagnosis), there is no evidence of relapse or metastasis. Our data suggest that SEF may be resistant to a chemotherapy regimen containing Cisplatin, Doxorubicin, and Methotrexate, which should be considered in planning treatment for patients with SEF

Mesail-i muğlaka

Ahmet Mithat'ın Tarik'te tefrika edilen Mesail-i Muğlaka adlı roman

Conservação e uso dos recursos florestais não madeiráveis da floresta com araucária: Programa Conservabio.

bitstream/item/123223/1/Doc.-238-Conservabio.pd

Expurgo de grãos de trigo em câmara de lona.

O objetivo deste trabalho foi determinar o menor período de fumigação necessário para promover a mortalidade total de insetos adultos do gênero Sitophilus, em grãos de trigo submetidos à fumigação em câmara de lonas. O experimento foi implantado em uma unidade armazenadora de grãos, em Ponta Grossa - PR. O delineamento experimental foi inteiramente casualizado, contendo seis tratamentos e dez repetições. Os tratamentos consistiram de diferentes períodos de exposição dos grãos de trigo à fumigação: 0; 12; 36; 60; 84 e 108h, dispostos em caçambas de caminhão envoltas em lonas (formando a câmara de lonas). Empregou-se o produto comercial Fertox® na forma de pastilhas, atendendo à dosagem de 6g m-3em câmaras de 35m³ cada. As repetições foram representadas por recipientes telados contendo 10 insetos adultos vivos do gênero Sitophilus, inseridos na massa de grãos da caçamba em diversos pontos e profundidades. A equação de regressão ajustada para descrever o comportamento da mortalidade de insetos (M) em função do período de fumigação (T) foi M=6,6867+93,4694(1-e0,1645T)26,9607. A equação demonstra que 58,9h após a aplicação do fumegante a mortalidade dos insetos foi de 100%