Constraint Reusing and k-Induction for Three-Valued Bounded Model Checking von Timm, Nils, Gruner, Stefan, Harvey, Matthias

Volltext

A Bounded Model Checker for Three-Valued Abstractions of Concurrent Software Systems von Timm, Nils, Gruner, Stefan, Harvey, Matthias

Volltext

Sensitive electromechanical sensors using viscoelastic graphene-polymer nanocomposites von Boland, Conor S., Khan, Umar, Ryan, Gavin, Barwich, Sebastian, Charifou, Romina, Harvey, Andrew, Backes, Claudia, Li, Zheling, Ferreira, Mauro S., Möbius, Matthias E., Young, Robert J., Coleman, Jonathan N.

Volltext

FORUM: Neuroscience: Virtual reality explored

Volltext

Dynamic Reorganization of Neuronal Activity Patterns in Parietal Cortex von Driscoll, Laura N., Pettit, Noah L., Minderer, Matthias, Chettih, Selmaan N., Harvey, Christopher D.

Volltext

Cytosine-5 RNA methylation links protein synthesis to cell metabolism von Gkatza, Nikoletta A, Castro, Cecilia, Harvey, Robert F, Heiß, Matthias, Popis, Martyna C, Blanco, Sandra, Bornelöv, Susanne, Sajini, Abdulrahim A, Gleeson, Joseph G, Griffin, Julian L, West, James A, Kellner, Stefanie, Willis, Anne E, Dietmann, Sabine, Frye, Michaela

Volltext

Lean leadership in major projects: from “predict and provide” to “predict and prevent” von Holweg, Matthias, Maylor, Harvey

Volltext

Quantitative longitudinal T2 mapping for assessing placental function and association with adverse pregnancy outcomes across gestation von Schabel, Matthias C, Roberts, Victoria H J, Gibbins, Karen J, Rincon, Monica, Gaffney, Jessica E, Streblow, Aaron D, Wright, Adam M, Lo, Jamie O, Park, Byung, Kroenke, Christopher D, Szczotka, Kathryn, Blue, Nathan R, Page, Jessica M, Harvey, Kathy, Varner, Michael W, Silver, Robert M, Frias, Antonio E

Volltext

The complete sequence of a human Y chromosome von Rhie, Arang, Nurk, Sergey, Cechova, Monika, Hoyt, Savannah J., Taylor, Dylan J., Altemose, Nicolas, Hook, Paul W., Koren, Sergey, Rautiainen, Mikko, Alexandrov, Ivan A., Allen, Jamie, Asri, Mobin, Bzikadze, Andrey V., Chen, Nae-Chyun, Chin, Chen-Shan, Diekhans, Mark, Flicek, Paul, Formenti, Giulio, Fungtammasan, Arkarachai, Garcia Giron, Carlos, Garrison, Erik, Gershman, Ariel, Gerton, Jennifer L., Grady, Patrick G. S., Guarracino, Andrea, Haggerty, Leanne, Halabian, Reza, Hansen, Nancy F., Harris, Robert, Hartley, Gabrielle A., Harvey, William T., Haukness, Marina, Heinz, Jakob, Hourlier, Thibaut, Hubley, Robert M., Hunt, Sarah E., Hwang, Stephen, Jain, Miten, Kesharwani, Rupesh K., Lewis, Alexandra P., Li, Heng, Logsdon, Glennis A., Lucas, Julian K., Makalowski, Wojciech, Markovic, Christopher, Martin, Fergal J., Mc Cartney, Ann M., McCoy, Rajiv C., McDaniel, Jennifer, McNulty, Brandy M., Medvedev, Paul, Mikheenko, Alla, Munson, Katherine M., Murphy, Terence D., Olsen, Hugh E., Olson, Nathan D., Paulin, Luis F., Porubsky, David, Potapova, Tamara, Ryabov, Fedor, Salzberg, Steven L., Sauria, Michael E. G., Sedlazeck, Fritz J., Shafin, Kishwar, Shepelev, Valery A., Shumate, Alaina, Storer, Jessica M., Surapaneni, Likhitha, Taravella Oill, Angela M., Thibaud-Nissen, Françoise, Timp, Winston, Tomaszkiewicz, Marta, Vollger, Mitchell R., Walenz, Brian P., Watwood, Allison C., Weissensteiner, Matthias H., Wenger, Aaron M., Wilson, Melissa A., Zarate, Samantha, Zhu, Yiming, Zook, Justin M., Eichler, Evan E., O’Neill, Rachel J., Schatz, Michael C., Miga, Karen H., Makova, Kateryna D., Phillippy, Adam M.

Volltext

The effects of child abuse and neglect on cognitive functioning in adulthood von Gould, Felicia, Clarke, Jennifer, Heim, Christine, Harvey, Philip D, Majer, Matthias, Nemeroff, Charles B

Volltext

Recurrent inversion polymorphisms in humans associate with genetic instability and genomic disorders von Porubsky, David, Höps, Wolfram, Ashraf, Hufsah, Hsieh, PingHsun, Rodriguez-Martin, Bernardo, Yilmaz, Feyza, Ebler, Jana, Hallast, Pille, Maria Maggiolini, Flavia Angela, Harvey, William T., Henning, Barbara, Audano, Peter A., Gordon, David S., Ebert, Peter, Hasenfeld, Patrick, Benito, Eva, Zhu, Qihui, Lee, Charles, Antonacci, Francesca, Steinrücken, Matthias, Beck, Christine R., Sanders, Ashley D., Marschall, Tobias, Eichler, Evan E., Korbel, Jan O.

