Zobrazeno 1 - 10
of 4 684
pro vyhledávání: '"Payet A"'
Publikováno v:
TOTh 2020, Christophe Roche, Nov 2020, Chamb{\'e}ry (73), France. pp.199-216
Towns and cities are currently equipping themselves with a host of connected devices, with a view to transforming themselves into ''smart cities''. To manage this mass of connected objects, autonomous software entities, known as agents, can be attach
Externí odkaz:
http://arxiv.org/abs/2401.02726
Autor:
Payet, Etienne
In this paper, we define two particular forms of non-termination, namely loops and binary chains, in an abstract framework that encompasses term rewriting and logic programming. The definition of loops relies on the notion of compatibility of binary
Externí odkaz:
http://arxiv.org/abs/2312.13949
This report contains the proceedings of the 19th International Workshop on Termination (WST 2023), which was held in Obergurgl during August 24--25 as part of Obergurgl Summer on Rewriting (OSR 2023).
Externí odkaz:
http://arxiv.org/abs/2308.09536
Autor:
Payet, Étienne
We present a new syntactic criterion for the automatic detection of non-termination in an abstract setting that encompasses a simplified form of term rewriting and logic programming.
Comment: Presented at WST 2023
Comment: Presented at WST 2023
Externí odkaz:
http://arxiv.org/abs/2307.11549
Aging alone or combined with obesity increases white adipose tissue inflammatory status in male mice
Autor:
Lorrine Bournot, Thomas Payet, Flavie Sicard, Thomas Breniere, Julien Astier, Julien Roux, Bruno Bariohay, Jean-François Landrier
Publikováno v:
Scientific Reports, Vol 14, Iss 1, Pp 1-10 (2024)
Abstract White adipose tissue (WAT) has been recognized as a fundamental and crucial organ of interest in research focusing on inflammation during obesity or aging. WAT is also proposed as a significant component of cholecalciferol and 25-hydroxyvita
Externí odkaz:
https://doaj.org/article/798835ee12d640cb8e296ea788be8fd6
Autor:
Graykowski, Ariel, Lambert, Ryan A., Marchis, Franck, Cazeneuve, Dorian, Dalba, Paul A., Esposito, Thomas M., Peluso, Daniel O'Conner, Sgro, Lauren A., Blaclard, Guillaume, Borot, Antonin, Malvache, Arnaud, Marfisi, Laurent, Powell, Tyler M., Huet, Patrice, Limagne, Matthieu, Payet, Bruno, Clarke, Colin, Murabana, Susan, Owen, Daniel Chu, Wasilwa, Ronald, Fukui, Keiichi, Goto, Tateki, Guillet, Bruno, Huth, Patrick, Ishiyama, Satoshi, Kukita, Ryuichi, Mitchell, Mike, Primm, Michael, Randolph, Justus, Rivett, Darren A., Ryno, Matthew, Shimizu, Masao, Toullec, Jean-Pierre, Will, Stefan, Yue, Wai-Chun, Camilleri, Michael, Graykowski, Kathy, Janetzke, Ron, Janke, Des, Kardel, Scott, Loose, Margaret, Pickering, John W., Smith, Barton A., Transom, Ian M.
On 26 September 2022 the Double Asteroid Redirection Test (DART) spacecraft impacted Dimorphos, a satellite of the asteroid 65803 Didymos. Because it is a binary system, it is possible to determine how much the orbit of the satellite changed, as part
Externí odkaz:
http://arxiv.org/abs/2303.05548
Autor:
Jerome de Seze, Dominique Dive, Xavier Ayrignac, Giovanni Castelnovo, Marianne Payet, Amel Rayah, Claudio Gobbi, Patrick Vermersch, Chiara Zecca
Publikováno v:
Neurology and Therapy, Vol 13, Iss 3, Pp 519-533 (2024)
Abstract The number of ageing people with relapsing multiple sclerosis (RMS) is increasing. The efficacy of disease-modifying therapies (DMTs) for RMS declines with age. Also, older persons with MS may be more susceptible to infections, hospitalisati
Externí odkaz:
https://doaj.org/article/da10c1e30c4d425eada5c230eab87fc9
Autor:
Aunai, Nicolas, Smets, Roch, Ciardi, Andrea, Deegan, Philip, Jeandet, Alexis, Payet, Thibault, Guyot, Nathan, Darrieumerlou, Loic
Modeling multi-scale collisionless magnetized processes constitutes an important numerical challenge. By treating electrons as a fluid and ions kinetically, the so-called hybrid Particle-In-Cell (PIC) codes represent a promising intermediary between
Externí odkaz:
http://arxiv.org/abs/2210.14580
We consider a non-relativistic electron bound by an external potential and coupled to the quantized electromagnetic field in the standard model of non-relativistic QED. We compute the energy functional of product states of the form $u\otimes \Psi_f$,
Externí odkaz:
http://arxiv.org/abs/2210.03448
Autor:
Gregory P. DePascale, Tomáš J. Fischer, William Michael Moreland, Halldór Geirsson, Pavla Hrubcová, Vincent Drouin, Danielle Forester, Méline Payet‐‐Clerc, Diana Brum daSilveira, Josef Vlček, Benedikt G. Ófeigsson, Ármann Höskuldsson, Helga Kristín Torfadóttir, Iðunn Kara Valdimarsdóttir, Birta Dís Jónsdóttir Blöndal, Ingibjörg Jónsdóttir, Sigurjón Jónsson, Thor Thordarson
Publikováno v:
Geophysical Research Letters, Vol 51, Iss 14, Pp n/a-n/a (2024)
Abstract Grabens, or valleys formed during extensional tectonic events, are common but rarely observed during formation. In November 2023, inelastic surface deformation formed abruptly along Iceland's plate boundary in Grindavík. We documented grabe
Externí odkaz:
https://doaj.org/article/5cda169356be4b4bb8975b3c34e32db2