An approach to an interoperable object-oriented GIS-framework for atmospheric modeling (AtmoGIS), which can be used to implement integrated information systems, is presented. The ...
Lars Bernard, Benno Schmidt, Ulrich Streit, Christ...
Abstract. We present a “memory-model-sensitive” approach to validating correctness properties for multithreaded programs. Our key insight is that by specifying both the inter-t...
We propose an automatic method for modeling a relational database that uses SQL triggers and foreign-keys to efficiently answer positive semantic queries about ground instances for...
Paea LePendu, Dejing Dou, Gwen A. Frishkoff, Jiawe...
— Nowadays power distribution systems typically operate with nonsinusoidal voltages and currents. Harmonic currents from nonlinear loads propagate through the system and cause ha...
Joy Mazumdar, Ganesh K. Venayagamoorthy, Ronald G....
State space methods have proven indispensable in neural data analysis. However, common methods for performing inference in state-space models with non-Gaussian observations rely o...
Liam Paninski, Yashar Ahmadian, Daniel Gil Ferreir...