Combining satisfiability techniques from AI and OR von DIXON, HEIDI E., GINSBERG, MATTHEW L.

Volltext

Generalizing Boolean Satisfiability I: Background and Survey of Existing Work von Dixon, H. E., Ginsberg, M. L., Parkes, A. J.

Volltext

Generalizing Boolean Satisfiability II: Theory von Dixon, H. E., Ginsberg, M. L., Luks, E. M., Parkes, A. J.

Volltext

Generalizing Boolean Satisfiability III: Implementation von Dixon, H. E., Ginsberg, M. L., Hofer, D., Luks, E. M., Parkes, A. J.

Volltext

Database manipulations using group theory von Dixon, Heidi E, Ginsberg, Matthew L, Hofer, David, Luks, Eugene M

Volltext bestellen

Database manipulations using group theory von GINSBERG MATTHEW L, LUKS EUGENE M, DIXON HEIDI E, HOFER DAVID

Volltext bestellen

Database manipulations using group theory von GINSBERG MATTHEW L, LUKS EUGENE M, DIXON HEIDI E, HOFER DAVID

Volltext bestellen

Database manipulations using group theory von GINSBERG MATTHEW L, LUKS EUGENE M, DIXON HEIDI E, HOFER DAVID

Volltext bestellen

Selective inhibitor of endosomal trafficking pathways exploited by multiple toxins and viruses von Gillespie, Eugene J, Ho, Chi-Lee C, Balaji, Kavitha, Clemens, Daniel L, Deng, Gang, Wang, Yao E, Elsaesser, Heidi J, Tamilselvam, Batcha, Gargi, Amandeep, Dixon, Shandee D, France, Bryan, Chamberlain, Brian T, Blanke, Steven R, Cheng, Genhong, de la Torre, Juan Carlos, Brooks, David G, Jung, Michael E, Colicelli, John, Damoiseaux, Robert, Bradley, Kenneth A

Volltext

Mitochondrial dynamics and bioenergetics regulated by netrin‐1 in oligodendrocytes von Nakamura, Diane S., Lin, Yun Hsuan, Khan, Damla, Gothié, Jean‐David M, Faria, Omar, Dixon, James A., McBride, Heidi M., Antel, Jack P., Kennedy, Timothy E.

Volltext

Characterization of subsurface media from locations up- and down-gradient of a uranium-contaminated aquifer von Moon, Ji-Won, Paradis, Charles J., Joyner, Dominique C., von Netzer, Frederick, Majumder, Erica L., Dixon, Emma R., Podar, Mircea, Ge, Xiaoxuan, Walian, Peter J., Smith, Heidi J., Wu, Xiaoqin, Zane, Grant M., Walker, Kathleen F., Thorgersen, Michael P., Poole II, Farris L., Lui, Lauren M., Adams, Benjamin G., De León, Kara B., Brewer, Sheridan S., Williams, Daniel E., Lowe, Kenneth A., Rodriguez, Miguel, Mehlhorn, Tonia L., Pfiffner, Susan M., Chakraborty, Romy, Arkin, Adam P., Wall, Judy D., Fields, Matthew W., Adams, Michael W.W., Stahl, David A., Elias, Dwayne A., Hazen, Terry C.

Volltext

Safety of dabigatran etexilate for the secondary prevention of venous thromboembolism in children von Brandão, Leonardo R., Albisetti, Manuela, Halton, Jacqueline, Bomgaars, Lisa, Chalmers, Elizabeth, Mitchell, Lesley G., Nurmeev, Ildar, Svirin, Pavel, Kuhn, Tomas, Zapletal, Ondrej, Tartakovsky, Igor, Simetzberger, Monika, Huang, Fenglei, Sun, Zhichao, Kreuzer, Jörg, Gropper, Savion, Brueckmann, Martina, Luciani, Matteo

Volltext

