Propositional dynamic logics for communicating concurrent programs with CCS's parallel operator von Benevides, M. R. F., Schechter, L. M.

Volltext

Polynomial hierarchy graph properties in hybrid logic von Ferreira, F.M., Freire, C.M., Benevides, M.R.F., Menasché Schechter, L., Martins, A.T.

Volltext

PDL for structured data: a graph-calculus approach von Veloso, P. A. S., Veloso, S. R. M., Benevides, M. R. F.

Volltext

Using modal logics to express and check global graph properties von Benevides, Mario R. F., Schechter, L. Menasché

Volltext

Sharing Resources at Nonuniform Access Rates von Barbosa, V. C., Benevides, M. R. F., França, F. M. G.

Volltext

Anticoagulant activity, paw edema and pleurisy induced carrageenan: Action of major types of commercial carrageenans von Silva, F.R.F., Dore, C.M.P.G., Marques, C.T., Nascimento, M.S., Benevides, N.M.B., Rocha, H.A.O., Chavante, S.F., Leite, E.L.

Volltext

Impact of smoking on inflammation: overview of molecular mechanisms von Gonçalves, R. B., Coletta, R. D., Silvério, K. G., Benevides, L., Casati, M. Z., da Silva, J. S., Nociti, F. H.

Volltext

Immobilization of Lipase from Penicillium sp. Section Gracilenta (CBMAI 1583) on Different Hydrophobic Supports: Modulation of Functional Properties von Turati, Daniela F M, Morais Júnior, Wilson G, Terrasan, César R F, Moreno-Perez, Sonia, Pessela, Benevides C, Fernandez-Lorente, Gloria, Guisan, Jose M, Carmona, Eleonora C

Volltext

Quasiparticle Dynamics in a Superconducting Qubit Irradiated by a Localized Infrared Source von Benevides, R, Drimmer, M, Bisson, G, Adinolfi, F, Lüpke, U V, Doeleman, H M, Catelani, G, Chu, Y

Volltext

The Liquid Argon In A Testbeam (LArIAT) experiment von Acciarri, R., Adams, C., Asaadi, J.A., Backfish, M., Badgett, W., Baller, B., Rodrigues, O. Benevides, Blaszczyk, F.d.M., Bouabid, R., Bromberg, C., Carey, R., Fernandez, R. Castillo, Cavanna, F., Aleman, J.I. Cevallos, Chatterjee, A., Dedin, P., Santos, M.V. dos, Edmunds, D., Elkins, M., Escobar, C., Esquivel, J., Evans, J., Falcone, A., Farbin, A., Flanagan, W., Fleming, B.T., Foreman, W., Garcia-Gamez, D., Gastler, D., Ghosh, T., Gomes, R.A., Gramellini, E., Gran, R., Gratieri, D.R., Guzowski, P., Habig, A., Hahn, A., Hamilton, P., Hill, C., Ho, J., Holin, A., Hugon, J., Iwai, E., Jensen, D., Johnson, R.A., Jostlein, H., Kawai, H., Kearns, E., Kemp, E., Kirby, M., Kobilarcik, T., Kordosky, M., Kryczyński, P., Lang, K., Linehan, R., Lockwitz, S., Luo, X., Machado, A.A.B., Marchionni, A., Maruyama, T., Santos, L. Mendes, Metcalf, W., Moura, C.A., Nichol, R., Nutini, I., Olivier, A., Palamara, O., Paley, J., Parmaksiz, I., Gelli, B. Passarelli, Paulucci, L., Phan, D., Pulliam, G., Raaf, J.L., Rebel, B., Guzzo, M. Reggiani, Ross-Lonergan, M., Nunes, M. Soares, Schmitz, D. W., Segreto, E., Sessumes, D., Shahsavarani, S., Shooltz, D., Smith, D., Soderberg, M., Soubasis, B., Spagliardi, F., John, J.M. St, Stancari, M., Stefan, D., Stephens, M., Sulej, R., Szelc, A.M., Tabata, M., Totani, D., Tzanov, M., Valdiviesso, G.A., Walker, D., Wenzel, H., Williams, Z.

Volltext

Multi-scale analysis of the effect of loading conditions on monotonic and fatigue behavior of a glass fiber reinforced polyphenylene sulfide (PPS) composite von Zuo, P., Benevides, R.C., Laribi, M.A., Fitoussi, J., Shirinbayan, M., Bakir, F., Tcharkhtchi, A.

Volltext

