2031 - 2040 out of 27,533Page size: 10
  1. AutoReq: Expressing and verifying requirements for control systems

    Naumchev, A., Meyer, B., Mazzara, M., Galinier, F., Bruel, J-M. & Ebersold, S., 1 Apr 2019, In: Journal of Computer Languages. 51, p. 131-142 142 p.

    Research output: Contribution to journalArticlepeer-review

  2. Autosomal recessive cataract (CTRCT18) in the Yakut population isolate of Eastern Siberia: a novel founder variant in the FYCO1 gene

    Barashkov, N. A., Konovalov, F. A., Borisova, T. V., Teryutin, F. M., Solovyev, A. V., Pshennikova, V. G., Sapojnikova, N. V., Vychuzhina, L. S., Romanov, G. P., Gotovtsev, N. N., Morozov, I. V., Bondar, A. A., Platonov, F. A., Burtseva, T. E., Khusnutdinova, E. K., Posukh, O. L. & Fedorova, S. A., Jun 2021, In: European journal of human genetics. 29, 6, p. 965-976 12 p.

    Research output: Contribution to journalArticlepeer-review

  3. Autostability relative to strong constructivizations of Boolean algebras with distinguished ideals

    Pal’chunov, D. E., Trofimov, A. V. & Turko, A. I., 26 May 2015, In: Siberian Mathematical Journal. 56, 3, p. 490-498 9 p.

    Research output: Contribution to journalArticlepeer-review

  4. Autostability spectra for decidable structures

    Bazhenov, N., 1 Mar 2018, In: Mathematical Structures in Computer Science. 28, 3, p. 392-411 20 p.

    Research output: Contribution to journalArticlepeer-review

  5. A UV Inductive Nitrogen Laser with a Peak Pulse Power of 600 kW

    Razhev, A. M., Churkin, D. S. & Tkachenko, R. A., 1 Jul 2020, In: Bulletin of the Russian Academy of Sciences: Physics. 84, 7, p. 796-798 3 p.

    Research output: Contribution to journalArticlepeer-review

  6. Auxiliary Automation for a 15-keV Neutral Beam Injector

    Oreshonok, V. V., 5 Feb 2025, In: Instruments and Experimental Techniques. 67, Suppl 1, p. S65-S69 5 p.

    Research output: Contribution to journalArticlepeer-review

  7. Auxin regulates functional gene groups in a fold-change-specific manner in Arabidopsis thaliana roots

    Omelyanchuk, N. A., Wiebe, D. S., Novikova, D. D., Levitsky, V. G., Klimova, N., Gorelova, V., Weinholdt, C., Vasiliev, G. V., Zemlyanskaya, E. V., Kolchanov, N. A., Kochetov, A. V., Grosse, I. & Mironova, V. V., 30 May 2017, In: Scientific Reports. 7, 1, p. 2489 11 p., 2489.

    Research output: Contribution to journalArticlepeer-review

  8. Auxin Triggers AHR Pathway Activation in the Auxin-Inducible Degron System in Mammalian Cells

    Yunusova, A., Zadorozhnyi, D. & Battulin, N., Dec 2024, In: Biochemistry (Moscow). 89, 12, p. 2214-2226 13 p., 10.

    Research output: Contribution to journalArticlepeer-review

  9. A variable neighborhood search algorithm for the (r∣ p) hub–centroid problem under the price war

    Čvokić, D. D., Kochetov, Y. A., Plyasunov, A. V. & Savić, A., Jul 2022, In: Journal of Global Optimization. 83, 3, p. 405-444 40 p.

    Research output: Contribution to journalArticlepeer-review

  10. A vector field potentiality criterion in sub-Riemannian geometry

    Isangulova, D. V., 1 Nov 2017, In: Mathematical Notes. 102, 5-6, p. 884-889 6 p.

    Research output: Contribution to journalArticlepeer-review