Non-Deterministic Functions as Non-Deterministic Processes

We study encodings of the ?-calculus into the ?-calculus in the unexplored case of calculi with non-determinism and failures. On the sequential side, we consider ?^?_?, a new non-deterministic calculus in which intersection types control resources (terms); on the concurrent side, we consider ??, a ?-calculus in which non-determinism and failure rest upon a Curry-Howard correspondence between linear logic and session types. We present a typed encoding of ?^?_? into ?? and establish its correctness. Our encoding precisely explains the interplay of non-deterministic and fail-prone evaluation in ?^?_? via typed processes in ??. In particular, it shows how failures in sequential evaluation (absence/excess of resources) can be neatly codified as interaction protocols

Dry matter intake by beef steers on Piatã palisadegrass (Brachiaria brizantha cv. BRS Piatã) pasture.

201

Termination in Concurrency, Revisited

Termination is a central property in sequential programming models: a term is terminating if all its reduction sequences are finite. Termination is also important in concurrency in general, and for message-passing programs in particular. A variety of type systems that enforce termination by typing have been developed. In this paper, we rigorously compare several type systems for $\pi$-calculus processes from the unifying perspective of termination. Adopting session types as reference framework, we consider two different type systems: one follows Deng and Sangiorgi's weight-based approach; the other is Caires and Pfenning's Curry-Howard correspondence between linear logic and session types. Our technical results precisely connect these very different type systems, and shed light on the classes of client/server interactions they admit as correct

Types and Terms Translated:Unrestricted Resources in Encoding Functions as Processes

Type-preserving translations are effective rigorous tools in the study of core programming calculi. In this paper, we develop a new typed translation that connects sequential and concurrent calculi; it is governed by type systems that control resource consumption. Our main contribution is the source language, a new resource λ-calculus with non-collapsing non-determinism and failures, dubbed uλ^{↯}_{⊕}. In uλ^{↯}_{⊕}, resources are split into linear and unrestricted; failures are explicit and arise from this distinction. We define a type system based on intersection types to control resources and fail-prone computation. The target language is 𝗌π, an existing session-typed π-calculus that results from a Curry-Howard correspondence between linear logic and session types. Our typed translation subsumes our prior work; interestingly, it treats unrestricted resources in uλ^{↯}_{⊕} as client-server session behaviours in 𝗌π

Produtividade de pastos de capim-piatã sob lotação contínua.

As características estruturais do pasto podem ser modificadas com o manejo do pastejo. Tais modificações, podem afetar a capacidade dos animais em colher a forragem disponível e, consequentemente, o ganho individual e por área. O objetivo desse estudo foi avaliar características estruturais em pastos de Brachiaria brizantha cv. Piatã submetidos à intensidades de pastejo de 15, 30 e 45 cm de altura do dossel, sob lotação continua

Características morfogênicas do capim-marandu sob lotação contínua.

O conhecimento da morfogênese das plantas é de importância fundamental para que se possa tomar decisões de manejo das pastagens. As características morfogênicas influenciam estruturais, que por sua vez podem modificar o comportamento dos animais em pastejo. O objetivo do trabalho foi avaliar as características morfogênicas do capimmarandu, submetido a intensidades de pastejo em lotação contínua

Animal Performance and Productivity of a New Cultivar of \u3cem\u3eBrachiaria brizantha\u3c/em\u3e