Antinociceptive and Anti-Inflammatory Activities of Sulphated Polysaccharides from the Red Seaweed Gracilaria cornea von Coura, Chistiane O., de Araújo, Ianna W. F., Vanderlei, Edfranck S. O., Rodrigues, José A. G., Quinderé, Ana L. G., Fontes, Bruno P., de Queiroz, Ismael N. L., de Menezes, Dalgimar B., Bezerra, Mirna M., e Silva, Antonio A. R., Chaves, Hellíada V., Jorge, Roberta J. B., Evangelista, Janaina S. A. M., Benevides, Norma M. B.

Volltext

Epoxy-Amino Groups:  A New Tool for Improved Immobilization of Proteins by the Epoxy Method von Mateo, Cesar, Torres, Rodrigo, Fernández-Lorente, Gloria, Ortiz, Claudia, Fuentes, Manuel, Hidalgo, Aurelio, López-Gallego, Fernando, Abian, Olga, Palomo, Jose M., Betancor, Lorena, Pessela, Benevides C. C., Guisan, José M., Fernández-Lafuente, Roberto

Volltext

A report of a galactan from marine alga Gelidium crinale with in vivo anti-inflammatory and antinociceptive effects von de Sousa, Albertina A.S., Benevides, Norma M.B., de Freitas Pires, Alana, Fiúza, Felipe P., Queiroz, Maria G.R., Morais, Thamires M.F., Pereira, Maria G., Assreuy, Ana M.S.

Volltext

Measurement of nuclear effects in neutrino-argon interactions using generalized kinematic imbalance variables with the MicroBooNE detector von Abratenko, P., Alterkait, O., Andrade Aldana, D., Arellano, L., Asaadi, J., Ashkenazi, A., Balasubramanian, S., Baller, B., Barr, G., Barrow, D., Barrow, J., Basque, V., Benevides Rodrigues, O., Berkman, S., Bhanderi, A., Bhat, A., Bhattacharya, M., Bishai, M., Blake, A., Bogart, B., Bolton, T., Book, J. Y., Brunetti, M. B., Camilleri, L., Cao, Y., Caratelli, D., Cavanna, F., Cerati, G., Chappell, A., Chen, Y., Conrad, J. M., Convery, M., Cooper-Troendle, L., Crespo-Anadón, J. I., Cross, R., Del Tutto, M., Dennis, S. R., Detje, P., Devitt, A., Diurba, R., Djurcic, Z., Dorrill, R., Duffy, K., Dytman, S., Eberly, B., Englezos, P., Ereditato, A., Evans, J. J., Fine, R., Finnerud, O. G., Foreman, W., Fleming, B. T., Foppiani, N., Franco, D., Furmanski, A. P., Gao, F., Garcia-Gamez, D., Gardiner, S., Ge, G., Gollapinni, S., Gramellini, E., Green, P., Greenlee, H., Gu, L., Gu, W., Guenette, R., Guzowski, P., Hagaman, L., Hen, O., Hicks, R., Hilgenberg, C., Horton-Smith, G. A., Imani, Z., Irwin, B., Ismail, M. S., Itay, R., James, C., Ji, X., Jo, J. H., Johnson, R. A., Jwa, Y.-J., Kalra, D., Kamp, N., Karagiorgi, G., Ketchum, W., Kirby, M., Kobilarcik, T., Kreslo, I., Leibovitch, M. B., Lepetic, I., Li, J.-Y., Li, K., Li, Y., Lin, K., Littlejohn, B. R., Liu, H., Louis, W. C., Luo, X., Mariani, C., Marsden, D.

Volltext

Is the antithrombotic effect of sulfated galactans independent of serpin? von Quinderé, A.‐L. G., Santos, G. R. C., Oliveira, S.‐N. M. C. G., Glauser, B. F., Fontes, B. P., Queiroz, I. N. L., Benevides, N. M. B., Pomin, V. H., Mourão, P. A. S.

Volltext

