Michael Kirkedal Thomsen

Michael Kirkedal Thomsen

Lektor

ORCID: 0000-0003-0922-3609

Udgivelsesår:
Alle
1 - 10 ud af 31Pr. side: 10
Sortering: Udgivelsesår
  1. 1991
  2. Udgivet

    Effect of the leukotriene LTD4/LTE4 antagonist, SR 2640, in ulcerative colitis: an open clinical study

    Nielsen, Ole Haagen, Ahnfelt-Rønne, I., Thomsen, Michael Kirkedal, Kissmeyer, A. M. & Langholz, Ebbe, mar. 1991, I: Prostaglandins, Leukotrienes & Essential Fatty Acids. 42, 3, s. 181-4 4 s.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  3. 2008
  4. Udgivet

    Optimized Reversible Binary-Coded Decimal Adders

    Thomsen, Michael Kirkedal & Glück, Robert, 2008, I: Journal of Systems Architecture. 54, 7, s. 697-706 9 s.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  5. Udgivet

    Parallel Optimization of a Reversible (Quantum) Ripple-Carry Adder

    Thomsen, Michael Kirkedal & Axelsen, H. B., 2008, Unconventional Computing: 7th International Conference, UC 2008, Vienna, Austria, August 25-28, 2008, proceedings. Calude, C. S., Costa, J. F., Freund, R., Oswald, M. & Rozenberg, G. (red.). Springer, s. 228-241 14 s. (Lecture notes in computer science; Nr. 5204).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  6. 2009
  7. Udgivet

    MicroPower - Towards Low-power Microprocessors with Reversible Computing

    Axelsen, H. B., Glück, Robert, De Vos, A. & Thomsen, Michael Kirkedal, 2009, I: ERCIM News. 79, s. 20-21 2 s.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Formidling

  8. Udgivet

    Parallelization of Reversible Ripple-carry Adders

    Thomsen, Michael Kirkedal & Axelsen, H. B., 2009, I: Parallel Processing Letters. 19, 2, s. 205-222 18 s.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  9. 2010
  10. Udgivet

    Reversible arithmetic logic unit for quantum arithmetic

    Thomsen, Michael Kirkedal, Glück, Robert & Axelsen, H. B., 2010, I: Journal of Physics A: Mathematical and Theoretical. 43, 38, 10 s., 382002.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  11. 2012
  12. Udgivet

    Interfacing reversible pass-transistor CMOS chips with conventional restoring CMOS circuits

    Burignat, S., Thomsen, Michael Kirkedal, Klimczak, M., Olczak, M. & De Vos, A., 2012, Reversible Computation: Third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers. De Vos, A. & Wille, R. (red.). Springer, s. 112-122 11 s. (Lecture notes in computer science, Bind 7165).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  13. Udgivet

    Design of Reversible Computing Systems: Logic, Languages, and Circuits

    Thomsen, Michael Kirkedal, 2012, Faculty of Science, University of Copenhagen. 149 s.

    Publikation: Bog/antologi/afhandling/rapport › Ph.d.-afhandling › Forskning

  14. Udgivet

    Reversible implementation of a discrete integer linear transformation

    De Vos, A., Burignat, S. & Thomsen, Michael Kirkedal, 2012, I: Journal of Multiple-Valued Logic and Soft Computing. 18, 1, s. 25-35 11 s.

    Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › fagfællebedømt

  15. Udgivet

    A functional language for describing reversible logic

    Thomsen, Michael Kirkedal, 2012, Proceedings of the 2012 Forum on Specification and Design Languages. Morawiec, A. & Hinderscheit, J. (red.). IEEE, s. 135-142 8 s.

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

Forrige 1 2 3 4 Næste

ID: 12085624