Cubature-based uncertainty estimation for nonlinear regression models

Autor: Bubel, Martin, Schmid, Jochen, Carmesin, Maximilian, Kozachynskyi, Volodymyr, Esche, Erik, Bortz, Michael

Calibrating model parameters to measured data by minimizing loss functions is an important step in obtaining realistic predictions from model-based approaches, e.g., for process optimization. This is applicable to both knowledge-driven and data-drive

Externí odkaz: http://arxiv.org/abs/2409.08756

SmartML: Towards a Modeling Language for Smart Contracts

Autor: Veschetti, Adele, Bubel, Richard, Hähnle, Reiner

Smart contracts codify real-world transactions and automatically execute the terms of the contract when predefined conditions are met. This paper proposes SmartML, a modeling language for smart contracts that is platform independent and easy to compr

Externí odkaz: http://arxiv.org/abs/2403.06622

Towards Trace-based Deductive Verification (Tech Report)

Autor: Bubel, Richard, Gurov, Dilian, Hähnle, Reiner, Scaletta, Marco

Contracts specifying a procedure's behavior in terms of pre- and postconditions are essential for scalable software verification, but cannot express any constraints on the events occurring during execution of the procedure. This necessitates to annot

Externí odkaz: http://arxiv.org/abs/2211.09487

Endovascular thrombectomy for acute ischaemic stroke with established large infarct (TENSION): 12-month outcomes of a multicentre, open-label, randomised trial

