Zobrazeno 1 - 10
of 10
pro vyhledávání: '"E A, Cherkashin"'
Publikováno v:
Международный журнал "Программные продукты и системы". 26:556-564
Publikováno v:
Моделирование и анализ информационных систем, Vol 17, Iss 4, Pp 60-69 (2010)
The paper deals with an expressive logic language LF and its calculus. Formulas of this language consist of some large-block structural elements, such as type quanti¯ers. The language LF contains only two logic symbols for any and is, which form the
Externí odkaz:
https://doaj.org/article/3362ac6d61eb479693232991c32473f8
Autor:
E. A. Cherkashin, I. V. Orlova
Publikováno v:
Modern technologies. System analysis. Modeling. 4:100-107
Autor:
Marina V. Serebryakova, J. Dulinska, S. S. Shishkin, M. A. Kovaleva, L. I. Kovalev, Alexander A. Makarov, P. Laidler, E. A. Cherkashin, I. Yu. Toropygin, K. V. Lisitskaya, Alexander V. Ivanov
Publikováno v:
Molecular Genetics, Microbiology and Virology. 26:14-20
A proteomic study of the proteins of the cell lines that model malignant and benign human prostate tumors (LNCaP, DU145, PC3, BPH-1) revealed a new allelic variant of the triosephosphate isomerase caused by the amino acid substitution 233G → D in t
Publikováno v:
Doklady Biochemistry and Biophysics. 417:348-351
Publikováno v:
Antibiotiki i khimioterapiia = Antibiotics and chemoterapy [sic]. 51(7)
Etiological structure, patterns and antibiotic resistance mechanisms of gramnegative nonfermenting pathogens of nosocomial infections isolated from patients in intensive care units and surgical departments were investigated. One hundred thirty one cl
Autor:
S V, Sidorenko, S P, Rezvan, L V, Eremina, S V, Polikarpova, V I, Karabak, E D, Men'shikova, V I, Tishkov, E A, Cherkashin, V B, Beloborodov
Publikováno v:
Antibiotiki i khimioterapiia = Antibiotics and chemoterapy [sic]. 50(2-3)
The leading pathogens of severe infections in intensive care units were the following: respiratory tract infections--bacteria of the famility of Enterobacteriaceae (33.8%), Pseudomonas spp. (24.9%), Acinetobacter spp. (18.1%), Staphylococcus aureus (
Publikováno v:
Soviet Powder Metallurgy and Metal Ceramics. 5:643-650
Four ternary intermetallic compounds -Ni80Ti5Nb15, Ni75Nb5Ti20, Ni75Nb13Ti12 and Ni56Ti29Nb15 -were dis-covered in the system Ni-Ti-Nb by the methods of x-ray diffraction analysis. Isothermal phase diagram sections at 1000 and 900‡C have been plott
Publikováno v:
Soviet Powder Metallurgy and Metal Ceramics. 1:479-481
The authors studied some physicochemical properties of tungsten rhenium thermoelectrodes. It is shown that the instability of the work of a thermocouple with these electrodes and the increase in their brittleness are due to the change in the chemical