Zobrazeno 1 - 10
of 19 838
pro vyhledávání: '"A. Raskin"'
Autor:
Raskin, Jean-François, Tsai, Yun Chen
This paper addresses the synthesis of reactive systems that enforce hard constraints while optimizing for quality-based soft constraints. We build on recent advancements in combining reactive synthesis with example-based guidance to handle both types
Externí odkaz:
http://arxiv.org/abs/2410.08599
Autor:
Gaitsgory, Dennis, Raskin, Sam
This is the final paper in the series of five, in which we prove the geometric Langlands conjecture (GLC). We conclude the proof of GLC by showing that there exists a unique (up to tensoring up by a vector space) Hecke eigensheaf corresponding to an
Externí odkaz:
http://arxiv.org/abs/2409.09856
Autor:
Arinkin, D., Beraldo, D., Chen, L., Faergeman, J., Gaitsgory, D., Lin, K., Raskin, S., Rozenblyum, N.
This paper performs the following steps toward the proof of GLC in the de Rham setting: (i) We deduce GLC for G=GL_n; (ii) We prove that the Langlands functor L_G constructed in [GLC1], when restricted to the cuspidal category, is ambidextrous; (iii)
Externí odkaz:
http://arxiv.org/abs/2409.08670
Autor:
Campbell, Justin, Chen, Lin, Faergeman, Joakim, Gaitsgory, Dennis, Lin, Kevin, Raskin, Sam, Rozenblyum, Nick
We establish the compatibility of the Langlands functor with the operations of Eisenstein series constant term, and deduce that the Langlands functor induces an equivalence on Eisenstein-generated subcategories.
Externí odkaz:
http://arxiv.org/abs/2409.07051
Publikováno v:
Annals of Vascular Surgery - Brief Reports and Innovations, Vol 2, Iss 3, Pp 100112- (2022)
Background: Complex mycotic aortic aneurysm (MAA) is a rare and life-threatening disease with a high mortality rate. Open surgical treatment has always been considered as gold standard. However, it carries a high mortality and morbidity rate. Endovas
Externí odkaz:
https://doaj.org/article/58270814cafc456d9dd40780f65e233a
In this paper, we revisit the active learning of timed languages recognizable by event-recording automata. Our framework employs a method known as greybox learning, which enables the learning of event-recording automata with a minimal number of contr
Externí odkaz:
http://arxiv.org/abs/2408.12551
Autor:
Garreau, G., Bigioli, A., Laugier, R., La Torre, B., Martinod, M-A., Missiaen, K., Morren, J., Raskin, G., Salman, M., Gross, S., Ireland, M., Joó, A. P., Labadie, L., Madden, S., Mazzoli, A., Medgyesi, G., Sanny, A., Taras, A., Vandenbussche, B., Defrère, D.
Publikováno v:
Proc. SPIE 13095, Optical and Infrared Interferometry and Imaging IX, 130950P (15 February 2024)
Asgard/NOTT is an ERC-funded project hosted at KU Leuven and is part of a new visitor instrumental suite, called Asgard, under preparation for the Very Large Telescope Interferometer (VLTI). Leveraging nulling capabilities and the long VLTI baselines
Externí odkaz:
http://arxiv.org/abs/2407.08557
Autor:
Martinod, Marc-Antoine, Defrère, Denis, Ireland, Michael J., Kraus, Stefan, Martinache, Frantz, Tuthill, Peter G., Allouche, Fatmé, Bouzerand, Emilie, Bryant, Julia, Carter, Josh, Chhabra, Sorabh, Courtney-Barrer, Benjamin, Crous, Fred, Cvetojevic, Nick, Dandumont, Colin, Ertel, Steve, Gardner, Tyler, Garreau, Germain, Glauser, Adrian M., Haubois, Xavier, Labadie, Lucas, Lagarde, Stéphane, Lancaster, Daniel, Laugier, Romain, Mazzoli, Alexandra, Meilland, Anthony, Missiaen, Kwinten, Morel, Sébastien, Mortimer, Daniel J., Norris, Barnaby, Paul, Jyotirmay, Raskin, Gert, Robbe-Dubois, Sylvie, Robertson, J. Gordon, Sanny, Ahmed, Schuhler, Nicolas, Snaith, Owain, Taras, Adam
ESO's Very Large Telescope Interferometer has a history of record-breaking discoveries in astrophysics and significant advances in instrumentation. The next leap forward is its new visitor instrument, called Asgard. It comprises four natively collabo
Externí odkaz:
http://arxiv.org/abs/2407.08431
Autor:
Defrère, Denis, Laugier, Romain, Martinod, Marc-Antoine, Garreau, Germain, Missiaen, Kwinten, Salman, Muhammad, Raskin, Gert, Dandumont, Colin, Ertel, Steve, Ireland, Michael J., Kraus, Stefan, Labadie, Lucas, Mazzoli, Alexandra, Medgyesi, Gyorgy, Sanny, Ahmed, Absil, Olivier, Ábráham, Peter, Berger, Jean-Philippe, Bonduelle, Myriam, Bigioli, Azzurra, Bouzerand, Emilie, Carter, Josh, Cvetojevic, Nick, Courtney-Barrer, Benjamin, Glauser, Adrian M., Gross, Simon, Haubois, Xavier, James, Noel, Joo, Andras Peter, Lagarde, Stephane, Léger, Alain, Leisenring, Jarron, Loicq, Jérôme, Martin, Guillermo, Martinache, Frantz, Mezo, Gyorgy, Morel, Sébastien, Morren, Johan, Ollivier, Marc, Robertson, Gordon, Rousseau, Hélène, Schofield, Warrick, Schuhler, Nicolas, Taras, Adam, Vandenbussche, Bart, Woillez, Julien
NOTT (formerly Hi-5) is the L'-band (3.5-4.0~microns) nulling interferometer of Asgard, an instrument suite in preparation for the VLTI visitor focus. The primary scientific objectives of NOTT include characterizing (i) young planetary systems near t
Externí odkaz:
http://arxiv.org/abs/2407.08397
Autor:
Brice, Léonard, Raskin, Jean-François, Sassolas, Mathieu, Scerri, Guillaume, Bogaard, Marie van den
Fairness is a desirable and crucial property of many protocols that handle, for instance, exchanges of message. It states that if at least one agent engaging in the protocol is honest, then either the protocol will unfold correctly and fulfill its in
Externí odkaz:
http://arxiv.org/abs/2405.18958