Building a Hypervisor on a Formally Verifiable Protection Layer von McCoyd, M., Krug, R. B., Goel, D., Dahlin, M., Young, W.

Volltext

Meta Reasoning in ACL2 von Hunt, Warren A., Kaufmann, Matt, Krug, Robert Bellarmine, Moore, J Strother, Smith, Eric Whitman

Volltext

Linear and Nonlinear Arithmetic in ACL2 von Hunt, Warren A., Krug, Robert Bellarmine, Moore, J.

Volltext

Improving the forecast for biodiversity under climate change von Urban, M. C., Bocedi, G., Hendry, A. P., Mihoub, J.-B., Pe'er, G., Singer, A., Bridle, J. R., Crozier, L. G., De Meester, L., Godsoe, W., Gonzalez, A., Hellmann, J. J., Holt, R. D., Huth, A., Johst, K., Krug, C. B., Leadley, P. W., Palmer, S. C. F., Pantel, J. H., Schmitz, A., Zollner, P. A., Travis, J. M. J.

Volltext

Equilibrium Skyrmion Lattice Ground State in a Polar Easy-plane Magnet von Bordács, S., Butykai, A., Szigeti, B. G., White, J. S., Cubitt, R., Leonov, A. O., Widmann, S., Ehlers, D., von Nidda, H.-A. Krug, Tsurkan, V., Loidl, A., Kézsmárki, I.

Volltext

Impaired function and delayed regeneration of dendritic cells in COVID-19 von Winheim, Elena, Rinke, Linus, Lutz, Konstantin, Reischer, Anna, Leutbecher, Alexandra, Wolfram, Lina, Rausch, Lisa, Kranich, Jan, Wratil, Paul R, Huber, Johanna E, Baumjohann, Dirk, Rothenfusser, Simon, Schubert, Benjamin, Hilgendorff, Anne, Hellmuth, Johannes C, Scherer, Clemens, Muenchhoff, Maximilian, von Bergwelt-Baildon, Michael, Stark, Konstantin, Straub, Tobias, Brocker, Thomas, Keppler, Oliver T, Subklewe, Marion, Krug, Anne B

Volltext

Development of Microbiome Biobanks – Challenges and Opportunities von Ryan, M.J., Schloter, M., Berg, G., Kostic, T., Kinkel, L.L., Eversole, K., Macklin, J.A., Schelkle, B., Kazou, M., Sarand, I., Singh, B.K., Fischer, D., Maguin, E., Ferrocino, I., Lima, N., McClure, R.S., Charles, T.C., de Souza, R.S.C., Kiran, G.S., Krug, H.L., Taffner, J., Roume, H., Selvin, J., Smith, D., Rybakova, D., Sessitsch, A.

Volltext

Microscaled proteogenomic methods for precision oncology von Satpathy, Shankha, Jaehnig, Eric J., Krug, Karsten, Kim, Beom-Jun, Saltzman, Alexander B., Chan, Doug W., Holloway, Kimberly R., Anurag, Meenakshi, Huang, Chen, Singh, Purba, Gao, Ari, Namai, Noel, Dou, Yongchao, Wen, Bo, Vasaikar, Suhas V., Mutch, David, Watson, Mark A., Ma, Cynthia, Ademuyiwa, Foluso O., Rimawi, Mothaffar F., Schiff, Rachel, Hoog, Jeremy, Jacobs, Samuel, Malovannaya, Anna, Hyslop, Terry, Clauser, Karl R., Mani, D. R., Perou, Charles M., Miles, George, Zhang, Bing, Gillette, Michael A., Carr, Steven A., Ellis, Matthew J.

Volltext

Systematic misestimation of machine learning performance in neuroimaging studies of depression von Flint, Claas, Cearns, Micah, Opel, Nils, Redlich, Ronny, Mehler, David M A, Emden, Daniel, Winter, Nils R, Leenings, Ramona, Eickhoff, Simon B, Kircher, Tilo, Krug, Axel, Nenadic, Igor, Arolt, Volker, Clark, Scott, Baune, Bernhard T, Jiang, Xiaoyi, Dannlowski, Udo, Hahn, Tim

