Constructive metrisability in point-free topology

By Curi G.  

Theoretical Computer Science, Vol. 305, Iss. 1, 2003-08 ,pp. : 85-109

Elsevier

Access to resources Recommend Favorite

A constructive theory of point-set nearness

By Vita L.S.   Bridges D.S.  

Theoretical Computer Science, Vol. 305, Iss. 1, 2003-08 ,pp. : 473-489

Elsevier

Access to resources Recommend Favorite

Multi-domain topology optimization with ant colony systems

By Batista Lucas S.   Campelo Felipe   Guimarães Frederico G.   Ramírez Jaime A.  

COMPEL: Int J for Computation and Maths. in Electrical and Electronic Eng., Vol. 30, Iss. 6, 2011-11 ,pp. : 1792-1803

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

Multi-domain topology optimization of electromagnetic systems

By Wang Semyung   Park Seungkyu   Kang Jenam  

COMPEL: Int J for Computation and Maths. in Electrical and Electronic Eng., Vol. 23, Iss. 4, 2004-12 ,pp. : 1036-1044

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

Domain representations of partial functions, with applications to spatial objects and constructive volume geometry

By Blanck  

Theoretical Computer Science, Vol. 284, Iss. 2, 2002-07 ,pp. : 207-240

Elsevier

Access to resources Recommend Favorite