TY  - JOUR
A1  - Kiel, Mareike
A1  - Möhwald, Helmuth
A1  - Bargheer, Matias
T1  - Broadband measurements of the transient optical complex dielectric function of a nanoparticle/polymer composite upon ultrafast excitation
JF  - Physical review : B, Condensed matter and materials physics
N2  - We determined experimentally the complex transient optical dielectric function of a well-characterized polyelectrolyte/gold-nanoparticle composite system over a broad spectral range upon short pulse laser excitation by simultaneously measuring the time-dependent reflectance and transmittance of white light pulses with femtosecond pump-probe spectroscopy. We extracted directly the ultrafast changes in the real and imaginary parts of the effective dielectric function, epsilon(eff)(r) (omega,t)and epsilon(eff)(i) (omega,t), from the experiment. This complete experimental set of information on the time-dependent complex dielectric function challenges theories modeling the transient dielectric function of gold particles and the effective medium.
Y1  - 2011
U6  - https://doi.org/10.1103/PhysRevB.84.165121
SN  - 1098-0121
VL  - 84
IS  - 16
PB  - American Physical Society
CY  - College Park
ER  - 
TY  - JOUR
A1  - Actis, M.
A1  - Agnetta, G.
A1  - Aharonian, Felix A.
A1  - Akhperjanian, A. G.
A1  - Aleksic, J.
A1  - Aliu, E.
A1  - Allan, D.
A1  - Allekotte, I.
A1  - Antico, F.
A1  - Antonelli, L. A.
A1  - Antoranz, P.
A1  - Aravantinos, A.
A1  - Arlen, T.
A1  - Arnaldi, H.
A1  - Artmann, S.
A1  - Asano, K.
A1  - Asorey, H. G.
A1  - Baehr, J.
A1  - Bais, A.
A1  - Baixeras, C.
A1  - Bajtlik, S.
A1  - Balis, D.
A1  - Bamba, A.
A1  - Barbier, C.
A1  - Barcelo, M.
A1  - Barnacka, Anna
A1  - Barnstedt, Jürgen
A1  - de Almeida, U. Barres
A1  - Barrio, J. A.
A1  - Basso, S.
A1  - Bastieri, D.
A1  - Bauer, C.
A1  - Becerra Gonzalez, J.
A1  - Becherini, Yvonne
A1  - Bechtol, K. C.
A1  - Becker, J.
A1  - Beckmann, Volker
A1  - Bednarek, W.
A1  - Behera, B.
A1  - Beilicke, M.
A1  - Belluso, M.
A1  - Benallou, M.
A1  - Benbow, W.
A1  - Berdugo, J.
A1  - Berger, K.
A1  - Bernardino, T.
A1  - Bernlöhr, K.
A1  - Biland, A.
A1  - Billotta, S.
A1  - Bird, T.
A1  - Birsin, E.
A1  - Bissaldi, E.
A1  - Blake, S.
A1  - Blanch Bigas, O.
A1  - Bobkov, A. A.
A1  - Bogacz, L.
A1  - Bogdan, M.
A1  - Boisson, Catherine
A1  - Boix Gargallo, J.
A1  - Bolmont, J.
A1  - Bonanno, G.
A1  - Bonardi, A.
A1  - Bonev, T.
A1  - Borkowski, Janett
A1  - Botner, O.
A1  - Bottani, A.
A1  - Bourgeat, M.
A1  - Boutonnet, C.
A1  - Bouvier, A.
A1  - Brau-Nogue, S.
A1  - Braun, I.
A1  - Bretz, T.
A1  - Briggs, M. S.
A1  - Brun, Pierre
A1  - Brunetti, L.
A1  - Buckley, H.
A1  - Bugaev, V.
A1  - Buehler, R.
A1  - Bulik, Tomasz
A1  - Busetto, G.
A1  - Buson, S.
A1  - Byrum, K.
A1  - Cailles, M.
A1  - Cameron, R. A.
A1  - Canestrari, R.
A1  - Cantu, S.
A1  - Carmona, E.
A1  - Carosi, A.
A1  - Carr, John
A1  - Carton, P. H.
A1  - Casiraghi, M.
A1  - Castarede, H.
A1  - Catalano, O.
A1  - Cavazzani, S.
A1  - Cazaux, S.
A1  - Cerruti, B.
A1  - Cerruti, M.
A1  - Chadwick, M.
A1  - Chiang, J.
A1  - Chikawa, M.
A1  - Cieslar, M.
A1  - Ciesielska, M.
A1  - Cillis, A. N.
A1  - Clerc, C.
A1  - Colin, P.
A1  - Colome, J.
A1  - Compin, M.
A1  - Conconi, P.
A1  - Connaughton, V.
A1  - Conrad, Jan
A1  - Contreras, J. L.
A1  - Coppi, P.
A1  - Corlier, M.
A1  - Corona, P.
A1  - Corpace, O.
A1  - Corti, D.
A1  - Cortina, J.
A1  - Costantini, H.
A1  - Cotter, G.
A1  - Courty, B.
A1  - Couturier, S.
A1  - Covino, S.
A1  - Croston, J.
A1  - Cusumano, G.
A1  - Daniel, M. K.
A1  - Dazzi, F.
A1  - Deangelis, A.
A1  - de Cea del Pozo, E.
A1  - Dal Pino, E. M. de Gouveia
A1  - de Jager, O.
A1  - de la Calle Perez, I.
A1  - De La Vega, G.
A1  - De Lotto, B.
A1  - de Naurois, M.
A1  - Wilhelmi, E. de Ona
A1  - de Souza, V.
A1  - Decerprit, B.
A1  - Deil, C.
A1  - Delagnes, E.
A1  - Deleglise, G.
A1  - Delgado, C.
A1  - Dettlaff, T.
A1  - Di Paolo, A.
A1  - Di Pierro, F.
A1  - Diaz, C.
A1  - Dick, J.
A1  - Dickinson, H.
A1  - Digel, S. W.
A1  - Dimitrov, D.
A1  - Disset, G.
A1  - Djannati-Ataï, A.
A1  - Doert, M.
A1  - Domainko, W.
A1  - Dorner, D.
A1  - Doro, M.
A1  - Dournaux, J. -L.
A1  - Dravins, D.
A1  - Drury, L.
A1  - Dubois, F.
A1  - Dubois, R.
A1  - Dubus, G.
A1  - Dufour, C.
A1  - Durand, D.
A1  - Dyks, J.
A1  - Dyrda, M.
A1  - Edy, E.
A1  - Egberts, Kathrin
A1  - Eleftheriadis, C.
A1  - Elles, S.
A1  - Emmanoulopoulos, D.
A1  - Enomoto, R.
A1  - Ernenwein, J. -P.
A1  - Errando, M.
A1  - Etchegoyen, A.
A1  - Falcone, A. D.
A1  - Farakos, K.
A1  - Farnier, C.
A1  - Federici, S.
A1  - Feinstein, F.
A1  - Ferenc, D.
A1  - Fillin-Martino, E.
A1  - Fink, D.
A1  - Finley, C.
A1  - Finley, J. P.
A1  - Firpo, R.
A1  - Florin, D.
A1  - Foehr, C.
A1  - Fokitis, E.
A1  - Font, Ll.
A1  - Fontaine, G.
A1  - Fontana, A.
A1  - Foerster, A.
A1  - Fortson, L.
A1  - Fouque, N.
A1  - Fransson, C.
A1  - Fraser, G. W.
A1  - Fresnillo, L.
A1  - Fruck, C.
A1  - Fujita, Y.
A1  - Fukazawa, Y.
A1  - Funk, S.
A1  - Gaebele, W.
A1  - Gabici, S.
A1  - Gadola, A.
A1  - Galante, N.
A1  - Gallant, Y.
A1  - Garcia, B.
A1  - Garcia Lopez, R. J.
A1  - Garrido, D.
A1  - Garrido, L.
A1  - Gascon, D.
A1  - Gasq, C.
A1  - Gaug, M.
A1  - Gaweda, J.
A1  - Geffroy, N.
A1  - Ghag, C.
A1  - Ghedina, A.
A1  - Ghigo, M.
A1  - Gianakaki, E.
A1  - Giarrusso, S.
A1  - Giavitto, G.
A1  - Giebels, B.
A1  - Giro, E.
A1  - Giubilato, P.
A1  - Glanzman, T.
A1  - Glicenstein, J. -F.
A1  - Gochna, M.
A1  - Golev, V.
A1  - Gomez Berisso, M.
A1  - Gonzalez, A.
A1  - Gonzalez, F.
A1  - Granena, F.
A1  - Graciani, R.
A1  - Granot, J.
A1  - Gredig, R.
A1  - Green, A.
A1  - Greenshaw, T.
A1  - Grimm, O.
A1  - Grube, J.
A1  - Grudzinska, M.
A1  - Grygorczuk, J.
A1  - Guarino, V.
A1  - Guglielmi, L.
A1  - Guilloux, F.
A1  - Gunji, S.
A1  - Gyuk, G.
A1  - Hadasch, D.
A1  - Haefner, D.
A1  - Hagiwara, R.
A1  - Hahn, J.
A1  - Hallgren, A.
A1  - Hara, S.
A1  - Hardcastle, M. J.
A1  - Hassan, T.
A1  - Haubold, T.
A1  - Hauser, M.
A1  - Hayashida, M.
A1  - Heller, R.
A1  - Henri, G.
A1  - Hermann, G.
A1  - Herrero, A.
A1  - Hinton, James Anthony
A1  - Hoffmann, D.
A1  - Hofmann, W.
A1  - Hofverberg, P.
A1  - Horns, D.
A1  - Hrupec, D.
A1  - Huan, H.
A1  - Huber, B.
A1  - Huet, J. -M.
A1  - Hughes, G.
A1  - Hultquist, K.
A1  - Humensky, T. B.
A1  - Huppert, J. -F.
A1  - Ibarra, A.
A1  - Illa, J. M.
A1  - Ingjald, J.
A1  - Inoue, S.
A1  - Inoue, Y.
A1  - Ioka, K.
A1  - Jablonski, C.
A1  - Jacholkowska, A.
A1  - Janiak, M.
A1  - Jean, P.
A1  - Jensen, H.
A1  - Jogler, T.
A1  - Jung, I.
A1  - Kaaret, P.
A1  - Kabuki, S.
A1  - Kakuwa, J.
A1  - Kalkuhl, C.
A1  - Kankanyan, R.
A1  - Kapala, M.
A1  - Karastergiou, A.
A1  - Karczewski, M.
A1  - Karkar, S.
A1  - Karlsson, N.
A1  - Kasperek, J.
A1  - Katagiri, H.
A1  - Katarzynski, K.
A1  - Kawanaka, N.
A1  - Kedziora, B.
A1  - Kendziorra, E.
A1  - Khelifi, B.
A1  - Kieda, D.
A1  - Kifune, T.
A1  - Kihm, T.
A1  - Klepser, S.
A1  - Kluzniak, W.
A1  - Knapp, J.
A1  - Knappy, A. R.
A1  - Kneiske, T.
A1  - Knoedlseder, J.
A1  - Koeck, F.
A1  - Kodani, K.
A1  - Kohri, K.
A1  - Kokkotas, K.
A1  - Komin, N.
A1  - Konopelko, A.
A1  - Kosack, K.
A1  - Kossakowski, R.
A1  - Kostka, P.
A1  - Kotula, J.
A1  - Kowal, G.
A1  - Koziol, J.
A1  - Kraehenbuehl, T.
A1  - Krause, J.
A1  - Krawczynski, H.
A1  - Krennrich, F.
A1  - Kretzschmann, A.
A1  - Kubo, H.
A1  - Kudryavtsev, V. A.
A1  - Kushida, J.
A1  - La Barbera, N.
A1  - La Parola, V.
A1  - La Rosa, G.
A1  - Lopez, A.
A1  - Lamanna, G.
A1  - Laporte, P.
A1  - Lavalley, C.
A1  - Le Flour, T.
A1  - Le Padellec, A.
A1  - Lenain, J. -P.
A1  - Lessio, L.
A1  - Lieunard, B.
A1  - Lindfors, E.
A1  - Liolios, A.
A1  - Lohse, T.
A1  - Lombardi, S.
A1  - Lopatin, A.
A1  - Lorenz, E.
A1  - Lubinski, P.
A1  - Luz, O.
A1  - Lyard, E.
A1  - Maccarone, M. C.
A1  - Maccarone, T.
A1  - Maier, G.
A1  - Majumdar, P.
A1  - Maltezos, S.
A1  - Malkiewicz, P.
A1  - Mana, C.
A1  - Manalaysay, A.
A1  - Maneva, G.
A1  - Mangano, A.
A1  - Manigot, P.
A1  - Marin, J.
A1  - Mariotti, M.
A1  - Markoff, S.
A1  - Martinez, G.
A1  - Martinez, M.
A1  - Mastichiadis, A.
A1  - Matsumoto, H.
A1  - Mattiazzo, S.
A1  - Mazin, D.
A1  - McComb, T. J. L.
A1  - McCubbin, N.
A1  - McHardy, I.
A1  - Medina, C.
A1  - Melkumyan, D.
A1  - Mendes, A.
A1  - Mertsch, P.
A1  - Meucci, M.
A1  - Michalowski, J.
A1  - Micolon, P.
A1  - Mineo, T.
A1  - Mirabal, N.
A1  - Mirabel, F.
A1  - Miranda, J. M.
A1  - Mirzoyan, R.
A1  - Mizuno, T.
A1  - Moal, B.
A1  - Moderski, R.
A1  - Molinari, E.
A1  - Monteiro, I.
A1  - Moralejo, A.
A1  - Morello, C.
A1  - Mori, K.
A1  - Motta, G.
A1  - Mottez, F.
A1  - Moulin, Emmanuel
A1  - Mukherjee, R.
A1  - Munar, P.
A1  - Muraishi, H.
A1  - Murase, K.
A1  - Murphy, A. Stj.
A1  - Nagataki, S.
A1  - Naito, T.
A1  - Nakamori, T.
A1  - Nakayama, K.
A1  - Naumann, C. L.
A1  - Naumann, D.
A1  - Nayman, P.
A1  - Nedbal, D.
A1  - Niedzwiecki, A.
A1  - Niemiec, J.
A1  - Nikolaidis, A.
A1  - Nishijima, K.
A1  - Nolan, S. J.
A1  - Nowak, N.
A1  - O'Brien, P. T.
A1  - Ochoa, I.
A1  - Ohira, Y.
A1  - Ohishi, M.
A1  - Ohka, H.
A1  - Okumura, A.
A1  - Olivetto, C.
A1  - Ong, R. A.
A1  - Orito, R.
A1  - Orr, M.
A1  - Osborne, J. P.
A1  - Ostrowski, M.
A1  - Otero, L.
A1  - Otte, A. N.
A1  - Ovcharov, E.
A1  - Oya, I.
A1  - Ozieblo, A.
A1  - Paiano, S.
A1  - Pallota, J.
A1  - Panazol, J. L.
A1  - Paneque, D.
A1  - Panter, M.
A1  - Paoletti, R.
A1  - Papyan, G.
A1  - Paredes, J. M.
A1  - Pareschi, G.
A1  - Parsons, R. D.
A1  - Arribas, M. Paz
A1  - Pedaletti, G.
A1  - Pepato, A.
A1  - Persic, M.
A1  - Petrucci, P. O.
A1  - Peyaud, B.
A1  - Piechocki, W.
A1  - Pita, S.
A1  - Pivato, G.
A1  - Platos, L.
A1  - Platzer, R.
A1  - Pogosyan, L.
A1  - Pohl, Martin
A1  - Pojmanski, G.
A1  - Ponz, J. D.
A1  - Potter, W.
A1  - Prandini, E.
A1  - Preece, R.
A1  - Prokoph, H.
A1  - Puehlhofer, G.
A1  - Punch, M.
A1  - Quel, E.
A1  - Quirrenbach, A.
A1  - Rajda, P.
A1  - Rando, R.
A1  - Rataj, M.
A1  - Raue, M.
A1  - Reimann, C.
A1  - Reimann, O.
A1  - Reimer, A.
A1  - Reimer, O.
A1  - Renaud, M.
A1  - Renner, S.
A1  - Reymond, J. -M.
A1  - Rhode, W.
A1  - Ribo, M.
A1  - Ribordy, M.
A1  - Rico, J.
A1  - Rieger, F.
A1  - Ringegni, P.
A1  - Ripken, J.
A1  - Ristori, P.
A1  - Rivoire, S.
A1  - Rob, L.
A1  - Rodriguez, S.
A1  - Roeser, U.
A1  - Romano, Patrizia
A1  - Romero, G. E.
A1  - Rosier-Lees, S.
A1  - Rovero, A. C.
A1  - Roy, F.
A1  - Royer, S.
A1  - Rudak, B.
A1  - Rulten, C. B.
A1  - Ruppel, J.
A1  - Russo, F.
A1  - Ryde, F.
A1  - Sacco, B.
A1  - Saggion, A.
A1  - Sahakian, V.
A1  - Saito, K.
A1  - Saito, T.
A1  - Sakaki, N.
A1  - Salazar, E.
A1  - Salini, A.
A1  - Sanchez, F.
A1  - Sanchez Conde, M. A.
A1  - Santangelo, Andrea
A1  - Santos, E. M.
A1  - Sanuy, A.
A1  - Sapozhnikov, L.
A1  - Sarkar, S.
A1  - Scalzotto, V.
A1  - Scapin, V.
A1  - Scarcioffolo, M.
A1  - Schanz, T.
A1  - Schlenstedt, S.
A1  - Schlickeiser, R.
A1  - Schmidt, T.
A1  - Schmoll, J.
A1  - Schroedter, M.
A1  - Schultz, C.
A1  - Schultze, J.
A1  - Schulz, A.
A1  - Schwanke, U.
A1  - Schwarzburg, S.
A1  - Schweizer, T.
A1  - Seiradakis, J.
A1  - Selmane, S.
A1  - Seweryn, K.
A1  - Shayduk, M.
A1  - Shellard, R. C.
A1  - Shibata, T.
A1  - Sikora, M.
A1  - Silk, J.
A1  - Sillanpaa, A.
A1  - Sitarek, J.
A1  - Skole, C.
A1  - Smith, N.
A1  - Sobczynska, D.
A1  - Sofo Haro, M.
A1  - Sol, H.
A1  - Spanier, F.
A1  - Spiga, D.
A1  - Spyrou, S.
A1  - Stamatescu, V.
A1  - Stamerra, A.
A1  - Starling, R. L. C.
A1  - Stawarz, L.
A1  - Steenkamp, R.
A1  - Stegmann, Christian
A1  - Steiner, S.
A1  - Stergioulas, N.
A1  - Sternberger, R.
A1  - Stinzing, F.
A1  - Stodulski, M.
A1  - Straumann, U.
A1  - Suarez, A.
A1  - Suchenek, M.
A1  - Sugawara, R.
A1  - Sulanke, K. H.
A1  - Sun, S.
A1  - Supanitsky, A. D.
A1  - Sutcliffe, P.
A1  - Szanecki, M.
A1  - Szepieniec, T.
A1  - Szostek, A.
A1  - Szymkowiak, A.
A1  - Tagliaferri, G.
A1  - Tajima, H.
A1  - Takahashi, H.
A1  - Takahashi, K.
A1  - Takalo, L.
A1  - Takami, H.
A1  - Talbot, R. G.
A1  - Tam, P. H.
A1  - Tanaka, M.
A1  - Tanimori, T.
A1  - Tavani, M.
A1  - Tavernet, J. -P.
A1  - Tchernin, C.
A1  - Tejedor, L. A.
A1  - Telezhinsky, Igor O.
A1  - Temnikov, P.
A1  - Tenzer, C.
A1  - Terada, Y.
A1  - Terrier, R.
A1  - Teshima, M.
A1  - Testa, V.
A1  - Tibaldo, L.
A1  - Tibolla, O.
A1  - Tluczykont, M.
A1  - Peixoto, C. J. Todero
A1  - Tokanai, F.
A1  - Tokarz, M.
A1  - Toma, K.
A1  - Torres, D. F.
A1  - Tosti, G.
A1  - Totani, T.
A1  - Toussenel, F.
A1  - Vallania, P.
A1  - Vallejo, G.
A1  - van der Walt, J.
A1  - van Eldik, C.
A1  - Vandenbroucke, J.
A1  - Vankov, H.
A1  - Vasileiadis, G.
A1  - Vassiliev, V. V.
A1  - Vegas, I.
A1  - Venter, L.
A1  - Vercellone, S.
A1  - Veyssiere, C.
A1  - Vialle, J. P.
A1  - Videla, M.
A1  - Vincent, P.
A1  - Vink, J.
A1  - Vlahakis, N.
A1  - Vlahos, L.
A1  - Vogler, P.
A1  - Vollhardt, A.
A1  - Volpe, F.
A1  - Von Gunten, H. P.
A1  - Vorobiov, S.
A1  - Wagner, S.
A1  - Wagner, R. M.
A1  - Wagner, B.
A1  - Wakely, S. P.
A1  - Walter, P.
A1  - Walter, R.
A1  - Warwick, R.
A1  - Wawer, P.
A1  - Wawrzaszek, R.
A1  - Webb, N.
A1  - Wegner, P.
A1  - Weinstein, A.
A1  - Weitzel, Q.
A1  - Welsing, R.
A1  - Wetteskind, H.
A1  - White, R.
A1  - Wierzcholska, A.
A1  - Wilkinson, M. I.
A1  - Williams, D. A.
A1  - Winde, M.
A1  - Wischnewski, R.
A1  - Wisniewski, L.
A1  - Wolczko, A.
A1  - Wood, M.
A1  - Xiong, Q.
A1  - Yamamoto, T.
A1  - Yamaoka, K.
A1  - Yamazaki, R.
A1  - Yanagita, S.
A1  - Yoffo, B.
A1  - Yonetani, M.
A1  - Yoshida, A.
A1  - Yoshida, T.
A1  - Yoshikoshi, T.
A1  - Zabalza, V.
A1  - Zagdanski, A.
A1  - Zajczyk, A.
A1  - Zdziarski, A.
A1  - Zech, Alraune
A1  - Zietara, K.
A1  - Ziolkowski, P.
A1  - Zitelli, V.
A1  - Zychowski, P.
T1  - Design concepts for the Cherenkov Telescope Array CTA an advanced facility for ground-based high-energy gamma-ray astronomy
JF  - Experimental astronomy : an international journal on astronomical instrumentation and data analysis
N2  - Ground-based gamma-ray astronomy has had a major breakthrough with the impressive results obtained using systems of imaging atmospheric Cherenkov telescopes. Ground-based gamma-ray astronomy has a huge potential in astrophysics, particle physics and cosmology. CTA is an international initiative to build the next generation instrument, with a factor of 5-10 improvement in sensitivity in the 100 GeV-10 TeV range and the extension to energies well below 100 GeV and above 100 TeV. CTA will consist of two arrays (one in the north, one in the south) for full sky coverage and will be operated as open observatory. The design of CTA is based on currently available technology. This document reports on the status and presents the major design concepts of CTA.
KW  - Ground based gamma ray astronomy
KW  - Next generation Cherenkov telescopes
KW  - Design concepts
Y1  - 2011
U6  - https://doi.org/10.1007/s10686-011-9247-0
SN  - 0922-6435
SN  - 1572-9508
VL  - 32
IS  - 3
SP  - 193
EP  - 316
PB  - Springer
CY  - Dordrecht
ER  - 
TY  - JOUR
A1  - Winkelmann, Ricarda
A1  - Martin, Maria A.
A1  - Haseloff, Monika
A1  - Albrecht, Torsten
A1  - Bueler, Ed
A1  - Khroulev, C.
A1  - Levermann, Anders
T1  - The Potsdam parallel ice sheet model (PISM-PIK) - Part 1: Model description
JF  - The Cryosphere : TC ; an interactive open access journal of the European Geosciences Union
N2  - We present the Potsdam Parallel Ice Sheet Model (PISM-PIK), developed at the Potsdam Institute for Climate Impact Research to be used for simulations of large-scale ice sheet-shelf systems. It is derived from the Parallel Ice Sheet Model (Bueler and Brown, 2009). Velocities are calculated by superposition of two shallow stress balance approximations within the entire ice covered region: the shallow ice approximation (SIA) is dominant in grounded regions and accounts for shear deformation parallel to the geoid. The plug-flow type shallow shelf approximation (SSA) dominates the velocity field in ice shelf regions and serves as a basal sliding velocity in grounded regions. Ice streams can be identified diagnostically as regions with a significant contribution of membrane stresses to the local momentum balance. All lateral boundaries in PISM-PIK are free to evolve, including the grounding line and ice fronts. Ice shelf margins in particular are modeled using Neumann boundary conditions for the SSA equations, reflecting a hydrostatic stress imbalance along the vertical calving face. The ice front position is modeled using a subgrid-scale representation of calving front motion (Albrecht et al., 2011) and a physically-motivated calving law based on horizontal spreading rates. The model is tested in experiments from the Marine Ice Sheet Model Intercomparison Project (MISMIP). A dynamic equilibrium simulation of Antarctica under present-day conditions is presented in Martin et al. (2011).
Y1  - 2011
U6  - https://doi.org/10.5194/tc-5-715-2011
SN  - 1994-0416
VL  - 5
IS  - 3
SP  - 715
EP  - 726
PB  - Copernicus
CY  - Göttingen
ER  - 
TY  - JOUR
A1  - Martin, Maria A.
A1  - Winkelmann, Ricarda
A1  - Haseloff, M.
A1  - Albrecht, Tanja
A1  - Bueler, Ed
A1  - Khroulev, C.
A1  - Levermann, Anders
T1  - The Potsdam parallel ice sheet model (PISM-PIK) - Part 2: Dynamic equilibrium simulation of the Antarctic ice sheet
JF  - The Cryosphere : TC ; an interactive open access journal of the European Geosciences Union
N2  - We present a dynamic equilibrium simulation of the ice sheet-shelf system on Antarctica with the Potsdam Parallel Ice Sheet Model (PISM-PIK). The simulation is initialized with present-day conditions for bed topography and ice thickness and then run to steady state with constant present-day surface mass balance. Surface temperature and sub-shelf basal melt distribution are parameterized. Grounding lines and calving fronts are free to evolve, and their modeled equilibrium state is compared to observational data. A physically-motivated calving law based on horizontal spreading rates allows for realistic calving fronts for various types of shelves. Steady-state dynamics including surface velocity and ice flux are analyzed for whole Antarctica and the Ronne-Filchner and Ross ice shelf areas in particular. The results show that the different flow regimes in sheet and shelves, and the transition zone between them, are captured reasonably well, supporting the approach of superposition of SIA and SSA for the representation of fast motion of grounded ice. This approach also leads to a natural emergence of sliding-dominated flow in stream-like features in this new 3-D marine ice sheet model.
Y1  - 2011
U6  - https://doi.org/10.5194/tc-5-727-2011
SN  - 1994-0416
VL  - 5
IS  - 3
SP  - 727
EP  - 740
PB  - Copernicus
CY  - Göttingen
ER  - 
TY  - JOUR
A1  - Albrecht, Tanja
A1  - Martin, M.
A1  - Haseloff, M.
A1  - Winkelmann, Ricarda
A1  - Levermann, Anders
T1  - Parameterization for subgrid-scale motion of ice-shelf calving fronts
JF  - The Cryosphere : TC ; an interactive open access journal of the European Geosciences Union
N2  - A parameterization for the motion of ice-shelf fronts on a Cartesian grid in finite-difference land-ice models is presented. The scheme prevents artificial thinning of the ice shelf at its edge, which occurs due to the finite resolution of the model. The intuitive numerical implementation diminishes numerical dispersion at the ice front and enables the application of physical boundary conditions to improve the calculation of stress and velocity fields throughout the ice-sheet-shelf system. Numerical properties of this subgrid modification are assessed in the Potsdam Parallel Ice Sheet Model (PISM-PIK) for different geometries in one and two horizontal dimensions and are verified against an analytical solution in a flow-line setup.
Y1  - 2011
U6  - https://doi.org/10.5194/tc-5-35-2011
SN  - 1994-0416
VL  - 5
IS  - 1
SP  - 35
EP  - 44
PB  - Copernicus
CY  - Göttingen
ER  - 
TY  - JOUR
A1  - Karlowatz, Ruth-Jessica
A1  - Scharhag, Jürgen
A1  - Rahnenfuehrer, Jörg
A1  - Schneider, Ulrich
A1  - Jakob, Ernst
A1  - Kindermann, Wilfried
A1  - Zang, Klaus Dieter
T1  - Polymorphisms in the IGF1 signalling pathway including the myostatin gene are associated with left ventricular mass in male athletes
JF  - British journal of sports medicine : the journal of sport and exercise medicine
N2  - Background Athlete's heart as an adaptation to long-time and intensive endurance training can vary considerably between individuals. Genetic polymorphisms in the cardiological relevant insulin-like growth factor 1 (IGF1) signalling pathway seem to have an essential influence on the extent of physiological hypertrophy.
 Objective Analysis of polymorphisms in the genes of IGF1, IGF1 receptor (IGF1R) and the negative regulator of the cardiac IGF1 signalling pathway, myostatin (MSTN), and their relation to left ventricular mass (LVM) of endurance athletes.
 Methods In 110 elite endurance athletes or athletes with a high amount of endurance training (75 males and 35 females) and 27 male controls, which were examined by echocardiographic imaging methods and ergometric exercise-testing, the genotypes of a cytosine-adenine repeat polymorphism in the promoter region of the IGF1 gene and a G/A substitution at position 3174 in the IGF1R gene were determined. Additionally, a mutation screen of the MSTN gene was performed.
 Results The polymorphisms in the IGF1 and the IGF1R gene showed a significant relation to the LVM for male (IGF1: p=0.003; IGF1R: p=0.01), but not for female athletes. The same applies to a previously unnoticed polymorphism in the 1 intron of the MSTN gene, whose deletion allele (AAA -> AA) appears to increase the myostatic effect (p=0.015). Moreover, combinations of the polymorphisms showed significant synergistic effects on the LVM of the male athletes.
 Conclusions The authors' results argue for the importance of polymorphisms in the IGF1 signalling pathway in combination with MSTN on the variant degree of physiological hypertrophy of male athletes.