First Search for Dark-Trident Processes Using the MicroBooNE Detector von Abratenko, P, Alterkait, O, Andrade Aldana, D, Arellano, L, Asaadi, J, Ashkenazi, A, Balasubramanian, S, Baller, B, Barr, G, Barrow, D, Barrow, J, Basque, V, Benevides Rodrigues, O, Berkman, S, Bhanderi, A, Bhat, A, Bhattacharya, M, Bishai, M, Blake, A, Bogart, B, Bolton, T, Book, J Y, Brunetti, M B, Camilleri, L, Cao, Y, Caratelli, D, Cavanna, F, Cerati, G, Chappell, A, Chen, Y, Conrad, J M, Convery, M, Cooper-Troendle, L, Crespo-Anadón, J I, Cross, R, Del Tutto, M, Dennis, S R, Detje, P, Devitt, A, Diurba, R, Djurcic, Z, Dorrill, R, Duffy, K, Dytman, S, Eberly, B, Englezos, P, Ereditato, A, Evans, J J, Fine, R, Finnerud, O G, Foreman, W, Fleming, B T, Franco, D, Furmanski, A P, Gao, F, Garcia-Gamez, D, Gardiner, S, Ge, G, Gollapinni, S, Gramellini, E, Green, P, Greenlee, H, Gu, L, Gu, W, Guenette, R, Guzowski, P, Hagaman, L, Hen, O, Hilgenberg, C, Horton-Smith, G A, Imani, Z, Irwin, B, Ismail, M S, James, C, Ji, X, Jo, J H, Johnson, R A, Jwa, Y-J, Kalra, D, Kamp, N, Karagiorgi, G, Ketchum, W, Kirby, M, Kobilarcik, T, Kreslo, I, Leibovitch, M B, Lepetic, I, Li, J-Y, Li, K, Li, Y, Lin, K, Littlejohn, B R, Liu, H, Louis, W C, Luo, X, Mariani, C, Marsden, D, Marshall, J, Martinez, N, Martinez Caicedo, D A

Volltext

Search for a Higgs Portal Scalar Decaying to Electron-Positron Pairs in the MicroBooNE Detector von Abratenko, P., An, R., Anthony, J., Asaadi, J., Ashkenazi, A., Balasubramanian, S., Baller, B., Barnes, C., Barr, G., Basque, V., Bathe-Peters, L., Benevides Rodrigues, O., Berkman, S., Bhanderi, A., Bhat, A., Bishai, M., Blake, A., Bolton, T., Book, J. Y., Camilleri, L., Caratelli, D., Caro Terrazas, I., Castillo Fernandez, R., Cavanna, F., Cerati, G., Chen, Y., Cianci, D., Conrad, J. M., Convery, M., Cooper-Troendle, L., Crespo-Anadón, J. I., Del Tutto, M., Dennis, S. R., Devitt, A., Diurba, R., Dorrill, R., Duffy, K., Dytman, S., Eberly, B., Ereditato, A., Evans, J. J., Fine, R., Fiorentini Aguirre, G. A., Fitzpatrick, R. S., Fleming, B. T., Foppiani, N., Franco, D., Furmanski, A. P., Garcia-Gamez, D., Gardiner, S., Ge, G., Gollapinni, S., Goodwin, O., Gramellini, E., Green, P., Greenlee, H., Gu, W., Guenette, R., Guzowski, P., Hagaman, L., Hall, E., Hen, O., Horton-Smith, G. A., Hourlier, A., Itay, R., James, C., Ji, X., Jiang, L., Jo, J. H., Johnson, R. A., Jwa, Y.-J., Kamp, N., Kaneshige, N., Karagiorgi, G., Ketchum, W., Kirby, M., Kobilarcik, T., Kreslo, I., LaZur, R., Lepetic, I., Li, K., Li, Y., Lin, K., Littlejohn, B. R., Louis, W. C., Luo, X., Manivannan, K., Mariani, C., Marsden, D., Marshall, J., Martinez Caicedo, D. A., Mason, K., Mastbaum, A., McConkey, N., Meddage, V., Mettler, T., Miller, K., Mills, J., Mistry, K., Mogan, A.

Volltext

Tephrosia toxicaria Pers. reduces temporomandibular joint inflammatory hypernociception: The involvement of the HO-1 pathway von do Val, D.R., Bezerra, M.M., Silva, A.A.R., Pereira, K.M.A., Rios, L.C., Lemos, J.C., Arriaga, N.C., Vasconcelos, J.N., Benevides, N.M.B., Pinto, V.P.T., Cristino-Filho, G., Brito, G.A.C., Silva, F.R.L., Santiago, G.M.P., Arriaga, A.M.C., Chaves, H.V.

Volltext

Genomic Features and Phylogenetic Analysis of Antimicrobial-Resistant Salmonella Mbandaka ST413 Strains von Benevides, Valdinete P, Saraiva, Mauro M S, Nascimento, Camila F, Delgado-Suárez, Enrique J, Oliveira, Celso J B, Silva, Saura R, Miranda, Vitor F O, Christensen, Henrik, Olsen, John E, Berchieri Junior, Angelo

Volltext