Sciweavers

2584 search results - page 216 / 517
» On the Forward Checking Algorithm
Sort
View
CCE
2006
15 years 2 months ago
Sensitivity analysis of differential-algebraic equations and partial differential equations
Sensitivity analysis generates essential information for model development, design optimization, parameter estimation, optimal control, model reduction and experimental design. In...
Linda R. Petzold, Shengtai Li, Yang Cao, Radu Serb...
IJNSEC
2010
127views more  IJNSEC 2010»
14 years 9 months ago
A Better Improvement on the Integrated Diffie-Hellman-DSA Key Agreement Protocol
Harn et al. proposed a series of Diffie-Hellman key exchange protocols which are integrated into Digital Signature Algorithm in 2004. Recently, Phan pointed out that Harn et al.&#...
Jie Liu, Jianhua Li
JDCTA
2010
163views more  JDCTA 2010»
14 years 9 months ago
An Approach to Traffic Volume Forecasting Based on Ant Colony Neural Network
Combining the ant colony algorithm (ACA) and the neural network (NN), the present paper puts forward an approach to traffic volume forecasting based on the ant colony neural netwo...
Hong Chen
CALCO
2011
Springer
223views Mathematics» more  CALCO 2011»
14 years 2 months ago
On the Statistical Thermodynamics of Reversible Communicating Processes
Abstract. We propose a probabilistic interpretation of a class of reversible communicating processes. The rate of forward and backward computing steps, instead of being given expli...
Giorgio Bacci, Vincent Danos, Ohad Kammar
PPDP
2001
Springer
15 years 6 months ago
Polymorphic Directional Types for Logic Programming
In this paper we present a new type system for logic programs. Our system combines ideas of the classical polymorphic, but not very precise, system due to Mycroft and O'Keefe...
Pawel Rychlikowski, Tomasz Truderung