Search Results - Chair of Mathematical Logic and Theory of Algorithms

  • Showing 1 - 9 results of 9
Refine Results
  1. 1

    Chair of Mathematical Logic and Theory of Algorithms by Semenov, A. L., Babenko, M. A., Belov, A. Ya, Vereshchagin, N. K., Vishnikin, M. E., Zolin, E. E., Krupski, V. N., Kuznetsov, S. L., Lyubetsky, V. A., Onoprienko, A. A., Pentus, M. R., Soprunov, S. F., Sorokin, A. A., Shekhtman, V. B., Yavorskaya, T. L.

    ISSN: 0027-1322, 1934-8444
    Published: Moscow Pleiades Publishing 01.02.2025
    Published in Moscow University mathematics bulletin (01.02.2025)
    “…The paper describes the history of the creation and activities of the Chair of Mathematical Logic and Theory of Algorithms at Lomonosov Moscow State University…”
    Get full text
    Journal Article
  2. 2

    Multi-Objective Seagull Optimization Algorithm with Deep Learning-Enabled Vulnerability Detection for Secure Cloud Environments by Aljebreen, Mohammed, Alohali, Manal Abdullah, Mahgoub, Hany, Aljameel, Sumayh S., Alsumayt, Albandari, Sayed, Ahmed

    ISSN: 1424-8220, 1424-8220
    Published: Switzerland MDPI AG 24.11.2023
    Published in Sensors (Basel, Switzerland) (24.11.2023)
    “… In this background, the current study designs a novel multi-objective seagull optimization algorithm with a deep learning-enabled vulnerability detection (MOSOA-DLVD…”
    Get full text
    Journal Article
  3. 3

    Observer Design for Fractional-Order Polynomial Fuzzy Systems Depending on a Parameter by Gassara, Hamdi, Rhaima, Mohamed, Mchiri, Lassaad, Ben Makhlouf, Abdellatif

    ISSN: 2504-3110, 2504-3110
    Published: Basel MDPI AG 01.12.2024
    Published in Fractal and fractional (01.12.2024)
    “…For fractional-order systems, observer design is remarkable for the estimation of unavailable states from measurable outputs. In addition, the nonlinear…”
    Get full text
    Journal Article
  4. 4

    Thermal behavior of high-temperature fuel cells: reliable parameter identification and interval-based sliding mode control by Dötschel, Thomas, Auer, Ekaterina, Rauh, Andreas, Aschemann, Harald

    ISSN: 1432-7643, 1433-7479
    Published: Berlin/Heidelberg Springer Berlin Heidelberg 01.08.2013
    Published in Soft computing (Berlin, Germany) (01.08.2013)
    “…In this contribution, we present interval methods for mathematical modeling, for parameter identification, and for control design of dynamical systems…”
    Get full text
    Journal Article
  5. 5

    The nature of physical computation by Shagrir, Oron

    ISBN: 0197552382, 9780197552384, 9780197552407, 0197552404
    Published: New York Oxford University Press 2022
    “… it seldom occur to us to describe stomachs, hurricanes, rocks, or chairs that way? The book provides an extended argument for the semantic view of computation, which states that semantic properties are involved in the nature of computing systems…”
    Get full text
    eBook Book
  6. 6

    Genetic Algorithm Optimisation for Fuzzy Control of Wheelchair Lifting and Balancing by Ahmad, S., Tokhi, M.O., Toha, S.F.

    ISBN: 9781424453450, 1424453453
    Published: IEEE 01.11.2009
    “…In this paper, an optimisation technique is adopted to manipulate the input and output scaling of a fuzzy logic controller for lifting the front wheels of a wheelchair and stabilizing the wheelchair in two-wheeled mode…”
    Get full text
    Conference Proceeding
  7. 7

    Economic and Mathematical Modeling of Complex Cooperation of Academic Staff of Educational Cluster on the Basis of Fuzzy Sets Theory by Tishchenko, Evgeniy N, Sharypova, Tatyana N, Zhilina, Elena V, Cherkezov, Saveliy E

    ISSN: 1843-6110, 2393-5162
    Published: Reprograph 2016
    “…The article substantiates necessity for development of fuzzy models for evaluation of cooperation level of academic staff of educational cluster on the basis of fuzzy sets theory, which allow…”
    Get full text
    Journal Article
  8. 8

    THE HARDEST PROBLEMS IN NP by Fortnow, Lance

    ISBN: 9780691156491, 0691156492
    Published: United States Princeton University Press 27.03.2013
    Published in The Golden Ticket (27.03.2013)
    “…Tom Hull, chair of the University of Toronto Computer Science Department in 1970, wanted to hire Steve Cook…”
    Get full text
    Book Chapter
  9. 9

    Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design

    ISBN: 0780376072, 9780780376076
    Published: New York, NY, USA ACM 10.11.2002
    “…On behalf of the ICCAD 2002 Executive and Technical Program Committees, we would like to welcome you to the International Conference on Computer-Aided Design,…”
    Get full text
    Conference Proceeding