Volltext

The Biogeography of Marine Invertebrate Life Histories von Marshall, Dustin J, Krug, Patrick J, Kupriyanova, Elena K, Byrne, Maria, Emlet, Richard B

Volltext

Gene expression profiling of immune-competent human cells exposed to engineered zinc oxide or titanium dioxide nanoparticles von Tuomela, Soile, Autio, Reija, Buerki-Thurnherr, Tina, Arslan, Osman, Kunzmann, Andrea, Andersson-Willman, Britta, Wick, Peter, Mathur, Sanjay, Scheynius, Annika, Krug, Harald F, Fadeel, Bengt, Lahesmaa, Riitta

Volltext

Multifunctional floodplain management and biodiversity effects: a knowledge synthesis for six European countries von Schindler, Stefan, Fionnuala H. O’Neill, Marianna BirÃ, Christian Damm, Viktor Gasso, Robert Kanka, Theo van der Sluis, Andreas Krug, Sophie G. Lauwaars, Zita Sebesvari, Martin Pusch, Boris Baranovsky, Thomas Ehlert, Bernd Neukirchen, James R. Martin, Katrin Euller, Volker Mauerhofer, Thomas Wrbka

Volltext

Proteogenomic Landscape of Breast Cancer Tumorigenesis and Targeted Therapy von Krug, Karsten, Jaehnig, Eric J., Satpathy, Shankha, Blumenberg, Lili, Karpova, Alla, Anurag, Meenakshi, Miles, George, Mertins, Philipp, Geffen, Yifat, Tang, Lauren C., Heiman, David I., Cao, Song, Maruvka, Yosef E., Lei, Jonathan T., Huang, Chen, Kothadia, Ramani B., Colaprico, Antonio, Birger, Chet, Wang, Jarey, Dou, Yongchao, Wen, Bo, Shi, Zhiao, Liao, Yuxing, Wiznerowicz, Maciej, Wyczalkowski, Matthew A., Chen, Xi Steven, Kennedy, Jacob J., Paulovich, Amanda G., Thiagarajan, Mathangi, Kinsinger, Christopher R., Hiltke, Tara, Boja, Emily S., Mesri, Mehdi, Robles, Ana I., Rodriguez, Henry, Westbrook, Thomas F., Ding, Li, Getz, Gad, Clauser, Karl R., Fenyö, David, Ruggles, Kelly V., Zhang, Bing, Mani, D.R., Carr, Steven A., Ellis, Matthew J., Gillette, Michael A., Avanessian, Shayan C., Cai, Shuang, Chan, Daniel, Chen, Xian, Edwards, Nathan J., Hoofnagle, Andrew N., Kane, M. Harry, Ketchum, Karen A., Kuhn, Eric, Levine, Douglas A., Li, Shunqiang, Liebler, Daniel C., Liu, Tao, Luo, Jingqin, Madhavan, Subha, Maher, Chris, McDermott, Jason E., McGarvey, Peter B., Oberti, Mauricio, Pandey, Akhilesh, Payne, Samuel H., Ransohoff, David F., Rivers, Robert C., Rodland, Karin D., Rudnick, Paul, Sanders, Melinda E., Shaw, Kenna M., Shih, Ie-Ming, Slebos, Robbert J.C., Smith, Richard D., Snyder, Michael, Stein, Stephen E., Tabb, David L., Thangudu, Ratna R., Thomas, Stefani, Wang, Yue, White, Forest M., Whiteaker, Jeffrey R., Whiteley, Gordon A., Zhang, Hui, Zhang, Zhen, Zhao, Yingming, Zhu, Heng, Zimmerman, Lisa J.

Volltext

Society for Immunotherapy of Cancer (SITC) consensus definitions for immune checkpoint inhibitor-associated immune-related adverse events (irAEs) terminology von Naidoo, Jarushka, Murphy, Catherine, Atkins, Michael B, Brahmer, Julie R, Champiat, Stephane, Feltquate, David, Krug, Lee M, Moslehi, Javid, Pietanza, M Catherine, Riemer, Joanne, Robert, Caroline, Sharon, Elad, Suarez-Almazor, Maria E, Suresh, Karthik, Turner, Michelle, Weber, Jeffrey, Cappelli, Laura C

