On the Expressive Power of Datalog: Tools and a Case Study
- 作者P.G. Kolaitis; M.Y. Vardi
- 卷第51卷
- 期第1期
- 印刷ISSN0022-0000
- 电子ISSN1090-2724
- 文件大小2082.06KB
- 发表时间1995
- DOI10.1006/jcss.1995.1055
- 页码110-134
Analysis of Transient Electromagnetic Scattering from Overfilled CavitiesWood, Aihua; Van, Tri · SIAM Journal on Applied Mathematics · 2004
Analysis of Transient Electromagnetic Scattering from Overfilled CavitiesTri Van and Aihua Wood · SIAM Journal on Applied Mathematics · 2003-2004
Finite element analysis of transient electromagnetic scattering problemsTri Van; Aihua Wood · Advances in Computational Mathematics · 2005
Analysis of Time–Domain Maxwell's Equations for 3-D CavitiesTri Van; Aihua Wood · Advances in Computational Mathematics · 2002
A time-marching finite element method for an electromagnetic scattering problemTri Van; Aihua Wood · 2003
A Time-Domain Finite Element Method for Maxwell's EquationsVan, Tri; Wood, Aihua · SIAM Journal on Numerical Analysis · 2004
A Time-Domain Finite Element Method for Maxwell's EquationsTri Van and Aihua Wood · SIAM Journal on Numerical Analysis · 2005