Zobrazeno 1 - 10
of 329
pro vyhledávání: '"P. Pecheur"'
Autor:
Godet, Adrien, Sylvestre, Thibaut, Pécheur, Vincent, Chrétien, Jacques, Beugnot, Jean-Charles, Huy, Kien Phan
Optical nanofibers (ONFs) are excellent nanophotonic platforms for various applications such as optical sensing, quantum and nonlinear optics, due to both the tight optical confinement and their wide evanescent field in the sub-wavelength limit. Othe
Externí odkaz:
http://arxiv.org/abs/1904.11342
Autor:
Busard, Simon, Pecheur, Charles
Publikováno v:
EPTCS 256, 2017, pp. 253-267
Since the introduction of Alternating-time Temporal Logic (ATL), many logics have been proposed to reason about different strategic capabilities of the agents of a system. In particular, some logics have been designed to reason about the uniform memo
Externí odkaz:
http://arxiv.org/abs/1709.02106
Autor:
Godet, Adrien, Ndao, Abdoulaye, Sylvestre, Thibaut, Pecheur, Vincent, Lebrun, Sylvie, Pauliat, Gilles, Beugnot, Jean-Charles, Huy, Kien Phan
We describe an easy-to-implement technique that allows for a complete experimental characterization of sub-wavelength diameter tapered optical fibers. Our method is based on a direct and fast numerical analysis of the backward Brillouin spectrum meas
Externí odkaz:
http://arxiv.org/abs/1706.03990
In the railway domain, an electronic interlocking is a computerised system that controls the railway signalling components (e.g. switches or signals) in order to allow a safe operation of the train traffic. Interlockings are controlled by a software
Externí odkaz:
http://arxiv.org/abs/1605.06245
Autor:
Chauvet, Mathieu, Henrot, Fabien, Bassignot, Florent, Devaux, Fabrice, Gauthier-Manuel, Ludovic, Pêcheur, Vincent, Maillotte, Hervé, Dahmani, Brahim
Nonlinear periodically poled ridge LiNbO3 waveguides have been fabricated on silicon substrates. Components are carved with only use of a precision dicing machine without need for grinding or polishing steps. They show efficient second harmonic gener
Externí odkaz:
http://arxiv.org/abs/1603.05267
Publikováno v:
EPTCS 184, 2015, pp. 19-31
In the railway domain, an interlocking is a computerised system that controls the railway signalling objects in order to allow a safe operation of the train traffic. Each interlocking makes use of particular data, called application data, that reflec
Externí odkaz:
http://arxiv.org/abs/1506.03554
Publikováno v:
EPTCS 112, 2013, pp. 71-79
A number of extensions exist for Alternating-time Temporal Logic; some of these mix strategies and partial observability but, to the best of our knowledge, no work provides a unified framework for strategies, partial observability and fairness constr
Externí odkaz:
http://arxiv.org/abs/1303.0793
Autor:
Pécheur, Anne Le, Curtit, Francois, Clavel, Michel, Stephan, Jean-Michel, Rey, Colette, Bompard, Philippe
Publikováno v:
International Journal of Fatigue 45 (2012) 106-115
The main purpose of this study is to determine, via a three dimensions Finite Element analysis (FE), the stress and strain fields at the inner surface of a tubular specimen submitted to thermo-mechanical fatigue. To investigate the surface finish eff
Externí odkaz:
http://arxiv.org/abs/1301.1617
Autor:
Busard, Simon, Pecheur, Charles
Publikováno v:
EPTCS 78, 2012, pp. 39-53
Model checking verifies that a model of a system satisfies a given property, and otherwise produces a counter-example explaining the violation. The verified properties are formally expressed in temporal logics. Some temporal logics, such as CTL, are
Externí odkaz:
http://arxiv.org/abs/1202.4509
Publikováno v:
PeerJ, Vol 8, p e8094 (2020)
Background Conserving biodiversity and enhancing ecosystem services of interest in intensive agroecosystems is a major challenge. Perennial ecological infrastructures (EIs), such as hedges and grassy strips, and annual EI under Agri-Environment Schem
Externí odkaz:
https://doaj.org/article/4fd55b4f6d264f1bae237daff8ba25e2
