Werner Erhard

Learn More
In this paper a design methodology based on interpreted Petri nets is applied to the functional verification of complex sequential control paths. Starting from a Petri net model with free choice structure and control engineering interpreted (CEI) net components, the verification of structural and behavioural properties as well as functional simulation is(More)
OBJECTIVES Total intraperitoneal carbon dioxide (CO2) resorption from CO2-pneumoperitoneum increases in relation to intraabdominal pressure (IAP) up to an upper limit of 10 to 15 mmHg. The purpose of this prospective study was to evaluate the visceral fraction of CO2 resorption in comparison to total intraperitoneal CO2 resorption in pigs to address(More)
Inflammatory stimulation of the liver is known to induce nitric oxide (NO) biosynthesis. NO can interfere with the activity of a number of enzymes important to cellular metabolism. This study was carried out to investigate the influence of NO on rat hepatocyte glucose output and urea production. Induction of NO synthesis by incubation with a combination of(More)
A recently published idea is to use the A*-Algorithm to optimize the topology of Neural Networks. In this paper, optimization techniques are investigated that combine the A*-Algorithm with diierent parallel training algorithms, namely the backpropagation algorithm and several hybrid algorithms. The hybrid algorithms combine the backpropagation's steepest(More)