Excellence in Rheumatology 2012 25–28 January Madrid

In memory of Yuri Sergeevich Balashov (2

In memory of Yuri Sergeevich Balashov (25.XII.1931–28.IX.2012)

✍ Medvedev, S. G.; Filippova, N. A.; Leonovich, S. A. 📂 Article 📅 2013 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 416 KB

1st Proceedings of the European American

1st Proceedings of the European American Rheumatology Association Immunotherapy in Rheumatic Diseases – Science and Clinical Practice, February 25–28, 2009 – Sonoma, CA, USA

✍ Stanford Shoor; Frédéric Lioté 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 113 KB

[IEEE MELECON 2012 - 2012 16th IEEE Medi

[IEEE MELECON 2012 - 2012 16th IEEE Mediterranean Electrotechnical Conference - Yasmine Hammamet, Tunisia (2012.03.25-2012.03.28)] 2012 16th IEEE Mediterranean Electrotechnical Conference - Impact of wind power in isolated power systems

✍ Etxegarai, Agurtzane; Eguia, Pablo; Torres, Esther; Fernandez, Elvira 📂 Article 📅 2012 🏛 IEEE ⚖ 558 KB

[IEEE 2012 27th Annual IEEE Symposium on

[IEEE 2012 27th Annual IEEE Symposium on Logic in Computer Science (LICS 2012) - Dubrovnik, Croatia (2012.06.25-2012.06.28)] 2012 27th Annual IEEE Symposium on Logic in Computer Science - Logics of Dynamical Systems

✍ Platzer, Andre 📂 Article 📅 2012 🏛 IEEE ⚖ 541 KB

[IEEE 2012 27th Annual IEEE Symposium on

[IEEE 2012 27th Annual IEEE Symposium on Logic in Computer Science (LICS 2012) - Dubrovnik, Croatia (2012.06.25-2012.06.28)] 2012 27th Annual IEEE Symposium on Logic in Computer Science - Inductive Types in Homotopy Type Theory

✍ Awodey, Steve; Gambino, Nicola; Sojakova, Kristina 📂 Article 📅 2012 🏛 IEEE ⚖ 244 KB

[IEEE 2012 27th Annual IEEE Symposium on

[IEEE 2012 27th Annual IEEE Symposium on Logic in Computer Science (LICS 2012) - Dubrovnik, Croatia (2012.06.25-2012.06.28)] 2012 27th Annual IEEE Symposium on Logic in Computer Science - Inductive Types in Homotopy Type Theory

✍ Awodey, Steve; Gambino, Nicola; Sojakova, Kristina 📂 Article 📅 2012 🏛 IEEE ⚖ 244 KB

Homotopy type theory is an interpretation of Martin-Löf's constructive type theory into abstract homotopy theory. There results a link between constructive mathematics and algebraic topology, providing topological semantics for intensional systems of type theory as well as a computational approach t