Results 31 to 40 of about 47,047 (265)
The Journal of Logic and Algebraic Programming, 2001 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Dennis Dams +2 more
openaire +1 more source
Shelah-Stupp’s Iteration and Muchnik’s Iteration [PDF]
Fundamenta Informaticae, 2018 In the early seventies, Shelah proposed a model-theoretic construction, nowadays called “iteration”. This construction is an infinite replication in a tree-like manner where every vertex possesses its own copy of the original structure. Stupp proved that the decidability of the monadic second-order (MSO) theory is transferred from the original ...
Caucal, Didier, Knapik, Teodor
openaire +2 more sources
Calculations for the optical system for the first ITER plasma [PDF]
EPJ Web of Conferences, 2023 A dedicated optical system is designed for the breakdown of the first ITER plasma, when the machine will not be equipped with the equatorial ECRH-launcher.
Plaum Burkhard +2 more
doaj +1 more source
Free iterative and iteration K-semialgebras [PDF]
Algebra universalis, 2012 We consider algebras of rational power series over an alphabet $Σ$ with coefficients in a commutative semiring $K$ and characterize them as the free algebras in various classes of algebraic structures.
Zoltán Ésik, Werner Kuich
openaire +2 more sources
Vestnik RUDN. International Relations, 2019 The article analyses the prospects for the implementation of the largest international scientific and technical project (“mega-science” project) ITER of controlled thermonuclear fusion.
Andrey Kharitonovich Degterev
doaj +1 more source
MINT, an ITER Tool for Interactive Visualization of Data
, 2021 International audienceITER will produce large volumes of data that need to be visualized and analyzed. This paper describes the development of a graphical data visualization and exploration tool, MINT (Make Informative and Nice Trends), for plant ...
Carannante, Giuseppe +11 more
core +1 more source
U-Shaped, Iterative, and Iterative-with-Counter Learning [PDF]
Machine Learning, 2007 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
John Case, Samuel E. Moelius
openaire +1 more source
Electronic Proceedings in Theoretical Computer Science, 2020 Iterative algorithms are traditionally expressed in ACL2 using recursion. On the other hand, Common Lisp provides a construct, loop, which -- like most programming languages -- provides direct support for iteration. We describe an ACL2 analogue loop$ of loop that supports efficient ACL2 programming and reasoning with iteration.
Matt Kaufmann, J Strother Moore
openaire +2 more sources
Automated Operation of ITER Using Behavior Tree Semantics
, 2021 International audienceThe inherent complexity of the ITER machine and the diversity of the ways it will be operated in different phases, like commissioning or engineering operation, poses a great challenge for striking the right balance between ...
Bauvir, Bertrand +2 more
core +1 more source
Waste management plans for ITER
, 2016 ITER will produce radioactive waste during its operation (arising from the replacement of components and from process and housekeeping waste) and during decommissioning.
Rosanvallon, Sandrine +3 more
core +1 more source