نتایج جستجو برای: yuri lotmn 1993
تعداد نتایج: 57901 فیلتر نتایج به سال:
The article is dedicated to the outstanding scientist, doctor, teacher, public figure, corresponding member of Russian Academy Sciences, professor, doctor medical sciences Belousov Yuri, who would have turned 80 on September 23, 2022. presented materials make it possible recall main milestones in biography this remarkable person. based collected by relatives, friends, colleagues and students Yu...
This report consists of two separate parts, essentially two oversized footnotes to the article “Sequential Abstract State Machines Capture Sequential Algorithms” by Yuri Gurevich. In Chapter I, Yuri Gurevich and Tatiana Yavorskaya present and study a more abstract version of the bounded exploration postulate. In Chapter II, Tatiana Yavorskaya gives a complete form of the characterization, sketc...
Maintaining the proximity of centrosomes to nuclei is important in several cellular contexts, and LINC complexes formed by SUN and KASH proteins are crucial in this process. Here, we characterize the presumed Drosophila ortholog of the mammalian SUN protein, sperm-associated antigen 4 (Spag4, previously named Giacomo), and demonstrate that Spag4 is required for centriole and nuclear attachment ...
Hilbertian Deductive Systems, Infon Logic, and Datalog Andreas Blassa,1,∗, Yuri Gurevich aMathematics Department, University of Michigan, Ann Arbor, MI 48109, USA bMicrosoft Research, One Microsoft Way, Redmond, WA 98052, USA
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید