Filtyp
Folklore in complexity theory suspects that circuit lower bounds against NC1 or P/poly, currently out of reach, are a necessary step towards proving strong proof complexity lower bounds for systems like Frege or Extended Frege. Establishing such a connection formally, however, is already daunting, as it would imply the breakthrough separation NEXP ⊈ P/poly, as recently observed by Pich and Santhan
In the context of global warming, escalating water cycles have led to a surge in drought frequency and severity. Yet, multidecadal fluctuations in drought and their multifaceted influencing factors remain inadequately understood. This study examined the multide-cadal changes in drought characteristics (frequency, duration, and severity) and their geographical focal points within China’s north-sout
Despite the successes in the use of artificial intelligence systems for image analysis, in certain critical applications, the final decision-making should remain with the human operator. To facilitate the working conditions of an unmanned aerial vehicle (UAV) pilot during prolonged missions, an auxiliary narrow-angle video camera is installed on board the UAV. This camera can be positioned indepen
We prove the first hardness results against efficient proof search by quantum algorithms. We show that under Learning with Errors (LWE), the standard lattice-based cryptographic assumption, no quantum algorithm can weakly automate TC0-Frege. This extends the line of results of Krajíček and Pudlák (Information and Computation, 1998), Bonet, Pitassi, and Raz (FOCS, 1997), and Bonet, Domingo, Gavaldà
Atmospheric trace gas measurements can be used to independently assess national greenhouse gas inventories through inverse modeling. Atmospheric nitrous oxide (N2O) measurements made in the United Kingdom (UK) and Republic of Ireland are used to derive monthly N2O emissions for 2013–2022 using two different inverse methods. We find mean UK emissions of 90.5 ± 23.0 (1σ) and 111.7 ± 32.1 (1σ) Gg N2O
This paper is concerned with the feasibility of the power flow in DC power grids with constant power loads. We introduce the notion of distance to infeasibility as a voltage stability index and robustness measure for power flow feasibility. In particular, we study the p-norm distance to infeasibility in the domain of the constant power loads, and show how this distance may be expressed as a mathem
Unmanned aerial vehicles (UAVs) have been widely used in both military and civilian applications, where a stable communication link is vital for safe flight control and robust data transmission. To develop a reliable UAV communication system, it is necessary to deeply understand the UAV channel characteristics and establish accurate channel models. Channel sounding is the most effective way to obt
The three leading modes of the North Atlantic atmospheric circulation explain about 70% of the winter climate variability. Although climate models generally can capture these modes, biases may induce large uncertainties in regional climate predictions. Here, we evaluate the leading winter modes simulated by CMIP5-PMIP3 and CMIP6-PMIP4 models from the last millennium to future scenarios in comparis
This work presents an assessment of the precipitation deficit in the São Francisco River Basin (SFRB) based on temporal, seasonal and regional analyses of two decades of precipitation data products derived from satellite missions launched since 1997. The temporal analyses were performed by means of three 3-month SPI time series, consisting of 250 values each derived from TRMM, CHIRPS and PERSIANN-
Lake level, area and volume are sensitive indicators of climate change. At present, many studies have focused on the interannual water balance of lakes, but lake level and area can change remarkably with seasons, especially for lakes with seasonal ice cover. Zhari Namco, a seasonal frozen lake, was selected as an example to investigate its seasonal water balance. Multi-source altimetry and Landsat
Personalized patient care has gained increasing attention in recent years. Precise drug dosing is critical for patient safety and good clinical outcomes, especially in intensive care units, where patients often are in critical conditions. Such treatments can include stabilizing blood pressure and heart rate or maintaining safe anesthesia levels. However, the inter-patient variability in the drug r
This paper introduces P-expo, a do-it-yourself open-source software solution for enhancing online lectures. P-expo seamlessly integrates text, images, videos, webcams, and audio, with support for text-based tools like git for collaboration. Additionally, the paper introduces affordable DIY hardware components to enrich online education seminars, and presents a curated selection of accessible open-
Reliable maritime communication systems are essential for both safety-critical operations and emerging applications such as autonomous shipping, remote pilotage, and drone-assisted search and rescue. These scenarios demand ultra-reliable, low-latency wireless connectivity, where communication outages are unacceptable. Equally important is the need for dependable positioning systems. In situations
Ocean evaporation, represented by latent heat flux (LE), plays a crucial role in global precipitation patterns, water cycle dynamics, and energy exchange processes. However, existing bulk methods for quantifying ocean evaporation are associated with considerable uncertainties. The maximum entropy production (MEP) theory provides a novel framework for estimating surface heat fluxes, but its applica
To carry out the search mission, an additional narrow-angle video camera is installed on board the unmanned aerial vehicle (UAV). This video camera can be re-aimed at objects detected in the image frame received from the main (navigation) video camera. The movement of the additional video camera is carried out by two coordinated electric drives using direct current motors or brushless direct curre
The study is devoted to the development of the 2DCAM hardware and software complex for the physical modeling of the two-coordinate positioning system of the additional video camera of the UAV using the Simulink environment. DYNAMIXEL actuator systems were used to create a complex prototype. They combine DC motor, reduction gearhead, controller, driver and network components.The AH-12A actuator is
This work is devoted to the development of a prototype of a small-sized information display system (SSIDS) for UAVs, which implements a human-machine interface. This system in field conditions in the presence of electromagnetic interference allows you to enter and adjust the flight task.The research used a liquid crystal display (LCD) based on the GC9A01 driver and a WeActStudio development board
Modern hydrological modeling frequently incorporates global remote sensing or reanalysis products for multivariate calibration. Although these datasets significantly contribute to model accuracy, the inherent uncertainties in the datasets and multivariate calibration present challenges in the modeling process. To address this issue, this study introduces an adaptive, process-wise fitting framework
Accurately representing and predicting hydrological processes in terrestrial ecosystems is crucial for understanding the impacts of global environmental change, particularly climate change. This doctoral thesis aims to advance the understanding of vegetation-hydrology interactions and provides new modelling approaches to enhance hydrological prediction abilities. The thesis is grounded in the eval
