Zobrazeno 1 - 10
of 802
pro vyhledávání: '"Ackermann function"'
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:
Claude Sureson
Publikováno v:
Fundamenta Informaticae. 182:345-361
We propose a detailed proof of the fact that the inverse of Ackermann function is computable in linear time.
20 pages
20 pages
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9d0f8c958f35beeeafecb7631fddf21d
https://doi.org/10.3233/fi-2021-2077
https://doi.org/10.3233/fi-2021-2077
Publikováno v:
VPT@ETAPS
We report on an inversion tool for a class of oriented conditional constructor term rewriting systems. Four well-behaved rule inverters ranging from trivial to full, partial and semi-inverters are included. Conditional term rewriting systems are theo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::43607ccd5ed42e25026574d51c76ead3
https://doi.org/10.4204/eptcs.341.3
https://doi.org/10.4204/eptcs.341.3
Autor:
M.L. Ioffe
Publikováno v:
Proceedings of Higher Educational Institutions. Маchine Building. :40-47
The Ackermann principle was developed when it became possible to separately control the four wheels of a moving object in the process of turning. In this case, two tasks arose. The first task was to control the wheels to ensure their pure rolling whe
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::43baccf0309106ebca229be4eab694f1
https://doi.org/10.18698/0536-1044-2021-9-40-47
https://doi.org/10.18698/0536-1044-2021-9-40-47
Publikováno v:
International Journal of Simulation Modelling. 20:243-254
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f8f362950201821440960dd7ac5e144c
https://doi.org/10.2507/ijsimm20-2-550
https://doi.org/10.2507/ijsimm20-2-550
Autor:
Dongdong Qin, Xianhua Tang
Publikováno v:
Journal of Differential Equations. 285:40-98
In the present paper, we study the following planar Choquard equation: { − Δ u + V ( x ) u = ( I α ⁎ F ( u ) ) f ( u ) , x ∈ R 2 , u ∈ H 1 ( R 2 ) , where V ( x ) is an 1-periodic function, I α : R 2 → R is the Riesz potential and f ( t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d4f7cc9b513ab06021ebdce1d7dfe8d0
https://doi.org/10.1016/j.jde.2021.03.011
https://doi.org/10.1016/j.jde.2021.03.011
Publikováno v:
The Bulletin of Symbolic Logic. 27:168-186
Following our [6], though with somewhat different methods here, further variants of Goodstein sequences are introduced in terms of parameterized Ackermann–Péter functions. Each of the sequences is shown to terminate, and the proof-theoretic streng
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ffbbea1ab1972b7516e2e2244375b135
https://doi.org/10.1017/bsl.2021.30
https://doi.org/10.1017/bsl.2021.30
Autor:
O.M.E. El-Ghezawi
Publikováno v:
IEEE Access. 9:129552-129559
The celebrated method of Ackermann for eigenvalue assignment of single-input controllable systems is revisited in this paper, contributing an elegant proof. The new proof facilitates a compact formula which consequently permits an extension of the me
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6e06adb1405d1bf9b6d2479717482562
https://doi.org/10.1109/access.2021.3111928
https://doi.org/10.1109/access.2021.3111928
Publikováno v:
Information Sciences. 540:370-389
This paper investigates the network-based modeling and distributed active disturbance rejection control (ADRC) to address the Ackermann steering problem of a four-in-wheel motor drive electric vehicle with deception attacks on controller area network
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7090d960f1b4943b5b9586a372858458
https://doi.org/10.1016/j.ins.2020.06.012
https://doi.org/10.1016/j.ins.2020.06.012
Autor:
Jessica Barker
Publikováno v:
Popular Communication. 18:272-286
This study examines the presentation of evening dress within the first 50 issues of The Repository of Arts, Literature, Commerce, Manufactures, Fashions, and Politics, from January 1809 to February...
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b3a2c8f3960360ceb573777edc73a108
https://doi.org/10.1080/15405702.2020.1841901
https://doi.org/10.1080/15405702.2020.1841901