Zum Inhalt springen

  1. Kröger, Paul [VerfasserIn]; Fränzle, Martin [VerfasserIn]

    Bayesian hybrid automata : a formal model of justified belief in interacting hybrid systems subject to imprecise observation

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    2022

    Erschienen in: Leibniz Transactions on Embedded Systems ; 8(2022), 2, Seite 1-27

  2. Knufflock, Paul [BearbeiterIn]; Albrecht, Lorenz [DruckerIn] ; Aswer Kröger Erben

    Ein Schön || nye Christlick vnde || nütte Bedebock.|| Vth den olden Lerern || der Kercken/ alse Augustino,|| &c.|| Thosamen gebröcht ... || Nu vp dat nye öuerseen vn=||de mit vlyte Corrigeret/ ock mit mehr || andern ... Gebeden vörmeret/|| ... P ... K.||

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Lübeck: Aswer Kröger (Erben), 1596 ; Lübeck: Lorenz Albrecht, 1596 ; Online-Ausgabe, Rostock: Universitätsbibliothek, 2023

  3. Bellamy, Richard [VerfasserIn]; Kröger, Sandra [VerfasserIn]

    Differentiated integration as a fair scheme of cooperation

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    San Domenico di Fiesole (FI), Italy: European University Institute, Robert Schuman Centre for Advanced Studies, [2019]

    Erschienen in: European University Institute: EUI working paper / RSC ; 2019,27

  4. Bellamy, Richard [VerfasserIn]; Kröger, Sandra [VerfasserIn]; Lorimer, Marta [VerfasserIn]

    Normative foundations and political party views of differentiated integration

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    San Domenico di Fiesole: European University Institute, Robert Schuman Centre for Advanced Studies, [2022]

    Erschienen in: European University Institute: EUI working paper / RSC ; 2022,23

  5. Finkbeiner, Bernd [VerfasserIn]; Fränzle, Martin [VerfasserIn]; Kohn, Florian [VerfasserIn]; Kröger, Paul [VerfasserIn]

    A truly robust Signal Temporal Logic : monitoring safety properties of interacting cyber-physical systems under uncertain observation

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    2022

    Erschienen in: Algorithms ; 15(2022), 4, Artikel-ID 126, Seite 1-17

  6. Olderog, Ernst-Rüdiger [VerfasserIn]; Fränzle, Martin [VerfasserIn]; Theel, Oliver [VerfasserIn]; Kröger, Paul [VerfasserIn]

    System correctness under adverse conditions

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    2021

    Erschienen in: Information technology ; 63(2021), 5/6, Seite 249-251

  7. Damm, Werner [VerfasserIn]; Fränzle, Martin [VerfasserIn]; Hagemann, Willem [VerfasserIn]; Kröger, Paul [VerfasserIn]; Rakow, Astrid [VerfasserIn]

    Dynamic conflict resolution using justification based reasoning

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    2019

    Erschienen in: Workshop on Formal Reasoning about Causation, Responsibility, and Explanations in Science and Technology (4. : 2019 : Prag): Proceedings of the 4th Workshop on Formal Reasoning about Causation, Responsibility, and Explanations in Science and Technology ; (2019), Seite 47-65

  8. Damm, Werner [VerfasserIn]; Fränzle, Martin [VerfasserIn]; Hagemann, Willem [VerfasserIn]; Kröger, Paul [VerfasserIn]; Rakow, Astrid [VerfasserIn]

    Justification based reasoning in dynamic conflict resolution

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    2019

    Erschienen in: Arxiv ; 2019 (28. Mai), insges. 17 Seiten

  9. Damm, Werner [VerfasserIn]; Fränzle, Martin [VerfasserIn]; Gerwinn, Sebastian [VerfasserIn]; Kröger, Paul [VerfasserIn]

    Perspectives on the validation and verification of machine learning systems in the context of highly automated vehicles

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    2018

    Erschienen in: AAAI Spring Symposium Series (2018 : Stanford, Calif.): The 2018 AAAI Spring Symposium Series technical report ; (2018), Seite 512-515

  10. Grundt, Dominik [VerfasserIn]; Jurj, Sorin Liviu [VerfasserIn]; Hagemann, Willem [VerfasserIn]; Kröger, Paul [VerfasserIn]; Fränzle, Martin [VerfasserIn]

    Verification of sigmoidal Artificial Neural Networks using iSAT

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    2022

    Erschienen in: Electronic proceedings in theoretical computer science ; 361(2022), Seite 45-60

  11. Dannheim, Dominik [VerfasserIn]; Dort, Katharina [VerfasserIn]; Huth, Lennart [VerfasserIn]; Hynds, Daniel [VerfasserIn]; Kremastiotis, Iraklis [VerfasserIn]; Kröger, Jens [VerfasserIn]; Munker, Magdalena [VerfasserIn]; Pitters, Florian [VerfasserIn]; Schütze, Paul [VerfasserIn]; Spannagel, Simon [VerfasserIn]; Vanat, Tomas [VerfasserIn]; Williams, Morag [VerfasserIn]

    Corryvreckan : a modular 4D track reconstructiion and analysis software for test beam data

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Hamburg: Deutsches Elektronen-Synchrotron DESY, November 2020

    Erschienen in: Deutsches Elektronen-Synchrotron: DESY ; 2020,210

  12. Büssow, Konrad [VerfasserIn]; Themann, Philipp [VerfasserIn]; Luu, Sabine [VerfasserIn]; Pentrowski, Paul [VerfasserIn]; Harting, Claudia [VerfasserIn]; Majewski, Mira [VerfasserIn]; Vollmer, Veith [VerfasserIn]; Köster, Mario [VerfasserIn]; Grashoff, Martina [VerfasserIn]; Zawatzky, Rainer [VerfasserIn]; Heuvel, Joop van den [VerfasserIn]; Kröger, Andrea [VerfasserIn]; Böldicke, Thomas [VerfasserIn]

    ER intrabody-mediated inhibition of interferon α secretion by mouse macrophages and dendritic cells

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    2019

    Erschienen in: PLOS ONE ; Bd. 14.2019, 4, Artikel Nr. e0215062, insges. 25 S.

  13. Lockner, Yannik Peter [VerfasserIn]; Buske, Paul [VerfasserIn]; Rudack, Maximilian Markus [VerfasserIn]; Kheirandish, Zahra [VerfasserIn]; Kröger, Moritz [VerfasserIn]; Stoyanov, Stoyan [VerfasserIn]; Dokhanchi, Seyed Ruhollah [VerfasserIn]; Janowitz, Julia [VerfasserIn]; Peitz, Alexander Constantin [VerfasserIn]; Rudolph, Fridtjof [VerfasserIn]; Hopmann, Christian [VerfasserIn]; Bobzin, Kirsten [VerfasserIn]; Heinemann, Hendrik [VerfasserIn]; Kalscheuer, Christian [VerfasserIn]; Carlet, Marco [VerfasserIn]; Schulz, Wolfgang [VerfasserIn]

    Improving Manufacturing Efficiency for Discontinuous Processes by Methodological Cross-Domain Knowledge Transfer

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Aachen: Universitätsbibliothek der RWTH Aachen, 2023

  14. Locke, Frederick [VerfasserIn]; Filosto, Simone [VerfasserIn]; Chou, Justin [VerfasserIn]; Vardhanabhuti, Saran [VerfasserIn]; Perbost, Regis [VerfasserIn]; Dreger, Peter [VerfasserIn]; Hill, Brian T. [VerfasserIn]; Lee, Catherine [VerfasserIn]; Zinzani, Pier L. [VerfasserIn]; Kröger, Nicolaus [VerfasserIn]; López-Guillermo, Armando [VerfasserIn]; Greinix, Hildegard [VerfasserIn]; Zhang, Wangshu [VerfasserIn]; Tiwari, Gayatri [VerfasserIn]; Budka, Justin [VerfasserIn]; Marincola, Francesco M. [VerfasserIn]; To, Christina [VerfasserIn]; Mattie, Mike [VerfasserIn]; Schupp, Marco [VerfasserIn]; Cheng, Paul [VerfasserIn]; Bot, Adrian [VerfasserIn]; Shen, Rhine [VerfasserIn]; Bedognetti, Davide [VerfasserIn]; Miao, Harry [VerfasserIn];

    Impact of tumor microenvironment on efficacy of anti-CD19 CAR T cell therapy or chemotherapy and transplant in large B cell lymphoma

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    February 2024

    Erschienen in: Nature medicine ; 30(2024), Heft 2, S. 507-518, 11 gezählte sowie 18 ungezählte Seiten

  15. Marotzke, Jochem [VerfasserIn]; Müller, Wolfgang A. [VerfasserIn]; Vamborg, Freja S. E. [VerfasserIn]; Becker, Paul [VerfasserIn]; Cubasch, Ulrich [VerfasserIn]; Feldmann, Hendrik [VerfasserIn]; Kaspar, Frank [VerfasserIn]; Kottmeier, Christoph [VerfasserIn]; Marini, Camille [VerfasserIn]; Polkova, Iuliia [VerfasserIn]; Prömmel, Kerstin [VerfasserIn]; Rust, Henning W. [VerfasserIn]; Stammer, Detlef [VerfasserIn]; Ulbrich, Uwe [VerfasserIn]; Kadow, Christopher [VerfasserIn]; Köhl, Armin [VerfasserIn]; Kröger, Jürgen [VerfasserIn]; Kruschke, Tim [VerfasserIn]; Pinto, Joaquim G. [VerfasserIn]; Pohlmann, Holger [VerfasserIn]; Reyers, Mark [VerfasserIn]; Schröder, Marc [VerfasserIn]; Sienz, Frank [VerfasserIn]; Timmreck, Claudia [VerfasserIn];

    MiKlip - a National Research Project on Decadal Climate Prediction

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    AMS (American Meteorological Society), 2016-12

  16. Wendin, Christoph [Präses]; Krüger, Jacob [RespondentIn] ; Möllemann, Stephan [Sonstige Person, Familie und Körperschaft]

    Dvce & Avspice Christo. Ex Consvetvdinibus Fevdalibvs Dispvtatio I. De Feudi definitione, eiusq[ue] substantialibus & origine ex c. 23. §. fin. In quibus causis feudum amittatur, & c. 1. §. & quia videmus, De his qui feudum dare possunt: in qua Præside Christophoro VVendino J. V. D. Respondebit Iacobvs Crogervs Buxtehudensis

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Rostochii: Myliander, 1588 ; Online-Ausgabe, Rostock: Universitätsbibliothek, 2021

    Erschienen in: Wendin, Christoph: Consvetvdinvm Fevdalivm Dispvtationes XII. Ex textu iuris feudalis, adhibitis optimis quibusq́[ue] interpretibus præsertim antiquioribus. Jn illustri & celeberrima Megapolensium Academia, quæ est Rostochij, in gratiam studiosæ iuuentutis propositæ ; 1588

  17. Stumpf, Julian [VerfasserIn]; Siepmann, Torsten [VerfasserIn]; Lindner, Tom [VerfasserIn]; Karger, Claudia [VerfasserIn]; Schwöbel, Jörg [VerfasserIn]; Anders, Leona [VerfasserIn]; Faulhaber-Walter, Robert [VerfasserIn]; Schewe, Jens [VerfasserIn]; Martin, Heike [VerfasserIn]; Schirutschke, Holger [VerfasserIn]; Barnett, Kerstin [VerfasserIn]; Hüther, Jan [VerfasserIn]; Müller, Petra [VerfasserIn]; Langer, Torsten [VerfasserIn]; Pluntke, Thilo [VerfasserIn]; Anding-Rost, Kirsten [VerfasserIn]; Meistring, Frank [VerfasserIn]; Stehr, Thomas [VerfasserIn]; Pietzonka, Annegret [VerfasserIn]; Escher, Katja [VerfasserIn]; Cerny, Simon [VerfasserIn]; Rothe, Hansjörg [VerfasserIn]; Pistrosch, Frank [VerfasserIn]; Seidel, Harald [VerfasserIn]; [...]

    Humoral and cellular immunity to SARS-CoV-2 vaccination in renal transplant versus dialysis patients : a prospective, multicenter observational study using mRNA-1273 or BNT162b2 mRNA vaccine

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    2021

    Erschienen in: The lancet. Regional health ; 9(2021), Artikel-ID 100178

  18. Adams, E. N [MitwirkendeR]; Appel, J [MitwirkendeR]; Argyres, P. N [MitwirkendeR]; Banbury, P. C [MitwirkendeR]; Bardeen, J [MitwirkendeR]; Barrie, R [MitwirkendeR]; Bartschat, A [MitwirkendeR]; Batdorf, R. L [MitwirkendeR]; Belanovski, A. S [MitwirkendeR]; Bernard, Maurice G. A [MitwirkendeR]; Billig, E [MitwirkendeR]; Boeters, K. E [MitwirkendeR]; Bothe, H. K [MitwirkendeR]; Brauer, Peter [MitwirkendeR]; Breckenridge, R. G [MitwirkendeR]; Broder, J. D [MitwirkendeR]; Broom, R [MitwirkendeR]; Brown, F. H [MitwirkendeR]; Burstein, E [MitwirkendeR]; Busch, G [MitwirkendeR]; Busch, Georg A [MitwirkendeR]; Clark, J. C [MitwirkendeR]; Destriau, Georges [MitwirkendeR]; Domergue, Louis [MitwirkendeR]; [...]

    Halbleiter und Phosphore : Vorträge des Internationalen Kolloquiums 1956 "Halbleiter und Phosphore" in Garmisch-Partenkirchen - [Reprint 2021]

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Boston: De Gruyter, [2022] ; [Online-Ausgabe]

  19. Faber, David [GefeierteR]; Faber, Sophie [GefeierteR]; Lamberg, Abraham [DruckerIn]; Glück, Johann [DruckerIn]; Leyser, Polycarp [Sonstige Person, Familie und Körperschaft]; Krüger, Bartholomäus [Sonstige Person, Familie und Körperschaft]; Wirth, Michael [MitwirkendeR]; Walpurger, Christoph Wilhelm [MitwirkendeR]; Rentzel, Johann [MitwirkendeR]; Schwalenberg, Otto [MitwirkendeR]; Rorscheidt, Marcus [MitwirkendeR]; Schmuck, .. [MitwirkendeR]; Heiland, Enoch [MitwirkendeR]; Preibis, Christoph [MitwirkendeR]; Landgraf, Simon [MitwirkendeR]; Hartung, Valentin [MitwirkendeR]; Müller, Philipp [MitwirkendeR]; Höpfner, Heinrich [MitwirkendeR]; Hoepner, Johann [MitwirkendeR]; Müller, Johannes [MitwirkendeR]; Rosthius, Nicolaus [MitwirkendeR]; Bauer, Andreas [MitwirkendeR]; Mayer, Ulrich [MitwirkendeR]; Zeidler, Michael [MitwirkendeR]; [...]

    Fortunate Deo trinuno Nuptiis solennibus & secundis Clarißimi [et] Experientißimi Viri Dn. Davidis Fabri Medicinæ Doctoris & Aulæ Saxon. Aldenburgicæ Archiatri dignissimi, Et Honestißimæ fœminæ Sophiæ, Rev. & Excell. Dn. D. Polycarpi Lyseri Theologi aulæ Electoralis Saxoniæ Filiæ, & Exper. ac Clariss. Dn. D. Bartholomæi Crugeri viduæ, relictæ Lipsiæ 3. Februar. celebrandis fausta gratulantur Affines & amici

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Lipsiæ: Typis Abrahami Lambergi, Excudebat Johann Glück, 1617 ; Online-Ausgabe, Jena: Thüringer Universitäts- und Landesbibliothek, 2022