Resource-Optimal Scheduling Using Priced Timed Automata von Rasmussen, J. I., Larsen, Kim G., Subramani, K.

Volltext

On using priced timed automata to achieve optimal scheduling von Rasmussen, J. I., Larsen, K. G., Subramani, K.

Volltext

Lipids, lipoproteins, and apolipoproteins during the first year of life: a prospective cohort study von Nielsen, S T, Lytsen, R M, Strandkjaer, N, Rasmussen, I J, Sillesen, A S, Voegg, R O, Axelsson, A R, Nordestgaard, B G, Kamstrup, P R, Iversen, K K, Bundgaard, H, Tybjaerg-Hansen, A, Frikke-Schmidt, R

Volltext

Intensive Lipid Lowering with Simvastatin and Ezetimibe in Aortic Stenosis von Rossebø, Anne B, Pedersen, Terje R, Boman, Kurt, Brudi, Philippe, Chambers, John B, Egstrup, Kenneth, Gerdts, Eva, Gohlke-Bärwolf, Christa, Holme, Ingar, Kesäniemi, Y. Antero, Malbecq, William, Nienaber, Christoph A, Ray, Simon, Skjærpe, Terje, Wachtell, Kristian, Willenheimer, Ronnie

Volltext

Assessment of Competence in EVAR Procedures: A Novel Rating Scale Developed by the Delphi Technique von Strøm, M, Lönn, L, Bech, B, Schroeder, T.V, Konge, L

Volltext

Priced Timed Automata: Algorithms and Applications von Behrmann, Gerd, Larsen, Kim G., Rasmussen, Jacob I.

Volltext

Collective Band Structures and Identification of One-Phonon and Two-Phonon γ-Vibrational Bands in 109Tc von GU Long ZHU Sheng-Jiang J. H. Hamilton A. V. Ramayya J. K. Hwang S. H. Liu WANG Jian-Guo Y. X. Luo J. O. Rasmussen I. Y. Lee XU Qiang E. Y. Yeoh W. C. Ma

Volltext

Beyond Liveness: Efficient Parameter Synthesis for Time Bounded Liveness von Behrmann, Gerd, Larsen, Kim G., Rasmussen, Jacob Illum

Volltext

Optimal Conditional Reachability for Multi-priced Timed Automata von Larsen, Kim Guldstrand, Rasmussen, Jacob Illum

Volltext

Frequency of genomic secondary findings among 21,915 eMERGE network participants von Gordon, Adam S, Zouk Hana, Venner, Eric, Eng, Christine M, Funke, Birgit H, Amendola, Laura M, Carrell, David S, Chisholm, Rex L, Chung, Wendy K, Denny, Joshua C, Fedotov, Alexander, Hakonarson Hakon, Kullo, Iftikhar J, Larson, Eric B, Leduc, Magalie S, Leppig, Kathleen A, Lennon, Niall J, Linder, Jodell E, Muzny, Donna M, Prows, Cynthia A, Rasmussen-Torvik, Laura J, Rasouly Hila Milo, Roden, Dan M, Rosenthal, Elisabeth A, Smith, Maureen E, Stanaway, Ian B, Van Driest Sara L, Walker, Kimberly, Wiesner, Georgia L, Williams, Marc S, Witkowski Leora, Crosslin David R, Gibbs, Richard A, Rehm, Heidi L, Jarvik, Gail P

Volltext

Tools for Model-Checking Timed Systems von David, Alexandre, Behrmann, Gerd, Bulychev, Peter, Byg, Joakim, Chatain, Thomas, Larsen, Kim G, Pettersson, Paul, Illum Rasmussen, Jacob, Srba, Jiří, Yi, Wang, Joergensen, Kenneth Y, Lime, Didier, Magnin, Morgan, Roux, Olivier H, Traonouez, Louis‐Marie

Volltext

