Sciweavers

970 search results - page 22 / 194
» case 2011
Sort
View
MCM
2011
13 years 2 months ago
Micro-swimmers with hydrodynamic interactions
The low-Reynolds number motions of Purcell’s three-link swimmer, and of a closely-related two-paddle swimmer, are investigated and compared using slender-body theory and resisti...
Greg Huber, Stephan A. Koehler, Jing Yang
IJSEKE
2011
165views more  IJSEKE 2011»
12 years 11 months ago
Model Checking for Verification of Mandatory Access Control Models and Properties
rather wide gap in abstraction between policies and mechanisms. In this paper, we propose a general approach for property verification for MAC models. The approach defines a stan...
Vincent C. Hu, D. Richard Kuhn, Tao Xie, JeeHyun H...
JCPHY
2011
87views more  JCPHY 2011»
12 years 10 months ago
A fast directional algorithm for high-frequency electromagnetic scattering
This paper is concerned with the fast solution of high frequency electromagnetic scattering problems using the boundary integral formulation. We extend the O(N log N) directional ...
Paul Tsuji, Lexing Ying
JCT
2011
93views more  JCT 2011»
12 years 10 months ago
A graph-theoretic approach to quasigroup cycle numbers
Abstract. Norton and Stein associated a number with each idempotent quasigroup or diagonalized Latin square of given finite order n, showing that it is congruent mod 2 to the tria...
Brent Kerby, Jonathan D. H. Smith
DM
2011
211views Education» more  DM 2011»
12 years 11 months ago
A generalization of plexes of Latin squares
A k-plex of a latin square is a collection of cells representing each row, column, and symbol precisely k times. The classic case of k = 1 is more commonly known as a transversal....
Kyle Pula