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
Editorial.

, , , , , and . Higher-Order and Symbolic Computation, 19 (4): 343-344 (2006)

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

Dr. rer. nat. Tim Langen University of Stuttgart

Absorption spectroscopy for laser cooling and high-fidelity detection of barium monofluoride molecules, , , and . Physical review. A, Atomic, molecular, and optical physics, 108 (6): 062812 (2023)

Univ. -Prof. Dr. Sabine Laschat University of Stuttgart

Chirality Transfer of Stereogenic Boron Centers Enabled by a SN2-Type Mechanism, , , , , , , , , and 1 other author(s). Organometallics, 43 (3): 330-340 (2024)

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)
 

Other publications of authors with the same name

Symbolic Timed Observational Equivalence., , and . CoRR, (2018)Formal specification of multisimulations using Maude., , , and . SpringSim (TMS-DEVS), page 22. SCS/ACM, (2012)Pathway Logic Helping Biologists Understand and Organize Pathway Information., , , , , , and . CSB Workshops, page 155-156. IEEE Computer Society, (2005)Time, Computational Complexity, and Probability in the Analysis of Distance-Bounding Protocols., , , , and . CoRR, (2017)Reasoning about effects: from lists to cyber-physical agents., and . CoRR, (2018)A formal model for reasoning about adaptive QoS-enabled middleware., , and . ACM Trans. Softw. Eng. Methodol., 13 (1): 86-147 (2004)A semantic model for safe protocol interaction., , and . SAC, page 1599-1600. ACM, (2006)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)