Search results for "Theoretical Computer Science"
showing 10 items of 1151 documents
A taxonomy for wavelet neural networks applied to nonlinear modelling
2008
This article presents a novel classification of wavelet neural networks based on the orthogonality/non-orthogonality of neurons and the type of nonlinearity employed. On the basis of this classification different network types are studied and their characteristics illustrated by means of simple one-dimensional nonlinear examples. For multidimensional problems, which are affected by the curse of dimensionality, the idea of spherical wavelet functions is considered. The behaviour of these networks is also studied for modelling of a low-dimension map.
On Fibrations Between Internal Groupoids and Their Normalizations
2018
We characterize fibrations and $$*$$ -fibrations in the 2-category of internal groupoids in terms of the comparison functor from certain pullbacks to the corresponding strong homotopy pullbacks. As an application, we deduce the internal version of the Brown exact sequence for $$*$$ -fibrations from the internal version of the Gabriel–Zisman exact sequence. We also analyse fibrations and $$*$$ -fibrations in the category of arrows and study when the normalization functor preserves and reflects them. This analysis allows us to give a characterization of protomodular categories using strong homotopy kernels and a generalization of the Snake Lemma.
Quantum algorithms for search with wildcards and combinatorial group testing
2012
We consider two combinatorial problems. The first we call "search with wildcards": given an unknown n-bit string x, and the ability to check whether any subset of the bits of x is equal to a provided query string, the goal is to output x. We give a nearly optimal O(sqrt(n) log n) quantum query algorithm for search with wildcards, beating the classical lower bound of Omega(n) queries. Rather than using amplitude amplification or a quantum walk, our algorithm is ultimately based on the solution to a state discrimination problem. The second problem we consider is combinatorial group testing, which is the task of identifying a subset of at most k special items out of a set of n items, given the…
Limits on entropic uncertainty relations
2010
We consider entropic uncertainty relations for outcomes of the measurements of a quantum state in 3 or more mutually unbiased bases (MUBs), chosen from the standard construction of MUBs in prime dimension. We show that, for any choice of 3 MUBs and at least one choice of a larger number of MUBs, the best possible entropic uncertainty relation can be only marginally better than the one that trivially follows from the relation by Maassen and Uffink for 2 bases.
Correcting for Potential Barriers in Quantum Walk Search
2015
A randomly walking quantum particle searches in Grover's $\Theta(\sqrt{N})$ iterations for a marked vertex on the complete graph of $N$ vertices by repeatedly querying an oracle that flips the amplitude at the marked vertex, scattering by a "coin" flip, and hopping. Physically, however, potential energy barriers can hinder the hop and cause the search to fail, even when the amplitude of not hopping decreases with $N$. We correct for these errors by interpreting the quantum walk search as an amplitude amplification algorithm and modifying the phases applied by the coin flip and oracle such that the amplification recovers the $\Theta(\sqrt{N})$ runtime.
Mathematical and numerical analysis of initial boundary valueproblem for a linear nonlocal equation
2019
We propose and study a numerical scheme for bounded distributional solutions of the initial boundary value problem for the anomalous diffusion equation ∂t u +Lμu = 0 in a bounded domain supplemented with inhomogeneous boundary conditions. Here Lμ is a class of nonlocal operators including fractional Laplacian. ⃝c 2019 InternationalAssociation forMathematics andComputers in Simulation (IMACS). Published by ElsevierB.V.All rights reserved.
A normalized iterative Smoothed Particle Hydrodynamics method
2020
Abstract In this paper we investigate on a normalized iterative approach to improve the Smoothed Particle Hydrodynamics (SPH) estimate of a function. The method iterates on the residuals of an initial SPH approximation to obtain a more accurate solution. The iterative strategy preserves the matrix-free nature of the method, does not require changes on the kernel function and it is not affected by disordered data distribution. The iterative refinement is further improved by ensuring linear approximation order to the starting iterative values. We analyze the accuracy and the convergence of the method with the standard and normalized formulation giving evidence of the enhancements obtained wit…
Hybrid model of an inventer-induction motor system
1969
A model of the three-phase bridge inverter with a wide range of validity is proposed. This model can be used for the simulation of the inverter induction motor system on a hybrid computer or an analogue computer. In the latter case it is necessary to achieve a logical device which realizes the inverter model. After a block diagram for the simulation of the inverter induction motor system is illustrated as well as the circuital diagram of the device which simulates the inverter. Finally the authors describe the tests carried out in order to verify the validity of the inverter model and the correct operating of the device which simulates the inverter.
Electrophoretic properties of charged colloidal suspensions: Application of a hybrid MD/LB method
2006
Abstract Electrophoretic properties of charged colloidal suspensions are investigated using a hybrid simulation method. In this method, the colloidal particles are propagated via Newton’s equations of motion using molecular dynamics (MD), while they are coupled to a structureless solvent that is modelled by the Lattice-Boltzmann (LB) method.
Hermite interpolation: The barycentric approach
1991
The barycentric formulas for polynomial and rational Hermite interpolation are derived; an efficient algorithm for the computation of these interpolants is developed. Some new interpolation principles based on rational interpolation are discussed.