Autor: Aamodt, Anne Hege, Adamczewski, Olaf, Alektoror, Kirill, Alexander, März, Alexandrou, Maria, Alias, Quentin, Al-Kuzae, Fadha Elawi, Allard, Julien, Al-Schameri, Rahman, Álvarez, Alberto, Andersen, Grethe, AnkerlundBlaufeldt, Rolf, Antje, Riedel, Appelbohm, Hannes, Argren, Maria, Assmann, Anne, Augustin, Michael, Bach, Elke, Bar, Michal, Barleben, Maria, Baronnet, Flore, Barrios, Andrés, Bavúzová, Xénia, BayThomsen, Rikke, Becker, Sandra, Beer, Sylvia, Behme, Daniel, Bellut, Maximilian, Bendszus, Martin, Berkefeld, Joachim, Bester, Maximillian, Bode, Felix J., Boehme, Christian, Boese, Ramona, Bohmann, Ferdinand, Bonekamp, Susanne, Borggrefe, Jan, Boss, Erendira Gabriela, Boutchakova, Maria, Boxhammer, Elfi, Brandhofe, Annemarie, Breckwoldt, Michael, Brekenfeld, Casper, Brehm, Alex, Brem, Christian, Breuer, Stella, Breyer, Tobias, Brodová, Petra, Broocks, Gabriel, Brosinski, Christoph, Bubel, Nele, Búřil, Jiří, Čábal, Martin, Casado, Laura, de Celis, Elena, Chabert, Emmanuel, Charisse, Daniel, Cheng, Bastian, Chovanec, Vendelín, Cidlinsky, Peter, Cisár, Juraj, Clarençon, Fréderic, Crozier, Sophie, Čurdová, Nina, Damaskinos, Michele, Damgaard, Dorte, Daniš, Martin, Dazinger, Florian, Deb-Chatterji, Milani, Delalic, Asima, Delekta, Agnieszka, Delorme, Stephen, Deutschmann, Hannes, Diamandis, Elie, Diedrichsen, Tove, Doležalová, Irena, Dorn, Franziska, du Mesnil de Rochemont, Richard, DupontHougaard, Kristina, Ebrahimi, Taraneh, Eff, Florian, Eliášová, Ilona, Enriquez, Brian, Ergawy, Mostafa, Essig, Fabian, Falkesgaard, Maiken, Fandler-Höfler, Simon, Fernández, Andrés, Ferré, Jean-Christophe, Ferrier, Anna, Fiehler, Jens, Figlewski, Krystian, Fischer, Sebastian, Fischer, Urs, Flottmann, Fabian, Forbrig, Robert, Förch, Christian, Fromm, Annette, Fuentes, Blanca, Gaedke, Ines, Galczak, Romana, Galijasevic, Malik, Ganser, Bernhard, Gattringer, Thomas, Gawlitza, Matthias, Gelhard, Sarah, Gellißen, Susanne, Gerber, Johannes, Giannakakis, Michail Panagiotis, Gindlhuber, Karin, Gizewski, Elke R., Glodny, Bernhard, Godel, Tim, Goebell, Einar, Goldemund, David, Görtler, Michael, Goyal, Mayank, Grams, Astrid E., Gruber, Joachim, Gruber, Katharina, Günthner-Lengsfeld, Thomas, Haase, Kathrin, Hacker-Ivan, Floriana, Hallerstig, Erika, Hametner, Christian, Hanning, Uta, Haring, Jozef, Haršány, Michal, Haršány, Ján, Hartmann, Christian, Hassler, Eva Maria, Hauptmann, Kristina, Haeusler, Karl Georg, Hecker, Constantin, Hellstern, Victoria, Henkes, Hans, Hernández, Victoria, Herweh, Christian, Hilgenfeld, Tim, Hill, Michael D., Hjort, Niels, HjortJensen, Nina, Hoelter, Maya, Hoffmann, Karl-Titus, Holst, Brigitte, Holtmannspoetter, Markus, Hopf-Jensen, Silke, Hoppe, Julia, Horner, Susanne, HougaardSoerensen, Leif, Hua, Vi Tuan, Hubert, Alexander, Hurtíková, Eva, Jakubíček, Stanislava, Janjic, Tanja, Jaramillo, Kirsten, Jedlitschka, Angela, Jensen, Schiela, Jensen, Märit, Jesser, Jessica, Jestaedt, Leonie, Johnson, Sabine, Jonszta, Tomáš, Kalmar, Peter, Karabegovic, Sanja, Karen, Kollo, Kastrup, Andreas, Katja, Hopp, Keeba, Natalia, Keese, Petra, Kefaloykos, Christina, Keil, Fee, Kellert, Lars, Kellinghaus, Christoph, Kestner, Roxane-Isabelle, Kiechl, Stefan, Killer-Oberpfalzer, Monika, Klepanec, Andrej, Knispel, Casjupea, Knoflach, Michael, Kohler, Sabine, Kohlhase, Konstantin, Kollikowski, Alexander Marco, Kovář, Martin, Krajina, Antonín, Kral, Michael, Krastev, Georgi, Krause, Lars Udo, Kreidenhuber, Rudolf, Křivka, Tomáš, Krkoška, Adam, Kröger, Jan Robert, Kronlage, Moritz, Krukowski, Pawel, Kühn, Julia, Kurča, Egon, Kurka, Natalia, Kuschnerow, Michael, Lachmund, Rita, Lamprecht, Susanne, Lange, Rüdiger, Lauer, Monika, de Leciñana, Alonso, Leder, Sara, Leger, Anne, Lehnen, Nils, Lehrieder, Dominik, Leißner, Maximilian, Leitinger, Markus, Leitner, Ursula, Lenck, Stéphanie, Lenzenweger, Eva, Liebig, Thomas, Lowens, Stephan, Lunzer, Manuel, Maegerlein, Christian, Magyar, Marton, Marques, Leonardo, Matyáš, David, Maurer, Gabriele, Mauritz, Matthias, Maximilian, Thormann, Mayer-Süß, Lukas, Meckel, Stephan, Medek, Oldřich, Meissner, Julius N., Mencl, Pavel, Merkle, Andrea, Mesche, Birte, Michalski, Dominik, Mikulík, Robert, Modrau, Boris, Möhlenbruch, Markus A., Mohr, Alexander, Mönninghoff, Christoph, Moser, Tobias, Mücke, Ramona, Müller-Hülsbeck, Stefan, Müller-Thies-Broussalis, Erasmia, Mutzenbach, Sebastian, Navia, Pedro, Neuberger, Ulf, Neugebauer, Hermann, Neumann, Jens, Nguyên, Anh, Niederkorn, Kurt, Nosál', Vladimír, Novobilský, Richard, Ntoulias, Nikos, Nussbaum, Lukas, Oder, Joanna, Oldag, Andreas, Ondrejkovič, Marián, Otto, Ferdinand, Otto, Dagmar, Paech, Daniel, Pagano, Paolo, Pallesen, Lars-Peder, Panský, Michal, Papanagiotou, Panagiotis, Patrick, Samp, Paukisch, Harald, Pelz, Johann, Petersen, Inga, Petersen, Martina, Petzold, Gabor C., Pfaff, Johannes, Pfeilschifter, Waltraud, Pham, Mirko, Pichler, Alexander, Pierot, Laurent, Pikija, Slaven, PlougmannPovlsen, Jan, Polkowski, Christoph, Polomac, Nenad, Portugaller, Rupert Horst, Poulsen, Marika, Preiß, Michael, Premat, Kévin, Prestsæter, Sjur, Prieto-Pérez, Rocio, Psychogios, Marios, Puetz, Volker, Purrucker, Jan, Rai, Heike, Rauch, Maximilian, Raupach, Jan, Reimann, Gernot, Reimann, Georg, Reitz, Sarah, Renc, Ondřej, Retzlaff, Jasmin, Rigual, Ricardo, Ringleb, Peter Arthur, Rivera-Bengoa, Carlota, Rodríguez, Jorge, Rohde, Stefan, Rohler, Siegfried, Rosso, Charlotte, Roth, Christian, Röttcher, Thomas, Roubec, Martin, Roztočilová, Milada, Rudnicka, Svetlana, Ruiz, Gerardo, Ryan, Stephen, Ryckborst, Karla J., Sandvik, Simen, Schäfer, Jan-Hendrik, Schaller-Paule, Martin, Schell, Maximillian, Schellinger, Peter, Schlemm, Eckhard, Schmid, Florian, Schmidt, Christoph, Schmitz, Marie Louise, Schneider, Claus, Scholtz, Jan-Erik, Schönenberger, Silvia, Schröter, Andreas, Schwarz, Daniel, Schwarz, Stephan, Schwarzenhofer, Daniel, Seifert-Held, Thomas, Seiler, Alexander, Seker, Fatih, Shotar, Eimad, Simonsen, Claus Z., Simonsen, Maria Theresa, Sivák, Jozef, Skagen, Karolina, Skjelland, Mona, Šnajdrová, Alena, Solymosi, Lazlo, Sømark, Jesper, Sonnberger, Michael, Soršák, Jakub, Sourour, Nader, Søyland, Jogrim, Spitzer, Daniel, Sporns, Peter, Städt, Michael, Steidl, Eike, Størdal, Anne Margrethe Kaalaas, Stösser, Sebastian, Strickmann, Sarah, Strýček, Ondřej, Suškevič, Igor, Sýkora, Jan, Tennøe, Bjørn, Thaler, Daniela, Theisen, Sara, Thomalla, Götz, Trendafilov, Petar, Trenkler, Johannes, Trumm, Christoph, Tsogkas, Ioannis, Tunold, Jon-Anders, Tveit, Lars, Ulfert, Christian, Vališ, Kateřina, Vaníček, Jiří, Vassilev, Christine, Vítková, Eva, Voit-Höhne, Heinz-Leonhard, Vojtíšek, Bohuslav, Volderauer, Karoline, Vollherbst, Dominik, Vollmuth, Christoph, Volna, Kamila, Volný, Ondřej, VonWeitzel-Mudersbach, Poul, Vorčák, Martin, Wagner, Marlies, Wathle, Gaute Kjellevold, Weber, Werner, Weber, Anushe, Weiss, Viktor, Weller, Johannes M., Wenger-Alakmeh, Katharina, Weyland, Cyrill, Weymayr, Friedrich, Wießpeiner, Ulrike, Willeit, Johannes, Wittwer, Aymeric, Wollenweber, Frank, Wortmann, Ginette, Wunderlich, Silke, Xiong, Yanyan, You, Se-Jong, ZachoSpeiser, Lasse, Zamani, Mahtab, Zelenak, Kamil, Zeleňáková, Jana, Zubel, Seraphine, Subtil, Fabien, Gizewski, Elke R, Hill, Michael D, Krajina, Antonin, Simonsen, Claus Z, Zeleňák, Kamil, Blauenfeldt, Rolf A, Denis, Angélique, Gerber, Johannes C, Keil, Christiane Fee, Mikkelsen, Ronni, Möhlenbruch, Markus, Münnich, Nico, Petzold, Gabor C, Schell, Maximilian, Vollherbst, Dominik F, Wick, Wolfgang

