From a user’s perspective, hypertext links on the web form a directed graph between distinct information sources. We investigate the effects of discovering “backlinks” from web resources, namely links pointing to the resource. We describe tools for backlink navigation on both the client and server side, using an applet for the client and a module for the Apache web server. We also discuss possi...

Many probabilistic programming languages allow programs to be run under constraints in order to carry out Bayesian inference. Running programs under constraints could enable other uses such as rare event simulation and probabilistic verification—except that all such probabilistic languages are necessarily limited because they are defined or implemented in terms of an impoverished theory of prob...

Backwards analysis, first popularized by Seidel, is often the simplest most elegant way of analyzing a randomized algorithm. It applies to incremental algorithms where elements are added incrementally, following some random permutation, e.g., incremental Delauney triangulation of a pointset, where points are added one by one, and where we always maintain the Delauney triangulation of the points...

The problem of predicting multivariable process inputs for a given set of process outputs is solved by training a combination of partitioned feedforward backpropagation neural networks. Training of a single multi-layer network produces large unacceptable errors in the predictions due to the absence of monotonic process output functions. However, by configuring a system with parallel partitioned...

Abstract Within the research work of Transregional Collaborative Research Center TRR 136, process signatures were determined for processes that generate essentially thermal loading component surface layer. These represent correlations between material modifications (e. g. changes residual stress, microstructure, hardness profile, etc.) and characteristic values loading. The underlying idea is d...