Filtyp
This paper focuses on the computation of the joint spectral radius (JSR), when the involved matrices are sparse. We provide a sparse variant of the procedure proposed by Parrilo and Jadbabaie to compute upper bounds of the JSR by means of sum-of-squares (SOS) programming. Our resulting iterative algorithm, called SparseJSR, is based on the term sparsity SOS (TSSOS) framework developed by Wang, Mag
Industrial control systems (ICSs) are a significant part of industry and they play an important role in monitoring and controlling industrial processes. Traditionally, ICSs have been isolated from the Internet, and thereby secured from various Internet-based security threats. In recent years, since the cloud can provide huge advantages regarding storage and computing resources, industry has been m
Camera sensor networks, mainly with surveillance cameras, are growing in size and complexity. Storage space is the prime resource in such systems but current surveillance setups are still very much centralized and limited in resources due to cost and security constraints. Allocating the correct amount of storage to each camera sensor considering their large difference in characteristics and video
The lack of methods to evaluate mechanical function of donated hearts in the context of transplantation imposes large precautionary margins, translating into a low utilization rate of donor organs. This has spawned research into cyber-physical models constituting artificial afterloads (arterial trees), that can serve to evaluate the contractile capacity of the donor heart. The Windkessel model is
The 4th generation of district heating systems face a potential problem where lowered water temperatures lead to higher flow rates, which requires higher hydraulic capacity in terms of pipe and pump sizes. This increases the effect of the already existing issue of hydraulic bottlenecks, causing peripheral units (customers) to experience reduced flow rates. A coordinating control strategy is presen
Class-C operation is leveraged to implement a K-band CMOS VCO where the upconversion of the 1/f noise from the core transistors is robustly contained at a minimal level. Implemented in a bulk 28 nm CMOS technology,the VCO shows a phase noise as low as -108.5 dBc/Hz at 1 MHz offset (-83 dBc/Hz at 100 kHz offset) from the 19.5 GHz carrier,while consuming 14.4 mW and featuring a 12% tuning range.
A Ka-band,32-43 GHz,differential power amplifier (PA) for millimeter wave applications is presented. The PA is a three stage design with a nominal gain of 36 dB. A device periphery ratio of 1:2:4 is adopted for pre-driver,driver and final stage,respectively. To enable use of 2.7 V supply,a cascode topology was employed in all three stages. The input is 80 ω differential and the output load is 50 ω
The lack of methods to evaluate mechanical function of donated hearts in the context of transplantation imposes large precautionary margins, translating into a low utilization rate of donor organs. This has spawned research into cyber-physical models constituting artificial afterloads (arterial trees), that can serve to evaluate the contractile capacity of the donor heart.The Windkessel model is a
The response of clouds to the changes in climate is uncertain, and the representation of the cloud-climate feedback is a key challenge in the global circulation models (GCM) for future climate projections. Factors contributing to this uncertainty include processes that involve particles of various sizes and phases, as well as the interactions between these particles and the surrounding atmosphere.
Walter Benjamin’s complex notion of time, permeating much of his historical, political, and cultural-critical thought, has been the subject of considerable discussion. In particular, the interaction between the two opposing categories of historical time and messianic time poses a great difficulty: how do messianic moments of cessation act within the homogeneous continuum of history? To propose one
Paleo-proxy data indicate that a “Green Sahara” thrived in northern Africa during the early- to mid-Holocene (MH; 11 000 to 5000 years before present), characterized by more vegetation cover and reduced dust emissions. Utilizing a state-of-the-art atmospheric chemical transport model, TM5-MP, we assessed the changes in biogenic volatile organic compound (BVOC) emissions, dust emissions and seconda
We propose an observer for rotational dynamics subject to directional and gyroscopic measurements, which simultaneously estimates the gyroscopic biases and attitude rates. We show uniform almost global asymptotic and local exponential stability of the resulting error dynamics, implying robustness against bounded disturbances. This robustness is quantified with respect to a popular nonlinear comple
The past evolution of precipitation and atmospheric convection in the Western Pacific Warm Pool (WPWP) is critical for global climate changes but is under debate because of its forcing mechanisms. Here, we present a high temporal resolution (∼156 years) grain-size record of core MD01–2385 over the last 140 kyr, in offshore northern New Guinea to reveal sediment dynamics as a proxy for precipitatio
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
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
