-
Brain states analysis of EEG predicts multiple sclerosis and mirrors disease duration and burden
Authors:
István Mórocz,
Mojtaba Jouzizadeh,
Amir H. Ghaderi,
Hamed Cheraghmakani,
Seyed M. Baghbanian,
Reza Khanbabaie,
Andrei Mogoutov
Abstract:
Background: Any treatment of multiple sclerosis should preserve mental function, considering how cognitive deterioration interferes with quality of life. However, mental assessment is still realized with neuro-psychological tests without monitoring cognition on neurobiological grounds whereas the ongoing neural activity is readily observable and readable.
Objectives: The proposed method decipher…
▽ More
Background: Any treatment of multiple sclerosis should preserve mental function, considering how cognitive deterioration interferes with quality of life. However, mental assessment is still realized with neuro-psychological tests without monitoring cognition on neurobiological grounds whereas the ongoing neural activity is readily observable and readable.
Objectives: The proposed method deciphers electrical brain states which as multi-dimensional cognetoms quantitatively discriminate normal from pathological patterns in an EEG.
Methods: Baseline recordings from a prior EEG study of 93 subjects, 37 with MS, were analyzed. Spectral bands served to compute cognetoms and categorize subsequent feature combination sets.
Results: A significant correlation arose between brain states predictors, clinical data and disease duration. Using cognetoms and spectral bands, a cross-sectional comparison separated patients from controls with a precision of 82% while using bands alone arrived at 64%.
Conclusions: Brain states analysis successfully distinguishes controls from patients with MS. The congruity with disease duration is a neurobiological indicator for disease accumulation over time. Our results imply that data-driven comparisons of EEG data may complement customary diagnostic methods in neurology and psychiatry. However, thinking ahead for quantitative monitoring of disease time course and treatment efficacy, we hope to have established the analytic principles applicable to longitudinal clinical studies.
△ Less
Submitted 22 April, 2025; v1 submitted 21 June, 2024;
originally announced June 2024.
-
A Knowledge-driven Physics-Informed Neural Network model; Pyrolysis and Ablation of Polymers
Authors:
Aref Ghaderi,
Ramin Akbari,
Yang Chen,
Roozbeh Dargazany
Abstract:
In aerospace applications, multiple safety regulations were introduced to address associated with pyrolysis. Predictive modeling of pyrolysis is a challenging task since multiple thermo-chemo-mechanical laws need to be concurrently solved at each time step. So far, classical modeling approaches were mostly focused on defining the basic chemical processes (pyrolysis and ignite) at micro-scale by de…
▽ More
In aerospace applications, multiple safety regulations were introduced to address associated with pyrolysis. Predictive modeling of pyrolysis is a challenging task since multiple thermo-chemo-mechanical laws need to be concurrently solved at each time step. So far, classical modeling approaches were mostly focused on defining the basic chemical processes (pyrolysis and ignite) at micro-scale by decoupling them from thermal solution at the micro-scale and then validating them using meso-scale experimental results. The advent of Machine Learning (ML) and AI in recent years has provided an opportunity to construct quick surrogate ML models to replace high fidelity multi-physics models, which have a high computational cost and may not be applicable for high nonlinear equations. This serves as the motivation for the introduction of innovative Physics informed neural networks (PINNs) to simulate multiple stiff, and semi-stiff ODEs that govern Pyrolysis and Ablation. Our Engine is particularly developed to calculate the char formation and degree of burning in the course of pyrolysis of crosslinked polymeric systems. A multi-task learning approach is hired to assure the best fitting to the training data. The proposed Hybrid-PINN (HPINN) solver was bench-marked against finite element high fidelity solutions on different examples. We developed PINN architectures using collocation training to forecast temperature distributions and the degree of burning in the course of pyrolysis in multiple one- and two-dimensional examples. By decoupling thermal and mechanical equations, we can predict the loss of performance in the system by predicting the char formation pattern and localized degree of burning at each continuum.
△ Less
Submitted 23 September, 2022;
originally announced September 2022.
-
Analysis of Fault Tolerant Multi-stage Switch Architecture for TSN
Authors:
Adnan Ghaderi,
Rahul Nandkumar Gore
Abstract:
We conducted the feasibility analysis of utilizing a highly available multi-stage architecture for TSN switches used for sending high priority, mission-critical traffic within a bounded latency instead of traditional single-stage architectures. To verify the TSN functionality, we implemented the 'strict priority' feature. We evaluated the performance of both architectures on multiple parameters su…
▽ More
We conducted the feasibility analysis of utilizing a highly available multi-stage architecture for TSN switches used for sending high priority, mission-critical traffic within a bounded latency instead of traditional single-stage architectures. To verify the TSN functionality, we implemented the 'strict priority' feature. We evaluated the performance of both architectures on multiple parameters such as fault tolerance, packet latency, throughput, reliability, path length effectiveness, and cost per unit. The fault tolerance analysis demonstrated that the multi-stage architecture fairs better than the single-stage counterpart. The average latency and throughput performance of multi-stage architectures, although low, can be considered comparable with single-stage counterparts. However, the multi-stage architecture fails to meet the performance of single-stage architectures on parameters such as reliability, path length effectiveness, and cost-effectiveness. The improved fault tolerance comes at the cost of increased hardware resources, cost, and complexity. However, with the advent of cost-effective technologies in hardware design and efficient architecture designs, the multi-stage switching architecture-based TSN switches can be made reasonably comparable to single-stage switching TSN switches. This work gives initial confidence that the multi-stage architecture can be pursued further for safety-critical systems that require determinism and reliability in the communication of critical messages.
△ Less
Submitted 23 September, 2022;
originally announced September 2022.
-
A Bayesian Surrogate Constitutive Model to Estimate Failure Probability of Rubber-Like Materials
Authors:
Aref Ghaderi,
Vahid Morovati,
Roozbeh Dargazany
Abstract:
In this study, a stochastic constitutive modeling approach for elastomeric materials is developed to consider uncertainty in material behavior and its prediction. This effort leads to a demonstration of the deterministic approaches error compared to probabilistic approaches in order to calculate the probability of failure. First, the Bayesian linear regression model calibration approach is employe…
▽ More
In this study, a stochastic constitutive modeling approach for elastomeric materials is developed to consider uncertainty in material behavior and its prediction. This effort leads to a demonstration of the deterministic approaches error compared to probabilistic approaches in order to calculate the probability of failure. First, the Bayesian linear regression model calibration approach is employed for the Carroll model representing a hyperelastic constitutive model. The developed model is calibrated based on the Maximum Likelihood Estimation (MLE) and Maximum a Priori (MAP) estimation. Next, a Gaussian process (GP) as a non-parametric approach is utilized to estimate the probabilistic behavior of elastomeric materials. In this approach, hyper-parameters of the radial basis kernel in GP are calculated using L-BFGS method. To demonstrate model calibration and uncertainty propagation, these approaches are conducted on two experimental data sets for silicon-based and polyurethane-based adhesives, with four samples from each material. These uncertainties stem from model, measurement, to name but a few. Finally, failure probability calculation analysis is conducted with First Order Reliability Method (FORM) analysis and Crude Monte Carlo (CMC) simulation for these data sets by creating a limit state function based on the stochastic constitutive model at failure stretch. Furthermore, sensitivity analysis is used to show the importance of each parameter in the probability of failure. Results show the performance of the proposed approach not only for uncertainty quantification and model calibration but also for failure probability calculation of hyperelastic materials.
△ Less
Submitted 25 October, 2020;
originally announced October 2020.
-
A Physics-informed Assembly of Feed-Forward Neural Network Engines to Predict Inelasticity in Cross-Linked Polymers
Authors:
Aref Ghaderi,
Vahid Morovati,
Roozbeh Dargazany
Abstract:
In solid mechanics, Data-driven approaches are widely considered as the new paradigm that can overcome the classic problems of constitutive models such as limiting hypothesis, complexity, and high dependence on training data. However, implementation of machine-learned approaches in material modeling has been modest due to the high-dimensionality of the data space, significant size of missing data,…
▽ More
In solid mechanics, Data-driven approaches are widely considered as the new paradigm that can overcome the classic problems of constitutive models such as limiting hypothesis, complexity, and high dependence on training data. However, implementation of machine-learned approaches in material modeling has been modest due to the high-dimensionality of the data space, significant size of missing data, and limited convergence. This work proposes a framework to hire concepts from polymer science, statistical physics, and continuum mechanics to provide super-constrained machine-learning techniques of reduced-order to overcome many of the existing difficulties. Using a sequential order-reduction, we have simplified the 3D stress-strain tensor mapping problem into a limited number of super-constrained 1D mapping problems. Next, we introduce an assembly of multiple replicated Neural Network agents to systematically classify those mapping problems into a few categories, all of which are replications of a few distinct agent types. By capturing all loading modes through a simplified set of disperse experimental data, the proposed hybrid assembly of agents provides a new generation of machine learned approaches that simply outperforms most constitutive laws in training data volume, training speed, and accuracy even in complicated loading scenarios. Also, it avoids low interpretability of conventional AI-based models.
△ Less
Submitted 20 November, 2020; v1 submitted 6 July, 2020;
originally announced July 2020.
-
On the method of likelihood-induced priors
Authors:
Ali Ghaderi
Abstract:
We demonstrate that the functional form of the likelihood contains a sufficient amount of information for constructing a prior for the unknown parameters. We develop a four-step algorithm by invoking the information entropy as the measure of uncertainty and show how the information gained from coarse-graining and resolving power of the likelihood can be used to construct the likelihood-induced pri…
▽ More
We demonstrate that the functional form of the likelihood contains a sufficient amount of information for constructing a prior for the unknown parameters. We develop a four-step algorithm by invoking the information entropy as the measure of uncertainty and show how the information gained from coarse-graining and resolving power of the likelihood can be used to construct the likelihood-induced priors. As a consequence, we show that if the data model density belongs to the exponential family, the likelihood-induced prior is the conjugate prior to the corresponding likelihood.
△ Less
Submitted 13 January, 2019;
originally announced January 2019.
-
Two efficient computational algorithms to solve the singularly perturbed Lane-Emden problem
Authors:
Kourosh Parand,
Amin Ghaderi
Abstract:
In this paper, we decide to compare two new approaches based on Rational and Exponential Bessel functions (RBs and EBs) to solve several well-known class of Lane-Emden type models. The problems, which define in some models of non-Newtonian fluid mechanics and mathematical physics, are nonlinear ordinary differential equations of second-order over the semiinfinite interval and have singularity at x…
▽ More
In this paper, we decide to compare two new approaches based on Rational and Exponential Bessel functions (RBs and EBs) to solve several well-known class of Lane-Emden type models. The problems, which define in some models of non-Newtonian fluid mechanics and mathematical physics, are nonlinear ordinary differential equations of second-order over the semiinfinite interval and have singularity at x = 0. We have converted the nonlinear Lane-Emden equation to a sequence of linear equations by utilizing the quasilinearization method (QLM) and then, these linear equations have been solved by RBs and EBs collocation-spectral methods. Afterward, the obtained results are compared with the solution of other methods for demonstrating the efficiency and applicability of the proposed methods.
△ Less
Submitted 23 August, 2017;
originally announced August 2017.
-
A matrix formulation of the Tau method for the numerical solution of non-linear problems
Authors:
Kourosh Parand,
Amin Ghaderi,
Mehdi Delkhosh,
Reza Pourgholi
Abstract:
The purpose of this research is to propose a new approach named the shifted Bessel Tau (SBT) method for solving higher-order ordinary differential equations (ODE). The operational matrices of derivative, integral and product of shifted Bessel polynomials on the interval [a, b] are calculated. These matrices together with the Tau method are utilized to reduce the solution of the higher-order ODE to…
▽ More
The purpose of this research is to propose a new approach named the shifted Bessel Tau (SBT) method for solving higher-order ordinary differential equations (ODE). The operational matrices of derivative, integral and product of shifted Bessel polynomials on the interval [a, b] are calculated. These matrices together with the Tau method are utilized to reduce the solution of the higher-order ODE to the solution of a system of algebraic equations with unknown Bessel coefficients. The comparisons between the results of the present work and other the numerical method are shown that the present work is computationally simple and highly accurate.
△ Less
Submitted 23 August, 2017;
originally announced August 2017.
-
Deep Forecast: Deep Learning-based Spatio-Temporal Forecasting
Authors:
Amir Ghaderi,
Borhan M. Sanandaji,
Faezeh Ghaderi
Abstract:
The paper presents a spatio-temporal wind speed forecasting algorithm using Deep Learning (DL)and in particular, Recurrent Neural Networks(RNNs). Motivated by recent advances in renewable energy integration and smart grids, we apply our proposed algorithm for wind speed forecasting. Renewable energy resources (wind and solar)are random in nature and, thus, their integration is facilitated with acc…
▽ More
The paper presents a spatio-temporal wind speed forecasting algorithm using Deep Learning (DL)and in particular, Recurrent Neural Networks(RNNs). Motivated by recent advances in renewable energy integration and smart grids, we apply our proposed algorithm for wind speed forecasting. Renewable energy resources (wind and solar)are random in nature and, thus, their integration is facilitated with accurate short-term forecasts. In our proposed framework, we model the spatiotemporal information by a graph whose nodes are data generating entities and its edges basically model how these nodes are interacting with each other. One of the main contributions of our work is the fact that we obtain forecasts of all nodes of the graph at the same time based on one framework. Results of a case study on recorded time series data from a collection of wind mills in the north-east of the U.S. show that the proposed DL-based forecasting algorithm significantly improves the short-term forecasts compared to a set of widely-used benchmarks models.
△ Less
Submitted 24 July, 2017;
originally announced July 2017.
-
Improving the Accuracy of the CogniLearn System for Cognitive Behavior Assessment
Authors:
Amir Ghaderi,
Srujana Gattupalli,
Dylan Ebert,
Ali Sharifara,
Vassilis Athitsos,
Fillia Makedon
Abstract:
HTKS is a game-like cognitive assessment method, designed for children between four and eight years of age. During the HTKS assessment, a child responds to a sequence of requests, such as "touch your head" or "touch your toes". The cognitive challenge stems from the fact that the children are instructed to interpret these requests not literally, but by touching a different body part than the one s…
▽ More
HTKS is a game-like cognitive assessment method, designed for children between four and eight years of age. During the HTKS assessment, a child responds to a sequence of requests, such as "touch your head" or "touch your toes". The cognitive challenge stems from the fact that the children are instructed to interpret these requests not literally, but by touching a different body part than the one stated. In prior work, we have developed the CogniLearn system, that captures data from subjects performing the HTKS game, and analyzes the motion of the subjects. In this paper we propose some specific improvements that make the motion analysis module more accurate. As a result of these improvements, the accuracy in recognizing cases where subjects touch their toes has gone from 76.46% in our previous work to 97.19% in this paper.
△ Less
Submitted 25 March, 2017;
originally announced March 2017.
-
Medical Image Watermarking using 2D-DWT with Enhanced security and capacity
Authors:
Ali Sharifara,
Amir Ghaderi
Abstract:
Teleradiology enables medical images to be transferred over the computer networks for many purposes including clinical interpretation, diagnosis, archive, etc. In telemedicine, medical images can be manipulated while transferring. In addition, medical information security requirements are specified by the legislative rules, and concerned entities must adhere to them. In this research, we propose a…
▽ More
Teleradiology enables medical images to be transferred over the computer networks for many purposes including clinical interpretation, diagnosis, archive, etc. In telemedicine, medical images can be manipulated while transferring. In addition, medical information security requirements are specified by the legislative rules, and concerned entities must adhere to them. In this research, we propose a new scheme based on 2-dimensional Discrete Wavelet Transform (2D DWT) to improve the robustness and authentication of medical images. In addition, the current research improves security and capacity of watermarking using encryption and compression in medical images. The evaluation is performed on the personal dataset, which contains 194 CTI and 68 MRI cases.
△ Less
Submitted 16 March, 2017;
originally announced March 2017.
-
Scalable Deep Traffic Flow Neural Networks for Urban Traffic Congestion Prediction
Authors:
Mohammadhani Fouladgar,
Mostafa Parchami,
Ramez Elmasri,
Amir Ghaderi
Abstract:
Tracking congestion throughout the network road is a critical component of Intelligent transportation network management systems. Understanding how the traffic flows and short-term prediction of congestion occurrence due to rush-hour or incidents can be beneficial to such systems to effectively manage and direct the traffic to the most appropriate detours. Many of the current traffic flow predicti…
▽ More
Tracking congestion throughout the network road is a critical component of Intelligent transportation network management systems. Understanding how the traffic flows and short-term prediction of congestion occurrence due to rush-hour or incidents can be beneficial to such systems to effectively manage and direct the traffic to the most appropriate detours. Many of the current traffic flow prediction systems are designed by utilizing a central processing component where the prediction is carried out through aggregation of the information gathered from all measuring stations. However, centralized systems are not scalable and fail provide real-time feedback to the system whereas in a decentralized scheme, each node is responsible to predict its own short-term congestion based on the local current measurements in neighboring nodes.
We propose a decentralized deep learning-based method where each node accurately predicts its own congestion state in real-time based on the congestion state of the neighboring stations. Moreover, historical data from the deployment site is not required, which makes the proposed method more suitable for newly installed stations. In order to achieve higher performance, we introduce a regularized Euclidean loss function that favors high congestion samples over low congestion samples to avoid the impact of the unbalanced training dataset. A novel dataset for this purpose is designed based on the traffic data obtained from traffic control stations in northern California. Extensive experiments conducted on the designed benchmark reflect a successful congestion prediction.
△ Less
Submitted 2 March, 2017;
originally announced March 2017.
-
Enhanced Facial Recognition Framework based on Skin Tone and False Alarm Rejection
Authors:
Ali Sharifara,
Mohd Shafry Mohd Rahim,
Farhad Navabifar,
Dylan Ebert,
Amir Ghaderi,
Michalis Papakostas
Abstract:
Face detection is one of the challenging tasks in computer vision. Human face detection plays an essential role in the first stage of face processing applications such as face recognition, face tracking, image database management, etc. In these applications, face objects often come from an inconsequential part of images that contain variations, namely different illumination, poses, and occlusion.…
▽ More
Face detection is one of the challenging tasks in computer vision. Human face detection plays an essential role in the first stage of face processing applications such as face recognition, face tracking, image database management, etc. In these applications, face objects often come from an inconsequential part of images that contain variations, namely different illumination, poses, and occlusion. These variations can decrease face detection rate noticeably. Most existing face detection approaches are not accurate, as they have not been able to resolve unstructured images due to large appearance variations and can only detect human faces under one particular variation. Existing frameworks of face detection need enhancements to detect human faces under the stated variations to improve detection rate and reduce detection time. In this study, an enhanced face detection framework is proposed to improve detection rate based on skin color and provide a validation process. A preliminary segmentation of the input images based on skin color can significantly reduce search space and accelerate the process of human face detection. The primary detection is based on Haar-like features and the Adaboost algorithm. A validation process is introduced to reject non-face objects, which might occur during the face detection process. The validation process is based on two-stage Extended Local Binary Patterns. The experimental results on the CMU-MIT and Caltech 10000 datasets over a wide range of facial variations in different colors, positions, scales, and lighting conditions indicated a successful face detection rate.
△ Less
Submitted 14 February, 2017;
originally announced February 2017.
-
A new approach for solving nonlinear Thomas-Fermi equation based on fractional order of rational Bessel functions
Authors:
K. Parand,
A. Ghaderi,
M. Delkhosh,
H. Yousefi
Abstract:
In this paper, the fractional order of rational Bessel functions collocation method (FRBC) to solve Thomas-Fermi equation which is defined in the semi-infinite domain and has singularity at $x = 0$ and its boundary condition occurs at infinity, have been introduced. We solve the problem on semi-infinite domain without any domain truncation or transformation of the domain of the problem to a finite…
▽ More
In this paper, the fractional order of rational Bessel functions collocation method (FRBC) to solve Thomas-Fermi equation which is defined in the semi-infinite domain and has singularity at $x = 0$ and its boundary condition occurs at infinity, have been introduced. We solve the problem on semi-infinite domain without any domain truncation or transformation of the domain of the problem to a finite domain. This approach at first, obtains a sequence of linear differential equations by using the quasilinearization method (QLM), then at each iteration solves it by FRBC method. To illustrate the reliability of this work, we compare the numerical results of the present method with some well-known results in other to show that the new method is accurate, efficient and applicable.
△ Less
Submitted 24 June, 2016;
originally announced June 2016.
-
Selective Unsupervised Feature Learning with Convolutional Neural Network (S-CNN)
Authors:
Amir Ghaderi,
Vassilis Athitsos
Abstract:
Supervised learning of convolutional neural networks (CNNs) can require very large amounts of labeled data. Labeling thousands or millions of training examples can be extremely time consuming and costly. One direction towards addressing this problem is to create features from unlabeled data. In this paper we propose a new method for training a CNN, with no need for labeled instances. This method f…
▽ More
Supervised learning of convolutional neural networks (CNNs) can require very large amounts of labeled data. Labeling thousands or millions of training examples can be extremely time consuming and costly. One direction towards addressing this problem is to create features from unlabeled data. In this paper we propose a new method for training a CNN, with no need for labeled instances. This method for unsupervised feature learning is then successfully applied to a challenging object recognition task. The proposed algorithm is relatively simple, but attains accuracy comparable to that of more sophisticated methods. The proposed method is significantly easier to train, compared to existing CNN methods, making fewer requirements on manually labeled training data. It is also shown to be resistant to overfitting. We provide results on some well-known datasets, namely STL-10, CIFAR-10, and CIFAR-100. The results show that our method provides competitive performance compared with existing alternative methods. Selective Convolutional Neural Network (S-CNN) is a simple and fast algorithm, it introduces a new way to do unsupervised feature learning, and it provides discriminative features which generalize well.
△ Less
Submitted 7 June, 2016;
originally announced June 2016.
-
Evaluation of Deep Learning based Pose Estimation for Sign Language Recognition
Authors:
Srujana Gattupalli,
Amir Ghaderi,
Vassilis Athitsos
Abstract:
Human body pose estimation and hand detection are two important tasks for systems that perform computer vision-based sign language recognition(SLR). However, both tasks are challenging, especially when the input is color videos, with no depth information. Many algorithms have been proposed in the literature for these tasks, and some of the most successful recent algorithms are based on deep learni…
▽ More
Human body pose estimation and hand detection are two important tasks for systems that perform computer vision-based sign language recognition(SLR). However, both tasks are challenging, especially when the input is color videos, with no depth information. Many algorithms have been proposed in the literature for these tasks, and some of the most successful recent algorithms are based on deep learning. In this paper, we introduce a dataset for human pose estimation for SLR domain. We evaluate the performance of two deep learning based pose estimation methods, by performing user-independent experiments on our dataset. We also perform transfer learning, and we obtain results that demonstrate that transfer learning can improve pose estimation accuracy. The dataset and results from these methods can create a useful baseline for future works.
△ Less
Submitted 19 April, 2016; v1 submitted 29 February, 2016;
originally announced February 2016.
-
On Coarse Graining of Information and Its Application to Pattern Recognition
Authors:
Ali Ghaderi
Abstract:
We propose a method based on finite mixture models for classifying a set of observations into number of different categories. In order to demonstrate the method, we show how the component densities for the mixture model can be derived by using the maximum entropy method in conjunction with conservation of Pythagorean means. Several examples of distributions belonging to the Pythagorean family are…
▽ More
We propose a method based on finite mixture models for classifying a set of observations into number of different categories. In order to demonstrate the method, we show how the component densities for the mixture model can be derived by using the maximum entropy method in conjunction with conservation of Pythagorean means. Several examples of distributions belonging to the Pythagorean family are derived. A discussion on estimation of model parameters and the number of categories is also given.
△ Less
Submitted 12 November, 2014;
originally announced November 2014.
-
Separability in Asymmetric Phase-Covariant Cloning
Authors:
A. T. Rezakhani,
S. Siadatnejad,
A. H. Ghaderi
Abstract:
Here, asymmetric phase-covariant quantum cloning machines are defined and trade-off between qualities of their outputs and its impact on entanglement properties of the outputs are studies. In addition, optimal families among these cloners are introduced and also their entanglement properties are investigated. An explicit proof of optimality is presented for the case of qubits, which is based on…
▽ More
Here, asymmetric phase-covariant quantum cloning machines are defined and trade-off between qualities of their outputs and its impact on entanglement properties of the outputs are studies. In addition, optimal families among these cloners are introduced and also their entanglement properties are investigated. An explicit proof of optimality is presented for the case of qubits, which is based on the no-signaling condition. Our optimality proof can also be used to derive an upper bound on trade-off relations for a more general class of optimal cloners which clone states on a specific orbit of the Bloch sphere. It is shown that the optimal cloners of the equatorial states, as in the case of symmetric phase-covariant cloning, give rise to two separable clones, and in this sense these states are unique. For these cloners it is shown that total output is of GHZ-type.
△ Less
Submitted 23 April, 2008; v1 submitted 2 December, 2003;
originally announced December 2003.