Lecture Notes in Computer Science
Journal Abbreviation: LECT NOTES ARTIF INT
ISSN: 0302-9743
Publisher: Springer Verlag
Publications (1099)
Path Category for Free: Open Morphisms from Coalgebras with Non-deterministic Branching (2019)
Wißmann T, Dubut J, Katsumata Sy, Hasuo I
Conference contribution
Efficient Invisible and Unlinkable Sanitizable Signatures (2019)
Bultel X, Lafourcade P, Lai RWF, Malavolta G, Schröder D, Thyagarajan SAK
Book chapter / Article in edited volumes
Optimal Satisfiability Checking for Arithmetic µ-Calculi (2019)
Hausmann D, Schröder L
Conference contribution
Equational Axiomatization of Algebras with Structure (2019)
Milius S, Urbat H
Conference contribution
Dilated Convolutions in Neural Networks for Left Atrial Segmentation in 3D Gadolinium Enhanced-MRI (2019)
Vesal S, Ravikumar N, Maier A
Conference contribution
Gradual domain adaptation for segmenting whole slide images showing pathological variability (2018)
Gadermayr M, Eschweiler D, Klinkhammer BM, Boor P, Merhof D
Conference contribution
Evaluating Out-of-the-Box Methods for the Classification of Hematopoietic Cells in Images of Stained Bone Marrow (2018)
Graebel P, Crysandt M, Herwartz R, Hoffmann M, Klinkhammer BM, Boor P, Bruemmendorf TH, Merhof D
Conference contribution
Which way round? A study on the performance of stain-translation for segmenting arbitrarily dyed histological images (2018)
Gadermayr M, Appel V, Klinkhammer BM, Boor P, Merhof D
Conference contribution
LNA++: Linear Noise Approximation with First and Second Order Sensitivities (2018)
Feigelman J, Weindl D, Theis FJ, Marr C, Hasenauer J
Conference contribution
Multiview machine learning using an atlas of cardiac cycle motion (2018)
Puyol-Anton E, Sinclair M, Gerber B, Amzulescu MS, Langet H, De Craene M, Aljabar P, et al.
Conference contribution