![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
2,189 Result(s)
-
Article
On computing the range of values
A simple algorithm is given for computing the range of values of a differentiable function over ann-dimensional rectangle.
-
Chapter and Conference Paper
VLSI Functional Testing Using Critical Path Traces at a Hardware Description Language Level
A new approach for testing VLSI circuits is presented. Through backward critical path tracing, a test and all faults detectable by the test are generated simultaneously. Therefore, the expensive fault simulati...
-
Article
An interval version of Shubert's iterative method for the localization of the global maximum
Using the “bisection rule” of Moore, a simple algorithm is given which is an interval version of Shubert's iterative method for seeking the global maximum of a function of a single variable defined on a closed...
-
Article
A note on Moore's interval test for zeros of nonlinear systems
We study relations between Moore's interval test and Miranda's theorem. As an application we combine the (real) Newton iteration with a computational test for Miranda's hypothesis by Moore and Kioustelidis to ...
-
Article
Interval-majorant method and global optimization
For seeking the global maximum of a function of a single variable defined on a closed interval [a, b] an interval-majorant method is proposed. This method derives advantages and avoids defects from both the one-s...
-
Article
SolvingN+m nonlinear equations with onlym nonlinear variables
We derive a method for solvingN+m nonlinear algebraic equations inN+m unknownsy≠R m andz≠R N of the formA(y)z+b(y)=0, where the(N+m) × N matrixA(y) and vectorb(y) are continuously differentiable functions ofy alo...
-
Chapter and Conference Paper
A unifying look at semigroup computations on meshes with multiple broadcasting
Semigroup computations are a fundamental algorithmic tool finding applications in all areas of parallel processing. Given a sequence of m items a 1, a 2,..., a m from a semigroup S with an associative operation ⊕...
-
Article
Convergence analysis of least-squares mixed finite elements
The least-squares finite element method for first order systems corresponding to second order linear two-point boundary value problems is considered. A theoretical analysis and error estimates are developed an...
-
Article
On certain computable tests and componentwise error bounds
Improved forms of the existence and uniqueness tests due to Pandian are given and are related to results due to Moore and Kioustelidis and to Shen and Neumaier.
-
Chapter and Conference Paper
Towards comprehensive support for the dynamic analysis of Petri net based models
For dynamic analysis to be a powerful and convenient instrument in system modelling, comprehensive support is required. Dynamic analysis should be embedded in an appropriate modelling environment and be suppor...
-
Chapter and Conference Paper
Improving the execution of the dependent and-parallel Prolog DDAS
In this paper, a scheme that improves the execution of the Dynamic Dependent And-parallel Scheme, a dependent and-parallel execution model for Prolog, is presented. The main idea is to make further use of depe...
-
Chapter and Conference Paper
Digital audio and video in industrial systems
-
Chapter
Query Reformulation for Dynamic Information Integration
The standard approach to integrating heterogeneous information sources is to build a global schema that relates all of the information in the different sources, and to pose queries directly against it. The pro...
-
Article
Development of short-wavelength coherent XUV light sources at SIOFM
Recent progress on the development of short-wavelength coherent XUV light sources at SIOFM is presented, including the space- and time-resolved observation of short-wavelength lasing by lithium-like Si11+, Ca17+,...
-
Chapter and Conference Paper
Rearrangeable graphs
Interconnection networks play an important role in parallel computing systems. A lot of effort has been made to construct rearrangeable networks. This paper generalizes the concept of rearrangeability to gener...
-
Article
Computation of a simple bifurcation point using one singular value decomposition nearby
Using an extended system to locate a simple bifurcation point via an iterative method usually requires a good choice of an initial point as well as several auxiliary vectors. The method we propose here require...
-
Chapter
An Agent-Based Approach for Manufacturing Enterprise Integration and Supply Chain Management
Improving supply chain management is very important for increasing competitive position and profitability. Manufacturing enterprises are now moving towards open architectures for integrating their activities w...
-
Article
The Linear Prediction Method of Fading Channel Estimation for the Rake Receiver with Impulsive Interference
Parameter estimation of the multipath and fading channel is investigated for the Rake combiner used in a CDMA system with coherent demodulation. A linear predictor is proposed to obtain a better estimation. Si...
-
Article
Block-based manipulations on transform-compressed images and videos
This paper addresses the problem of direct image and video manipulation in compressed domain. The capability to perform such manipulations has become attractive in recent years, as more and more visual inform...
-
Article
Optimum Power Assignment for Maximum Throughput in CDMA Personal Communication Systems with Integrated Voice/Data Traffic
A CDMA personal communication system with integrated voice/data traffic is considered, in which the link error performance is controlled according to the voice error rate requirement, and the acceptable data t...