968 citations
- Centre National de la Recherche ScientifiqueFR12 papers
- Università di CamerinoIT8 papers
- Institut National de Physique Nucléaire et de Physique des ParticulesFR6 papers
- University of OxfordGB6 papers
- Slovak University of Technology in BratislavaSK5 papers
- Massachusetts Institute of TechnologyUS4 papers
- University of SurreyGB4 papers
- UNSW SydneyAU4 papers
- Daresbury LaboratoryGB3 papers
- IIT@MITUS3 papers
- Instituto de Ciencia de Materiales de MadridES3 papers
- Istituto Nazionale di Fisica Nucleare, Laboratori Nazionali di LegnaroIT3 papers
5 papers · 1 filter
Refinement-based verification of sequential implementations of Stateflow charts
Alvaro Miyazawa, Ana Cavalcanti
Simulink/Stateflow charts are widely used in industry for the specification of control systems, which are often safety-critical. This suggests a need for a formal treatment of such…
Integrable achiral D5-brane reflections and asymptotic Bethe equations
Diego H. Correa, Vidas Regelskis, Charles A. S. Young
We study the reflection of magnons from a D5-brane in the framework of the AdS/CFT correspondence. We consider two possible orientations of the D5-brane with respect to the referen…
Yangians, S-matrices and AdS/CFT
Alessandro Torrielli
This review is meant to be an account of the properties of the infinite-dimensional quantum group (specifically, Yangian) symmetry lying behind the integrability of the AdS/CFT spe…
Enhanced Quantum Communication via Optical Refocusing
Cosmo Lupo, Vittorio Giovannetti, Stefano Pirandola +2
We consider the problem of quantum communication mediated by an optical refocusing system, which is schematized as a thin lens with a finite pupil. This model captures the basic fe…
Evidence for a spin-aligned neutron-proton paired phase from the level structure of Pd
B. Cederwall, F. Ghazi Moradi, T. Bäck +54
The general phenomenon of shell structure in atomic nuclei has been understood since the pioneering work of Goeppert-Mayer, Haxel, Jensen and Suess.They realized that the experimen…