يعرض 1 - 20 نتائج من 95 نتيجة بحث عن '"M A Ushakova"', وقت الاستعلام: 0.71s تنقيح النتائج
  1. 1
    Academic Journal

    المؤلفون: M A Ushakova, O M Folomeeva

    المصدر: Научно-практическая ревматология, Vol 38, Iss 4 (2000)

    مصطلحات موضوعية: Diseases of the musculoskeletal system, RC925-935

    وصف الملف: electronic resource

  2. 2
    Academic Journal

    المصدر: Medical Visualization; Том 25, № 2 (2021); 116-123 ; Медицинская визуализация; Том 25, № 2 (2021); 116-123 ; 2408-9516 ; 1607-0763

    وصف الملف: application/pdf

    Relation: https://medvis.vidar.ru/jour/article/view/934/662; https://medvis.vidar.ru/jour/article/downloadSuppFile/934/926; https://medvis.vidar.ru/jour/article/downloadSuppFile/934/927; https://medvis.vidar.ru/jour/article/downloadSuppFile/934/928; https://medvis.vidar.ru/jour/article/downloadSuppFile/934/929; https://medvis.vidar.ru/jour/article/downloadSuppFile/934/930; https://medvis.vidar.ru/jour/article/downloadSuppFile/934/931; https://medvis.vidar.ru/jour/article/downloadSuppFile/934/932; https://medvis.vidar.ru/jour/article/downloadSuppFile/934/933; https://medvis.vidar.ru/jour/article/downloadSuppFile/934/934; https://medvis.vidar.ru/jour/article/downloadSuppFile/934/935; Насонов Е.Л. Идиопатические воспалительные миопатии. В руководстве: Российские клинические рекомендации. Ревматология. М.: ГЭОТАР-Медиа, 2020: 169–181.; Bohan A., Peter J.B. Polymyositis and dermatomyositis (first of two parts). N. Engl. J. Med. 1975; 292 (7): 344– 347. http://doi.org/10.1056/NEJM197502132920706; Bohan A., Peter J.B. Polymyositis and dermatomyositis (second of two parts). N. Engl. J. Med. 1975; 292 (7): 403. http://doi.org/10.1056/NEJM19750213292070; WGO Practice Guideline – Dysphagia. Update September 2014. World Gastroenterology Organisation [Internet]. URL: https://www.worldgastroenterology.org/guidelines/global-guidelines/dysphagia-2014; Ивашкин В.Т., Маев И.В., Трухманов А.С. и др. Клинические рекомендации Российской гастроэнтерологической ассоциации по диагностике и лечению дисфагии. Российский журнал гастроэнтерологии, гепатологии, колопроктологии. 2015; 25 (5): 84–93.; Антелава О.А., Бондаренко И.Б., Чичасова Н.В., Насонов E.Л. Респираторные нарушения при полимиозите/дерматомиозите. Современная ревматология. 2014; 8 (1): 31–38.; Авдеев С.Н. Аспирационная пневмония. Клиническая микробиология и антимикробная химиотерапия. 2008; 10 (3): 216–234.; Marie I., Hachulla E., Chérin P., Hellot M.F., Herson S., Levesque H., Hatron P.Y. Opportunistic infections in polymyositis and dermatomyositis. Arthr. Rheum. 2005; 53 (2): 155–165. http://doi.org/10.1002/art.21083; Chen I.J., Tsai W.P., Wu Y.J., Luo S.F., Ho H.H., Liou L.B., Chen J.Y., Kuo C.F., Chang H.C., Yang C.H., Yu K.H. Infections in polymyositis and dermatomyositis: analysis of 192 cases. Rheumatology (Oxford). 2010; 49 (12): 2429–2437. http://doi.org/10.1093/rheumatology/keq279; Привес М.Г., Лысенков Н.К., Бушкович В.И. Анатомия человека. М.: Медицина, 1985: 255–257.; Синельников Р.Д., Синельников Я.Р. Атлас анатомии человека. В 4-х томах. Т. 2. М.: Медицина, 1996: 42–51.; Власов П.В., Карамзановский Г.Г., Никитаев Н.С. Рентгенологическое исследование гортани и глотки. Медицинская визуализация. 2007; 6: 38–48.; Robin Smithuis. Swallowing disorders update [Internet]. Publicationdate 2018-08-13 URL: https://radiologyassistant.nl/head-neck/swallowing/swallowing-disorders-update.; Кевеш Л.Е. Рентгенокинематографическое исследование гортаноглотки и шейного отдела пищевода. В кн.: Рентгенокинематографическое исследование пищевода. Л.: Медицина, 1970: 31–47.; https://medvis.vidar.ru/jour/article/view/934

  3. 3
    Academic Journal
  4. 4
  5. 5
  6. 6
  7. 7
    Academic Journal
  8. 8
  9. 9
    Academic Journal

    المصدر: World of Transport and Transportation; Том 15, № 5 (2017); 176-182 ; Мир транспорта; Том 15, № 5 (2017); 176-182 ; 1992-3252

    وصف الملف: application/pdf

    Relation: https://mirtr.elpub.ru/jour/article/view/1315/3352; https://mirtr.elpub.ru/jour/article/view/1315/3353; Methodology of formation of diagnostic criteria for evaluation of safety of motor transport public service / M. Z. Erknapeshyan, V. A. Zelikov, K. A. Yakovlev, V. A. Ivannikov // ARPN Journal of Engineering and Applied Sciences. - 2016. - № 3. - Vol.12. - Pp.1787- 1792.; Boyko G. Research of influence of small capacity passenger vehicles to work of transport system / G. Boyko, S. Tujrin, V. Fedotov // Transport problems. - 2015. - № 1. - Vol.10. - Pp.23-30.; Клинковштейн Г. И., Афанасьев М. Б. Организация дорожного движения. - М.: Транспорт, 2001. - 247 с.; Cafiso S. Using the Delphi method to evaluate opinions of public transport managers on bus safety / S. Cafiso, A. Di Graziano, G. Pappalardo // Safety science. - 2013. - Vol.57. - Pp.254-263.; Zaranka J. Analysis of the influence of fatigue on passenger transport drivers’ performance capacity / J. Zaranka, R. Pečeliūnas, J. Matijošius // Transport. - 2012. - Vol.27(4). - Pp.351-356.; Safety Analysis of Taxi Lane Changing Behavior / L. Yang, Q. Sun, S. Chen, Y. Huang // Advanced Forum on Transportation of China (AFTC), 5th (17 Oct.2009, Beijing). - IET, 2009. - Pp.199-203.; The need to improve transport conditions in the big cities of Romania // V. Rădulescu, I. Străinescu, L. Moroianu, E. Tudor, C. Goia, F. Bozaș, V. Lupu, B. Rădulescu, M. Tănase // Urban Transport. - Vol.9. - Pp.125-135.; https://mirtr.elpub.ru/jour/article/view/1315

  10. 10
  11. 11
    Academic Journal

    المصدر: Modeling and Analysis of Information Systems; Том 22, № 4 (2015); 578-589 ; Моделирование и анализ информационных систем; Том 22, № 4 (2015); 578-589 ; 2313-5417 ; 1818-1015

    وصف الملف: application/pdf

    Relation: https://www.mais-journal.ru/jour/article/view/274/283; Nepomnyaschiy V. A., Ryakin O. M., Prikladnyie metodyi verifikatsii programm, Radio i svyaz, Moscow, 1988, 255 pp., [in Russian].; Hoare C. A. R., “An Axiomatic Basis for Computer Programming”, Communications of the ACM, 10:12 (1969), 576–585.; Floyd R. W., “Assigning meaning to programs”, Mathematical Aspects of Computer Science, ed. J. T. Schwartz, 1967, 19–32.; Barnett M., Chang B. Y. E., Deline R., et al., “Boogie: A Modular Reusable Verifier for Object-Oriented Programs”, LNCS, 4111, 2006, 364–387.; Nepomniaschy V. A., Anureev I. S., Atuchin M. M., “C Program Verification in SPECTRUM Multilanguage System”, Automatic Control and Computer Sciences, 45:7 (2011), 413–420.; Van den Berg J., Jacobs B., “The LOOP compiler for Java and JML”, LNCS, 2031, 2001, 299–312.; Ahrendt W., Baar T., Beckert B., “The KeY Tool”, Software and System Modeling, 4:1 (2005), 32–54.; Detlefs D., Nelson G., Saxe J. B., “Simplify: a theorem prover for program checking”, Journal of the ACM, 52:3 (2005), 365–473.; Owre S., Rajan S., Rushby J. M., “PVS: Combining Specification, Proof Checking, and Model Checking”, LNCS, 1102, 1996, 411–414.; Legalov A. I., “Funktsionalnyiy yazyik dlya sozdaniya arhitekturno-nezavisimyih parallelnyih programm”, Vyichislitelnyie tehnologii, 10:1 (2005), 71–89, [in Russian].; Legalov A. I., Kuzmin D. A., Kazakov F. A., “Na puti k perenosimyim parallelnyim programmam”, Otkryityie sistemyi, 5 (2003), 36–42, [in Russian].; Kropacheva M. S., Legalov A. I., “Formal Verification of Programs in the Functional Data-Flow Parallel Language”, Automatic Control and Computer Sciences, 47:7 (2013), 373–384.; Kropacheva M. S., Legalov A. I., “Formal Verification of Programs in the Pifagor Language”, Parallel Computing Technologies (PaCT-2013), 12th International Conference (September 30 - October 4, 2013. Saint-Petersburg, Russia), LNCS, 7979, 2013, 80–89.; Kropacheva M. S., “Formalizatsiya semantiki funktsionalno-potokovogo yazyika parallelnogo programmirovaniya Pifagor”, Problemyi informatizatsii regiona (PIR-2011): Materialyi XII Vserossiyskoy nauchno-prakticheskoy konferentsii (Krasnoyarsk, 22 – 23 noyabrya 2011), Publishing of the Siberian Federal University, Krasnoyarsk, 2011, 144–148, [in Russian].; The Seventeen Provers of the World, AI Systems, LNAI, 3600, ed. Wiedijk F., 2006, 169 pp.; Gordon M., Melham T., Introduction to HOL: a theorem proving environment for higher order logic, Cambridge University Press, 1993.; Bertot Y., Casteran P., Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions, Springer, 2004, 494 pp.; Nipkow T., Paulson L., Wenzel M., Isabelle/HOL — A Proof Assistant for Higher-Order Logic, LNCS, 2283, 2002, 205 pp.; Legalov A. I., Savchenko G. V., Vasilev V. S., “Sobyitiynaya model vyichisleniy, podderzhivayuschaya vyipolnenie funktsionalno-potokovyih parallelnyih programm”, Sistemyi. Metodyi. Tehnologii, 1:13 (2012), 113–119, [in Russian].; Matkovskiy I. V., “Parallelnaya sobyitiynaya mashina dlya funktsionalno-potokovogo yazyika “Pifagor””, Informatsionnyie i matematicheskie tehnologii v nauke i upravlenii: Sbornik trudov XVVII Baykalskoy Vserossiyskoy konferentsii s mezhdunarodnyim uchastiem (Irkutsk – Baykal, 30 iyunya – 9 iyulya 2012), 2, Publishing of the Melentiev Energy Systems Institute of Siberian Branch of the Russian Academy of Sciences, Irkutsk, 2012, 186–193, [in Russian]; https://www.mais-journal.ru/jour/article/view/274

  12. 12
    Academic Journal
  13. 13
  14. 14
  15. 15
  16. 16
    Academic Journal
  17. 17
    Academic Journal
  18. 18
  19. 19
  20. 20