Complete and easy type Inference for first-class polymorphism von Emrich, Frank

Volltext bestellen

Constraint-based type inference for FreezeML von Emrich, Frank, Stolarek, Jan, Cheney, James, Lindley, Sam

Volltext

Biomechanics of double transtibial amputee sprinting using dedicated sprinting prostheses von Brüggemann, Gert‐Peter, Arampatzis, Adamantios, Emrich, Frank, Potthast, Wolfgang

Volltext

Influence of an engineered backpack ventilation technology on thermal comfort during cycling - a pilot study von Frank Ingo Michel, Schneider, Nils, Lachner, Markus, Klauer, Robert, Emrich, Frank, Remmerie Wouter

Volltext

Biomechanics of double transtibial amputee sprinting using dedicated sprinting prostheses von Brüggemann, Gert-Peter, Arampatzis, Adamantios, Emrich, Frank, Potthast, Wolfgang

Volltext

AProVE: Modular Termination Analysis of Memory-Manipulating C Programs von Emrich, Frank, Hensel, Jera, Giesl, Jürgen

Volltext bestellen

Constraint-based type inference for FreezeML von Emrich, Frank, Stolarek, Jan, Cheney, James, Lindley, Sam

Volltext bestellen

AProVE: Modular Termination Analysis of Memory-Manipulating C Programs von Emrich, Frank, Hensel, Jera, Giesl, Jürgen

Volltext

FreezeML: Complete and Easy Type Inference for First-Class Polymorphism von Emrich, Frank, Lindley, Sam, Stolarek, Jan, Cheney, James, Coates, Jonathan

Volltext

Constraint-based type inference for FreezeML von Emrich, Frank, Stolarek, Jan, Cheney, James, Lindley, Sam

Volltext

AProVE: Proving and Disproving Termination of Memory-Manipulating C Programs: Competition Contribution von Hensel, Jera, Emrich, Frank, Frohn, Florian, Ströder, Thomas, Giesl, Jürgen

Volltext

VectorBase: an updated bioinformatics resource for invertebrate vectors and other organisms related with human diseases von Giraldo-Calderón, Gloria I, Emrich, Scott J, MacCallum, Robert M, Maslen, Gareth, Dialynas, Emmanuel, Topalis, Pantelis, Ho, Nicholas, Gesing, Sandra, Madey, Gregory, Collins, Frank H, Lawson, Daniel

Volltext

VectorBase: improvements to a bioinformatics resource for invertebrate vector genomics von Megy, Karine, Emrich, Scott J., Lawson, Daniel, Campbell, David, Dialynas, Emmanuel, Hughes, Daniel S.T., Koscielny, Gautier, Louis, Christos, MacCallum, Robert M., Redmond, Seth N., Sheehan, Andrew, Topalis, Pantelis, Wilson, Derek

Volltext

Overcoming real-world obstacles in 21 cm power spectrum estimation: A method demonstration and results from early Murchison Widefield Array data von Dillon, Joshua S., Liu, Adrian, Williams, Christopher L., Hewitt, Jacqueline N., Tegmark, Max, Morgan, Edward H., Levine, Alan M., Morales, Miguel F., Tingay, Steven J., Bernardi, Gianni, Bowman, Judd D., Briggs, Frank H., Cappallo, Roger C., Emrich, David, Mitchell, Daniel A., Oberoi, Divya, Prabu, Thiagaraj, Wayth, Randall, Webster, Rachel L.

Volltext

A multiplex real-time PCR assay for rapid detection and differentiation of 25 bacterial and fungal pathogens from whole blood samples von Lehmann, Lutz Eric, Hunfeld, Klaus-Peter, Emrich, Thomas, Haberhausen, Gerd, Wissing, Heimo, Hoeft, Andreas, Stüber, Frank

Volltext

Reduced-representation sequencing identifies small effective population sizes of Anopheles gambiae in the north-western Lake Victoria basin, Uganda von Wiltshire, Rachel M, Bergey, Christina M, Kayondo, Jonathan K, Birungi, Josephine, Mukwaya, Louis G, Emrich, Scott J, Besansky, Nora J, Collins, Frank H

Volltext

Placebo-Controlled Phase 3 Study of Oral BG-12 for Relapsing Multiple Sclerosis von Gold, Ralf, Kappos, Ludwig, Arnold, Douglas L, Bar-Or, Amit, Giovannoni, Gavin, Selmaj, Krzysztof, Tornatore, Carlo, Sweetser, Marianne T, Yang, Minhua, Sheikh, Sarah I, Dawson, Katherine T

Volltext

Highly evolvable malaria vectors: The genomes of 16 Anopheles mosquitoes von Neafsey, Daniel E., Waterhouse, Robert M.

Volltext

Measures of chronic kidney disease and risk of incident peripheral artery disease: a collaborative meta-analysis of individual participant data von Matsushita, Kunihiro, Ballew, Shoshana H, Coresh, Josef, Arima, Hisatomi, Ärnlöv, Johan, Cirillo, Massimo, Ebert, Natalie, Hiramoto, Jade S, Kimm, Heejin, Shlipak, Michael G, Visseren, Frank L J, Gansevoort, Ron T, Kovesdy, Csaba P, Shalev, Varda, Woodward, Mark, Kronenberg, Florian, Chalmers, John, Arima, Hisatomi, Perkovic, Vlado, Grams, Morgan E., Sang, Yingying, Schaeffner, Elke, Martus, Peter, Levin, Adeera, Djurdjev, Ognjenka, Tang, Mila, Heine, Gunnar, Seiler, Sarah, Zawada, Adam, Emrich, Insa, Sarnak, Mark, Katz, Ronit, Brenner, Hermann, Schöttker, Ben, Rothenbacher, Dietrich, Saum, Kai-Uwe, Köttgen, Anna, Schneider, Markus, Eckardt, Kai-Uwe, Green, Jamie, Kirchner, H Lester, Chang, Alex R, Black, Corri, Marks, Angharad, Prescott, Gordon, Clark, Laura, Fluck, Nick, Jee, Sun Ha, Mok, Yejin, Chodick, Gabriel, Shalev, Varda, Wetzels, Jack F.M., Blankestijn, Peter J, van Zuilen, Arjan D, Bots, M, Peralta, Carmen, Hiromoto, Jade, Bottinger, Erwin, Nadkarni, Girish N, Ellis, Stephen B, Nadukuru, Rajiv, Kenealy, Timothy, Elley, C Raina, Collins, John F, Drury, Paul L, Bakker, Stephan JL, Heerspink, Hiddo J Lambers, Jassal, Simerjot K, Bergstrom, Jaclyn, Ix, Joachim H, Barrett-Connor, Elizabeth, Kalantar-Zadeh, Kamyar, Carrero, Juan J, Gasparini, Alessandro, Qureshi, Abdul Rashid, Barany, Peter, Algra, Ale, van der Graaf, Yolanda, Evans, Marie, Segelmark, Mårten, Stendahl, Maria, Schön, Staffan, Tangri, Navdeep, Sud, Maneesh, Naimark, David, Lannfelt, Lars, Larsson, Anders, Hallan, Stein, Levey, Andrew S, Chen, Jingsha, Kwak, Lucia

Volltext

Breakpoint structure of the Anopheles gambiae 2Rb chromosomal inversion von Lobo, Neil F, Sangaré, Djibril M, Regier, Allison A, Reidenbach, Kyanne R, Bretz, David A, Sharakhova, Maria V, Emrich, Scott J, Traore, Sekou F, Costantini, Carlo, Besansky, Nora J, Collins, Frank H

Volltext