7820 search results - page 1424 / 1564 » Formalization of Time and Space |
194
click to vote
SIAMSC
2010
15 years 4 months ago
2010
This paper develops a nested iteration algorithm to solve time-dependent nonlinear systems of partial differential equations. For each time step, Newton’s method is used to form...
178
click to vote
ACSD
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--The ANR project SPaCIFY develops a domainspecific programming environment, Synoptic, to engineer embedded software for space applications. Synoptic is an Eclipse-based mo...
168
click to vote
PIMRC
2010
IEEE
15 years 4 months ago
2010
IEEE
In this paper we analyze the Ricean K-factor for vehicle-to-vehicle (V2V) communications in a typical open suburban street crossing. The channel conditions vary from non line-of si...
188
click to vote
BMCBI
2010
15 years 3 months ago
2010
Background: We propose a sequence clustering algorithm and compare the partition quality and execution time of the proposed algorithm with those of a popular existing algorithm. T...
165
click to vote
TIT
2011
15 years 1 months ago
2011
—Constellation Constrained (CC) capacity regions of two-user Single-Input Single-Output (SISO) Gaussian Multiple Access Channels (GMAC) are computed for several Non-Orthogonal Mu...