Brazil has the competitive advantage of a very dynamic and cost-effective animal production system on pastures over other countries. The pursuit of more productive forages that will result in higher quality beef at a lower cost is justified. As Brachiaria is the most important forage genus utilised in Brazil, an intense search for new cultivars amongst collected and introduced ecotypes from Africa is underway. Following agronomic evaluation of this material in plots, 8 Brachiaria ecotypes were pre-selected. As part of Embrapa`s process of cultivar development, B. brizantha cv. Xaraés, characterised by high productivity (liveweight gain/area), was released in 2003, followed in 2007 by cv. Piatã, characterised by high nutritive value and consequently high animal performance (Euclides et al. 2009). From the 8 ecotypes pre-selected, one presented good traits for surviving dry periods (Euclides et al. 2001), which is the main constraint to herbage production under tropical and subtropical conditions. This study aimed to evaluate this ecotype under grazing conditions

Modulation Of The Catalytic Activity Of Porphyrins By Lipid- And Surfactant-containing Nanostructures

The structural factors modulating porphyrin activity encompass pyrrole and equatorial ligands, as well as the central metal and the number and structure of their axial ligands. Of equal importance is the microenvironment provided by apoproteins, solvents and membranes. Porphyrins are often used to construct supramolecular structures with different applications. The modulation of activity of the porphyrins has been frequently achieved by mimicking nature, i.e., by the provision of different microenvironments for these molecules. The association of porphyrins to surfactant- and lipid-containing nanostructures has changed the activity of these compounds to mimic different enzymes such as SOD, cytochrome P450, peroxidases and others. In determined conditions, the reactive forms of the porphyrins are high-valence states of oxo-metal-π cations and oxo-metal produced by the reaction with peroxides and peracids. The modulation of porphyrin activity by surfactant- and lipid-containing nanostructures has also been achieved for hemeproteins, as the lipid nanostructures affect the conformation of proteins. ©2011 Sociedade Brasileira de Química.22916211633Drain, C.M., Varotto, A., Radivojevic, I., (2009) Chem. Rev., 109, p. 1630Aida, T., Inoue, S., (2000) The Porphyrin Handbook, , Kadish, K., M. Smith, K., M. Guillard R., eds.Academic Press: San Diego ch. 42Ponka, P., (1999) Am. J. Med. Sci., 318, p. 241Da Silva, D.C., De Freitas-Silva, G., Do Nascimento, E., Rebouças, J.S., Barbeira, P.J., De Carvalho, M.E., Idemori, Y.M., (2008) J. Inorg. Biochem., 102, p. 1932Bochot, C., Bartoli, J.F., Frapart, Y., Dansette, P.M., Mansuy, D., Battioni, P., (2007) J. Mol. Catal. A.: Chem., 263, p. 200Alkordi, M.H., Liu, Y.L., Larsen, R.W., Eubank, J.F., Eddaoudi, M., (2008) J. Am. Chem. Soc., 130, p. 12639Suijkerbuijk, B., Schamhart, D.J., Kooijman, H., Spek, A.L., Van Koten, G., Gebbink, R., (2010) Dalton Trans., 39, p. 6198Groves, J.T., Nemo, T.E., (1983) J. Am. Chem. Soc., 10, p. 5786Drain, C.M., Smeureanu, G., Patel, S., Gong, X.C., Garno, J.A., (2006) New. J. Chem., 30, p. 1834Wang, Y.T., Jin, W.J., (2008) Spectrochim. Acta, Part A., 70, p. 871Komatsu, T., Moritake, W., Nakagawa, A., Tsuchida, E., (2002) Chem. - Eur. J., 8, p. 5469Nagami, H., Umakoshi, H., Shimanouchi, T., Kuboi, R., (2004) Biochem. Eng. J., 21, p. 221Szoka, F., Papahadjopoulos, D., (1980) Annu. Rev. Biophys. Bioeng., 9, p. 467Atkin, R., Craig, V.S.J., Wanless, E.J., Biggs, S., (2003) Adv. Colloid Interface Sci., 103, p. 219Grassert, I., Schinkowski, K., Vollhardt, D., Oehme, G., (1998) Chirality, 10, p. 754Hait, S.K., Moulik, S.P., (2001) J. Surfactants Deterg., 4, p. 303Glick, J., Santoyo, G., Casey, P.J., (1996) J. Biol. Chem., 271, p. 2949Maldotti, A., Andreotti, L., Molinari, A., Varani, G., Cerichelli, G., Chiarini, M., (2001) Green Chem., 3, p. 42Batrakova, E.V., Kabanov, A.V., (2008) J. Controlled Release, 130, p. 98Bangham, A.D., Standish, M.M., Watkins, J.C., (1965) J. Mol. Biol., 13, p. 238Johnson, S.M., Bangham, A.D., Hill, M.W., Korn, E.D., (1971) Biochim. Biophys. Acta. Biomembr., 233, p. 820Papahadj, D., Watkins, J.C., (1967) Biochim. Biophys. Acta, Biomembr., 135, p. 639Abramson, M.B., Katzman, R., Gregor, H.P., (1964) J. Biol. Chem., 239, p. 70Hauser, H.O., (1971) Biochem. Biophys. Res. Commun., 45, p. 1049Huang, C.H., (1969) Biochemistry, 8, p. 344Saunders, L., Gammack, D., Perrin, J., (1962) J. Pharm. Pharmacol., 14, p. 567Tien, H.T., (1974) Theory and Practice, , 1th ed.Bilayer Lipid Membranes (BLM): Marcel Dekker: New YorkRazin, S., (1972) Biochim. Biophys. Acta, Biomembr., 265, p. 241Korenbrot, J.I., (1977) Annu. Rev. Physiol., 39, p. 19Batzri, S., Korn, E.D., (1973) Biochim. Biophys. Acta, Biomembr., 298, p. 1015Deamer, D., Bangham, A.D., (1976) Biochim. Biophys. Acta, Biomembr., 443, p. 629Szoka, F., Papahadjopoulos, D., (1978) Proc. Natl. Acad. Sci. U. S. A., 75, p. 4194Mishra, P.P., Bhatnagar, J., Datta, A., (2005) J. Phys. Chem. B., 109, p. 24225Pessoto, F.S., Inada, N.M., Nepomuceno, M.D., Ruggiero, A.C., Nascimento, O.R., Vercesi, A.E., Nantes, I.L., (2009) Chem. Biol. Interact., 181, p. 400Steinbeck, C.A., Hedin, N., Chmelka, B.F., (2004) Langmuir, 20, p. 10399Vanesch, J.H., Feiters, M.C., Peters, A.M., Nolte, R.J.M., (1994) J. Phys. Chem., 98, p. 5541Barber, D.C., Freitagbeeston, R.A., Whitten, D.G., (1991) J. Phys. Chem., 95, p. 4074Maiti, N.C., Mazumdar, S., Periasamy, N.J., (1998) J. Porphyrins Phthalocyanines, 2, p. 369Schmehl, R.H., Whitten, D.G., (1981) J. Phys. Chem., 85, p. 3473Perrin, M.H., (1973) J. Chem. Phys., 59, p. 2090Zhou, X.T., Ji, H.B., (2010) Chem. Eng. J., 156, p. 411Monnereau, C., Ramos, P.H., Deutman, A.B.C., Elemans, J., Nolte, R.J.M., Rowan, A.E., (2010) J. Am. Chem. Soc., 132, p. 1529Merlau, M.L., Grande, W.J., Nguyen, S.T., Hupp, J.T., (2000) J. Mol. Catal. A: Chem., 156, p. 79Anzenbacher, P., Kral, V., Jursikova, K., Gunterova, J., Kasal, A., (1997) J. Mol. Catal. A: Chem., 118, p. 63Zhao, Y.C., Xiang, Y.Z., Pu, L., Yang, M., Yu, X.Q., (2006) Appl. Catal. A, 301, p. 176Zhou, X.T., Tang, Q.H., Ji, H.B., (2009) Tetrahedron Lett., 50, p. 6601Monfared, H.H., Aghapoor, V., Ghorbanloo, M., Mayer, P., (2010) Appl. Catal. A, 372, p. 209Heijnen, J.H.M., De Bruijn, V.G., Van Den Broeke, L.J.P., Keurentjes, J.T.F., (2003) Chem. Eng. Process., 42, p. 223Santos, A.C., Luz, R.A.S., Ferreira, L.G.F., Santos-Júnior, J.R., Silva, W.C., (2010) Quim. Nova, 33, p. 539Zhou, Y.B., Ryu, E.H., Zhao, Y., Woo, L.K., (2007) Organometallics, 26, p. 358Nantes, I.L., Crespilho, F.N., Mugnol, K.C.U., Chaves, J.C.A., Luz, R.A.S., Nascimento, O.R., Pinto, S.M.S., (2010) Circular Dichroism: Theory and Spectroscopy, , Rodgers D. S., ed.Nova Science Publishers: New York ch. 8Travascio, P., Sen, D., Bennet, A.J., (2006) Can. J. Chem., 84, p. 613Omodeo-Sale, F., Monti, D., Olliaro, P., Taramelli, D.P., (2001) Biochem. Pharmacol., 61, p. 999Ishigure, S., Mitsui, T., Ito, S., Kondo, Y., Kawabe, S., Kondo Dewa M, T., Mino, H., Nango, M., (2010) Langmuir, 26, p. 7774Umakoshi, H., Morimoto, K., Ohama, Y., Nagami, H., Shimanouchi, T., Kuboi, R., (2008) Langmuir, 24, p. 4451Prieto, T., Marcon, R.O., Prado, F.M., Caires, A.C.F., Di Mascio, P., Brochsztain, S., Nascimento, O.R., Nantes, I.L., (2006) J. Phys.Chem., 8, p. 1963Mugnol, K.C.U., Ando, R.A., Nagayasu, R.Y., Faljoni-Alario, A., Brochsztain, S., Santos, P.S., Nascimento, R.O., Nantes, I.L., (2008) Biophys. J., 94, p. 4066Nagatomo, H., Matsushita, Y., Sugamoto, K., Matsui, T., (2003) Tetrahedron: Asymmetry, 14, p. 2339Cantonetti, V., Monti, D., Venanzi, M., Bombelli, C., Ceccacci, F., Mancini, G., (2004) Tetrahedron: Asymmetry, 15, p. 1969Hiraka, K., Kanehisa, M., Tamai, M., Asayama, S., Nagaoka, S., Oyaizu, K., Yuasa, M., Kawakami, H., (2008) Colloids Surf. B, 67, p. 54Yuasa, M., Oyaizu, K., Horiuchi, A., Ogata, A., Hatsugai, T., Yamaguchi, A., Kawakami, H., (2004) Mol. Pharm., 1, p. 387Aron, J., Baldwin, D.A., Marques, H.M., Pratt, J.M., Adams, P.A., (1986) J. Inorg. Biochem., 27, p. 227Wang, J.S., Vanwart, H.E., (1989) J. Phys. Chem., 93, p. 7925Munro, O.Q., Marques, H.M., (1996) Inorg. Chem., 35, p. 3752Prieto, T., Nascimento, O.R., Tersariol, I.L.S., Faljoni-Alario, A., Nantes, I.L., (2004) J. Phys. Chem. B, 108, p. 11124Prieto, T., Nantes, I.L., Nascimento, O.R., (2004) Prog. Colloid Polym. Sci., 128, p. 1Makarska, M., Radzki, S., Legendziewicz, J., (2002) J. Alloys Compd., 341, p. 233Riposati, A., Prieto, T., Shida, C.S., Nantes, I.L., Nascimento, O.R., (2006) J. Inorg. Biochem., 100, p. 226Claiborne, A., Fridovich, I., (1979) J. Biol. Chem., 254, p. 4245Hiner, A.N.P., Ruiz, J.H., Lopez, J.N.R., Canovas, F.G., Brisset, N.C., Smith, A.T., Arnao, M.B., Acosta, M., (2002) J. Biol. Chem., 277, p. 26879Primus, J.L., Grunenwald, S., Hagedoorn, P.L., Albrecht-Gary, A.M., Mandon, D., Veeger, C.T., (2002) J. Am. Chem. Soc., 124, p. 1214Demontellano, P.R.O., (1992) Annu. Rev. Pharmacol. Toxicol., 32, p. 89Savenkova, M.I., Kuo, J.M., De Montellano, P.R.O., (1998) Biochemistry, 37, p. 10828Smith, A.T., Veitch, N.C., (1998) Curr. Opin. Chem. Biol., 2, p. 269Prieto, T., Mugnol, K.C.U., Araujo, J.C., Sousa, F.L., Soares, V.A., Cilento, G., Nantes, I.L., (2007) Catalysis and Photochemistry in Heterogeneous Media, , Nantes I. L.Brochesztain, S. eds.Research Signpost: Kerala ch. 1Zucchi, M.R., Nascimento, O.R., Faljoni-Alario, A., Prieto, T., Nantes, I.L., (2003) Biochem. J., 370, p. 671Kinnunen, P.K.J., (1992) Chem. Phys. Lipids, 63, p. 251Kawai, C., Prado, F.M., Nunes, G.L.C., Di Mascio, P., Carmona-Ribeiro, A.M., Nantes, I.L., (2005) J. Biol. Chem., 280, p. 34709Araujo, J.C., Prieto, T., Prado, F.M., Trindade, F.J., Nunes, G.L.C., Dos Santos, J.G., Di Masco, P., Nantes, I.L., (2007) J. Nanosci. Nanotechnol., 7, p. 3643Estevam, M.L., Nascimento, O.R., Baptista, M.S., Di Mascio, P., Prado, F.M., Faljoni-Alario, A., Zucchi, M.D., Nantes, I.L., (2004) J. Biol. Chem., 279, p. 39214Kawai, C., Nantes, I.L., Baptista, M.D.S., (2010) FEBS J., 277, p. 224Nantes, I.L., Faljoni-Alario, A., Vercesi, A.E., Santos, K.E., Bechara, E.J.H., (1998) Free Radic. Biol. Med., 25, p. 54

Manejo do pastejo de cultivares de Brachiaria brizantha (Hochst) Stapf e de Panicum maximum Jacq.

A definição dos princípios adequados de manejo do pastejo capazes de possibilitar que as pastagens mantenhamse produtivas e persistentes tem sido uma preocupação constante dos pesquisadores brasileiros. No entanto, foi durante as duas últimas décadas que ocorreram grandes mudanças e um avanço significativo na compreensão dos processos determinantes da correta utilização das plantas forrageiras tropicais em pastagens. Este texto tem por objetivo apresentar e discutir os principais resultados obtidos sobre o manejo do pastejo de alguns cultivares de Panicum maximum e de Brachiaria brizantha, bem como a importância da utilização de metas de pasto como guia de campo para o monitoramento e controle do processo de pastejo para planejar e recomendar práticas de manejo eficientes.Título em inglês: Pasture and grazing management of Brachiaria brizantha (Hochst) Stapf and Panicum maximum Jacq

Desempenho animal em pasto de hìbrido interespecífico de Brachiaria ruzizizensis e Brachiaria brizantha.

Comissão organizadora: Grácia Maria Soares Rosinha, Alexandra Rocha de Oliveir, Rodrigo Carvalho Alva