Results 31 to 40 of about 47,075 (255)

Iterative Algebras: How Iterative are They?

Theory and Applications of Categories, 2008
Summary: Iterative algebras, defined by the property that every guarded system of recursive equations has a unique solution, are proved to have a much stronger property: every system of recursive equations has a unique strict solution. Those systems that have a unique solution in every iterative algebra are characterized.
Adámek, J., Börger, R., Milius, S., Velebil, J.   +3 more
openaire   +2 more sources

A benchmarking of human mitochondrial DNA haplogroup classifiers from whole-genome and whole-exome sequence data

Scientific Reports, 2021
The mitochondrial genome (mtDNA) is of interest for a range of fields including evolutionary, forensic, and medical genetics. Human mitogenomes can be classified into evolutionary related haplogroups that provide ancestral information and pedigree ...
Víctor García-Olivares, Adrián Muñoz-Barrera, José M. Lorenzo-Salazar, Carlos Zaragoza-Trello, Luis A. Rubio-Rodríguez, Ana Díaz-de Usera, David Jáspez, Antonio Iñigo-Campos, Rafaela González-Montelongo, Carlos Flores   +9 more
doaj   +1 more source

Piccoli mondi di pongo. Manipolazione e passo uno nella scuola dell’infanzia

IUL Research, 2021
Un percorso sul cinema rivolto alle scuole dell’infanzia: un avvicinamento al linguaggio audiovisivo, un laboratorio creativo pratico e riflessioni sull’esperienza svolta. Lavorare e progettare con le scuole dell’infanzia ha l’obiettivo per le classi di
Matteo Bottone, Diana Giromini, Federica Zancato   +2 more
doaj   +1 more source

Engineering aspects of design and integration of ECE diagnostic in ITER

EPJ Web of Conferences, 2015
ITER ECE diagnostic [1] needs not only to meet measurement requirements, but also to withstand various loads, such as electromagnetic, mechanical, neutronic and thermal, and to be protected from stray ECH radiation at 170 GHz and other millimeter wave ...
Udintsev V.S., Taylor G., Pandya H.K.B., Austin M.E., Casal N., Catalin R., Clough M., Cuquel B., Dapena M., Drevon J.-M., Feder R., Friconneau J.P., Giacomin T., Guirao J., Henderson M.A., Hughes S., Iglesias S., Johnson D., Kumar Siddhart, Kumar Vina, Levesy B., Loesser D., Messineo M., Penot C., Portalès M., Oosterbeek J.W., Sirinelli A, Vacas C., Vayakis G., Walsh M.J.   +29 more
doaj   +1 more source

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, Preynas Mélanie, Choe Munseok   +2 more
doaj   +1 more source

Iterating Transducers

The Journal of Logic and Algebraic Programming, 2001
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Dennis Dams, Yassine Lakhnech, Martin Steffen   +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

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

Activation of the inner irradiation Snail after long-term operation of the KATANA irradiation facility [PDF]

EPJ Web of Conferences
The primary coolant in fusion reactors such as ITER is water. In recent years, research has increasingly focused on the irradiation and activation of water, which leads to the formation of ionizing radiation fields.
Žiber Ylenia Kogovšek, Barbarič Benjamin, Kotnik Domen, Peric Julijan, Snoj Luka, Lengar Igor   +5 more
doaj   +1 more source

ITER Robots: Introducing School Students to Robotics and Project Management [PDF]

, 2020
International audienceOriginally developed by ITER, CEA, Agence ITER France and the French Ministry of Education, the ITER Robots Contest is an engineering robotics based competition open to high school and primary students across the South of France ...
Merveille, Christian, Rajaonarivony, Rolland, Soufflet-Jacquis, Sophie, Civet, Jean-Baptiste, Aspilcueta, Rosa, Hillairet, Julien, Tabachnikoff, Shira, Barbuti, Alain, André-Mitsialis, Sylvie, Decamps, Hans, Regal-Mezin, Xavier, Bruno, Vincent, Coblentz, Laban, Martinez, Lorena, Lagay, Olivier, Friconneau, Jean-Pierre, Berne, Alexandre, Martins, Jean-Pierre, Vincent, Benoit, Bottereau, Jean-Michel, Colombet, Jennifer, Keller, Delphine, Ferlay, Fabien, R, Pélissier, Bruno, Vives, Sébastien, Ferlay, Fabien,, Alfonsi, Marie, Roux, Christophe, Marfaing, Véronique   +28 more
core   +1 more source