Volltext

Novel zebrafish behavioral assay to identify modifiers of the rapid, nongenomic stress response von Lee, Han B., Schwab, Tanya L., Sigafoos, Ashley N., Gauerke, Jennifer L., Krug, Randall G., Serres, MaKayla R., Jacobs, Dakota C., Cotter, Ryan P., Das, Biswadeep, Petersen, Morgan O., Daby, Camden L., Urban, Rhianna M., Berry, Bethany C., Clark, Karl J.

Volltext

Set ambitious goals for biodiversity and sustainability von Díaz, Sandra, Zafra-Calvo, Noelia, Purvis, Andy, Verburg, Peter H, Obura, David, Leadley, Paul, Chaplin-Kramer, Rebecca, De Meester, Luc, Dulloo, Ehsan, Martín-López, Berta, Shaw, M Rebecca, Visconti, Piero, Broadgate, Wendy, Bruford, Michael W, Burgess, Neil D, Cavender-Bares, Jeannine, DeClerck, Fabrice, Fernández-Palacios, José María, Garibaldi, Lucas A, Hill, Samantha L L, Isbell, Forest, Khoury, Colin K, Krug, Cornelia B, Liu, Jianguo, Maron, Martine, McGowan, Philip J K, Pereira, Henrique M, Reyes-García, Victoria, Rocha, Juan, Rondinini, Carlo, Shannon, Lynne, Shin, Yunne-Jai, Snelgrove, Paul V R, Spehn, Eva M, Strassburg, Bernardo, Subramanian, Suneetha M, Tewksbury, Joshua J, Watson, James E M, Zanne, Amy E

Volltext

Extended induction chemotherapy does not improve the outcome for high-risk neuroblastoma patients: results of the randomized open-label GPOH trial NB2004-HR von Berthold, F., Faldum, A., Ernst, A., Boos, J., Dilloo, D., Eggert, A., Fischer, M., Frühwald, M., Henze, G., Klingebiel, T., Kratz, C., Kremens, B., Krug, B., Leuschner, I., Schmidt, M., Schmidt, R., Schumacher-Kuckelkorn, R., von Schweinitz, D., Schilling, F.H., Theissen, J., Volland, R., Hero, B., Simon, T.

Volltext

Linking biodiversity, ecosystem services, and human well-being: three challenges for designing research for sustainability von Bennett, Elena M, Cramer, Wolfgang, Begossi, Alpina, Cundill, Georgina, Díaz, Sandra, Egoh, Benis N, Geijzendorffer, Ilse R, Krug, Cornelia B, Lavorel, Sandra, Lazos, Elena, Lebel, Louis, Martín-López, Berta, Meyfroidt, Patrick, Mooney, Harold A, Nel, Jeanne L, Pascual, Unai, Payet, Karine, Harguindeguy, Natalia Pérez, Peterson, Garry D, Prieur-Richard, Anne-Hélène, Reyers, Belinda, Roebeling, Peter, Seppelt, Ralf, Solan, Martin, Tschakert, Petra, Tscharntke, Teja, Turner, BL, Verburg, Peter H, Viglizzo, Ernesto F, White, Piran CL, Woodward, Guy

Volltext

Treatment of supraglottic squamous cell carcinoma with advanced technologies: observational prospective evaluation of oncological outcomes, functional outcomes, quality of life and... von Hassid, S, Krug, B, Deheneffe, S, Daisne, J-F, Delahaut, G, Lawson, G, Crott, R, Van der Vorst, S

Volltext

A critical evaluation of the material properties and clinical suitability of in‐house printed and commercial tooth replicas for endodontic training von Reymus, M., Stawarczyk, B., Winkler, A., Ludwig, J., Kess, S., Krastl, G., Krug, R.

Volltext