finite and boundary element methods have been used by many authors to solve mathematicalphysics problems. however, the coupling of these two methods happens to be more efficient as it combinestheir merits. in this paper, the mathematical analysis of the coupling of finite and boundary element methodsfor the helmholtz equation is presented.

The paper discusses the merits of temporal testers, which can serve as a compositional basis for automata construction corresponding to temporal formulas in the context of LTL, PSL, and MITL logics. Temporal testers can be viewed as (non-deterministic) transducers that, at any point, output a boolean value which is 1 iff the corresponding temporal formula holds starting at the current position....