Mass SARS-CoV-2 Testing in a Dormitory-Style Correctional Facility in Arkansas von Tompkins, Lindsay K, Gunn, Jayleen K L, Cherney, Blake, Ham, Jason E, Horth, Roberta, Rossetti, Rebecca, Bower, William A, Benson, Kelsey, Hagan, Liesl M, Crist, Matthew B, Mettee Zarecki, Shauna L, Dixon, Meredith G, Dillaha, Jennifer A, Patil, Naveen, Dusseau, Charles, Ross, Tara, Matthews, H Stewart, Garner, Kelley, Starks, Angela M, Weiner, Zachary, Bowen, Michael D, Bankamp, Bettina, Newton, Anna E, Logan, Naeemah, Schuh, Amy J, Trimble, Sean, Pfeiffer, Heidi, James, Allison E, Tian, Niu, Jacobs, Jesica R, Ruiz, Francisco, McDonald, Kellen, Thompson, Marlowe, Cooley, Laura, Honein, Margaret A, Rose, Dale A

Volltext

Dabigatran etexilate for the treatment of acute venous thromboembolism in children (DIVERSITY): a randomised, controlled, open-label, phase 2b/3, non-inferiority trial von Halton, Jacqueline, Brandão, Leonardo R, Luciani, Matteo, Bomgaars, Lisa, Chalmers, Elizabeth, Mitchell, Lesley G, Nurmeev, Ildar, Sharathkumar, Anjali, Svirin, Pavel, Gorbatikov, Kirill, Tartakovsky, Igor, Simetzberger, Monika, Huang, Fenglei, Sun, Zhichao, Kreuzer, Jörg, Gropper, Savion, Reilly, Paul, Brueckmann, Martina, Albisetti, Manuela, Nurmeev, Ildar, Safina, Asiya, Zapletal, Ondrej, Brandão, Leonardo R, Kuhn, Tomas, Votava, Tomas, Felgenhauer, Judy, Sharathkumar, Anjali, Svirin, Pavel, Amid, Ali, Halton, Jacqueline, Gorbatikov, Kirill, Saracco, Paola, Kiss, Csongor, Halimeh, Susan, Reschke, Madlen, Wulff, Beate, David, Michele, Novak, Zbynek, Trunina, Inna, Albisetti, Manuela, Frisk, Tony, Glosli, Heidi, Groll, Andreas, Lvova, Olga, Sasmaz, Ilgen, Sosothikul, Darintr, Zilinskaite, Virginija, Cockrell, Erin, Digtyar, Valeriy, Hadacova, Ivana, Palmu, Sauli, Pawar, Anjali, Annichino Bizzacchi, Joyce Maria, Caliskan, Umran, Celkan, Tiraje, Dmytriiev, Dmytro, Druzgal, Colleen Harkins, Onelda Elena, Graciela, Kattamis, Antonis, Kavakli, Ramazan Kaan, Male, Christoph, Ozdemir, Nihal, Van Damme, An, Zvereva, Tatiana, Aarli, Aanen, Paredes Aguilera, Rogelio Alejandro, Aytac, Selin, Carneiro, Jorge, Chistolini, Antonio, Mazzucconi, Maria Gabriela, Corrales-Medina, Fernando, Couturaud, Francis, Croteau, Stacey E, Trenor III, Cameron, Damgaard, Michael, Dixon, Natalia, Galustyan, Anna, Hak, Jiri, Hoffmann, Marianne, Kupesiz, Alphan, Labarque, Veerle, van Geet, Christel, Lin, Ming-Chih, Fu, Yun-Ching, Loggetto, Sandra, Mondelaers, Veerle, Odri-Komazec, Irena, Revel-Vilk, Shoshana, Sevilla, Julian, Fuzzato Silva, Luciano, Kerr Saraiva, José, Montes Tapia, Fernando Felix, Woods-Swafford, Wendy

Volltext

