LTL-Specification of Bounded Counter Machines von Kuzmin, Egor V.

Volltext

LTL-Specification of Counter Machines von Kuzmin, Egor V.

Volltext

LTL-specification for development and verification of logical control programs in feedback systems von Neyzov, Maxim V., Kuzmin, Egor V.

Volltext

Verification of declarative LTL-specification of control programs behavior von Neyzov, Maxim V., Kuzmin, Egor V.

Volltext

LTL-specification for development and verification of control programs von Neyzov, Maxim V., Kuzmin, Egor V.

Volltext

The Zhegalkin Polynomial of Multiseat Sole Sufficient Operator von Bystrov, Leonid Y., Kuzmin, Egor V.

Volltext

Suppression of additive periodic low-frequency interference on eddy current defectograms von Bystrov, Leonid Y., Gladkov, Artemy N., Kuzmin, Egor V.

Volltext

Application of Election Functions to Estimate the Number of Monotone Self-Dual Boolean functions von Bystrov, Leonid Y., Kuzmin, Egor V.

Volltext

Severity Estimation of Defects on Interpretation of Eddy-Current Defectograms von Kuzmin, Egor V., Gorbunov, Oleg E., Plotnikov, Petr O., Tyukin, Vadim A., Bashkin, Vladimir A.

Volltext

An Algorithm for Correcting Levels of Useful Signals on Interpretation of Eddy-Current Defectograms von Kuzmin, Egor V., Gorbunov, Oleg E., Plotnikov, Petr O., Tyukin, Vadim A., Bashkin, Vladimir A.

Volltext

Application of Convolutional Neural Networks for Recognizing Long Structural Elements of Rails in Eddy-Current Defectograms von Kuzmin, Egor V., Gorbunov, Oleg E., Plotnikov, Petr O., Tyukin, Vadim A., Bashkin, Vladimir A.

Volltext

An Efficient Algorithm for Finding a Threshold of Useful Signals in the Analysis of Magnetic and Eddy Current Defectograms von Kuzmin, Egor V., Gorbunov, Oleg E., Plotnikov, Petr O., Tyukin, Vadim A.

Volltext

Application of Neural Networks for Recognizing Rail Structural Elements in Magnetic and Eddy Current Defectograms von Kuzmin, Egor V., Gorbunov, Oleg E., Plotnikov, Petr O., Tyukin, Vadim A., Bashkin, Vladimir A.

Volltext

On Finding a Threshold of Useful Signals in the Analysis of Magnetic and Eddy Current Defectograms von Kuzmin, Egor V., Gorbunov, Oleg E., Plotnikov, Petr O., Tyukin, Vadim A.

Volltext

Using TLA+/TLC for modeling and verification of cryptographic protocols von Neyzov, Maxim V., Kuzmin, Egor V.

Volltext

Complex Analysis of Single-Cell RNA Sequencing Data von Khozyainova, Anna A., Valyaeva, Anna A., Arbatsky, Mikhail S., Isaev, Sergey V., Iamshchikov, Pavel S., Volchkov, Egor V., Sabirov, Marat S., Zainullina, Viktoria R., Chechekhin, Vadim I., Vorobev, Rostislav S., Menyailo, Maxim E., Tyurin-Kuzmin, Pyotr A., Denisov, Evgeny V.

Volltext

Closest horizons of Hsp70 engagement to manage neurodegeneration von Venediktov, Artem A., Bushueva, Olga Yu, Kudryavtseva, Varvara A., Kuzmin, Egor A., Moiseeva, Aleksandra V., Baldycheva, Anna, Meglinski, Igor, Piavchenko, Gennadii A.

Volltext

A broadband detector based on series YBCO grain boundary Josephson junctions von Glushkov, Egor I, Chiginev, Alexander V, Kuzmin, Leonid S, Revin, Leonid S

Volltext

High-Throughput Evaluation of Natural Diversity of F-Type ATP Synthase Rotor Ring Stoichiometries von Osipov, Stepan D, Zinovev, Egor V, Anuchina, Arina A, Kuzmin, Alexander S, Minaeva, Andronika V, Ryzhykau, Yury L, Vlasov, Alexey V, Gushchin, Ivan Yu

Volltext

Quantitative Immunofluorescence Mapping of HSP70’s Neuroprotective Effects in FUS-ALS Mouse Models von Piavchenko, Gennadii A, Pokidova, Ksenia S, Kuzmin, Egor A, Venediktov, Artem A, Izmailov, Ilya Y, Meglinski, Igor V, Kuznetsov, Sergey L

Volltext