Volltext

The Spatial Structure of Neural Encoding in Mouse Posterior Cortex during Navigation von Minderer, Matthias, Brown, Kristen D., Harvey, Christopher D.

Volltext

Accumulation mechanisms of micrometeorites in an ancient supraglacial moraine at Larkman Nunatak, Antarctica von Genge, Matthew J., Ginneken, Matthias, Suttle, Martin D., Harvey, Ralph P.

Volltext

miR-375 maintains normal pancreatic α- and β-cell mass von Poy, Matthew N, Hausser, Jean, Trajkovski, Mirko, Braun, Matthias, Collins, Stephan, Rorsman, Patrik, Zavolan, Mihaela, Stoffel, Markus

Volltext

Neuroscience: Virtual reality explored von Minderer, Matthias, Harvey, Christopher D, Donato, Flavio, Moser, Edvard I

Volltext

Generative FDG-PET and MRI model of aging and disease progression in Alzheimer's disease von Dukart, Juergen, Kherif, Ferath, Mueller, Karsten, Adaszewski, Stanislaw, Schroeter, Matthias L, Frackowiak, Richard S J, Draganski, Bogdan

Volltext

FBP17 and CIP4 recruit SHIP2 and lamellipodin to prime the plasma membrane for fast endophilin-mediated endocytosis von Chan Wah Hak, Laura, Khan, Shaheen, Di Meglio, Ilaria, Law, Ah-Lai, Lucken-Ardjomande Häsler, Safa, Quintaneiro, Leonor M., Ferreira, Antonio P. A., Krause, Matthias, McMahon, Harvey T., Boucrot, Emmanuel

Volltext

Intravenous alteplase for stroke with unknown time of onset guided by advanced imaging: systematic review and meta-analysis of individual patient data von Schwamm, Lee H, Leys, Didier, Schellinger, Peter D, Thijs, Vincent, Wahlgren, Nils, Toyoda, Kazunori, Albiker, Christian, Almendrote, Miriam, Amiri, Hemasse, Bodechtel, Ulf, Bojaryn, Urszula, Cho, Tae-Hee, Choy, Lillian, Christensen, Hanne, De Hollander, Isabel, De Smedt, Ann, Dittrich, Ralf, Dusart, Anne, Ebinger, Martin, Fandler, Simon, Foerch, Christian, Gerner, Stefan, Harmel, Peter, Hennerici, Michael, Hermans, Sylvia, Hohenbichler, Katharina, Kallmünzer, Bernd, Kellert, Lars, Kraft, Peter, Lovelock, Caroline, Marzina, Annika, Møller, Anette, Moynihan, Barry, Nederkoorn, Paul, Oberndorfer, Stefan, Oppel, Lorenz, Pérez de la Ossa, Natalia, Remmers, Michel, Sagnier, Sharmilla, Soors, Peter, Turc, Guillaume, Vallet, Pauline, van Eendenburg, Cecile, von Weitzel, Paul, Weber, Claudia, Wollboldt, Christian, Ziemann, Ulf, Zuber, Mathieu, Egashira, Yusuke, Gotoh, Seiji, Ide, Toshihiro, Igarashi, Shuichi, Kanai, Haruka, Koga, Masatoshi, Kusumi, Masayoshi, Nagakane, Yoshinari, Sozu, Takashi, Tanaka, Eijiro, Terada, Tomoaki, Todo, Kenichi, Toyoda, Kazunori, Tsujino, Akira, Yonehara, Toshiro, Chen, W.H., Churilov, L., Coote, S., Coulton, B., Day, S., Desmond, P.M., Huang, H.Y., Jeng, J.S., Kasari, O., Kyndt, C., Lau, C.L., Lim, J.C., Lin, D., Loh, P.S., Low, E., Lu, C.J., Lu, M.K., Ng, J-L., Parsons, M.W., Phan, T., Sturm, J., Tatlisumak, T., Tsai, H.T., Tseng, L.T., Tu, H., Tu, H.T-H., Zhao, H., Bluhmki, Erich, Kala, Lalit, Laage, Rico, Nuñez, Xavier, Carandang, Raphael A., Drake, Kendra, Harris, Gordon J., Muzikansky, Alona, Song, Shlee S., Starkman, Sidney

Volltext

Prospective evaluation of methylated SEPT9 in plasma for detection of asymptomatic colorectal cancer von Church, Timothy Robert, Wandell, Michael, Lofton-Day, Catherine, Mongin, Steven J, Burger, Matthias, Payne, Shannon R, Castaños-Vélez, Esmeralda, Blumenstein, Brent A, Rösch, Thomas, Osborn, Neal, Snover, Dale, Day, Robert W, Ransohoff, David F

Volltext

Coronary Intervention for Persistent Occlusion after Myocardial Infarction von Hochman, Judith S, Lamas, Gervasio A, Buller, Christopher E, Dzavik, Vladimir, Reynolds, Harmony R, Abramsky, Staci J, Forman, Sandra, Ruzyllo, Witold, Maggioni, Aldo P, White, Harvey, Sadowski, Zygmunt, Carvalho, Antonio C, Rankin, Jamie M, Renkin, Jean P, Steg, P. Gabriel, Mascette, Alice M, Sopko, George, Pfisterer, Matthias E, Leor, Jonathan, Fridrich, Viliam, Mark, Daniel B, Knatterud, Genell L

Volltext