A global multiproxy database for temperature reconstructions of the Common Era von Emile-Geay, Julien, McKay, Nicholas P., Kaufman, Darrell S., von Gunten, Lucien, Wang, Jianghao, Anchukaitis, Kevin J., Abram, Nerilie J., Addison, Jason A., Curran, Mark A.J., Evans, Michael N., Henley, Benjamin J., Hao, Zhixin, Martrat, Belen, McGregor, Helen V., Neukom, Raphael, Pederson, Gregory T., Stenni, Barbara, Thirumalai, Kaustubh, Werner, Johannes P., Xu, Chenxi, Divine, Dmitry V., Dixon, Bronwyn C., Gergis, Joelle, Mundo, Ignacio A., Nakatsuka, Takeshi, Phipps, Steven J., Routson, Cody C., Steig, Eric J., Tierney, Jessica E., Tyler, Jonathan J., Allen, Kathryn J., Bertler, Nancy A.N., Björklund, Jesper, Chase, Brian M., Chen, Min-Te, Cook, Ed, de Jong, Rixt, DeLong, Kristine L., Dixon, Daniel A., Ekaykin, Alexey A., Ersek, Vasile, Filipsson, Helena L., Francus, Pierre, Freund, Mandy B., Frezzotti, Massimo, Gaire, Narayan P., Gajewski, Konrad, Ge, Quansheng, Goosse, Hugues, Gornostaeva, Anastasia, Grosjean, Martin, Horiuchi, Kazuho, Hormes, Anne, Husum, Katrine, Isaksson, Elisabeth, Kandasamy, Selvaraj, Kawamura, Kenji, Kilbourne, K. Halimeda, Koç, Nalan, Leduc, Guillaume, Linderholm, Hans W., Lorrey, Andrew M., Mikhalenko, Vladimir, Mortyn, P. Graham, Motoyama, Hideaki, Moy, Andrew D., Mulvaney, Robert, Munz, Philipp M., Nash, David J., Oerter, Hans, Opel, Thomas, Orsi, Anais J., Ovchinnikov, Dmitriy V., Porter, Trevor J., Roop, Heidi A., Saenger, Casey, Sano, Masaki, Sauchyn, David, Saunders, Krystyna M., Seidenkrantz, Marit-Solveig, Severi, Mirko, Shao, Xuemei, Sicre, Marie-Alexandrine, Sigl, Michael, Sinclair, Kate, St. George, Scott, St. Jacques, Jeannine-Marie, Thamban, Meloth, Kuwar Thapa, Udya, Thomas, Elizabeth R., Turney, Chris, Uemura, Ryu, Viau, Andre E., Vladimirova, Diana O., Wahl, Eugene R., White, James W.C., Yu, Zicheng, Zinke, Jens

Volltext

Cognitive correlates of antisaccade behaviour across multiple neurodegenerative diseases von Riek, Heidi C, Brien, Donald C, Coe, Brian C, Huang, Jeff, Perkins, Julia E, Yep, Rachel, McLaughlin, Paula M, Orange, Joseph B, Peltsch, Alicia J, Roberts, Angela C, Binns, Malcolm A, Lou, Wendy, Abrahao, Agessandro, Arnott, Stephen R, Beaton, Derek, Black, Sandra E, Dowlatshahi, Dar, Finger, Elizabeth, Fischer, Corinne E, Frank, Andrew R, Grimes, David A, Kumar, Sanjeev, Lang, Anthony E, Lawrence-Dewar, Jane M, Mandzia, Jennifer L, Marras, Connie, Masellis, Mario, Pasternak, Stephen H, Pollock, Bruce G, Rajji, Tarek K, Sahlas, Demetrios J, Saposnik, Gustavo, Seitz, Dallas P, Shoesmith, Christen, Steeves, Thomas D L, Strother, Stephen C, Sunderland, Kelly M, Swartz, Richard H, Tan, Brian, Tang-Wai, David F, Tartaglia, Maria Carmela, Turnbull, John, Zinman, Lorne, Munoz, Douglas P

Volltext

Multiorgan MRI findings after hospitalisation with COVID-19 in the UK (C-MORE): a prospective, multicentre, observational cohort study von Baillie, J K, Jones, S, Young, Susan, Jarrold, I, Manisty, Charlotte, Brown, V, Southern, David, Roberts, K, Whitehead, Victoria, Regan, Karen, Ribeiro, Carla, Cruz, Isabel, Paradowski, Kerry, Broad, Lauren, Knibbs, Lucy, Rees, Meryl, Keenan, Natalie, Hazelton, Tracy, Wilson, Ann, Arbane, Gill, Solano, Teresa S, Ellis, Y, Sykes, D L, Wolf-Roberts, Rebecca, King, Clara, Nunag, Jose Lloyd, Evison, Lynsey, Yasmin, Najira, Wilkins, M, Ismail, K, Greenwood, John P, Murira, Jennifer, Dalton, Matthhew, Allt, Ann Marie, Malein, Flora, Melling, Lucy, Greenhalf, William, Faluyi, David, Choudhury, N, Stockdale, Sue, Paddick, S, Burn, D, Price, D, Davies, Gareth, Hughes, Joan, Thomas, S, Dougherty, Andrew, Morrow, A, Barrett, Fiona, Rowland, J, Francis, Susan, Hosseini, A, Pavlides, M, Jezzard, Peter, Barker, R E, Kon, S, Singh, Suver, Paques, K, Chan, Flora, Foot, H, Birchall, K, Steele, N, Holbourn, Ailsa, Zawia, Amira, Thamu, B, Foote, David, Stephens, G, Wade, Phillip, Rowland-Jones, Sarah L, Painter, Sharon, Aul, Raminder, Rees, Tabitha, Savill, Heather, Aslani, S, Plant, Hannah, Porter, Joanna C, Roy, K, Yip, K P, Ventura, M, Holden, S, Harvey, M, Fletcher, S, Steeds, Rick, Prickett, A, Mills, G, Soares, M, Allan, L, Cavanagh, J, Sattar, N, Guillen Guio, Beatriz, Sargant, J, Novotny, Petr, Baguley, D, Johnson, S, Menke, Ricarda, Miller, Karla, Daines, L, Reddington, A, Brookes, C, Ionita, D