New genetic loci link adipose and insulin biology to body fat distribution von Ferreira, Teresa, Locke, Adam E., Justice, Anne E., Wu, Joseph M. W., Buchkovich, Martin L., Heard-Costa, Nancy L., Drong, Alexander W., Gustafsson, Stefan, Fall, Tove, Scherag, André, Absher, Devin, Ehret, Georg B., Kleber, Marcus E., Peters, Marjolein J., Albrecht, Eva, Bellis, Claire, Böhringer, Stefan, Böttcher, Yvonne, Clarke, Robert, Eklund, Niina, Erdos, Michael R., Estrada, Karol, Eury, Elodie, Friedrich, Nele, Giedraitis, Vilmantas, Gigante, Bruna, Go, Alan S., Hallmans, Goran, Hassinen, Maija, Hunt, Steven C., Koenig, Wolfgang, Kratzer, Wolfgang, Lindström, Jaana, Merger, Sigrun, Mihailov, Evelin, Mills, Rebecca, Moayyeri, Alireza, Müller-Nurasyid, Martina, Nalls, Michael A., Narisu, Narisu, Nolte, Ilja M., Sanna, Serena, Seufferlein, Thomas, Wennauer, Roman, Choi, Murim, Karpe, Fredrik, Keildson, Sarah, Kiryluk, Krzysztof, Lifton, Richard P., Ma, Baoshan, Nicholson, George, Schadt, Eric E., Scott, Robert A., Westra, Harm-Jan, Beilby, John, Bergman, Richard N., Brown, Morris J., Campbell, Harry, Danesh, John, de Geus, Eco J. C., Ferrannini, Ele, Ferrières, Jean, Haiman, Christopher A., Johansen, Berit, Jousilahti, Pekka, Keinanen-Kiukaanniemi, Sirkka M., Kooperberg, Charles, Kumari, Meena, Matise, Tara C., Möhlenkamp, Stefan, Nelis, Mari, Ong, Ken K., Palmer, Lyle J., Ritchie, Marylyn D., Salomaa, Veikko, Samani, Nilesh J., Saramies, Jouko, Sarzynski, Mark A., Schwarz, Peter E. H., Strauch, Konstantin, Boehm, Bernhard O., Chambers, John C., Grabe, Hans-Jörgen, Hamsten, Anders, Kivimaki, Mika, März, Winfried, Pedersen, Nancy L., Pérusse, Louis, Power, Chris, Rauramaa, Rainer, Rivadeneira, Fernando, Thorsteinsdottir, Unnur, Stumvoll, Michael, Watkins, Hugh, Wichmann, H-Erich, Hunter, David J., Qi, Lu, Speliotes, Elizabeth K., Fox, Caroline S., Barroso, Inês

Volltext

Overview of the TCV tokamak program: Scientific progress and facility upgrades von Coda, S., Ahn, J., Albanese, R., Alberti, S., Alessi, E., Allan, S., Anand, H., Anastassiou, G., Andrèbe, Y., Angioni, C., Ariola, M., Bernert, M., Beurskens, M., Bin, W., Blanchard, P., Blanken, T.C., Boedo, J.A., Bolzonella, T., Bouquey, F., Braunmüller, F.H., Bufferand, H., Buratti, P., Calabró, G., Camenen, Y., Carnevale, D., Carpanese, F., Causa, F., Cesario, R., Chapman, I.T., Chellai, O., Choi, D., Cianfarani, C., Ciraolo, G., Citrin, J., Costea, S., Crisanti, F., Cruz, N., Czarnecka, A., Decker, J., De Masi, G., De Tommasi, G., Douai, D., Dunne, M., Duval, B.P., Eich, T., Elmore, S., Esposito, B., Faitsch, M., Fasoli, A., Fedorczak, N., Felici, F., Février, O., Ficker, O., Fietz, S., Fontana, M., Frassinetti, L., Furno, I., Galeani, S., Gallo, A., Galperti, C., Garavaglia, S., Garrido, I., Geiger, B., Giovannozzi, E., Gobbin, M., Goodman, T.P., Gorini, G., Gospodarczyk, M., Granucci, G., Graves, J.P., Guirlet, R., Hakola, A., Ham, C., Harrison, J., Hawke, J., Hennequin, P., Hnat, B., Hogeweij, D., Hogge, J. Ph., Honoré, C., Hopf, C., Horáek, J., Huang, Z., Igochine, V., Innocente, P., Ionita Schrittwieser, C., Isliker, H., Jacquier, R., Jardin, A., Kamleitner, J., Karpushov, A., Keeling, D.L., Kirneva, N., Kong, M., Koubiti, M., Kovacic, J., Krämer Flecken, A., Krawczyk, N., Kudlacek, O., Labit, B., Lazzaro, E., Le, H.B., Lipschultz, B., Llobet, X., Lomanowski, B., Loschiavo, V.P., Lunt, T., Maget, P., Maljaars, E., Malygin, A., Maraschek, M., Marini, C., Martin, P., Martin, Y., Mastrostefano, S., Maurizio, R., Mavridis, M., Mazon, D., McAdams, R., McDermott, R., Merle, A., Meyer, H., Militello, F., Miron, I.G., Molina Cabrera, P.A., Moret, J. M., Moro, A., Moulton, D., Naulin, V., Nespoli, F., Nielsen, A.H., Nocente, M., Nouailletas, R., Nowak, S., Odstril, T., Papp, G., Papok, R., Pau, A., Pautasso, G., Pericoli Ridolfini, V., Piovesan, P., Piron, C., Pisokas, T., Porte, L., Preynas, M., Ramogida, G., Rapson, C., Juul Rasmussen, J., Reich, M., Reimerdes, H., Reux, C., Ricci, P., Rittich, D., Riva, F., Robinson, T., Saarelma, S., Saint Laurent, F., Sauter, O., Scannell, R., Schlatter, Ch., Schneider, B., Schneider, P., Schrittwieser, R., Sciortino, F., Sertoli, M., Sheikh, U., Sieglin, B., Silva, M., Sinha, J., Sozzi, C

