pushover analysis is a simplified nonlinear analysis technique that can be used to estimate the dynamic demands imposed on a structure under earthquake excitations. one of the first steps taken in this approximate solution is to assess the maximum roof displacement, known as target displacement, using the base shear versus roof displacement diagram. that could be done by the so-called dynamic p...

While soundness captures an essential requirement of the intrinsic approximation of any static analysis, completeness encodes approximations that are as precise as possible. Although a static analysis of some undecidable program property cannot be complete relatively to its reference semantics, it may well happen that it is complete relatively to an approximated and decidable reference semantic...

Computing invariants is the key issue in the analysis of infinite-state systems whether analysis means testing, verification or parameter synthesis. In particular, methods that allow to treat combinations of loops are of interest. We present a set of algorithms and methods that can be applied to characterize over-approximations of the set of reachable states of combinations of self-loops. We pr...

Time-dependent density matrix functional theory can be formulated in terms of coupled-perturbed response equations, in which a coupling matrix K(omega) features, analogous to the well-known time-dependent density functional theory (TDDFT) case. An adiabatic approximation is needed to solve these equations, but the adiabatic approximation is much more critical since there is not a good "zero ord...

Nuclear state densities are important inputs to statistical models of compound-nucleus reactions. State often calculated with self-consistent mean-field approximations that do not include correlations and have be augmented empirical collective enhancement factors. Here, we benchmark the static-path plus random-phase approximation (SPA+RPA) density in a chain samarium isotopes $^{148-155}$Sm aga...