23 citations
- Université de Bretagne OccidentaleFR15 papers
- Laboratoire des Sciences et Techniques de l’Information de la Communication et de la ConnaissanceFR14 papers
- Centre National de la Recherche ScientifiqueFR12 papers
- Democritus University of ThraceGR4 papers
- Ghent UniversityBE4 papers
- IMT AtlantiqueFR4 papers
- Institut de Recherche en Informatique de ToulouseFR4 papers
- Donetsk National Technical UniversityUA2 papers
- Flinders UniversityAU2 papers
- Institut Polytechnique de BordeauxFR2 papers
- Laboratoire d'Informatique de l'École PolytechniqueFR2 papers
- Norwegian University of Science and TechnologyNO2 papers
Showing 2019Show all
3 papers · 1 filter
cs.LO2019
Intuitionistic Linear Temporal Logics
Philippe Balbiani, Joseph Boudou, Martín Diéguez +1
We consider intuitionistic variants of linear temporal logic with `next', `until' and `release' based on expanding posets: partial orders equipped with an order-preserving transiti…
physics.optics2019
Influence of the linear magneto-electric effect on the lateral shift of light reflected from a magneto-electric film
Yu S Dadoenkova, F F L Bentivegna, N N Dadoenkova +3
We present a theoretical investigation of the lateral shift of an infrared light beam reflected from a magnetic film deposited on a non-magnetic dielectric substrate, taking into a…
physics.optics2019
Influence of misfit strain on the Goos-Hanchen shift upon reflection from a magnetic film on a nonmagnetic substrate
Yu. S. Dadoenkova, F. F. L. Bentivegna, N. N. Dadoenkova +2
The influence of the misfit strain on the lateral shift (Goos-Hanchen effect) experienced by a near-infrared electromagnetic wave upon reflection from the surface of a bilayer cons…