PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Talcott, Carolyn L."

Author of the publication

copydeleteadd this publication to your clipboard
Formal specification of multisimulations using Maude.

, , , and . SpringSim (TMS-DEVS), page 22. SCS/ACM, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

L. Ahlgrimm

Lambert Theisen University of Stuttgart

Annika Liebgott

Automated reference-free assessment of MR image quality using an active learning approach: Comparison of Support Vector Machine versus Deep Neural Network classification, , , , , , , and . Proceedings of the International Society for Magnetic Resonance in Medicine (ISMRM), Honolulu, Hawaii, USA, (April 2017)
Automated reference-free assessment of MR image quality using an active learning approach: Comparison of Support Vector Machine versus Deep Neural Network classification, , , , , , , and . Proceedings of the International Society for Magnetic Resonance in Medicine (ISMRM), Honolulu, Hawaii, USA, (April 2017)An easy-to-use image labeling platform for automatic Magnetic Resonance Image Quality Assessment, , , , , , and . Proceedings of the IEEE International Symposium on Biomedical Imaging (ISBI), Melbourne, Australia, (April 2017)Automated image quality assessment in whole-body MRI, , , , , , , , and . Proceedings of the Radiological Society of North America (RSNA), Chicago, USA, (November 2016)

Univ. -Prof. Dr. Remco Ingmar Leine University of Stuttgart

Christian León University of Stuttgart

 

Other publications of authors with the same name

Reasoning About Programs with Effects., and . PLILP, volume 456 of Lecture Notes in Computer Science, page 189-203. Springer, (1990)A semantic model for safe protocol interaction., , and . SAC, page 1599-1600. ACM, (2006)Program Transformation via Contextual Assertions., and . Logic, Language and Computation, volume 792 of Lecture Notes in Computer Science, page 225-254. Springer, (1994)The Logic of FOL Systems: Formulated in Set Theory., and . Logic, Language and Computation, volume 792 of Lecture Notes in Computer Science, page 119-132. Springer, (1994)A Compositional Framework for Preference-Aware Agents., , and . V2CPS@IFM, volume 232 of EPTCS, page 21-35. (2016)User Interfaces and Metalanguage Applications., , , , , , and . All About Maude, volume 4350 of Lecture Notes in Computer Science, Springer, (2007)Functional Modules., , , , , , and . All About Maude, volume 4350 of Lecture Notes in Computer Science, Springer, (2007)LTL Model Checking., , , , , , and . All About Maude, volume 4350 of Lecture Notes in Computer Science, Springer, (2007)A Hierarchy of Data Types: From Trees to Sets., , , , , , and . All About Maude, volume 4350 of Lecture Notes in Computer Science, Springer, (2007)Formal specification of multisimulations using Maude., , , and . SpringSim (TMS-DEVS), page 22. SCS/ACM, (2012)