The objective of this review to be submitted in two independent parts, for steel frames and for RC frames, is to compare their structural performance with respect to the proposed N2-method, and so also of the consequent convenience of using pushover methodology for the seismic analysis of these structures. A preliminary investigation is presented on a pushover analysis used for the seismic perf...

We introduce a new numerical abstract domain, so-called interval polyhedra (itvPol), to infer and propagate interval linear constraints over program variables. itvPol, which allows to represent constraints of the form ∑ k[ak, bk]xk ≤ c, is more expressive than the classic convex polyhedra domain and allows to express certain non-convex (even unconnected) properties. The implementation of itvPol...

The scalability of photonic implementations fault-tolerant quantum computing based on Gottesman-Kitaev-Preskill (GKP) qubits is injured by the requirements inline squeezing and reconfigurability linear optical network. In this work we propose a topologically error-corrected architecture that does away with these elements at no cost—in fact, an advantage—to state preparation overheads. Our compu...