Y1  - 2011
U6  - https://doi.org/10.1136/bjsm.2008.050567
SN  - 0306-3674
VL  - 45
IS  - 1
SP  - 36
EP  - 41
PB  - BMJ Publ. Group
CY  - London
ER  - 
TY  - CHAP
A1  - Lehmann, Andreas
A1  - Tryggvadottir, Laufey
A1  - Scheffler, Christiane
A1  - Hermanussen, Michael
T1  - Menarcheal age and body height in Iceland in the last century
T2  - Journal of biological and clinical anthropology : Anthropologischer Anzeiger ; Mitteilungsorgan der Gesellschaft für Anthropologie
Y1  - 2011
SN  - 0003-5548
VL  - 68
IS  - 4
SP  - 507
EP  - 508
PB  - Schweizerbart
CY  - Stuttgart
ER  - 
TY  - JOUR
A1  - Denz, Rebekka
A1  - Jurewicz, Grażyna
T1  - Ghetto : Space and Bordes in Judaism ; Editorial
Y1  - 2011
SN  - 1614-6492
ER  - 
TY  - JOUR
A1  - Oskinova, Lidia M.
A1  - Todt, Helge Tobias
A1  - Ignace, Richard
A1  - Brown, John C.
A1  - Cassinelli, Joseph P.
A1  - Hamann, Wolf-Rainer
T1  - Early magnetic B-type stars X-ray emission and wind properties
JF  - Monthly notices of the Royal Astronomical Society
N2  - We present a comprehensive study of X-ray emission by, and wind properties of, massive magnetic early B-type stars. Dedicated XMM-Newton observations were obtained for three early-type B-type stars, xi(1) CMa, V2052 Oph and zeta Cas, with recently discovered magnetic fields. We report the first detection of X-ray emission from V2052 Oph and zeta Cas. The latter is one the softest X-ray sources among the early-type stars, while the former is one of the X-ray faintest. The observations show that the X-ray spectra of our programme stars are quite soft with the bulk of X-ray emitting material having a temperature of about 1 MK. We compile the complete sample of early B-type stars with detected magnetic fields to date and existing X-ray measurements, in order to study whether the X-ray emission can be used as a general proxy for stellar magnetism. We find that the X-ray properties of early massive B-type magnetic stars are diverse, and that hard and strong X-ray emission does not necessarily correlate with the presence of a magnetic field, corroborating similar conclusions reached earlier for the classical chemically peculiar magnetic Bp-Ap stars.
 We analyse the ultraviolet (UV) spectra of five non-supergiant B stars with magnetic fields (tau Sco, beta Cep, xi(1) CMa, V2052 Oph and zeta Cas) by means of non-local thermodynamic equilibrium (non-LTE) iron-blanketed model atmospheres. The latter are calculated with the Potsdam Wolf-Rayet (PoWR) code, which treats the photosphere as well as the wind, and also accounts for X-rays. With the exception of t Sco, this is the first analysis of these stars by means of stellar wind models. Our models accurately fit the stellar photospheric spectra in the optical and the UV. The parameters of X-ray emission, temperature and flux are included in the model in accordance with observations. We confirm the earlier findings that the filling factors of X-ray emitting material are very high.
 Our analysis reveals that the magnetic early-type B stars studied here have weak winds with velocities not significantly exceeding upsilon(esc). The mass-loss rates inferred from the analysis of UV lines are significantly lower than predicted by hydrodynamically consistent models. We find that, although the X-rays strongly affect the ionization structure of the wind, this effect is not sufficient in reducing the total radiative acceleration. When the X-rays are accounted for at the intensity and temperatures observed, there is still sufficient radiative acceleration to drive a stronger mass-loss than we empirically infer from the UV spectral lines.
