Zobrazeno 1 - 10
of 214
pro vyhledávání: '"Inductive type"'
Autor:
L. V. CHERKESSOVA
Publikováno v:
Вестник Донского государственного технического университета, Vol 10, Iss 2, Pp 161-171 (2018)
The analysis of Matier-Hill nonlinear differential equation solutions that describe nonlinear resonator functioning in the highest zones of oscillation instability on the highest harmonicas is given. Stable and unstable solutions of this equation tak
Externí odkaz:
https://doaj.org/article/a8de62ae877d4913b89b6adc047bf220
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.
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:
Adi Sutrisno
Publikováno v:
English Language Teaching Educational Journal, Vol 2, Iss 2 (2020)
The patterns of paragraph writing as commonly used in the international journal are deemed necessary to be studied by scholars of non-English background wishing to write an article for publication in the international journals. Scholars of non-Englis
Externí odkaz:
https://doaj.org/article/0dcd22f0dbb343c29d8e557a7048ead6
Publikováno v:
IEEE Sensors Journal. 20:14253-14261
A direct digital output non-contact inductive type displacement sensor whose principle of operation alone was presented earlier, is analyzed to ascertain parameters that influence the errors in the output. Further, its efficacy is established through
Publikováno v:
IEEE Transactions on Applied Superconductivity. 30:1-5
In a power system, fault currents are on the rise and are becoming a common problem. Moreover, several methods for the restriction of fault currents can lead to the instability of power system. In the Republic of Korea, the Korea Electrotechnology Re
Autor:
L. V. CHERKESSOVA
Publikováno v:
Advanced Engineering Research, Vol 10, Iss 2, Pp 161-171 (2010)
The analysis of Matier-Hill nonlinear differential equation solutions that describe nonlinear resonator functioning in the highest zones of oscillation instability on the highest harmonicas is given. Stable and unstable solutions of this equation tak
Externí odkaz:
https://doaj.org/article/1dcc4dc6e7304262b468442168c5dd5b
Autor:
Seidali Rehab, Jérémy Buisson
Publikováno v:
Model-Driven Engineering and Software Development. MODELSWARD 2018.
Model-Driven Engineering and Software Development. MODELSWARD 2018., pp.308-334, 2019
Communications in Computer and Information Science ISBN: 9783030110291
MODELSWARD (Revised Selected Papers)
Model-Driven Engineering and Software Development. MODELSWARD 2018., pp.308-334, 2019
Communications in Computer and Information Science ISBN: 9783030110291
MODELSWARD (Revised Selected Papers)
International audience; When one wants to design a language and related supporting tools, two distinct technical spaces can be considered. On the one hand, model-driven tools like Xtext or MPS automatically provide a compilation infrastructure and a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2c01fec296cf5320b8bdfc7367a3ed5f
https://hal.science/hal-02021361
https://hal.science/hal-02021361
Publikováno v:
ACM Transactions on Software Engineering and Methodology
ACM Transactions on Software Engineering and Methodology, Association for Computing Machinery, 2021, 30 (1), pp.1-33. ⟨10.1145/3409805⟩
ACM Transactions on Software Engineering and Methodology, 2021, 30 (1), pp.1-33. ⟨10.1145/3409805⟩
Al-Sibahi, A S, Jensen, T P, Dimovski, A S & Wasowski, A 2021, ' Verification of Program Transformations with Inductive Refinement Types ', ACM Transactions on Software Engineering and Methodology, vol. 30, no. 1, 5 . https://doi.org/10.1145/3409805
Al-Sibahi, A S, Jensen, T P, Dimovski, A & Wasowski, A 2021, ' Verification of Program Transformations with Inductive Refinement Types ', ACM Transactions on Software Engineering and Methodology, vol. 30, no. 1, 5, pp. 1-33 . https://doi.org/10.1145/3409805
ACM Transactions on Software Engineering and Methodology, Association for Computing Machinery, 2021, 30 (1), pp.1-33. ⟨10.1145/3409805⟩
ACM Transactions on Software Engineering and Methodology, 2021, 30 (1), pp.1-33. ⟨10.1145/3409805⟩
Al-Sibahi, A S, Jensen, T P, Dimovski, A S & Wasowski, A 2021, ' Verification of Program Transformations with Inductive Refinement Types ', ACM Transactions on Software Engineering and Methodology, vol. 30, no. 1, 5 . https://doi.org/10.1145/3409805
Al-Sibahi, A S, Jensen, T P, Dimovski, A & Wasowski, A 2021, ' Verification of Program Transformations with Inductive Refinement Types ', ACM Transactions on Software Engineering and Methodology, vol. 30, no. 1, 5, pp. 1-33 . https://doi.org/10.1145/3409805
International audience; High-level transformation languages like Rascal include expressive features for manipulating large abstract syntax trees: first-class traversals, expressive pattern matching, backtracking, and generalized iterators. We present
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f5746d51ad8611bdbf143f1bc721094a
https://hal.inria.fr/hal-03518825/file/Rabit_TOSEM.pdf
https://hal.inria.fr/hal-03518825/file/Rabit_TOSEM.pdf
Autor:
Leobardo Hernandez-Gonzalez, Eduardo S. Estevez Encarnacion, Oswaldo Ulises Juarez-Sandoval, Jazmin Ramirez-Hernandez, Juan Carlos Sanchez Garcia
Publikováno v:
2020 IEEE International Autumn Meeting on Power, Electronics and Computing (ROPEC).
Capacitive type wireless power transfer systems, CPT, are becoming a suitable alternative to inductive type transfer systems. However, because their research is relatively recent, they have not achieved the power and efficiency levels of their induct