Derivation of explicit dispersion relation for gyrotropic waveguide
M. Matyáš, Vladislav Čápek (1989)
Acta Universitatis Carolinae. Mathematica et Physica
Similarity:
M. Matyáš, Vladislav Čápek (1989)
Acta Universitatis Carolinae. Mathematica et Physica
Similarity:
Qimei Xiao, Wenjun Liu (2016)
Open Mathematics
Similarity:
A quantale is a complete lattice equipped with an associative binary multiplication distributing over arbitrary joins. We define the notions of right (left, two) sided derivation and idempotent derivation and investigate the properties of them. It’s well known that quantic nucleus and quantic conucleus play important roles in a quantale. In this paper, the relationships between derivation and quantic nucleus (conucleus) are studied via introducing the concept of pre-derivation. ...
Jan von Plato (2017)
Bulletin of the Section of Logic
Similarity:
The way from linearly written derivations in natural deduction, introduced by Jaskowski and often used in textbooks, is a straightforward root-first translation. The other direction, instead, is tricky, because of the partially ordered assumption formulas in a tree that can get closed by the end of a derivation. An algorithm is defined that operates alternatively from the leaves and root of a derivation and solves the problem.
Mirjana Borisavljević (2007)
Publications de l'Institut Mathématique
Similarity:
Čertíková, Marta, Burda, Pavel, Novotný, Jaroslav, Šístek, Jakub
Similarity:
In this paper, we introduce a general framework for derivation of the averaging operator, from which the standard choices are recovered by simplifications. Then, an alternative approach derived by another simplification is proposed and tested on a 2D example.