Segmenting and classifying video content using conversation von Pase, Ritesh, Krishnamurthy, Shiva, Chang, Lawrence Kyuil, Ciabattoni, Christian, Mudumba, Ramakanth, Zheng, Gordon, Niu, David, Siagian, Christian Garcia

Volltext bestellen

Techniques for validating digital media content von Pase, Ritesh, Yu, Yang, Ciabattoni, Christian, Dall, Ryan Barlow, Mudumba, Ramakanth, Suen, Yik Pui, Siagian, Christian Garcia

Volltext bestellen

IORT with electrons as boost strategy during breast conserving therapy in limited stage breast cancer: Long term results of an ISIORT pooled analysis von Fastner, Gerd, Sedlmayer, Felix, Merz, Florian, Deutschmann, Heinrich, Reitsamer, Roland, Menzel, Christian, Stierle, Christoph, Farmini, Armando, Fischer, Torsten, Ciabattoni, Antonella, Mirri, Alessandra, Hager, Eva, Reinartz, Gabriele, Lemanski, Claire, Orecchia, Roberto, Valentini, Vincenzo

Volltext

Hypersequent Calculi for Godel Logics -- a Survey von Baaz, M.

Volltext

IORT with electrons as boost strategy during breast conserving therapy in limited stage breast cancer: results of an ISIORT pooled analysis von Sedlmayer, Felix, Fastner, Gerd, Merz, Florian, Deutschmann, Heinz, Reitsamer, Roland, Menzel, Christian, Ciabattoni, Antonella, Petrucci, Assunta, Hager, Eva, Willich, Norman, Orecchia, Roberto, Valentini, Vincenzo

Volltext

Monadic Fragments of Gödel Logics: Decidability and Undecidability Results von Baaz, Matthias, Ciabattoni, Agata, Fermüller, Christian G.

Volltext

Service QoS Composition at the Level of Part Names von Aiello, Marco, Rosenberg, Florian, Platzer, Christian, Ciabattoni, Agata, Dustdar, Schahram

Volltext

Hypersequent Calculi for Gödel Logics — a Survey von Baaz, Matthias, Ciabattoni, Agata, Fermüller, Christian G.

Volltext

Dermtrainer: A Decision Support System for Dermatological Diseases von Salzer, Gernot, Ciabattoni, Agata, Fermüller, Christian, Haiduk, Martin, Kittler, Harald, Lukas, Arno, Domínguez, Rosa María Rodríguez, Wesinger, Antonia, Riedl, Elisabeth

Volltext bestellen

Cut Elimination for First Order Godel Logic by Hyperclause Resolution von Baaz, Matthias, Ciabattoni, Agata, Fermüller, Christian G.

Volltext

A Schütte-Tait Style Cut-Elimination Proof for First-Order Gödel Logic von Baaz, Matthias, Ciabattoni, Agata

Volltext

Theorem proving for prenex G\"odel logic with Delta: checking validity and unsatisfiability von Baaz, Matthias, Ciabattoni, Agata, Fermüller, Christian G

Volltext bestellen

Dermtrainer: A Decision Support System for Dermatological Diseases von Salzer, Gernot, Ciabattoni, Agata, Fermüller, Christian, Haiduk, Martin, Kittler, Harald, Lukas, Arno, Rodríguez Domínguez, Rosa María, Wesinger, Antonia, Riedl, Elisabeth

Volltext

Theorem proving for prenex Gödel logic with Delta: checking validity and unsatisfiability von Baaz, Matthias, Ciabattoni, Agata, Fermüller, Christian G

Volltext

On the Undecidability of Some Sub-classical First-Order Logics von Baaz, Matthias, Ciabattoni, Agata, Fermüller, Christian, Veith, Helmut

Volltext