In this paper‎, ‎first‎, ‎a numerical method is presented for solving a class of linear Fredholm integro-differential equation‎. ‎The operational matrix of derivative is obtained by introducing hybrid third kind Chebyshev polynomials and Block-pulse functions‎. ‎The application of the proposed operational matrix with tau method is then utilized to transform the integro-differential equations to...

The tau protein is a neuronal microtubule-associated protein. Apart of its physiological function-the binding to and stabilization of microtubules-tau is found in Alzheimer's disease brain as insoluble fibers, the so-called "paired helical filaments" (PHFs). Investigating the fundamentals of tau polymerization is indispensable for identifying inhibitory conditions or compounds preventing PHF fo...

We outline Tau, a practical and extensible hybrid theorem prover for first-order predicate calculus with identity. Tau is flexible and user-configurable, accepts the KIF Language, is implemented in Java, and has multiple user interfaces. Tau combines rule-based problem rewriting with Model Elimination, uses Brand’s Modification Method to implement identity, and accepts user-configurable heurist...

UNLABELLED Abstract Objective: This study investigated the effects of standard eye movement desensitization and reprocessing (EMDR) protocol in chronically dependent patients. We propose that reprocessing traumatic memories with EMDR would lead to measurable changes of addiction symptoms. METHOD Twelve patients with alcohol and/or drug dependency were randomly assigned to one of two treatment...

OBJECTIVE Amyloid 1-42 (Aβ42) and tau in cerebrospinal fluid are currently used as markers for diagnosis of Alzheimer's disease. Conflicting reports exist regarding their plasma levels in Alzheimer's disease patients. A meta-analysis was performed to statistically validate the use of plasma Aβ42 and tau as biomarkers for Alzheimer's disease. METHODS Different databases were searched using the...

The spectral Tau method to compute eigenpairs of ordinary differential equations is implemented as part the Toolbox—a numerical library for solution integro-differential problems. This mathematical software enables a symbolic syntax be applied objects manipulate and solve problems with ease accuracy. explained in detail its application various illustrated: approximations linear, quadratic, nonl...

Two newly discovered properties of tau protein are reported; it is soluble in 2.5% perchloric acid and insoluble in 25% glycerol. These properties were exploited in the development of improved methods for the purification of tau. Treatment with perchloric acid did not alter the electrophoretic behavior of tau, and the products of the new isolation method were fully competent in the promotion of...

We outline Tau, a practical and extensible hybrid theorem prover for first-order predicate calculus with identity. Tau is flexible and user-configurable, accepts the KIF Language, is implemented in Java, and has multiple user interfaces. Tau combines rule-based problem rewriting with Model Elimination, uses Brand’s Modification Method to implement identity, and accepts user-configurable heurist...

Abstract. It is proven that a class of Gegenbauer tau approximations to a 4th order differential eigenvalue problem of hydrodynamic type provide real, negative, and distinct eigenvalues as for the exact solutions. This class of Gegenbauer tau methods includes Chebyshev and Legendre Galerkin and ‘inviscid’ Galerkin but does not include Chebyshev and Legendre tau. Rigorous and numerical results s...