Volltext bestellen

Type 2 Diabetes Variants Disrupt Function of SLC16A11 through Two Distinct Mechanisms von Rusu, Victor, Hoch, Eitan, Mercader, Josep M., Tenen, Danielle E., Gymrek, Melissa, Hartigan, Christina R., DeRan, Michael, Guzman, Gaelen, Deik, Amy A., Pierce, Kerry A., Dennis, Courtney, Clish, Clary B., Carr, Steven A., Wagner, Bridget K., Chen, Brian H., Ng, Maggie C.Y., Chen, Brian H., Guo, Xiuqing, Liu, Jiankang, Bielinski, Suzette J., Nalls, Michael A., Rasmussen-Torvik, Laura J., Evans, Daniel S., Sun, Yan V., Patel, Sanjay R., Lu, Yingchang, Long, Jirong, Armstrong, Loren L., Yang, Lingyao, Snively, Beverly M., Palmer, Nicholette D., Mudgal, Poorva, Keene, Keith L., Freedman, Barry I., Goodarzi, Mark O., Correa, Adolfo, Sims, Mario, Couper, David, Pankow, James S., Boerwinkle, Eric, Adeyemo, Adebowale, Doumatey, Ayo, Vaidya, Dhananjay, Sedor, John R., Kabagambe, Edmond K., McKnight, Barbara, Rice, Kenneth, Bielak, Lawrence F., Gottesman, Omri, Cai, Qiuyin, Zheng, Wei, Blot, William J., Lowe, William L., Pacheco, Jennifer A., Crawford, Dana C., Rich, Stephen S., Shu, Xiao-Ou, Loos, Ruth J.F., Borecki, Ingrid B., Peyser, Patricia A., Fornage, Myriam, Evans, Michele K., Becker, Diane M., Kao, W.H. Linda, Wilson, James G., Sale, Michèle M., Liu, Simin, Rotimi, Charles N., Bowden, Donald W., Huerta-Chagoya, Alicia, Moreno-Macías, Hortensia, Manning, Alisa, Caulkins, Lizz, Burtt, Noël P., Flannick, Jason, Patterson, Nick, Tusié-Luna, Teresa, Altshuler, David, Florez, Jose C., Martínez-Hernández, Angélica, Centeno-Cruz, Federico, Zerrweck, Carlos, Contreras-Cubas, Cecilia, Córdova, Emilio, Soberón, Xavier, Orozco, Lorena, González-Villalpando, María Elena, Haiman, Christopher A., Le Marchand, Loic, Kolonel, Laurence, Rodríguez-Torres, Maribel, Segura-Kato, Yayoi, Rodríguez-Guillén, Rosario, Gómez, Donají, Alvirde, Ulices, Cortes, Maria L., Centeno-Cruz, Federico, Zerrweck, Carlos, Orozco, Lorena, Jacobs, Suzanne B.R.

