Zobrazeno 1 - 10
of 3 698
pro vyhledávání: '"Claudel, A."'
Accurate forecasting of electricity consumption is essential to ensure the performance and stability of the grid, especially as the use of renewable energy increases. Forecasting electricity is challenging because it depends on many external factors,
Externí odkaz:
http://arxiv.org/abs/2405.08842
Autor:
Claudel, Christian
In late 2022, ICAO member states adopted a long-term global aspirational goal (LTAG) to achieve net zero carbon emissions from international aviation by 2050. To date however, no economically scalable solution to the aviation decarbonization problem
Externí odkaz:
http://arxiv.org/abs/2404.04779
We present an executable, proven-safe, faithful, and future-proof Coq mechanization of JavaScript regular expression (regex) matching, as specified by the latest published edition of ECMA-262 section 22.2. This is, to our knowledge, the first time th
Externí odkaz:
http://arxiv.org/abs/2403.11919
Autor:
Greenhorn, Scott, Coizet, Véronique, Dupuit, Victor, Fernandez, Bruno, Bres, Guillaume, Claudel, Arnaud, Gasner, Pierre, Warnking, Jan M., Barbier, Emmanuel L., Delacour, Cécile
Current techniques of neuroimaging, including electrical devices, are either of low spatiotemporal resolution or invasive, impeding multiscale monitoring of brain activity at both single cell and network levels. Overcoming this issue is of great impo
Externí odkaz:
http://arxiv.org/abs/2402.04389
Autor:
Terral, Océane, Audic, Guillaume, Claudel, Arnaud, Magnat, Justine, Dupont, Aurélie, Moreau, Christophe J., Delacour, Cécile
Graphene field effect transistors (G-FETs) have appeared as suitable candidates for sensing charges and have thus attracted large interest for ion and chemical detections. In particular, their high sensitivity, chemical robustness, transparency and b
Externí odkaz:
http://arxiv.org/abs/2402.04378
Autor:
Ho, Son, Pit-Claudel, Clément
Highly automated theorem provers like Dafny allow users to prove simple properties with little effort, making it easy to quickly sketch proofs. The drawback is that such provers leave users with little control about the proof search, meaning that the
Externí odkaz:
http://arxiv.org/abs/2401.16233
Autor:
Barrière, Aurèle, Pit-Claudel, Clément
Modern regex languages have strayed far from well-understood traditional regular expressions: they include features that fundamentally transform the matching problem. In exchange for these features, modern regex engines at times suffer from exponenti
Externí odkaz:
http://arxiv.org/abs/2311.17620
Autor:
Vishnoi, Suyash C., Ji, Junyi, Bahavarnia, MirSaleh, Zhang, Yuhang, Taha, Ahmad F., Claudel, Christian G., Work, Daniel B.
This work investigates traffic control via controlled connected and automated vehicles (CAVs) using novel controllers derived from the linear-quadratic regulator (LQR) theory. CAV-platoons are modeled as moving bottlenecks impacting the surrounding t
Externí odkaz:
http://arxiv.org/abs/2306.10418
This paper proposes to leverage the emerging~learning techniques and devise a multi-agent online source {seeking} algorithm under unknown environment. Of particular significance in our problem setups are: i) the underlying environment is not only unk
Externí odkaz:
http://arxiv.org/abs/2305.00154
An ego vehicle following a virtual lead vehicle planned route is an essential component when autonomous and non-autonomous vehicles interact. Yet, there is a question about the driver's ability to follow the planned lead vehicle route. Thus, predicti
Externí odkaz:
http://arxiv.org/abs/2304.06121