KW  - techniques: spectroscopic
KW  - stars: magnetic field
KW  - stars: massive
KW  - stars: mass loss
KW  - X-rays: stars
Y1  - 2011
U6  - https://doi.org/10.1111/j.1365-2966.2011.19143.x
SN  - 0035-8711
VL  - 416
IS  - 2
SP  - 1456
EP  - 1474
PB  - Wiley-Blackwell
CY  - Hoboken
ER  - 
TY  - JOUR
A1  - Gagne, Marc
A1  - Fehon, Garrett
A1  - Savoy, Michael R.
A1  - Cohen, David H.
A1  - Townsley, Leisa K.
A1  - Broos, Patrick S.
A1  - Povich, Matthew S.
A1  - Corcoran, Michael F.
A1  - Walborn, Nolan R.
A1  - Evans, Nancy Remage
A1  - Moffat, Anthony F. J.
A1  - Naze, Yael
A1  - Oskinova, Lidia M.
T1  - Carina ob stars: x-ray signatures of wind shocks and magnetic FIELDS
JF  - The astrophysical journal : an international review of spectroscopy and astronomical physics ; Supplement series
N2  - The Chandra Carina Complex contains 200 known O- and B-type stars. The Chandra survey detected 68 of the 70 O stars and 61 of 127 known B0-B3 stars. We have assembled a publicly available optical/X-ray database to identify OB stars that depart from the canonical L-X/L-bol relation or whose average X-ray temperatures exceed 1 keV. Among the single O stars with high kT we identify two candidate magnetically confined wind shock sources: Tr16-22, O8.5 V, and LS 1865, O8.5 V((f)). The O4 III(fc) star HD 93250 exhibits strong, hard, variable X-rays, suggesting that it may be a massive binary with a period of > 30 days. The visual O2 If* binary HD 93129A shows soft 0.6 keV and hard 1.9 keV emission components, suggesting embedded wind shocks close to the O2 If* Aa primary and colliding wind shocks between Aa and Ab. Of the 11 known O-type spectroscopic binaries, the long orbital-period systems HD 93343, HD 93403, and QZ Car have higher shock temperatures than short-period systems such as HD 93205 and FO 15. Although the X-rays from most B stars may be produced in the coronae of unseen, low-mass pre-main-sequence companions, a dozen B stars with high L-X cannot be explained by a distribution of unseen companions. One of these, SS73 24 in the Treasure Chest cluster, is a new candidate Herbig Be star.
KW  - open clusters and associations: individual (Cl Bochum 10, Cl Bochum 11, Cl Collinder 228, Cl Trumpler 14, Cl Trumpler 15, Cl Trumpler 16)
KW  - stars: early-type
KW  - stars: individual (HD 93250, HD 93129A, HD 93403, HD 93205, HD 93343, QZ Car, SS73 24, FO 15, Cl Trumpler 16 22, CPD-59 2610, HD 93501)
KW  - X-rays: stars
Y1  - 2011
U6  - https://doi.org/10.1088/0067-0049/194/1/5
SN  - 0067-0049
VL  - 194
IS  - 1
PB  - IOP Publ. Ltd.
CY  - Bristol
ER  - 
TY  - JOUR
A1  - Evans, Nancy Remage
A1  - DeGioia-Eastwood, Kathleen
A1  - Gagne, Marc
A1  - Townsley, Leisa
A1  - Broos, Patrick S.
A1  - Wolk, Scott J.
A1  - Naze, Yael
A1  - Corcoran, Michael
A1  - Oskinova, Lidia M.
A1  - Moffat, Anthony F. J.
A1  - Wang, Junfeng
A1  - Walborn, Nolan R.
T1  - The search for low-mass companions of b stars in the Carina Nebula cluster trumpler 16
JF  - The astrophysical journal : an international review of spectroscopy and astronomical physics ; Supplement series
N2  - We have developed lists of likely B3-A0 stars (called "late B" stars) in the young cluster Trumpler 16. The following criteria were used: location within 3' of eta Car, an appropriate V and B - V combination, and proper motion (where available). Color and magnitude cuts have been made assuming an E(B - V) = 0.55 mag +/- 0.1, which is a good approximation close to the center of Trumpler 16. These lists have been cross-correlated with X-ray sources found in the Chandra Carina Complex Project. Previous studies have shown that only very rarely (if at all) do late main-sequence B stars produce X-rays. We present evidence that the X-ray-detected sources are binaries with low-mass companions, since stars less massive than 1.4 M-circle dot are strong X-ray sources at the age of the cluster. Both the median X-ray energies and X-ray luminosities of these sources are in good agreement with values for typical low-mass coronal X-ray sources. We find that 39% of the late B stars based on a list with proper motions have low-mass companions. Similarly, 32% of a sample without proper motions have low-mass companions. We discuss the X-ray detection completeness. These results on low-mass companions of intermediate-mass stars are complementary to spectroscopic and interferometric results and probe new parameter space of low-mass companions at all separations. They do not support a steeply rising distribution of mass ratios to low masses for intermediate-mass (5 M-circle dot) primaries, such as would be found by random pairing from the initial mass function.
KW  - open clusters and associations: individual (Trumpler 16)
KW  - stars: massive
Y1  - 2011
U6  - https://doi.org/10.1088/0067-0049/194/1/13
SN  - 0067-0049
VL  - 194
IS  - 1
PB  - IOP Publ. Ltd.
CY  - Bristol
ER  - 
TY  - JOUR
A1  - Parkin, E. R.
A1  - Broos, Patrick  S.
A1  - Townsley, L. K.
A1  - Pittard, J. M.
A1  - Moffat, Anthony F. J.
A1  - Naze, Y.
A1  - Rauw, G.
A1  - Oskinova, Lidia M.
A1  - Waldron, W. L.
T1  - X-RAY EMISSION FROM THE DOUBLE-BINARY OB-STAR SYSTEM QZ CAR (HD 93206)
JF  - ASTROPHYSICAL JOURNAL SUPPLEMENT SERIES
N2  - X-ray observations of the double-binary OB-star system QZ Car (HD 93206) obtained with the Chandra X-ray Observatory over a period of roughly 2 years are presented. The respective orbits of systems A (O9.7 I+b2 v, P-A = 21 days) and B (O8 III+o9 v, P-B = 6 days) are reasonably well sampled by the observations, allowing the origin of the X-ray emission to be examined in detail. The X-ray spectra can be well fitted by an attenuated three-temperature thermal plasma model, characterized by cool, moderate, and hot plasma components at kT similar or equal to 0.2, 0.7, and 2 keV, respectively, and a circumstellar absorption of similar or equal to 0.2 x 10(22) cm(-2). Although the hot plasma component could be indicating the presence of wind-wind collision shocks in the system, the model fluxes calculated from spectral fits, with an average value of similar or equal to 7x10(-13) erg s(-1) cm(-2), do not show a clear correlation with the orbits of the two constituent binaries. A semi-analytical model of QZ Car reveals that a stable momentum balance may not be established in either system A or B. Yet, despite this, system B is expected to produce an observed X-ray flux well in excess of the observations. If one considers the wind of the O8 III star to be disrupted by mass transfer, the model and observations are in far better agreement, which lends support to the previous suggestion of mass transfer in the O8 III+o9 v binary. We conclude that the X-ray emission from QZ Car can be reasonably well accounted for by a combination of contributions mainly from the single stars and the mutual wind-wind collision between systems A and B.
KW  - hydrodynamics
KW  - stars: early-type
KW  - stars: individual (QZ Carinae)
KW  - stars: massive
KW  - stars: winds, outflows
KW  - X-rays: stars
Y1  - 2011
U6  - https://doi.org/10.1088/0067-0049/194/1/8
SN  - 0067-0049
VL  - 194
IS  - 1
PB  - IOP PUBLISHING LTD
CY  - BRISTOL
ER  - 
TY  - JOUR
A1  - Oskinova, Lidia M.
A1  - Hamann, Wolf-Rainer
A1  - Cassinelli, Joseph P.
A1  - Brown, John C.
A1  - Todt, Helge Tobias
T1  - X-ray emission from massive stars with magnetic fields
JF  - Astronomische Nachrichten = Astronomical notes
N2  - We investigate the connections between the magnetic fields and the X-ray emission from massive stars. Our study shows that the X-ray properties of known strongly magnetic stars are diverse: while some comply to the predictions of the magnetically confined wind model, others do not. We conclude that strong, hard, and variable X-ray emission may be a sufficient attribute of magnetic massive stars, but it is not a necessary one. We address the general properties of X-ray emission from "normal" massive stars, especially the long standing mystery about the correlations between the parameters of X-ray emission and fundamental stellar properties. The recent development in stellar structure modeling shows that small-scale surface magnetic fields may be common. We suggest a "hybrid" scenario which could explain the X-ray emission from massive stars by a combination of magnetic mechanisms on the surface and shocks in the stellar wind. The magnetic mechanisms and the wind shocks are triggered by convective motions in sub-photospheric layers. This scenario opens the door for a natural explanation of the well established correlation between bolometric and X-ray luminosities.
KW  - stars: magnetic fields
KW  - stars: mass-loss
KW  - stars: winds, outflows
KW  - stars: Wolf-Rayet
KW  - techniques: spectroscopic
KW  - X-rays: stars
Y1  - 2011
U6  - https://doi.org/10.1002/asna.201111602
SN  - 0004-6337
VL  - 332
IS  - 9-10
SP  - 988
EP  - 993
PB  - Wiley-Blackwell
CY  - Malden
ER  - 
TY  - JOUR
A1  - Kholtygin, A. F.
A1  - Fabrika, S. N.
A1  - Rusomarov, N.
A1  - Hamann, Wolf-Rainer
A1  - Kudryavtsev, D. O.
A1  - Oskinova, Lidia M.
A1  - Chountonov, G. A.
T1  - Line profile variability and magnetic fields of Wolf-Rayet stars: WR 135
 and WR 136
