CHASE:A Static Checker for JML’s Assignable Clause von Cataño, Néstor, Huisman, Marieke

Volltext

Formal Modeling of a Slicing Algorithm for Java Event Spaces in PVS von CATANO, Néstor

Volltext

Formal methods for smart cards: an experience report von Breunesse, C.-B., Cataño, N., Huisman, M., Jacobs, B.

Volltext

Verification of JML generic types with Yices von Catano, N., Rueda, C., Hanvey, S.

Volltext bestellen

The EventB2Dafny Rodin plug-in von Catano, N., Leino, K. R. M., Rivera, V.

Volltext

Review of: Le counseling en milieu de travail von Tarrab, Gilbert

Volltext

LA PSYCHOLOGIE INDUSTRIELLE ET ORGANISATIONNELLE AU CANADA FRANÇAIS: ENSEIGNEMENT, RECHERCHE ET PRATIQUE von BORDELEAU, YVAN, MORIN, ESTELLE M

Volltext

Riesgo familiar total en familias con escolares según rendimiento académico von CAROLINA LUCERO ENRÍQUEZ GUERRERO, NHORA CATAÑO ORDÓÑEZ

Volltext

Diversity–stability relationships across organism groups and ecosystem types become decoupled across spatial scales von Wisnoski, Nathan I., Andrade, Riley, Castorani, Max C. N., Catano, Christopher P., Compagnoni, Aldo, Lamy, Thomas, Lany, Nina K., Marazzi, Luca, Record, Sydne, Smith, Annie C., Swan, Christopher M., Tonkin, Jonathan D., Voelker, Nicole M., Zarnetske, Phoebe L., Sokol, Eric R.

Volltext

Tissue-type plasminogen activator regulates the neuronal uptake of glucose in the ischemic brain von Wu, Fang, Wu, Jialing, Nicholson, Andrew D, Echeverry, Ramiro, Haile, Woldeab B, Catano, Marcela, An, Jie, Lee, Andrew K, Duong, Duc, Dammer, Eric B, Seyfried, Nicholas T, Tong, Frank C, Votaw, John R, Medcalf, Robert L, Yepes, Manuel

Volltext

Ibrexafungerp Demonstrates In Vitro Activity against Fluconazole-Resistant Candida auris and In Vivo Efficacy with Delayed Initiation of Therapy in an Experimental Model of Invasiv... von Wiederhold, Nathan P, Najvar, Laura K, Olivo, Marcos, Morris, Kelsey N, Patterson, Hoja P, Catano, Gabriel, Patterson, Thomas F

Volltext

New constraints on oscillation parameters from νe appearance and νμ disappearance in the NOvA experiment von Acero, M A

Volltext

Resistive Memory Process Optimization for High Resistance Switching Toward Scalable Analog Compute Technology for Deep Learning von Kim, Y., Seo, S.-C., Consiglio, S., Jamison, P., Higuchi, H., Rasch, M., Wu, E. Y., Kong, D., Saraf, I., Catano, C., Muralidhar, R., Nguyen, S., DeVries, S., Van der Straten, O., Sankarapandian, M., Pujari, R. N., Gasasira, A., Mcdermott, S. M., Miyazoe, H., Koty, D., Yang, Q., Yan, H., Clark, R., Tapily, K., Engelmann, S., Robison, R. R., Wajda, C., Mosden, A., Tsunomura, T., Soave, R., Saulnier, N., Haensch, W., Leusink, G., Biolsi, P., Narayanan, V., Ando, T.

Volltext

Clinical education and student satisfaction: An integrative literature review von Phillips, Karen F., Mathew, Lizy, Aktan, Nadine, Catano, Bryant

Volltext

Specific depressive symptoms are related with different patterns of alcohol use in community-dwelling older adults von Castellanos-Perilla, Nicolás, Borda, Miguel Germán, Cataño, Sara, Giraldo, Salomon, Vik-Mo, Audun Osland, Aarsland, Dag, Rao, Rahul Tony

Volltext

Formation of Environmentally Persistent Free Radicals (EPFRs) on the Phenol-Dosed α‑Fe2O3(0001) Surface von Sakr, N. I, Kizilkaya, Orhan, Carlson, Sierra F, Chan, Simon, Oumnov, Reuben A, Catano, Jaqueline, Kurtz, Richard L, Hall, Randall W, Poliakoff, E. D, Sprunger, Phillip T

Volltext

