The favored theoretical explanation for giant planet formation – in both our solar system and others – is the core accretion model (although it still has some serious difficulties). In this scenario, planetesimals accumulate to build up planetary cores, which then accrete nebular gas. With current opacity estimates for protoplanetary envelopes, this model predicts the formation of Jupiter-mass ...

We construct (D − 3)-brane and instanton solutions using N ≤ 10 − D one-form field strengths in D dimensions, and show that the equations of motion can be cast into the form of the SL(N + 1, R) Toda equations. For generic values of the charges, the solutions are non-supersymmetric; however, they reduce to the previously-known multiply-charged supersymmetric solutions when appropriate charges va...

The modified weighted checksum method is proposed, which can be used for deriving fault tolerant versions of most linear algebra algorithms. The purpose is the detection and correction of calculation errors occurred due to transient hardware faults during algorithm execution. Using the proposed method, the faulttolerant versions of Jordan-Gauss and Faddeeva algorithms are designed. The computat...

Usually a Riemannian geometry is considered to be the most general geometry, which could be used as a space-time geometry. In fact, any Riemannian geometry is a result of some deformation of the Euclidean geometry. Class of these Riemannian deformations is restricted by a series of unfounded constraints. Eliminating these constraints, one obtains a more wide class of possible space-time geometr...

This paper presents a fast highly regular digit-serial complex-number multiplier-accumulator (CMAC) architecture which is well suited for V LSI implementations. This paper makes two contributions. First, several complex-number representation schemes are discussed. It is shown that the real-imaginary alternate (RIA) scheme is the best among all representation schemes and the prior designs of CMA...

This paperl is part of a study whose goal is to show the efficiency of a Bayes net to carry out model based vision calculations. [Binford et al. 1987] The network model is drawn up from the object's geometric and functional description to predict the appearance of an object. Then this net can be used to find the object within a photographic image of a scene. Many existing and proposed vision re...

In the last decade several estimators have been proposed that enforce the grouping property. A regularized estimate exhibits the grouping property if it selects groups of highly correlated predictor rather than selecting one representative. The pairwise fused lasso is related to fusion methods but does not assume that predictors have to be ordered. By penalizing parameters and differences betwe...