Zobrazeno 1 - 10
of 43
pro vyhledávání: '"Lipparini, Enrico"'
Smart contracts are an attractive target for attackers, as evidenced by a long history of security incidents. A current limitation of smart contract verification tools is that they are not really effective in expressing and verifying liquidity proper
Externí odkaz:
http://arxiv.org/abs/2404.17864
Autor:
Lipparini, Enrico, Ratschan, Stefan
For typical first-order logical theories, satisfying assignments have a straightforward finite representation that can directly serve as a certificate that a given assignment satisfies the given formula. For non-linear real arithmetic with transcende
Externí odkaz:
http://arxiv.org/abs/2303.16582
Autor:
Lipparini, Enrico, Pederiva, Francesco
The dynamic response of asymmetric nuclear matter is studied by using a Time-Dependent Local Isospin Density (TDLIDA) approximation approach. Calculations are based on a local density energy functional derived by an Auxiliary Field Diffusion Monte Ca
Externí odkaz:
http://arxiv.org/abs/1304.5858
Publikováno v:
Phys. REv. B74 193309 (2006)
We have investigated the dipole charge- and spin-density response of few-electron two-dimensional concentric nanorings as a function of the intensity of a perpendicularly applied magnetic field. We show that the dipole response displays signatures as
Externí odkaz:
http://arxiv.org/abs/cond-mat/0610841
Publikováno v:
Phys. Rev. B74 115303 (2006)
The interplay between Rashba, Dresselhaus and Zeeman interactions in a quantum well submitted to an external magnetic field is studied by means of an accurate analytical solution of the Hamiltonian, including electron-electron interactions in a sum r
Externí odkaz:
http://arxiv.org/abs/cond-mat/0605199
Autor:
Malet, Francesc, Barranco, Manuel, Lipparini, Enrico, Pi, Ricardo Mayol Martí, Climente, Juan Ignacio, Planelles, Josep
Publikováno v:
Phys. Rev. B73 245324 (2006)
Within local-spin-density functional theory, we have investigated the `dissociation' of few-electron circular vertical semiconductor double quantum ring artificial molecules at zero magnetic field as a function of inter-ring distance. In a first step
Externí odkaz:
http://arxiv.org/abs/cond-mat/0603040
Publikováno v:
Phys. Rev. B73 125302 (2006)
We have studied the relevance of spin-orbit coupling to the dispersion 00009 relation of the Larmor resonance observed in inelastic light scattering and electron-spin resonance experiments on GaAs quantum wells. We show that the spin-orbit interactio
Externí odkaz:
http://arxiv.org/abs/cond-mat/0601635
We have studied the ground state structure of quantum strips within the local spin-density approximation, for a range of electronic densities between $\sim$ 5$\times10^4$ and 2$\times10^6$ cm$^{-1}$ and several strengths of the lateral confining pote
Externí odkaz:
http://arxiv.org/abs/cond-mat/0511378
Magneto-Optics in parabolic three-dimensional quantum dots in magnetic fields of arbitrary direction
We generalize the Kohn's theorem to the case of parabolic three-dimensional quantum dots in magnetic fields of arbitrary direction. We show numerically that the exact resonance frequencies in the magneto-optical absorption of these dots are reproduce
Externí odkaz:
http://arxiv.org/abs/cond-mat/0303586