Predicate transformers in the context of symbolic modeling of transition systems von Godlevsky, A. B.

Volltext

Properties of a predicate transformer of the VRS system von Letichevsky, A. A., Godlevsky, A. B., Letychevsky, A. A., Potiyenko, S. V., Peschanenko, V. S.

Volltext

Cyber-Physical Systems: The Linguistic Aspect von Godlevsky, A. B., Morokhovets, M. K.

Volltext

Using linear models in optimizing parameters of time-triggered protocols von Godlevsky, A B, Svirgunenko, S N

Volltext

A Development Technique and Means for Formalizing Functional Specifications of Software and Hardware Systems von Godlevsky, A. B., Mishchenko, N. M., Morokhovets, M. K., Felizhanko, O. D., Shchogoleva, N. N.

Volltext

A Development Technique and Means for Formalizing Functional Specifications of Software and Hardware Systems^sup von Godlevsky, A B, Mishchenko, N M, Morokhovets, M K, Felizhanko, O D, Shchogoleva, N N

Volltext

Executable Specification Language for Parallel Symbolic Computation von Godlevsky, Alexander B., Hluchý, Ladislav

Volltext

A Development Technique and Means for Formalizing Functional Specifications of Software and Hardware Systems super() von Godlevsky, AB, Mishchenko, N M, Morokhovets, M K, Felizhanko, O D, Shchogoleva, N N

Volltext

Constructing parallel implementations with algebraic programming tools von Doroshenko, A.E., Godlevsky, A.B.

Volltext bestellen

Cerebellar contribution to absence epilepsy von Akyuz, Enes, Ozenen, Cansu, Pinyazhko, Oleh R., Poshyvak, Olesya B., Godlevsky, Leonid S.

Volltext

Oxidative stress suppression contributes to antiseizure action of axitinib and rapamycin in pentylenetetrazol-induced kindling von Poshyvak, O. B., Pinyazhko, O. R., Godlevsky, L. S.

Volltext

Effects of a Combination of Transcranial DC Cerebellar Stimulation and Pioglitazone Administration on Pentylenetetrazole-Induced Seizures in Kindled Rats von Godlevsky, L. S., Poshyvak, O. B., Pervak, M. P., Latypov, K. A., Prybolovets, K. O., Yehorenko, O. S.

Volltext

BLOCKADE OF Н3 HISTAMINE RECEPTORS FACILITATES ANTISEIZURE ACTION OF PENTOXYPHILLINE von Prybolovets, KO, Poshyvak, OB, Pervak, MP, Yehorenko, OS, Godlevsky, LS

Volltext

PENTYLENETETRAZOLE–INDUCED KINDLING AS A MODEL OF METABOLIC SYNDROME von Bidnyuk, VK, Pervak, MP, Poshyvak, OB, Yehorenko, OS, Varava, SV, Godlevsky, LS, Haustov, OO

Volltext

THE MECHANISM OF REALIZATION OF ANTISEIZURE EFFECTS OF CEREBELLAR ELECTRICAL STIMULATION von Bidnyuk, VK, Pervak, MP, Poshyvak, OB, Yehorenko, OS, Varava, SV, Godlevsky, LS, Haustov, OO

Volltext

Rare variant of ovotesticular disorder of sex development diagnosed due to injury-induced rupture of the reproductive gland in a patient with SRY-negative 46,ХХ karyotype (clinical... von Okulov, A. B., Volodko, E. A., Latyshev, O. Yu, Godlevsky, D. N., Timokhovich, E. V., Mirakov, K. K., Nikitin, K. S., Anikiev, A. V.

Volltext

PS2-52: Building a Simulation System to Train Dentists to Practice Evidence-Based Dentistry von Rush, W., Rindal, D. B., Enstad, C., Johnson, N., Fricton, J., Johnson, K., Spallek, H., Schmidt, A., Thirumalai, V., Godlevsky, O., Asche, S.

Volltext

Mobile Medicine and General Trends in Medical Informatics von Godlevsky, Leonid S, Nenova, Oxana N, Bidnyuk, Katerina A, Godlevska, Tamara L, Buzinovsky, Artur B

Volltext

The effectiveness of automatic laparoscopic diagnostics of liver pathology using different methods of digital images classification von D. N. Bayazitov, N. V. Kresyun, А. B. Buzinovsky

Volltext

ПОРІВНЯЛЬНА ЕФЕКТИВНІСТЬ КЛАСИФІКАТОРІВ ЗОБРАЖЕНЬ ПІД ЧАС РОЗПІЗНАВАННЯ ЗОН ІНТЕРЕСУ ПРИ ЛАПАРОСКОПІЧНИХ ВТРУЧАННЯХ... von Баязітов, М. Р., Баязітов, Д. М., Бузиновський, А. Б., Ляшенко, А. В., Новіков, Д. В., Годлевський, Л. С.

Volltext