Publikováno v: In The Lancet Neurology September 2024 23(9):883-892

Endovascular thrombectomy for acute ischaemic stroke with established large infarct: multicentre, open-label, randomised trial

Autor: Aamodt, Anne Hege, Adamczewski, Olaf, Alektoror, Kirill, Alexander, März, Alexandrou, Maria, Alias, Quentin, Al-Kuzae, Fadha Elawi, Allard, Julien, Al-Schameri, Rahman, Álvarez, Alberto, Andersen, Grethe, AnkerlundBlaufeldt, Rolf, Antje, Riedel, Appelbohm, Hannes, Argren, Maria, Assmann, Anne, Augustin, Michael, Bach, Elke, Bar, Michal, Barleben, Maria, Baronnet, Flore, Barrios, Andrés, Bavúzová, Xénia, BayThomsen, Rikke, Becker, Sandra, Beer, Sylvia, Behme, Daniel, Bellut, Maximilian, Bendszus, Martin, Berkefeld, Joachim, Bester, Maximillian, Bode, Felix J., Boehme, Christian, Boese, Ramona, Bohmann, Ferdinand, Bonekamp, Susanne, Borggrefe, Jan, Boss, Erendira Gabriela, Boutchakova, Maria, Boxhammer, Elfi, Brandhofe, Annemarie, Breckwoldt, Michael, Brekenfeld, Casper, Brehm, Alex, Brem, Christian, Breuer, Stella, Breyer, Tobias, Brodová, Petra, Broocks, Gabriel, Brosinski, Christoph, Bubel, Nele, Búřil, Jiří, Čábal, Martin, Casado, Laura, Celis, Elena de, Chabert, Emmanuel, Charisse, Daniel, Cheng, Bastian, Chovanec, Vendelín, Cidlinsky, Peter, Cisár, Juraj, Clarençon, Fréderic, Crozier, Sophie, Čurdová, Nina, Damaskinos, Michele, Damgaard, Dorte, Daniš, Martin, Dazinger, Florian, Deb-Chatterji, Milani, Delalic, Asima, Delekta, Agnieszka, Delorme, Stephen, Deutschmann, Hannes, Diamandis, Elie, Diedrichsen, Tove, Doležalová, Irena, Dorn, Franziska, du Mesnil de Rochemont, Richard, DupontHougaard, Kristina, Ebrahimi, Taraneh, Eff, Florian, Eliášová, Ilona, Enriquez, Brian, Ergawy, Mostafa, Essig, Fabian, Falkesgaard, Maiken, Fandler-Höfler, Simon, Fernández, Andrés, Ferré, Jean-Christophe, Ferrier, Anna, Fiehler, Jens, Figlewski, Krystian, Fischer, Sebastian, Fischer, Urs, Flottmann, Fabian, Forbig, Robert, Förch, Christian, Fromm, Annette, Fuentes, Blanca, Gaedke, Ines, Galczak, Romana, Galijasevic, Malik, Ganser, Bernhard, Gattringer, Thomas, Gawlitza, Matthias, Gelhard, Sarah, Gellißen, Susanne, Gerber, Johannes, Giannakakis, Michail Panagiotis, Gindlhuber, Karin, Gizewski, Elke R., Glodny, Bernhard, Godel, Tim, Goebell, Einar, Goldemund, David, Görtler, Michael, Goyal, Mayank, Grams, Astrid E., Gruber, Joachim, Gruber, Katharina, Günthner-Lengsfeld, Thomas, Haase, Kathrin, Hacker-Ivan, Floriana, Hallerstig, Erika, Hanning, Uta, Haring, Jozef, Haršány, Michal, Haršány, Ján, Hartmann, Christian, Hassler, Eva Maria, Hauptmann, Kristina, Häusler, Karl Georg, Hecker, Constantin, Hellstern, Victoria, Henkes, Hans, Hernández, Victoria, Herweh, Christian, Hilgenfeld, Tim, Hill, Michael D., Hjort, Niels, HjortJensen, Nina, Hoelter, Maya, Hoffmann, Karl-Titus, Holst, Brigitte, Holtmannspoetter, Markus, Hopf-Jensen, Silke, Hoppe, Julia, Horner, Susanne, HougaardSoerensen, Leif, Hua, Vi Tuan, Hubert, Alexander, Hurtíková, Eva, Jakubíček, Stanislava, Janjic, Tanja, Jaramillo, Kirsten, Jedlitschka, Angela, Jensen, Schiela, Jensen, Märit, Jesser, Jessica, Jestaedt, Leonie, Johnson, Sabine, Jonszta, Tomáš, Kalmar, Peter, Karabegovic, Sanja, Karen, Kollo, Kastrup, Andreas, Katja, Hopp, Keeba, Natalia, Keese, Petra, Kefalaykos, Christina, Keil, Fee, Kellert, Lars, Kellinghaus, Christoph, Kestner, Roxane-Isabelle, Kiechl, Stefan, Killer-Oberpfalzer, Monika, Klepanec, Andrej, Knispel, Casjupea, Knoflach, Michael, Kohler, Sabine, Kohlhase, Konstantin, Kollikowski, Alexander Marco, Kovář, Martin, Krajina, Antonín, Kral, Michael, Krastev, Georgi, Krause, Lars Udo, Kreidenhuber, Rudolf, Křivka, Tomáš, Krkoška, Adam, Kröger, Jan Robert, Kronlage, Moritz, Krukowski, Pawel, Kühn, Julia, Kurča, Egon, Kurka, Natalia, Kuschnerow, Michael, Lachmund, Rita, Lamprecht, Susanne, Lange, Rüdiger, Lauer, Monika, Leciñana, Alonso de, Leder, Sara, Leger, Anne, Lehnen, Nils, Lehrieder, Dominik, Leißner, Maximilian, Leitinger, Markus, Leitner, Ursula, Lenck, Stéphanie, Lenzenweger, Eva, Liebig, Thomas, Lowens, Stephan, Lunzer, Manuel, Maegerlein, Christian, Magyar, Marton, Marques, Leonardo, Matyáš, David, Maurer, Gabriele, Mauritz, Matthias, Maximilian, Thormann, Mayer-Süß, Lukas, Meckel, Stephan, Medek, Oldřich, Meissner, Julius N., Mencl, Pavel, Merkle, Andrea, Mesche, Birte, Michalski, Dominik, Mikulík, Robert, Modrau, Boris, Möhlenbruch, Markus A., Mohr, Alexander, Mönninghoff, Christoph, Moser, Tobias, Mücke, Ramona, Müller-Hülsbeck, Stefan, Müller-Thies-Broussalis, Erasmia, Mutzenbach, Sebastian, Navia, Pedro, Neuberger, Ulf, Neugebauer, Hermann, Neumann, Jens, Nguyên, Anh, Niederkorn, Kurt, Nosál', Vladimír, Novobilský, Richard, Ntoulias, Nikos, Nussbaum, Lukas, Oder, Joanna, Oldag, Andreas, Ondrejkovič, Marián, Otto, Ferdinand, Otto, Dagmar, Paech, Daniel, Pagano, Paolo, Pallesen, Lars-Peder, Panský, Michal, Papanagiotou, Panagiotis, Patrick, Samp, Paukisch, Harald, Pelz, Johann, Petersen, Inga, Petersen, Martina, Petzold, Gabor C., Pfaff, Johannes, Pfeilschifter, Waltraud, Pham, Mirko, Pichler, Alexander, Pierot, Laurent, Pikija, Slaven, PlougmannPovlsen, Jan, Polkowski, Christoph, Polomac, Nenad, Portugaller, Rupert Horst, Poulsen, Marika, Preiß, Michael, Premat, Kévin, Prestsæter, Sjur, Prieto-Pérez, Rocio, Psychogios, Marios, Puetz, Volker, Purrucker, Jan, Rai, Heike, Rauch, Maximilian, Raupach, Jan, Reimann, Gernot, Reimann, Georg, Reitz, Sarah, Renc, Ondřej, Retzlaff, Jasmin, Rigual, Ricardo, Ringleb, Peter Arthur, Rivera-Bengoa, Carlota, Rodríguez, Jorge, Rohde, Stefan, Rohler, Siegfried, Rosso, Charlotte, Roth, Christian, Röttcher, Thomas, Roubec, Martin, Roztočilová, Milada, Rudnicka, Svetlana, Ruiz, Gerardo, Ryan, Stephen, Ryckborst, Karla J., Sandvik, Simen, Schäfer, Jan-Hendrik, Schaller-Paule, Martin, Schell, Maximillian, Schellinger, Peter, Schlemm, Eckhard, Schmid, Florian, Schmidt, Christoph, Schmitz, Marie Louise, Schneider, Claus, Scholtz, Jan-Erik, Schönenberger, Silvia, Schröter, Andreas, Schwarz, Daniel, Schwarz, Stephan, Schwarzenhofer, Daniel, Seifert-Held, Thomas, Seiler, Alexander, Seker, Fatih, Shotar, Eimad, Simonsen, Claus Z., Simonsen, Maria Theresa, Sivák, Jozef, Skagen, Karolina, Skjelland, Mona, Šnajdrová, Alena, Solymosi, Lazlo, Sømark, Jesper, Sonnberger, Michael, Soršák, Jakub, Sourour, Nader, Søyland, Jogrim, Spitzer, Daniel, Sporns, Peter, Städt, Michael, Steidl, Eike, Størdal, Anne Margrethe Kaalaas, Stösser, Sebastian, Strickmann, Sarah, Strýček, Ondřej, Suškevič, Igor, Sýkora, Jan, Tennøe, Bjørn, Thaler, Daniela, Theisen, Sara, Thomalla, Götz, Trendafilov, Petar, Trenkler, Johannes, Trumm, Christoph, Tsogkas, Ioannis, Tunold, Jon-Anders, Tveit, Lars, Ulfert, Christian, Vališ, Kateřina, Vaníček, Jiří, Vassilev, Christine, Vítková, Eva, Voit-Höhne, Heinz-Leonhard, Vojtíšek, Bohuslav, Volderauer, Karoline, Vollherbst, Dominik, Vollmuth, Christoph, Volna, Kamila, Volný, Ondřej, VonWeitzel-Mudersbach, Poul, Vorčák, Martin, Wagner, Marlies, Wathle, Gaute Kjellevold, Weber, Werner, Weber, Anushe, Weiss, Viktor, Weller, Johannes M., Wenger-Alakmeh, Katharina, Weyland, Cyrill, Weymayr, Friedrich, Wießpeiner, Ulrike, Willeit, Johannes, Wittwer, Aymeric, Wollenweber, Frank, Wortmann, Ginette, Wunderlich, Silke, Xiong, Yanyan, You, Se-Jong, ZachoSpeiser, Lasse, Zelenak, Kamil, Zeleňáková, Jana, Zubel, Seraphine, Subtil, Fabien, Gizewski, Elke R, Hill, Michael D, Krajina, Antonin, Simonsen, Claus Z, Zeleňák, Kamil, Blauenfeldt, Rolf A, Denis, Angélique, Gerber, Johannes C, Keil, Christiane Fee, Mikkelsen, Ronni, Möhlenbruch, Markus, Münnich, Nico, Petzold, Gabor C, Schell, Maximilian, Vollherbst, Dominik F, Wick, Wolfgang

Publikováno v: In The Lancet 11-17 November 2023 402(10414):1753-1763