Sciweavers

970 search results - page 21 / 194
» case 2011
Sort
View
SIAMNUM
2011
117views more  SIAMNUM 2011»
13 years 2 months ago
Mixed hp-Finite Element Method for Linear Elasticity with Weakly Imposed Symmetry: Stability Analysis
The paper presents a generalization of Arnold-Falk-Winther elements for linear elasticity, to meshes with elements of variable order. The generalization is straightforward but the ...
Weifeng Qiu, Leszek F. Demkowicz
IJIS
2011
83views more  IJIS 2011»
12 years 11 months ago
Conceptual modeling in full computation-tree logic with sequence modal operator
In this paper, we propose a method for modeling concepts in full computation-tree logic with sequence modal operators. An extended full computation-tree logic, CTLS∗ , is introdu...
Ken Kaneiwa, Norihiro Kamide
RSA
2011
121views more  RSA 2011»
13 years 2 months ago
Ramsey games with giants
: The classical result in the theory of random graphs, proved by Erd˝os and Rényi in 1960, concerns the threshold for the appearance of the giant component in the random graph pr...
Tom Bohman, Alan M. Frieze, Michael Krivelevich, P...
TIT
2011
128views more  TIT 2011»
13 years 2 months ago
Secure Network Coding on a Wiretap Network
—In the paradigm of network coding, the nodes in a network are allowed to encode the information received from the input links. With network coding, the full capacity of the netw...
Ning Cai, Raymond W. Yeung
IPL
2011
63views more  IPL 2011»
13 years 2 months ago
Edge-colored graphs with applications to homogeneous faults
In this paper, we use the concept of edge-colored graphs to model homogeneous faults in networks. We then use this model to study the minimum connectivity (and design) requirement...
Yongge Wang, Yvo Desmedt