|
|
|
|
|
Ganeshchandra Mallya, Mohamed M. Hantush and Rao S. Govindaraju
Effective water quality management and reliable environmental modeling depend on the availability, size, and quality of water quality (WQ) data. Observed stream water quality data are usually sparse in both time and space. Reconstruction of water quality...
ver más
|
|
|
|
|
|
|
|
|
|
|
Kerman Vázquez, Raúl Rubén Rodríguez and M. Dolores Esteban
The growth of offshore wind farms (OWF?s) is expected to be significant. Reducing operation and maintenance (O&M) costs will be important to ensure its development. The foundation is the most important structural element, with concrete as its main co...
ver más
|
|
|
|
|
|
|
|
|
|
|
Henrich Lauko, Martina Olliaro, Agostino Cortesi and Petr Roc?kai
Data type abstraction plays a crucial role in software verification. In this paper, we introduce a domain for abstracting strings in the C programming language, where strings are managed as null-terminated arrays of characters. The new domain M-String is...
ver más
|
|
|
|
|
|
|
|
|
|
|
Chao Xing, Zhiliang Huang and Shengmei Zhao
This paper presents a new latency reduction method for successive-cancellation (SC) decoding of polar codes that performs a frozen-bit checking on the rate-other (R-other) nodes of the Fast Simplified SC (Fast-SSC) pruning tree. The proposed method integ...
ver más
|
|
|
|
|
|