|
|
|
Jerry W. Knox and Keith Weatherhead
Rising demands and competition for water resources within all sectors are placing increasing pressure on the environment. Almost all direct abstractions in England require a licence (permit) from the regulatory authority, the Environment Agency. Assessin...
ver más
|
|
|
|
|
|
|
Vincenzo Manca
This paper presents an agile method of logical semantics based on high-order Predicate Logic. An operator of predicate abstraction is introduced that provides a simple mechanism for logical aggregation of predicates and for logical typing. Monadic high-o...
ver más
|
|
|
|
|
|
|
Paul Christoph Gembarski and Pauline Gast
Configuring complex computer-aided design (CAD) assemblies just by modifying parameters requires the attention and abstraction of the users. This interaction cost can be lowered significantly by graphical interactive control elements that allow for drag ...
ver más
|
|
|
|
|
|
|
Idi Souley Tangam, Roland Yonaba, Dial Niang, Mahaman Moustapha Adamou, Amadou Keïta and Harouna Karambiri
This study focuses on the Sirba River Basin (SRB), a transboundary West African catchment of 38,950 km2 shared by Burkina Faso and Niger, which contributes to flooding downstream in Niamey (Niger). The study uses the HEC-HMS hydrological model to explore...
ver más
|
|
|
|
|
|
|
Stephan van Gasselt and Andrea Naß
The field of planetary mapping and cartography builds almost exclusively on remote-sensing data and can be defined by three distinct concepts: systematic imaging as performed through spacecraft surveying, reference mapping as performed through the compil...
ver más
|
|
|
|
|
|
|
Nikolaos Zafeiropoulos, Pavlos Bitilis, George E. Tsekouras and Konstantinos Kotis
In the realm of Parkinson?s Disease (PD) research, the integration of wearable sensor data with personal health records (PHR) has emerged as a pivotal avenue for patient alerting and monitoring. This study delves into the complex domain of PD patient car...
ver más
|
|
|
|
|
|
|
Andreja Jonoski, Tanvir Ahmed, Mohammad N. Almasri and Muath Abu-Saadah
Groundwater is a crucial resource for water supply and irrigation in many parts of the world, especially in the Middle East. The Eocene aquifer, located in the northern part of the West Bank, Palestine, is threatened by unsustainable groundwater abstract...
ver más
|
|
|
|
|
|
|
Vittorio Maniezzo and Tingting Zhou
The performance of optimization algorithms, and consequently of AI/machine learning solutions, is strongly influenced by the setting of their hyperparameters. Over the last decades, a rich literature has developed proposing methods to automatically deter...
ver más
|
|
|
|
|
|
|
Gemma Di Federico and Andrea Burattin
Process mining analyzes events that are logged during the execution of a process, with the aim of gathering useful information and knowledge. Process discovery algorithms derive process models that represent these processes. The level of abstraction at w...
ver más
|
|
|
|
|
|
|
Leny Vinceslas, Safak Dogan, Srikumar Sundareshwar and Ahmet M. Kondoz
By design, distributed ledger technologies persist low-level data, which makes conducting complex business analysis of the recorded operations challenging. Existing blockchain visualization and analytics tools such as block explorers tend to rely on this...
ver más
|
|
|
|