Resource Analysis driven by (Conditional) Termination Proofs
Sign Up to like & getrecommendations! Published in 2019 at "Theory and Practice of Logic Programming"
DOI: 10.1017/s1471068419000152
Abstract: Abstract When programs feature a complex control flow, existing techniques for resource analysis produce cost relation systems (CRS) whose cost functions retain the complex flow of the program and, consequently, might not be solvable into… read more here.
Keywords: resource analysis; crs; termination; analysis driven ... See more keywords
Variational analysis of driven-dissipative bosonic fields
Sign Up to like & getrecommendations! Published in 2021 at "Physical Review A"
DOI: 10.1103/physreva.104.063711
Abstract: We present a method to perform a variational analysis of the quantum master equation for driven-disspative bosonic fields with arbitrary large occupation numbers. Our approach combines the P representation of the density matrix and the… read more here.
Keywords: driven dissipative; variational analysis; dissipative bosonic; bosonic fields ... See more keywords