|
|
|
|
|
Quentin Guillemoto, Géraldine Picot-Colbeaux, Danièle Valdes, Nicolas Devau, Charlotte Thierion, Déborah Idier, Frédéric A. Mathurin, Marie Pettenati, Jean-Marie Mouchel and Wolfram Kloppmann
The combination of managed aquifer recharge (MAR) with soil-aquifer treatment (SAT) has clear advantages for the future sustainable quality and quantity management of groundwater, especially when using treated wastewater. We built a Marthe flow and trans...
ver más
|
|
|
|
|
|
|
|
|
|
|
Francisco Miguel García-Olmedo, Jesús García-Miranda and Pedro González-Rodelas
The conjunctive normal form (CNF) algorithm is one of the best known and most widely used algorithms in classical logic and its applications. In its algebraic approach, it makes use in a loop of a certain well-defined operation related to the ?distributi...
ver más
|
|
|
|
|
|
|
|
|
|
|
Giovanni Amadasi, Antonella Bevilacqua, Gino Iannace and Amelia Trematerra
Thousands of theatres were built during the Hellenistic period in Greece and overseas colonies. The main elements of the Hellenistic theatre are the following: the orchestra, where music and songs were performed to accompany the acting performance, and t...
ver más
|
|
|
|
|
|
|
|
|
|
|
Krzysztof Rutkowski and Grzegorz P. Lysiak
Increasingly, in orchards around the world that are planted one after another, disturbances are observed, and these issues with growth and development are called replantation disease. It is manifested mainly by poor tree growth after planting and poor ri...
ver más
|
|
|
|
|
|
|
|
|
|
|
Omeed Al-Kakey, Arsalan Ahmed Othman, Mustafa Al-Mukhtar and Volkmar Dunger
Iraq, including the investigated watershed, has endured destructive floods and drought due to precipitation variability in recent years. Protecting susceptible areas from flooding and ensuring water supply is essential for maintaining basic human needs, ...
ver más
|
|
|
|
|
|
|
|
|
|
|
Jing Yang, Chunli Liu, Qiwei Sun, Li Zhai, Qiming Sun, Shiji Li, Libo Ai and Xue Li
The Yellow Sea Cold Water Mass (YSCWM) is an important component of the hydrodynamic system and it significantly impacts the primary production of the Yellow Sea. This study investigated the difference in the interannual variability and long-term trends ...
ver más
|
|
|
|
|
|
|
|
|
|
|
Éva Bácsné Bába, Anetta Müller, Christa Pfau, Renátó Balogh, Éva Bartha, György Szabados, Zoltán Bács, Kinga Ráthonyi-Ódor and Gergely Ráthonyi
Background and aim: Nowadays, a high level of sedentary behavior (SB) is an important health issue. Many studies have focused on evaluating the physical activity (PA) level, while evaluation of SB has received less attention. The main goal of the present...
ver más
|
|
|
|
|
|
|
|
|
|
|
Tasniem Al-Yahya, Mohamed El Bachir Abdelkrim Menai and Hassan Mathkour
Boolean structural measures were introduced to explain the high performance of conflict-driven clause-learning (CDCL) SAT solvers on industrial SAT instances. Those considered in this study include measures related to backbones and backdoors: backbone si...
ver más
|
|
|
|
|
|
|
|
|
|
|
Carlos Ansótegui , Maria Luisa Bonet and Jordi Levy
We focus on the random generation of SAT instances that have properties similar to real-world instances. It is known that many industrial instances, even with a great number of variables, can be solved by a clever solver in a reasonable amount of time. T...
ver más
|
|
|
|
|
|
|
|
|
|
|
Tomohiro Sonobe
It has been proven that extended resolution (ER) has more powerful reasoning than general resolution for the pigeonhole principle in Cook?s paper. This fact indicates the possibility that a solver based on extended resolution can exceed Boolean satisfiab...
ver más
|
|
|
|
|
|