Static verification of operating system monolithic kernels von Novikov, E.M.

Volltext

Evolution of the Linux kernel von Novikov, E.M.

Volltext

Building Programming Interface Specifications in the Open System of Componentwise Verification of the Linux Kernel von Novikov, E.M.

Volltext

Using Aspect-Oriented Programming for Querying Source Code von Novikov, E.M., Khoroshilov, A.V.

Volltext

Incremental development of environment model and requirement specifications for subsystems of operating system monolithic kernels von Zakharov, I.S., Novikov, E.M.

Volltext

DIAGNOSTICS OF THE ISCHEMIC HEART DISEASE WITH THE USE OF HEART RATE VARIABILITY AND DISPERSION MAPPING OF THE MYOCARDIUM DURING STRESS-ECHOCARDIOGRAPHY von Zhuravlev, S.V., Ardashev, V.N., Novikov, E.M., Maslennikova, O.M., Kirillova, T.B.

Volltext

Configurable Toolset for Static Verification of Operating Systems Kernel Modules von Zakharov, I.S., Mandrykin, M.U., Mutilin, V.S., Novikov, E.M., Petrenko, A.K., Khoroshilov, A.V.

Volltext

Analysis of typical faults in Linux operating system drivers von Mutilin, V.S., Novikov, E.M., Khoroshilov, A.V.

Volltext

Environment Modeling of Linux Operating System Device Drivers von Zakharov, I.S., Mutilin, V.S., Novikov, E.M., Khoroshilov, A.V.

Volltext

Static Verification Tools for C Programs and Linux Device Drivers: A Survey von Khoroshilov, A.V., Mandrykin, M.U., Mutilin, V.S., Novikov, E.M.

Volltext

METHOD OF ARRESTING ABSTINENT SYNDROME IN DISEASES ASSOCIATED WITH DEPENDENCE ON PSYCHOACTIVE SUBSTANCES von DREJZIN A.A, NOVIKOV E.M, VALENTIK JU.V

Volltext bestellen

METHOD FOR ARRESTING PATHOLOGICAL ATTRACTION TO SMOKING TOBACCO von NOVIKOV E.M, VALENTIK JU.V, SINITSKIJ A.A, SPIRIDONOV A.N, MATVEEV E.V

Volltext bestellen

METHOD FOR CORRECTING NUTRITION DEMAND IN THE CASES OF ALIMENTARY OBESITY von NOVIKOV E.M, VALENTIK JU.V, SINITSKIJ A.A, MATVEEV E.V

Volltext bestellen

Evidence of quasifission in the 180Hg composite system formed in the 68Zn + 112Sn reaction von Kozulin, E.M., Vardaci, E., Trzaska, W.H., Bogachev, A.A., Itkis, I.M., Karpov, A.V., Knyazheva, G.N., Novikov, K.V.

Volltext

Strain-Stress Distribution of Structural Components from Foam Concrete for Monolithic Construction von Prokshits, E.E., Novikov, M.V., Chernyshov, E.M.

Volltext

A low copper content alloy Al(1-x)Cux, x≤0.1: A joint computational and experimental study von Frolov, M.A., Dvoryanova, E.M., Krutov, A.F., Pavlova, V.E., Burchakov, A.V., Novikov, V.A., Blatova, O.A., Sokolov, A.V., Zentsov, A.P., Sorokin, V. Yu, Gataullin, A.N., Petrov, S.S., Kudryashova, M.O., Kabanov, A.A., Blatov, V.A.

Volltext

Formation and Decay of the Composite System Z = 120 in Reactions with Heavy Ions at Energies Near the Coulomb Barrier von Novikov, K. V., Kozulin, E. M., Knyazheva, G. N., Itkis, I. M., Karpov, A. V., Itkis, M. G., Diatlov, I. N., Cheralu, M., Gall, B., Asfari, Z., Kozulina, N. I., Kumar, D., Pchelintsev, I. V., Loginov, V. N., Bondarchenko, A. E., Singh, P. P., Vorobiev, I. V., Heinz, S., Trzaska, W. H., Vardaci, E., Tortorelli, N., Borcea, C., Harca, I.

Volltext

Using gamma rays to disentangle fusion-fission and quasifission near the Coulomb barrier: A test of principle in the fusion-fission and quasielastic channels von Vardaci, E., Pulcini, A., Kozulin, E. M., Matea, Verney, D., Maj, A., Schmitt, C., Itkis, I. M., Knyazheva, G. N., Novikov, K., Kozulina, N., Harca, I. M., Kolesov, I., Saveleva, K., Kirakosyan, V. V., Dorvaux, O., Ciemala, M., Brambilla, S., Ashaduzzaman, M., De Canditiis, B., Di Nitto, A., Quero, D., Parascandolo, C., Pierroutsakou, D., Rath, P. K., Sposito, G., La Rana, G., Bracco, A., Camera, F., Stezowski, O., Borcea, C., Calinescu, S., Petrone, C., Wilson, J.

Volltext

Formation and Properties of Electron- and Ion-Conducting Layers of N-Substituted PVC Derivatives Grafted onto Active Carbon von Tsivadze, A. Yu, Fridman, A. Ya, Averin, A. A., Shabanov, M. P., Morozova, E. M., Petukhova, G. A., Novikov, A. K., Bardyshev, I. I., Polyakova, I. Ya, Gorbunov, A. M., Titova, V. N., Yavich, A. A.

Volltext

The role of Fission in the search of the Super Heavy Land: Fission modes in heavy and superheavy nuclei. Case study of 180 Hg von Vardaci, E., Di Nitto, A., Banerjee, T., Pulcini, A., Setaro, P.A., Alifano, G., La Rana, G., Carjan, N., Cicchella, A., Spinosa, S., Kozulin, E.M., Trzaska, W.H., Itkis, I.M., Knyazheva, G.N., Kumar, D., Novikov, K.V., Vorobiev, I.V., Khlebnikov, S.V., Cheralu, M., Kozulina, N.I., Pchelintsev, I.V., Borcea, C., Calinescu, S., Filipescu, D.M., Harca, I.M., Petrone, C.

Volltext