Volltext

Febrile Illness Evaluation in a Broad Range of Endemicities (FIEBRE): protocol for a multisite prospective observational study of the causes of fever in Africa and Asia von Hopkins, Heidi, Bassat, Quique, Chandler, Clare IR, Crump, John A, Feasey, Nicholas A, Ferrand, Rashida A, Kranzer, Katharina, Lalloo, David G, Mayxay, Mayfong, Newton, Paul N, Mabey, David, Amos, Benjamin, Bell, David, Blacksell, Stuart D, Bradley, John, Chandler, Clare IR, Chansamouth, Vilada, Chimenya, Mabvuto, Craig, Scott B, Dance, David AB, Dauya, Ethel, Lamballerie, Xavier de, Graves, Stephen R, Green, Edward W, Haigh, Kate A, Handley, Becca L, Hibberd, Martin L, Hutchison, Coll D, Jones, Jayne, Kain, Kevin C, Lal, Pankaj, Lal, Sham, Lubell, Yoel, MacPherson, Eleanor, Marlais, Tegwen, Maurer, Florian P, Olaru, Ioana D, Parry, Christopher M, Roberts, Chrissy h, Stenos, John, Tembe, Nelson, Ussher, James E, Valente, Marta, Vitorino, Pio, Voice, Marie A, Joseph Wheat, L, Dixon, Justin, Dubot-Pérès, Audrey, Durkin, Michelle M, Fink, Colin, Fitzgerald, Felicity C

Volltext

Outcomes of SARS-CoV-2-Positive Youths Tested in Emergency Departments: The Global PERN-COVID-19 Study von Funk, Anna L, Florin, Todd A, Kuppermann, Nathan, Tancredi, Daniel J, Xie, Jianling, Kim, Kelly, Neuman, Mark I, Ambroggio, Lilliam, Plint, Amy C, Mintegi, Santiago, Klassen, Terry P, Salvadori, Marina I, Malley, Richard, Payne, Daniel C, Simon, Norma-Jean, Yock-Corrales, Adriana, Nebhrajani, Jasmine R, Chaudhari, Pradip P, Breslin, Kristen A, Finkelstein, Yaron, Campos, Carmen, Bergmann, Kelly R, Bhatt, Maala, Ahmad, Fahd A, Gardiner, Michael A, Avva, Usha R, Shah, Nipam P, Sartori, Laura F, Sabhaney, Vikram J, Caperell, Kerry, Navanandan, Nidhya, Borland, Meredith L, Morris, Claudia R, Gangoiti, Iker, Pavlicich, Viviana, Kannikeswaran, Nirupama, Lunoe, Maren M, Rino, Pedro B, Kam, April J, Cherry, Jonathan C, Rogers, Alexander J, Chong, Shu-Ling, Palumbo, Laura, Angelats, Carlos M, Morrison, Andrea K, Kwok, Maria Y, Becker, Sarah M, Dixon, Andrew C, Poonai, Naveen, Eckerle, Michelle, Wassem, Muhammad, Dalziel, Stuart R, Freedman, Stephen B

Volltext

Crystal structure of Yersinia protein tyrosine phosphatase at 2.5 Å and the complex with tungstate von Stuckey, Jeanne A, Schubert, Heidi L, Fauman, Eric B, Zhang, Zhong-Yin, Dixon, Jack E, Saper, Mark A

Volltext