691 search results - page 4 / 139 » Equational Abstractions |
NA
2007
13 years 7 months ago
2007
Abstract. This work presents a formulation based on UPML for truncating conductive media by using a local and non-orthogonal coordinate system to solve Maxwell’s Equations by the...
MOC
1998
13 years 7 months ago
1998
Abstract. Details of a new technique for obtaining rigorous results concerning the global dynamics of nonlinear systems is described. The technique abstract existence results based...
ENTCS
2011
13 years 2 months ago
2011
d abstract) Peter Selinger1 Department of Mathematics and Statistics Dalhousie University, Halifax, Nova Scotia, Canada We show that an equation follows from the axioms of dagger ...
DCC
2011
IEEE
13 years 2 months ago
2011
IEEE
Abstract. A system of Boolean equations is called sparse if each equation depends on a small number of variables. Finding efficiently solutions to the system is an underlying hard ...
MOC
2002
13 years 7 months ago
2002
Abstract. Solutions of the optimal control and H-control problems for nonlinear affine systems can be found by solving Hamilton-Jacobi equations. However, these first order nonline...