Sciweavers

287 search results - page 11 / 58
» Mixed Strand Spaces
Sort
View
CAV
2009
Springer
187views Hardware» more  CAV 2009»
14 years 9 months ago
A Markov Chain Monte Carlo Sampler for Mixed Boolean/Integer Constraints
We describe a Markov chain Monte Carlo (MCMC)-based algorithm for sampling solutions to mixed Boolean/integer constraint problems. The focus of this work differs in two points from...
Nathan Kitchen, Andreas Kuehlmann
MOC
2011
13 years 3 months ago
A two-level enriched finite element method for a mixed problem
The simplest pair of spaces P1/P0 is made inf-sup stable for the mixed form of the Darcy equation. The key ingredient is enhance the finite element spaces inside a PetrovGalerkin ...
Alejandro Allendes, Gabriel R. Barrenechea, Erwin ...
SIAMSC
2008
99views more  SIAMSC 2008»
13 years 8 months ago
Mixed Multiscale Finite Element Methods for Stochastic Porous Media Flows
In this paper, we propose a stochastic mixed multiscale finite element method. The proposed method solves the stochastic porous media flow equation on the coarse grid using a set ...
J. E. Aarnes, Yalchin Efendiev
VR
2010
IEEE
200views Virtual Reality» more  VR 2010»
13 years 7 months ago
Mixed reality in virtual world teleconferencing
In this paper we present a Mixed Reality (MR) teleconferencing application based on Second Life (SL) and the OpenSim virtual world. Augmented Reality (AR) techniques are used for ...
Tuomas Kantonen, Charles Woodward, Neil Katz
CSIE
2009
IEEE
14 years 3 months ago
Improvement of BW Multi-party Contract Signing Protocol: Model and Formal Analysis
A multi-party contract signing (MPCS) protocol allows a set of parties to exchange messages with each other to arrive in a state in which either each of them has a pre-agreed cont...
Xiangdong Li, Qingxian Wang, Xiaoyan Jin