The ability to reason under uncertainty and with incomplete information is a fundamental require­ ment of decision support technology. In this paper we argue that the concentration on theoretical techniques for the evaluation and selection of de­ cision options has distracted attention from many of the wider issues in decision making. Although numerical methods of reasoning under uncertain­ ty ...

Compilers transform programs, either to optimize performance orto translate language-level constructs into hardware primitives. Forconcurrent programs, ensuring that a transformation preserves thesemantics of the input program can be challenging. In particu-lar, the emitted code must correctly emulate the semantics of thelanguage-level memory model when running on hardware w...

ive and are unsuitable for impaling electrodes. Methods for modelling the kinetics and permeation of Much of our knowledge of ion-transport mechanisms ion channels using single-channel recordings are prein plant cell membranes comes from experiments sented. How the ionic currents underlying an action using voltage-clamp. This technique allows the measpotential (AP) can be identified using the A...

A regression model to predict the thermal expansion coefficient (averaged from room temperature to 538’C) of nonmagnetic nickel-base alloys and austenitic steels was obt,ained. The thermal expansion values used in the regression modelling were ta.kcn from published data bases of commercial alloys. An experimental verification of the model was also conducted on 23 nickel-base laborat,ory heats o...

Main m e m o r y databases are promising approach t o realize high-performance sys tems without expensive special hardware. One serious problem is reliability and we need t o develop backup and recovery mechanisms suitable for m a i n m e m o r y . In order t o reduce overhead for backup operations, we have developed continuous backup mechanisms, which transmit data t o archive storage during u...

Jacob ~th~ lhe author's startin 6 point is the conception of the ~enerative transformational grammars about the verb and its subcate6orization m, les.ln the author's conception zne t~ansitivity of verbs is understood as a lar6e ca-t~c, ory ,:hich is not restricted to the government of accusative .hence the verbal government is a syntactic and ~em~L~tic c~tegory which determines the relations in...

In this study a new extended Kalman filter (EKF) learning algorithm for feed-forward neural networks (FFN) is used. With the EKF approach, the training of the FFN can be seen as state estimation for a non-linear stationary process. The EKF method gives excellent convergence performances provided that there is enough computer core mem5 ory and that the machine precision is high. Neural networks ...

Integrated on the y data analysis and image synthesis is one of the most dominant challenges on modern volume visualization tools Since volume visualization algorithms are them self computationally complex and mem ory intensive there is hardly a chance to e ciently integrate data analysis tools on standard single processor architectures The development and spreading of multiprocessor systems wi...