We compare the performance of the fully coupled Newton–Raphson method with the sequential iteration approach (SIA) for solving the implicit time stepping equations of reactive transport modeling. We formulate the implicit time stepping equations for a demonstration model that incorporates homogeneous equilibrium reactions, i.e. carbonate hydrolysis, and a heterogeneous equilibrium reaction, i.e...

The implicit particle filter is a sequential Monte Carlo method for data assimilation. The idea is to focus the particles onto the high probability regions of the target probability density function (pdf) so that the number of particles required for a good approximation of this pdf remains manageable, even if the dimension of the state space is large. We explain how this idea is implemented, di...

A transformational programming approach is proposed as a means for developing a class of parallel algorithms from clear functional speci cations to e cient networks of communicating sequential processes CSP A foundation for the systematic re nement of functional speci ca tions into CSP processes is established Techniques for exhibiting implicit parallelism in functional speci cation are develop...

the aim of this study was to evaluate the effect of handedness and two practice types (explicit vs. implicit) on motor sequence learning. 60 girls (age range of 14 – 17 years old) were randomly assigned to four groups according to their handedness: right–handed-explicit, right–handed–implicit, left–handed-explicit, and left–handed-implicit. participants’ task was accuracy and time of sequential...

Assume we are given a K -trivially invariant line e. The goal of the present article is to classify co-bijective algebras. We show that every natural, negative, semi-Eratosthenes monoid is stable. In this context, the results of [31] are highly relevant. In [31], the authors extended reducible ideals.

Article history: Received 9 July 2014 Accepted 19 August 2014 Available online xxxx

Article history: Received 30 October 2009 Received in revised form 17 October 2010 Accepted 12 November 2010 Available online 19 November 2010

Wire-coating flow is simulated, involving polymer melt coatings and tube-tooling process design. A finite element method is employed, based on a semi-implicit time-stepping Taylor-Galerkin/pressure-correction scheme. The exponential Phan-Thien/Tanner model is used in its multi-mode form to represent a high-density polyethelyne (HDPE) polymer. Both shear-thinning and elongation-softening propert...

Albeit the implicit feedback based recommendation problem— when only the user history is available but there are no ratings—is the most typical setting in real-world applications, it is much less researched than the explicit feedback case. State-of-the-art algorithms that are efficient on the explicit case cannot be straightforwardly transformed to the implicit case if scalability should be mai...