Harmonic generation in the scattered fields produced by a dielectric sphere coated with time-varying conductive shell is studied using Mie theory approach hybridized conversion matrix methods. Analytic results are derived for plane wave incidence as well general external excitation transition techniques. An equivalent transmission line also discussed. Numerical examples validate expressions thr...

A ‘hybridisation’ of a logic, referred to as the base logic, consists of developing the characteristic features of hybrid logic on top of the respective base logic, both at the level of syntax (i.e. modalities, nominals, etc.) and of the semantics (i.e. possible worlds). By ‘hybridised institutions’ we mean the result of this process when logics are treated abstractly as institutions (in the se...

UTMS 2009–21 Hajime Fujita, Mikio Furuta and Takahiko Yoshida: Torus fibrations and lo-calization of index II-Local index for acyclic compatible system-. Cauchy data for general second order elliptic operators in two dimensions. 2009–23 Yukihiro Seki: On exact dead-core rates for a semilinear heat equation with strong absorption. 2009–24 Yohsuke Takaoka: On existence of models for the logical s...

For the Hodge–Laplace equation in finite element exterior calculus, we introduce several families of discontinuous Galerkin methods extended framework. contractible domains, this framework utilizes seven fields and provides a unifying inf-sup analysis with respect to all discretization penalty parameters. It is shown that proposed can be hybridized as reduced two-field formulation.