First measurement of the total inelastic cross section of positively charged kaons on argon at energies between 5.0 and 7.5 GeV von Abud, A. Abed, Abi, B., Acciarri, R., Acero, M. A., Adames, M. R., Adamov, G., Adamowski, M., Adams, D., Adinolfi, M., Adriano, C., Aduszkiewicz, A., Aguilar, J., Akbar, F., Allison, K., Monsalve, S. Alonso, Alrashed, M., Alton, A., Alvarez, R., Alves, T., Amar, H., Amedo, P., Anderson, J., Andreopoulos, C., Andreotti, M., Andrews, M. P., Andrianala, F., Andringa, S., Anfimov, N., Ankowski, A., Antic, D., Antoniassi, M., Antonova, M., Antoshkin, A., Aranda-Fernandez, A., Arellano, L., Diaz, E. Arrieta, Arroyave, M. A., Asaadi, J., Ashkenazi, A., Asner, D., Asquith, L., Atkin, E., Auguste, D., Aurisano, A., Aushev, V., Autiero, D., Azam, M. B., Azfar, F., Back, A., Back, H., Back, J. J., Bagaturia, I., Bagby, L., Balashov, N., Balasubramanian, S., Baldi, P., Baldini, W., Baldonedo, J., Baller, B., Bambah, B., Banerjee, R., Barao, F., Barbu, D., Barenboim, G., Alzás, P. Barham, Barker, G. J., Barkhouse, W., Barr, G., Monarca, J. Barranco, Barros, A., Barros, N., Barrow, D., Barrow, J. L., Basharina-Freshville, A., Bashyal, A., Basque, V., Batchelor, C., Bathe-Peters, L., Battat, J. B. R., Battisti, F., Bay, F., Bazetto, M. C. Q., Alba, J. L. L. Bazo, Beacom, J. F., Bechetoille, E., Behera, B., Belchior, E., Bell, G., Bellantoni, L., Bellettini, G., Bellini, V., Beltramello, O., Benekos, N., Montiel, C. Benitez, Benjamin, D., Neves, F. Bento, Berger, J., Berkman, S., Bernal, J., Bernardini, P.

Volltext

Search for C P -Violating Neutrino Nonstandard Interactions with the NOvA Experiment von Acero, M. A., Acharya, B., Adamson, P., Aliaga, L., Anfimov, N., Antoshkin, A., Arrieta-Diaz, E., Asquith, L., Aurisano, A., Back, A., Balashov, N., Baldi, P., Bambah, B. A., Bat, A., Bays, K., Bernstein, R., Bezerra, T. J. C., Bhatnagar, V., Bhattarai, D., Bhuyan, B., Bian, J., Booth, A. C., Bowles, R., Brahma, B., Bromberg, C., Buchanan, N., Butkevich, A., Calvez, S., Carroll, T. J., Catano-Mur, E., Cesar, J. P., Chatla, A., Chaudhary, S., Chirco, R., Choudhary, B. C., Christensen, A., Cicala, M. F., Coan, T. E., Cooleybeck, A., Cortes-Parra, C., Coveyou, D., Cremonesi, L., Davies, G. S., Derwent, P. F., Djurcic, Z., Dolce, M., Doyle, D., Dueñas Tonguino, D., Dukes, E. C., Dye, A., Ehrlich, R., Ewart, E., Filip, P., Franc, J., Frank, M. J., Gallagher, H. R., Gao, F., Giri, A., Gomes, R. A., Goodman, M. C., Groh, M., Group, R., Habig, A., Hakl, F., Hartnell, J., Hatcher, R., He, M., Heller, K., Hewes, V, Himmel, A., Ivaneev, Y., Ivanova, A., Jargowsky, B., Jarosz, J., Johnson, C., Judah, M., Kakorin, I., Kaplan, D. M., Kalitkina, A., Kleykamp, J., Klimov, O., Koerner, L. W., Kolupaeva, L., Kralik, R., Kuruppu, C. D., Kus, V., Lackey, T., Lang, K., Lesmeister, J., Lister, A., Liu, J., Lock, J. A., Lokajicek, M., MacMahon, M., Magill, S., Mann, W. A., Manoharan, M. T., Manrique Plata, M., Marshak, M. L., Martinez-Casales, M.

Volltext

Formation of Environmentally Persistent Free Radicals (EPFRs) on the Phenol-Dosed α -Fe 2 O 3 (0001) Surface von Sakr, N I, Kizilkaya, Orhan, Carlson, Sierra F, Chan, Simon, Oumnov, Reuben A, Catano, Jaqueline, Kurtz, Richard L, Hall, Randall W, Poliakoff, E D, Sprunger, Phillip T

Volltext

The design and construction of the Chips water Cherenkov neutrino detector von Rancurel, B. Alonso, Angelides, N., Augustoni, G., Bash, S., Bergmann, B., Bertschinger, N., Bizouard, P., Campbell, M., Cao, S., Carroll, T.J., Castellan, R., Catano-Mur, E., Cesar, J.P., Coelho, J.A.B., Dills, P., Dodwell, T., Edmondson, J., van Eijk, D., Fetterly, Q., Garbal, Z., Germani, S., Gilpin, T., Giraudo, A., Habig, A., Hanuska, D., Hausner, H., Hernandez, W.Y., Holin, A., Huang, J., Jones, S.B., Karle, A., Kileff, G., Jenkins, K.R., Kooijman, P., Kreymer, A., Loving, D.A., LaFond, G.M., Lang, K., Lazar, J.P., Li, R., Liu, K., Mánek, P., Marshak, M.L., Meier, J.R., Miller, W., Nelson, J.K., Ng, C., Nichol, R.J., Paolone, V., Perch, A., Pfützner, M.M., Radovic, A., Rawlins, K., Roedl, P., Rogers, L., Safa, I., Sousa, A., Tingey, J., Thomas, J., Trokan-Tenorio, J., Vahle, P., Wade, R., Wendt, C., Wendt, D., Whitehead, L.H., Wolcott, S., Yuan, T.

Volltext