Zobrazeno 1 - 10
of 449
pro vyhledávání: '"Symbolic method"'
Autor:
Yuxuan Wu, Hideki Nakayama
Publikováno v:
IEEE Access, Vol 12, Pp 134355-134365 (2024)
Mathematical problem solving is a task that examines the capacity of machine learning systems to perform quantitative and logical reasoning. Existing work employed formulas as intermediate labels in this task to implement a neuro-symbolic approach an
Externí odkaz:
https://doaj.org/article/d69a110f4d9d4e7daf5082a55bcb9710
Autor:
Yuriy Shapovalov, Spartak Mankovskyy, Dariya Bachyk, Anna Piwowar, Łukasz Chruszczyk, Damian Grzechca
Publikováno v:
Applied Sciences, Vol 14, Iss 17, p 7926 (2024)
This manuscript presents an analysis of machine learning (ML) usage in the Frequency Symbolic Method (FSM) to enhance the diagnosis of faults in parametric circuit analysis and optimization, with a particular focus on Linear Periodically Time-Variabl
Externí odkaz:
https://doaj.org/article/0f17ad6f380d4e0bb514911cc15a97d7
Autor:
Evgeny Vladimirovich Gvozdev
Publikováno v:
Недвижимость: экономика, управление, Iss 4 (2023)
The formalized description of the symbolic method (complex numbers) is presented, by means of which the complex value is determined in the form of the level of influence of causal factors on the damage caused by accidents and fires. On the example of
Externí odkaz:
https://doaj.org/article/164be0cde609491f988534a214da94d7
Publikováno v:
IEEE Access, Vol 11, Pp 146090-146102 (2023)
A wide variety of methods have been developed to predict the posture of the human body at a given point in time based on data on previous movements. More recently, prediction models based on deep learning have become a topic of active research and de
Externí odkaz:
https://doaj.org/article/c8ec688904a546f288bc617d072bd566
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Dmitry A. Kondratyev
Publikováno v:
Моделирование и анализ информационных систем, Vol 28, Iss 4, Pp 372-393 (2021)
The C-lightVer system is developed in IIS SB RAS for C-program deductive verification. C-kernel is an intermediate verification language in this system. Cloud parallel programming system (CPPS) is also developed in IIS SB RAS. Cloud Sisal is an input
Externí odkaz:
https://doaj.org/article/ff6a7cc2c6214b5c8b4e028660412423
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Srinivasarao Thota, Shiv Datt Kumar
Publikováno v:
Bulletin of Computational Applied Mathematics, Vol 8, Iss 1, Pp 25-48 (2020)
In this paper, we present a new symbolic algorithm for finding the Green's function of a given initial value problem for linear partial differential equations of second order with constant coefficients. The proposed algorithm is also applicable for $
Externí odkaz:
https://doaj.org/article/96343921efac4f1c8739f9c03e1cbc4d
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Seed, David
Publikováno v:
The Yearbook of English Studies, 2001 Jan 01. 31, 133-143.
Externí odkaz:
https://www.jstor.org/stable/3509380