Zobrazeno 1 - 10
of 292
pro vyhledávání: '"P. Maestracci"'
It was recently shown that, for central spin-1/2 and central spin-1, the XX central spin model is integrable in the presence of a magnetic field oriented perpendicular to the XY plane in which the coupling exists. In the spin-1/2 case, it was also sh
Externí odkaz:
http://arxiv.org/abs/2407.03029
Autor:
Maestracci, Valentin, Seiller, Thomas
Publikováno v:
FSCD, Sapienza Universit{\`a} Di Roma, Jul 2023, Rome, Italy
Cobordism categories are known to be compact closed. They can therefore be used to define non-degenerate models of multiplicative linear logic by combining the Int construction with double glueing. In this work we detail such construction in the case
Externí odkaz:
http://arxiv.org/abs/2310.19339
Publikováno v:
Biodiversity Data Journal, Vol 12, Iss , Pp 1-20 (2024)
The Mediterranean Region represents a biodiversity hotspot with a high rate of endemism. In its western part, Corsica Island is notable in terms of biodiversity due to its large surface and its large range of habitats from seaside to alpine biotopes.
Externí odkaz:
https://doaj.org/article/b5c69e272d26408483537885f9f4463a
Autor:
Barras, Bruno, Maestracci, Valentin
Publikováno v:
EPTCS 332, 2021, pp. 54-67
In this paper, we make a substantial step towards an encoding of Cubical Type Theory (CTT) in the Dedukti logical framework. Type-checking CTT expressions features a decision procedure in a de Morgan algebra that so far could not be expressed by the
Externí odkaz:
http://arxiv.org/abs/2101.03810
Autor:
Coline Maestracci
Publikováno v:
Connexe, Vol 9, Iss 1 (2023)
Externí odkaz:
https://doaj.org/article/4113b7741d9740c6a5df821e8aac749f
Autor:
Marianne Richou, Isabelle Chu, Geoffrey Darut, Raphael Maestracci, Manda Ramaniraka, Erick Meillot
Publikováno v:
Journal of Nuclear Engineering, Vol 3, Iss 4, Pp 453-460 (2022)
For the DEMO reactor, tungsten is considered as an armor material. Eurofer97 is planned to be used as a structural material for the first wall and in the divertor region, especially for the shielding liner component. To date, several joining solution
Externí odkaz:
https://doaj.org/article/360e0fa90d134e1ba38c998c4d77c456
Autor:
Coline Maestracci
Publikováno v:
Socio, Vol 16, Pp 159-176 (2022)
This article focuses on the transition to armed violence by Ukrainian volunteer fighters in the Donbass war. The mobilization of winter 2013-2014 and the repression of the authorities upset the individuals at the intimate level, even when they did no
Externí odkaz:
https://doaj.org/article/c8df98e2b5984dcfa90b0a5da777d6a1
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:
Coline Maestracci
Publikováno v:
Journal of Power Institutions in Post-Soviet Societies, Vol 22 (2021)
Externí odkaz:
https://doaj.org/article/5ace337f3b124914a906c5f3b7635c54