|
|
|
Pedro Cabalar, Jorge Fandinno, Torsten Schaub and Philipp Wanko
Over the last decades, the development of Answer Set Programming (ASP) has brought about an expressive modeling language powered by highly performant systems. At the same time, it gets more and more difficult to provide semantic underpinnings capturing t...
ver más
|
|
|
|
|
|
Luca Cagliero, Lorenzo Canale and Laura Farinetti
Computer laboratories are learning environments where students learn programming languages by practicing under teaching assistants? supervision. This paper presents the outcomes of a real case study carried out in our university in the context of a datab...
ver más
|
|
|
|
|
|
Adnan Shahriar, Arsalan Majlesi and Arturo Montoya
This paper presents a general procedure to formulate and implement 3D elements of arbitrary order in meshes with multiple element types. This procedure includes obtaining shape functions and integration quadrature and establishing an approach for checkin...
ver más
|
|
|
|
|
|
Xiaohua Xiang, Zhijun Pan, Xiaoling Wu and Hong Yang
Coupling hydrological modelling systems (HMS) with a geographic information system (GIS) can significantly enhance hydrological research and expand its applications. The calculation for HMS requires geographic information data; however, the current GIS d...
ver más
|
|
|
|
|
|
Saeed Musaad Altalhi, Fathy Elbouraey Eassa, Abdullah Saad Al-Malaise Al-Ghamdi, Sanaa Abdullah Sharaf, Ahmed Mohammed Alghamdi, Khalid Ali Almarhabi and Maher Ali Khemakhem
As the development of high-performance computing (HPC) is growing, exascale computing is on the horizon. Therefore, it is imperative to develop parallel systems, such as graphics processing units (GPUs) and programming models, that can effectively utilis...
ver más
|
|
|