I have been designing and building applications, including the databases used by those applications, for several decades now. I have seen similar problems approached by different d...
vel Meta-Reasoning with Higher-Order Abstract Syntax Alberto Momigliano, Simon Ambler. A Normalisation Result for Higher-Order Calculi with Explicit Substitutions Eduardo Bonelli. ...
: Es wird die Möglichkeit vorgestellt, anhand einer OpenSource-Software Massnahmen der teilflächenspezifischen Landbewirtschaftung (Precision Farming) zu planen, auszuwerten und ...
It is often difficult and time-consuming to manage computer `moves, adds, and changes' that take place in a switched, subnetted environment. It is even more difficult when th...
Christopher J. Tengi, James M. Roberts, Joseph R. ...
High resolution volumes require high precision compositing to preserve detailed structures. This is even more desirable for volumes with high dynamic range values. After the high ...
Baoquan Chen, David H. Porter, Minh X. Nguyen, Xia...