173 research outputs found
Relationship between Allan variances and Kalman Filter parameters
A relationship was constructed between the Allan variance parameters (H sub z, H sub 1, H sub 0, H sub -1 and H sub -2) and a Kalman Filter model that would be used to estimate and predict clock phase, frequency and frequency drift. To start with the meaning of those Allan Variance parameters and how they are arrived at for a given frequency source is reviewed. Although a subset of these parameters is arrived at by measuring phase as a function of time rather than as a spectral density, they all represent phase noise spectral density coefficients, though not necessarily that of a rational spectral density. The phase noise spectral density is then transformed into a time domain covariance model which can then be used to derive the Kalman Filter model parameters. Simulation results of that covariance model are presented and compared to clock uncertainties predicted by Allan variance parameters. A two state Kalman Filter model is then derived and the significance of each state is explained
Verifying simple arithmetic sums and products: Are the phonological loop and the central executive involved?
Voluntary task switching under load: Contribution of top-down and bottom-up factors in goal-directed behavior
Reasoning from connectives and relations between entities
This article reports investigations of inferences that depend both on connectives between clauses, such as or else, and on relations between entities, such as in the same place as. Participants made more valid inferences from biconditionals—for instance, Ann is taller than Beth if and only if Beth is taller than Cath—than from exclusive disjunctions (Exp. 1). They made more valid transitive inferences from a biconditional when a categorical premise affirmed rather than denied one of its clauses, but they made more valid transitive inferences from an exclusive disjunction when a categorical premise denied rather than affirmed one of its clauses (Exp. 2). From exclusive disjunctions, such as Either Ann is not in the same place as Beth or else Beth is not in the same place as Cath, individuals tended to infer that all three individuals could be in different places, whereas in fact this was impossible (Exps. 3a and 3b). The theory of mental models predicts all of these results
Internal representations, external representations and ergonomics: towards a theoretical integration
Determination of the mass of the W boson
Previous studies of the physics potential of LEP2 indicated that with the design luminosity of 500 inverse picobarn one may get a direct measurement of the mass of the W-boson with a precision in the range 30 - 50 MeV. This report presents an updated evaluation of the estimated error on the mass of the W-boson based on recent simulation work and improved theoretical input. The most efficient experimental methods which will be used are also described
Accelerated large-scale multiple sequence alignment
<p>Abstract</p> <p>Background</p> <p>Multiple sequence alignment (MSA) is a fundamental analysis method used in bioinformatics and many comparative genomic applications. Prior MSA acceleration attempts with reconfigurable computing have only addressed the first stage of progressive alignment and consequently exhibit performance limitations according to Amdahl's Law. This work is the first known to accelerate the third stage of progressive alignment on reconfigurable hardware.</p> <p>Results</p> <p>We reduce subgroups of aligned sequences into discrete profiles before they are pairwise aligned on the accelerator. Using an FPGA accelerator, an overall speedup of up to 150 has been demonstrated on a large data set when compared to a 2.4 GHz Core2 processor.</p> <p>Conclusions</p> <p>Our parallel algorithm and architecture accelerates large-scale MSA with reconfigurable computing and allows researchers to solve the larger problems that confront biologists today. Program source is available from <url>http://dna.cs.byu.edu/msa/</url>.</p
- …