Volltext

SOS2 and ACP1 Loci Identified through Large-Scale Exome Chip Analysis Regulate Kidney Development and Function von Li, Man, Li, Yong, Weeks, Olivia, Mijatovic, Vladan, Teumer, Alexander, Huffman, Jennifer E, Tromp, Gerard, Fuchsberger, Christian, Gorski, Mathias, Lyytikäinen, Leo-Pekka, Nutile, Teresa, Sedaghat, Sanaz, Sorice, Rossella, Tin, Adrienne, Yang, Qiong, Ahluwalia, Tarunveer S, Arking, Dan E, Bihlmeyer, Nathan A, Böger, Carsten A, Carroll, Robert J, Chasman, Daniel I, Cornelis, Marilyn C, Dehghan, Abbas, Faul, Jessica D, Feitosa, Mary F, Gambaro, Giovanni, Gasparini, Paolo, Giulianini, Franco, Heid, Iris, Huang, Jinyan, Imboden, Medea, Jackson, Anne U, Jeff, Janina, Jhun, Min A, Katz, Ronit, Kifley, Annette, Kilpeläinen, Tuomas O, Kumar, Ashish, Laakso, Markku, Li-Gao, Ruifang, Lohman, Kurt, Lu, Yingchang, Mägi, Reedik, Malerba, Giovanni, Mihailov, Evelin, Mohlke, Karen L, Mook-Kanamori, Dennis O, Robino, Antonietta, Ruderfer, Douglas, Salvi, Erika, Schick, Ursula M, Schulz, Christina-Alexandra, Smith, Albert V, Smith, Jennifer A, Traglia, Michela, Yerges-Armstrong, Laura M, Zhao, Wei, Goodarzi, Mark O, Kraja, Aldi T, Liu, Chunyu, Wessel, Jennifer, Boerwinkle, Eric, Borecki, Ingrid B, Bork-Jensen, Jette, Bottinger, Erwin P, Braga, Daniele, Brandslund, Ivan, Brody, Jennifer A, Campbell, Archie, Carey, David J, Christensen, Cramer, Coresh, Josef, Crook, Errol, Curhan, Gary C, Cusi, Daniele, de Boer, Ian H, de Vries, Aiko P J, Denny, Joshua C, Devuyst, Olivier, Dreisbach, Albert W, Endlich, Karlhans, Esko, Tõnu, Franco, Oscar H, Fulop, Tibor, Gerhard, Glenn S, Glümer, Charlotte, Gottesman, Omri, Grarup, Niels, Gudnason, Vilmundur, Hansen, Torben, Harris, Tamara B, Hayward, Caroline, Hocking, Lynne, Hofman, Albert, Hu, Frank B, Husemoen, Lise Lotte N, Jackson, Rebecca D, Jørgensen, Torben, Jørgensen, Marit E, Kähönen, Mika

Volltext

Cardiometabolic effects of genetic upregulation of the interleukin 1 receptor antagonist: a Mendelian randomisation analysis

Volltext

Alopecurus geniculatus L

Volltext bestellen

Multi-ethnic fine-mapping of 14 central adiposity loci von Liu, Ching-Ti, Buchkovich, Martin L, Winkler, Thomas W, Heid, Iris M, Borecki, Ingrid B, Fox, Caroline S, Mohlke, Karen L, North, Kari E, Adrienne Cupples, L

Volltext

Status and fiscal significance of Federal lands in the eleven Western States; a survey von National Education Association of the United States. Committee on Educational Finance

Volltext bestellen

Integrative taxonomy of the Russet Bush Warbler Locustella mandelli complex reveals a new species from central China von Alström, Per, Xia, Canwei, Rasmussen, Pamela C, Olsson, Urban, Dai, Bo, Zhao, Jian, Leader, Paul J, Carey, Geoff J, Dong, Lu, Cai, Tianlong, Holt, Paul I, Le Manh, Hung, Song, Gang, Liu, Yang, Zhang, Yanyun, Lei, Fumin

Volltext