JF  - ASTRONOMISCHE NACHRICHTEN
N2  - We have obtained spectropolarimetric observations of two Wolf-Rayet stars, WR 135 (WC8) and WR 136 (WN6), with the 6-m Russian telescope in July 2009 and July 2010. We have studied the He II 5412 angstrom line region, which contains also the C IV 5469 angstrom line (for WR 135 only). Our goals were to investigate the rapid line-profile variability (LPV) in WR star spectra and to search for magnetic fields. We find small amplitude emission peaks moving from the center of He II line to its wings during the night in spectra of both stars. These emission peaks are likely a signature of accelerating clumps in the stellar wind. We obtained upper limits of the magnetic field strength: approximate to 200G for WR 135 and approximate to 50G for WR 136. (C) 2011 WILEY-VCH Verlag GmbH&Co. KGaA, Weinheim
KW  - stars: atmospheres
KW  - stars: magnetic fields
KW  - stars: winds
KW  - stars: Wolf-Rayet
KW  - techniques: polarimetric
Y1  - 2011
U6  - https://doi.org/10.1002/asna.201111595
SN  - 0004-6337
VL  - 332
IS  - 9-10
SP  - 1008
EP  - 1011
PB  - WILEY-BLACKWELL
CY  - MALDEN
ER  - 
TY  - JOUR
A1  - Schoeller, M.
A1  - Hubrig, Swetlana
A1  - Ilyin, Ilya
A1  - Kharchenko, N. V.
A1  - Briquet, Maryline
A1  - Gonzalez, J. F.
A1  - Langer, Norbert
A1  - Oskinova, Lidia M.
T1  - Magnetic field studies of massive main sequence stars
JF  - Astronomische Nachrichten = Astronomical notes
N2  - We report on the status of our spectropolarimetric observations of massive stars. During the last years, we have discovered magnetic fields in many objects of the upper main sequence, including Be stars, beta Cephei and Slowly Pulsating B stars, and a dozen O stars. Since the effects of those magnetic fields have been found to be substantial by recent models, we are looking into their impact on stellar rotation, pulsation, stellar winds, and chemical abundances. Accurate studies of the age, environment, and kinematic characteristics of the magnetic stars are also promising to give us new insight into the origin of the magnetic fields. Furthermore, longer time series of magnetic field measurements allow us to observe the temporal variability of the magnetic field and to deduce the stellar rotation period and the magnetic field geometry. Studies of the magnetic field in massive stars are indispensable to understand the conditions controlling the presence of those fields and their implications on the stellar physical parameters and evolution.
KW  - stars: early-type
KW  - stars: magnetic fields
KW  - stars: kinematics
KW  - techniques: polarimetric
Y1  - 2011
U6  - https://doi.org/10.1002/asna.201111606
SN  - 0004-6337
VL  - 332
IS  - 9-10
SP  - 994
EP  - 997
PB  - Wiley-Blackwell
CY  - Malden
ER  - 
TY  - JOUR
A1  - Hubrig, Swetlana
A1  - Oskinova, Lidia M.
A1  - Schoeller, M.
T1  - First detection of a magnetic field in the fast rotating runaway Oe star zeta Ophiuchi
JF  - Astronomische Nachrichten = Astronomical notes
N2  - The star zeta Ophiuchi is one of the brightest massive stars in the northern hemisphere and was intensively studied in various wavelength domains. The currently available observational material suggests that certain observed phenomena are related to the presence of a magnetic field. We acquired spectropolarimetric observations of zeta Oph with FORS 1 mounted on the 8-m Kueyen telescope of the VLT to investigate if a magnetic field is indeed present in this star. Using all available absorption lines, we detect a mean longitudinal magnetic field < B(z)>(all) = 141 +/- 45 G, confirming the magnetic nature of this star. We review the X-ray properties of zeta Oph with the aim to understand whether the X-ray emission of zeta Oph is dominated by magnetic or by wind instability processes.
KW  - stars: mass-loss
KW  - stars: early-type
KW  - stars: magnetic field
KW  - stars: kinematics and dynamics
KW  - X-rays: stars
KW  - stars: individual: zeta Ophiuchi
Y1  - 2011
U6  - https://doi.org/10.1002/asna.201111516
SN  - 0004-6337
VL  - 332
IS  - 2
SP  - 147
EP  - 152
PB  - Wiley-Blackwell
CY  - Malden
ER  - 
TY  - THES
A1  - Thiele, Sven
T1  - Modeling biological systems with Answer Set Programming
T1  - Modellierung biologischer Systeme mit Answer Set Programming
N2  - Biology has made great progress in identifying and measuring the building blocks of life. The availability of high-throughput methods in molecular biology has dramatically accelerated the growth of biological knowledge for various organisms. The advancements in genomic, proteomic and metabolomic technologies allow for constructing complex models of biological systems. An increasing number of biological repositories is available on the web, incorporating thousands of biochemical reactions and genetic regulations. Systems Biology is a recent research trend in life science, which fosters a systemic view on biology. In Systems Biology one is interested in integrating the knowledge from all these different sources into models that capture the interaction of these entities. By studying these models one wants to understand the emerging properties of the whole system, such as robustness. However, both measurements as well as biological networks are prone to considerable incompleteness, heterogeneity and mutual inconsistency, which makes it highly non-trivial to draw biologically meaningful conclusions in an automated way. Therefore, we want to promote Answer Set Programming (ASP) as a tool for discrete modeling in Systems Biology. ASP is a declarative problem solving paradigm, in which a problem is encoded as a logic program such that its answer sets represent solutions to the problem. ASP has intrinsic features to cope with incompleteness, offers a rich modeling language and highly efficient solving technology. We present ASP solutions, for the analysis of genetic regulatory networks, determining consistency with observed measurements and identifying minimal causes for inconsistency. We extend this approach for computing minimal repairs on model and data that restore consistency. This method allows for predicting unobserved data even in case of inconsistency. Further, we present an ASP approach to metabolic network expansion. This approach exploits the easy characterization of reachability in ASP and its various reasoning methods, to explore the biosynthetic capabilities of metabolic reaction networks and generate hypotheses for extending the network. Finally, we present the BioASP library, a Python library which encapsulates our ASP solutions into the imperative programming paradigm. The library allows for an easy integration of ASP solution into system rich environments, as they exist in Systems Biology.
N2  - In den letzten Jahren wurden große Fortschritte bei der Identifikation und Messung der Bausteine des Lebens gemacht. Die Verfügbarkeit von Hochdurchsatzverfahren in der Molekularbiology hat das Anwachsen unseres biologischen Wissens dramatisch beschleunigt. Durch die technische Fortschritte in Genomic, Proteomic und Metabolomic wurde die Konstruktion komplexer Modelle biologischer Systeme ermöglicht. Immer mehr biologische Datenbanken sind über das Internet verfügbar, sie enthalten tausende Daten biochemischer Reaktionen und genetischer Regulation. System Biologie ist ein junger Forschungszweig der Biologie, der versucht Biologische Systeme in ihrer Ganzheit zu erforschen. Dabei ist man daran interessiert möglichst viel Wissen aus den unterschiedlichsten Bereichen in ein Modell zu aggregieren, welches das Zusammenwirken der verschiedensten Komponenten nachbildet. Durch das Studium derartiger Modelle erhofft man sich ein Verständnis der aufbauenden Eigenschaften, wie zum Beispiel Robustheit, des Systems zu erlangen. Es stellt sich jedoch die Problematik, das sowohl die biologischen Modelle als auch die verfügbaren Messwerte, oft unvollständig, miteinander unvereinbar oder fehlerhaft sind. All dies macht es schwierig biologisch sinnvolle Schlussfolgerungen zu ziehen. Daher, möchten wir in dieser Arbeit Antwortmengen Programmierung (engl. Answer Set Programming; ASP) als Werkzeug zur diskreten Modellierung system biologischer Probleme vorschlagen. ASP verfügt über eingebaute Eigenschaften zum Umgang mit unvollständiger Information, eine reichhaltige Modellierungssprache und hocheffiziente Berechnungstechniken. Wir präsentieren ASP Lösungen zur Analyse von Netzwerken genetischer Regulierungen, zur Prüfung der Konsistenz mit gemessene Daten, und zur Identifikation von Gründen für Inkonsistenz. Diesen Ansatz erweitern wir um die Möglichkeit zur Berechnung minimaler Reparaturen an Modell und Daten, welche Konsistenz erzeugen. Mithilfe dieser Methode werden wir in die Lage versetzt, auch im Fall von Inkonsistenz, noch ungemessene Daten vorherzusagen. Weiterhin, präsentieren wir einen ASP Ansatz zur Analyse metabolischer Netzwerke. Bei diesem Ansatz, nutzen wir zum einen aus das sich Erreichbarkeit mit ASP leicht spezifizieren lässt und das ASP mehrere mächtige Methoden zur Schlussfolgerung bereitstellt, welche sich auch kombiniert lassen. Dadurch wird es möglich die Synthese Möglichkeiten eines Metabolischen Netzwerks zu erforschen und Hypothesen für Erweiterungen des metabolischen Netzwerks zu berechnen. Zu guter Letzt, präsentieren wir die BioASP Softwarebibliothek. Die BioASP-Bibliothek kapselt unsere ASP Lösungen in das imperative Programmierparadigma und vereinfacht eine Integration von ASP Lösungen in heterogene Betriebsumgebungen, wie sie in der System Biologie vorherrschen.
KW  - Antwortmengen Programmierung
KW  - System Biologie
KW  - Inkonsistenz
KW  - Unvollständigkeit
KW  - Reparatur
KW  - answer set programming
KW  - systems biology
KW  - inconsistency
KW  - incompleteness
KW  - repair
Y1  - 2011
U6  - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-59383
ER  - 
TY  - THES
A1  - Gebser, Martin
T1  - Proof theory and algorithms for answer set programming
T1  - Beweistheorie und Algorithmen für die Antwortmengenprogrammierung
N2  - Answer Set Programming (ASP) is an emerging paradigm for declarative programming, in which a computational problem is specified by a logic program such that particular models, called answer sets, match solutions. ASP faces a growing range of applications, demanding for high-performance tools able to solve complex problems. ASP integrates ideas from a variety of neighboring fields. In particular, automated techniques to search for answer sets are inspired by Boolean Satisfiability (SAT) solving approaches. While the latter have firm proof-theoretic foundations, ASP lacks formal frameworks for characterizing and comparing solving methods. Furthermore, sophisticated search patterns of modern SAT solvers, successfully applied in areas like, e.g., model checking and verification, are not yet established in ASP solving. We address these deficiencies by, for one, providing proof-theoretic frameworks that allow for characterizing, comparing, and analyzing approaches to answer set computation. For another, we devise modern ASP solving algorithms that integrate and extend state-of-the-art techniques for Boolean constraint solving. We thus contribute to the understanding of existing ASP solving approaches and their interconnections as well as to their enhancement by incorporating sophisticated search patterns. The central idea of our approach is to identify atomic as well as composite constituents of a propositional logic program with Boolean variables. This enables us to describe fundamental inference steps, and to selectively combine them in proof-theoretic characterizations of various ASP solving methods. In particular, we show that different concepts of case analyses applied by existing ASP solvers implicate mutual exponential separations regarding their best-case complexities. We also develop a generic proof-theoretic framework amenable to language extensions, and we point out that exponential separations can likewise be obtained due to case analyses on them. We further exploit fundamental inference steps to derive Boolean constraints characterizing answer sets. They enable the conception of ASP solving algorithms including search patterns of modern SAT solvers, while also allowing for direct technology transfers between the areas of ASP and SAT solving. Beyond the search for one answer set of a logic program, we address the enumeration of answer sets and their projections to a subvocabulary, respectively. The algorithms we develop enable repetition-free enumeration in polynomial space without being intrusive, i.e., they do not necessitate any modifications of computations before an answer set is found. Our approach to ASP solving is implemented in clasp, a state-of-the-art Boolean constraint solver that has successfully participated in recent solver competitions. Although we do here not address the implementation techniques of clasp or all of its features, we present the principles of its success in the context of ASP solving.
N2  - Antwortmengenprogrammierung (engl. Answer Set Programming; ASP) ist ein Paradigma zum deklarativen Problemlösen, wobei Problemstellungen durch logische Programme beschrieben werden, sodass bestimmte Modelle, Antwortmengen genannt, zu Lösungen korrespondieren. Die zunehmenden praktischen Anwendungen von ASP verlangen nach performanten Werkzeugen zum Lösen komplexer Problemstellungen. ASP integriert diverse Konzepte aus verwandten Bereichen. Insbesondere sind automatisierte Techniken für die Suche nach Antwortmengen durch Verfahren zum Lösen des aussagenlogischen Erfüllbarkeitsproblems (engl. Boolean Satisfiability; SAT) inspiriert. Letztere beruhen auf soliden beweistheoretischen Grundlagen, wohingegen es für ASP kaum formale Systeme gibt, um Lösungsmethoden einheitlich zu beschreiben und miteinander zu vergleichen. Weiterhin basiert der Erfolg moderner Verfahren zum Lösen von SAT entscheidend auf fortgeschrittenen Suchtechniken, die in gängigen Methoden zur Antwortmengenberechnung nicht etabliert sind. Diese Arbeit entwickelt beweistheoretische Grundlagen und fortgeschrittene Suchtechniken im Kontext der Antwortmengenberechnung. Unsere formalen Beweissysteme ermöglichen die Charakterisierung, den Vergleich und die Analyse vorhandener Lösungsmethoden für ASP. Außerdem entwerfen wir moderne Verfahren zum Lösen von ASP, die fortgeschrittene Suchtechniken aus dem SAT-Bereich integrieren und erweitern. Damit trägt diese Arbeit sowohl zum tieferen Verständnis von Lösungsmethoden für ASP und ihrer Beziehungen untereinander als auch zu ihrer Verbesserung durch die Erschließung fortgeschrittener Suchtechniken bei. Die zentrale Idee unseres Ansatzes besteht darin, Atome und komposite Konstrukte innerhalb von logischen Programmen gleichermaßen mit aussagenlogischen Variablen zu assoziieren. Dies ermöglicht die Isolierung fundamentaler Inferenzschritte, die wir in formalen Charakterisierungen von Lösungsmethoden für ASP selektiv miteinander kombinieren können. Darauf aufbauend zeigen wir, dass unterschiedliche Einschränkungen von Fallunterscheidungen zwangsläufig zu exponentiellen Effizienzunterschieden zwischen den charakterisierten Methoden führen. Wir generalisieren unseren beweistheoretischen Ansatz auf logische Programme mit erweiterten Sprachkonstrukten und weisen analytisch nach, dass das Treffen bzw. Unterlassen von Fallunterscheidungen auf solchen Konstrukten ebenfalls exponentielle Effizienzunterschiede bedingen kann. Die zuvor beschriebenen fundamentalen Inferenzschritte nutzen wir zur Extraktion inhärenter Bedingungen, denen Antwortmengen genügen müssen. Damit schaffen wir eine Grundlage für den Entwurf moderner Lösungsmethoden für ASP, die fortgeschrittene, ursprünglich für SAT konzipierte, Suchtechniken mit einschließen und darüber hinaus einen transparenten Technologietransfer zwischen Verfahren zum Lösen von ASP und SAT erlauben. Neben der Suche nach einer Antwortmenge behandeln wir ihre Aufzählung, sowohl für gesamte Antwortmengen als auch für Projektionen auf ein Subvokabular. Hierfür entwickeln wir neuartige Methoden, die wiederholungsfreies Aufzählen in polynomiellem Platz ermöglichen, ohne die Suche zu beeinflussen und ggf. zu behindern, bevor Antwortmengen berechnet wurden.
KW  - Wissensrepräsentation und -verarbeitung
KW  - Antwortmengenprogrammierung
KW  - Beweistheorie
KW  - Algorithmen
KW  - Knowledge Representation and Reasoning
KW  - Answer Set Programming
KW  - Proof Theory
KW  - Algorithms
Y1  - 2011
U6  - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus-55425
ER  - 
TY  - JOUR
A1  - Durzinsky, Markus
A1  - Marwan, Wolfgang
A1  - Ostrowski, Max
A1  - Schaub, Torsten
A1  - Wagler, Annegret
T1  - Automatic network reconstruction using ASP
JF  - Theory and practice of logic programming
N2  - Building biological models by inferring functional dependencies from experimental data is an important issue in Molecular Biology. To relieve the biologist from this traditionally manual process, various approaches have been proposed to increase the degree of automation. However, available approaches often yield a single model only, rely on specific assumptions, and/or use dedicated, heuristic algorithms that are intolerant to changing circumstances or requirements in the view of the rapid progress made in Biotechnology. Our aim is to provide a declarative solution to the problem by appeal to Answer Set Programming (ASP) overcoming these difficulties. We build upon an existing approach to Automatic Network Reconstruction proposed by part of the authors. This approach has firm mathematical foundations and is well suited for ASP due to its combinatorial flavor providing a characterization of all models explaining a set of experiments. The usage of ASP has several benefits over the existing heuristic algorithms. First, it is declarative and thus transparent for biological experts. Second, it is elaboration tolerant and thus allows for an easy exploration and incorporation of biological constraints. Third, it allows for exploring the entire space of possible models. Finally, our approach offers an excellent performance, matching existing, special-purpose systems.
Y1  - 2011
U6  - https://doi.org/10.1017/S1471068411000287
SN  - 1471-0684
VL  - 11
SP  - 749
EP  - 766
PB  - Cambridge Univ. Press
CY  - New York
ER  - 
TY  - GEN
A1  - Gebser, Martin
A1  - Schaub, Torsten
A1  - Thiele, Sven
A1  - Veber, Philippe
T1  - Detecting inconsistencies in large biological networks with answer set programming
T2  - Postprints der Universität Potsdam : Mathematisch-Naturwissenschaftliche Reihe
N2  - We introduce an approach to detecting inconsistencies in large biological networks by using answer set programming. To this end, we build upon a recently proposed notion of consistency between biochemical/genetic reactions and high-throughput profiles of cell activity. We then present an approach based on answer set programming to check the consistency of large-scale data sets. Moreover, we extend this methodology to provide explanations for inconsistencies by determining minimal representations of conflicts. In practice, this can be used to identify unreliable data or to indicate missing reactions.
T3  - Zweitveröffentlichungen der Universität Potsdam : Mathematisch-Naturwissenschaftliche Reihe - 561 
KW  - answer set programming
KW  - bioinformatics
KW  - consistency
KW  - diagnosis
Y1  - 2019
U6  - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:517-opus4-412467
SN  - 1866-8372
IS  - 561
ER  -