SIAM Journal on Numerical Analysis, Vol. 55, No. 1 (2017), pp. 63-86 (24 pages) A new space-time discontinuous Galerkin (dG) method utilizing special Trefftz polynomial basis functions is proposed and ...
Researchers from University of Bremen have released “Linear Formal Verification of Sequential Circuits using Weighted-AIGs”.
In this study, the constant angle ruled surfaces constructed by polynomial space curves using the Frenet-like curve (Flc) frame in Euclidean 3-space are examined. We find the conditions for the ruled ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results