Sciweavers

2960 search results - page 291 / 592
» The Culture Based Model: Constructing a Model of Culture
Sort
View
CIC
2003
128views Communications» more  CIC 2003»
15 years 8 months ago
Communications in Electronic Textile Systems
- Electronic textiles (e-textiles) are emerging as a novel method for constructing electronic systems in wearable and large area applications. This new type of processing system me...
Zahi Nakad, Mark T. Jones, Thomas Martin
CORR
2008
Springer
92views Education» more  CORR 2008»
15 years 6 months ago
Discrete Jordan Curve Theorem: A proof formalized in Coq with hypermaps
This paper presents a formalized proof of a discrete form of the Jordan Curve Theorem. It is based on a hypermap model of planar subdivisions, formal specifications and proofs assi...
Jean-François Dufourd
SIAMSC
2010
142views more  SIAMSC 2010»
15 years 1 months ago
Efficient Spectral Sparse Grid Methods and Applications to High-Dimensional Elliptic Problems
Abstract. We develop in this paper some efficient algorithms which are essential to implementations of spectral methods on the sparse grid by Smolyak's construction based on a...
Jie Shen, Haijun Yu
ATAL
2004
Springer
15 years 12 months ago
About Engineering Complex Systems: Multiscale Analysis and Evolutionary Engineering
Abstract. We describe an analytic approach, multiscale analysis, that can demonstrate the fundamental limitations of decomposition based engineering for the development of highly c...
Yaneer Bar-Yam
DIGRA
2003
Springer
15 years 11 months ago
Supporting visual elements of non-verbal communication in computer game avatars
Communication between players in networked computer games is often inadequately implemented. The games do not exploit the full potential of using different forms of communication ...
Tomi Kujanpää, Tony Manninen