-
1Academic Journal
المؤلفون: M A Ushakova, O M Folomeeva
المصدر: Научно-практическая ревматология, Vol 38, Iss 4 (2000)
مصطلحات موضوعية: Diseases of the musculoskeletal system, RC925-935
وصف الملف: electronic resource
-
2Academic Journal
المؤلفون: N. V. Kovaleva, A. N. Khelkovskaya-Sergeeva, M. A. Ushakova, Н. В. Ковалева, А. Н. Хелковская-Сергеева, М. А. Ушакова
المصدر: Medical Visualization; Том 25, № 2 (2021); 116-123 ; Медицинская визуализация; Том 25, № 2 (2021); 116-123 ; 2408-9516 ; 1607-0763
مصطلحات موضوعية: аспирационная пневмония, oropharyngeal dysphagia, pharyngeal ectasia, hypotony pharynx, penetration, stasis, aspiration, aspiration pneumonia, орофарингеальная дисфагия, расширение глотки, гипотония глотки, пенетрация, стаз, аспирация
وصف الملف: 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
-
3Academic Journal
المؤلفون: A. I. Legalov, V. S. Vasilyev, I. V. Matkovskii, M. S. Ushakova
المصدر: Труды Института системного программирования РАН, Vol 29, Iss 5, Pp 165-184 (2018)
مصطلحات موضوعية: архитектурно-независимое параллельное программирование, функционально-потоковое параллельное программирование, трансформация программ, средства разработки программ, информационный граф, управляющий граф, Electronic computers. Computer science, QA75.5-76.95
وصف الملف: electronic resource
-
4Academic Journal
المؤلفون: M. V. Ushakova, A. V. Gabalin
المصدر: Открытое образование (Москва), Vol 24, Iss 6, Pp 51-59 (2020)
مصطلحات موضوعية: digital transformation, professional competence, modeling, business process, systems analysis, enterprise architecture, information system, interdisciplinary relations, Special aspects of education, LC8-6691
Relation: https://openedu.rea.ru/jour/article/view/760; https://doaj.org/toc/1818-4243; https://doaj.org/toc/2079-5939; https://doaj.org/article/18947c95437f409cb160aaa7e985fb17
-
5
المؤلفون: D. Yu. Tsvetkov, A. A. Belinsky, N. P. Ikonnikova, M. A. Burlak, I. M. Volkov, N. N. Pavlyuk, P. V. Baklanov, S. I. Blinnikov, M. G. Ushakova, V. A. Echeistov
المصدر: Astronomy Letters. 48:209-221
مصطلحات موضوعية: Space and Planetary Science, Astronomy and Astrophysics
-
6
المؤلفون: A. I. Legalov, I. V. Matkovskii, M. S. Ushakova, D. S. Romanova
المصدر: Automatic Control and Computer Sciences. 55:636-646
مصطلحات موضوعية: Control and Systems Engineering, Signal Processing, Software
-
7Academic Journal
المؤلفون: T. V. Beketova, M. A. Ushakova, N. Yu. Nikishina, A. N. Khelkovskaya-Sergeeva, E. V. Nikolaeva, E. G. Sazhina, T. M. Novoselova, E. L. Nasonov
المصدر: Научно-практическая ревматология, Vol 56, Iss 2, Pp 228-234 (2018)
مصطلحات موضوعية: giant cell arteritis, interleukin 6, tocilizumab, Diseases of the musculoskeletal system, RC925-935
Relation: https://rsp.mediar-press.net/rsp/article/view/2529; https://doaj.org/toc/1995-4484; https://doaj.org/toc/1995-4492; https://doaj.org/article/5980e70fdedf4982a79f0e10cd8ead75
-
8
المؤلفون: N. N. Pavlyuk, M. G. Ushakova, G. A. Borman, A. M. Tatarnikov, E. G. Larionova, D. Yu. Tsvetkov, A. A. Nikiforova, O. V. Vozyakova, N. I. Shatsky, S. I. Blinnikov, P. V. Baklanov
المصدر: Astronomy Letters. 47:291-306
مصطلحات موضوعية: Photometry (optics), Physics, Supernova, Space and Planetary Science, Metallicity, Astronomy and Astrophysics, Astrophysics, Radius, Light curve, Energy (signal processing), Luminosity
-
9Academic Journal
المؤلفون: N. V. Penshin, M. A. Ushakova, Н. В. Пеньшин, М. А. Ушакова
المصدر: 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
المؤلفون: M. V. Ushakova, Y. A. Ushakov
المصدر: Vestnik of Ryazan State Radio Engineering University. 75:34-43
مصطلحات موضوعية: Data processing, Software, business.industry, Infrastructure network, Computer science, Center (algebra and category theory), business, Computer network
-
11Academic Journal
المؤلفون: M. S. Ushakova, A. I. Legalov, М. С. Ушакова, А. И. Легалов
المصدر: Modeling and Analysis of Information Systems; Том 22, № 4 (2015); 578-589 ; Моделирование и анализ информационных систем; Том 22, № 4 (2015); 578-589 ; 2313-5417 ; 1818-1015
مصطلحات موضوعية: инструментальные средства для поддержки формальной верификации, Pifagor programming language, programs formal verification, toolkit for supporting formal verification, язык программирования Пифагор, формальная верификация программ
وصف الملف: 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
-
12Academic Journal
المؤلفون: V. M. Kotlyakov, F. D. Zhokhov, N. V. Zhokhova, M. G. Ushakova
المصدر: Лëд и снег, Vol 54, Iss 1, Pp 135-142 (2015)
مصطلحات موضوعية: географическое открытие, российская арктика, северная земля, экспедиция, Science
Relation: https://ice-snow.igras.ru/jour/article/view/33; https://doaj.org/toc/2076-6734; https://doaj.org/toc/2412-3765; https://doaj.org/article/bf0f26532bb14cf78f73cae17d433827
-
13
المؤلفون: N. V. Libina, K. V. Popov, M. G. Ushakova
المصدر: Journal of Oceanological Research. 47:222-236
مصطلحات موضوعية: 0106 biological sciences, North pole, History, 010504 meteorology & atmospheric sciences, 010607 zoology, Ivanovich, 01 natural sciences, Archaeology, 0105 earth and related environmental sciences, The arctic
-
14
المؤلفون: M. G. Ushakova, K. V. Popov, Yu. V. Vorob’eva
المصدر: Journal of Oceanological Research. 47:202-221
مصطلحات موضوعية: North pole, History, media_common.quotation_subject, Media studies, Event (philosophy), Courage, media_common, Public figure, The arctic
-
15
المؤلفون: Vladimir S. Lebedev, Yun Fang, Anna A. Bannikova, Boris I. Sheftel, M. V. Ushakova, A. V. Surov, N. S. Poplavskaya
المصدر: Doklady Biological Sciences. 479:70-73
مصطلحات موضوعية: 0301 basic medicine, Mitochondrial DNA, General Immunology and Microbiology, Pleistocene, biology, Range (biology), Species distribution, Hamster, Cricetulus longicaudatus, Zoology, General Medicine, biology.organism_classification, DNA, Mitochondrial, General Biochemistry, Genetics and Molecular Biology, Center of origin, Evolution, Molecular, 03 medical and health sciences, Cricetulus, 030104 developmental biology, Animals, General Agricultural and Biological Sciences, Animal Distribution, Ecosystem, Cricetidae
-
16Academic JournalTO THE PROBLEM OF THE POSSIBILE ROLE OF PROTEUS MIRABILIS IN THE DEVELOPMENT OF RHEUMATOID ARTHRITIS
المؤلفون: M. A. Ushakova, Yu V Mouraviev, V V Lebedeva
المصدر: Научно-практическая ревматология, Vol 39, Iss 5, Pp 52-57 (2001)
مصطلحات موضوعية: Diseases of the musculoskeletal system, RC925-935
Relation: https://rsp.mediar-press.net/rsp/article/view/610; https://doaj.org/toc/1995-4484; https://doaj.org/toc/1995-4492; https://doaj.org/article/f3d16e8361fe4423b97b8f2cb4bb6b7c
-
17Academic Journal
المؤلفون: M. A Ushakova, Yu V Murav'ev, N P Vaneeva, N E Yastrebova, I I Maslova, N E Zakharova
المصدر: Rheumatology Science and Practice; Vol 38, No 4 (2000); 203 ; Научно-практическая ревматология; Vol 38, No 4 (2000); 203 ; 1995-4492 ; 1995-4484 ; 10.14412/1995-4484-2000-4
-
18
المؤلفون: Vladimir S. Lebedev, Natalia Ivanova, M. V. Ushakova, A. V. Surov, Karsten Neumann, Anna A. Bannikova
المصدر: Zootaxa. 4387
مصطلحات موضوعية: 0106 biological sciences, 0301 basic medicine, biology, Arvicolinae, Zoology, Rodentia, Allocricetulus, biology.organism_classification, 010603 evolutionary biology, 01 natural sciences, 03 medical and health sciences, Cricetulus, 030104 developmental biology, Sister group, Genus, Cricetinae, Polyphyly, Molecular phylogenetics, Animals, Animal Science and Zoology, Subgenus, Phylogeny, Ecology, Evolution, Behavior and Systematics, Cricetidae
-
19
المؤلفون: K. A. Rogovin, M. V. Ushakova, Vasily N. Manskikh, A. M. Khrushcheva, O. N. Shekarova, O. V. Sokolova, N. Yu. Vasilieva
المصدر: Biochemistry (Moscow). 79:1117-1129
مصطلحات موضوعية: Male, Aging, medicine.medical_specialty, Hydrocortisone, Litter Size, Phodopus, Neutrophils, Plastoquinone, media_common.quotation_subject, Longevity, Population, Physiology, Biology, Biochemistry, Antioxidants, Blood serum, Pregnancy, Cricetinae, Internal medicine, medicine, biology.domesticated_animal, Animals, education, media_common, education.field_of_study, Reproduction, Body Weight, Phodopus campbelli, General Medicine, medicine.disease, Fecundity, biology.organism_classification, Immunity, Humoral, Mitochondria, Endocrinology, Dermatitis, Allergic Contact, Female, Seasons
-
20
المؤلفون: Vasily N. Manskikh, N. Yu. Vasilieva, A. M. Khrushcheva, O. N. Shekarova, K. A. Rogovin, M. V. Ushakova
المصدر: Biochemistry (Moscow). 79:1111-1116
مصطلحات موضوعية: Male, Litter (animal), medicine.medical_specialty, Phodopus, Plastoquinone, Uterus, Physiology, Biochemistry, Antioxidants, Pregnancy, Cricetinae, Internal medicine, medicine, biology.domesticated_animal, Animals, Juvenile, Sexual Maturation, Epididymis, biology, Vivarium, Phodopus campbelli, Organ Size, General Medicine, medicine.disease, Mitochondria, Endocrinology, medicine.anatomical_structure, Vagina, Female