2414 search results - page 92 / 483 » Computing Normal Subgroups |
SEAA
2008
IEEE
14 years 3 months ago
2008
IEEE
Mobile devices are considered to be very useful in adhoc and team collaborations, for example in disaster responses, where dedicated infrastructures are not available. Such collab...
JDFP
2008
13 years 9 months ago
2008
Digital investigators have an increasing need to examine data network logs and traffic, either as part of criminal or civil investigations or when responding to information securi...
JMIV
2006
13 years 9 months ago
2006
Studying large deformations with a Riemannian approach has been an efficient point of view to generate metrics between deformable objects, and to provide accurate, non ambiguous an...
LPAR
2010
Springer
13 years 6 months ago
2010
Springer
We present an explicitly typed lambda calculus "`a la Church" based on the union and intersection types discipline; this system is the counterpart of the standard type a...
SIAMNUM
2011
13 years 3 months ago
2011
We develop and analyze least-squares finite element methods for two complementary div-curl elliptic boundary value problems. The first one prescribes the tangential component of ...