Search results

In this paper, we present a systematic approach to design a compact dual-mode monopole-like patch antenna using characteristic mode analysis (CMA). The modal analysis of a slotted circular patch structure incorporating a new shorting pin loading technique is presented. To achieve a compact monopole-like antenna with wideband operation, it is demonstrated that the first two significant modes with m

Re-entrant condensation results in the formation of a condensed protein regime between two critical ion concentrations. The process is driven by neutralization and inversion of the protein charge by oppositely charged ions. Re-entrant condensation of cationic proteins by the polyvalent anions, pyrophosphate and tripolyphosphate, has previously been observed, but not for citrate, which has similar

With the increase of devices connected to 5G services, the importance of tuning User Equipment (UE) to their assigned frequency slot becomes increasingly vital. This paper approached this issue by securing the control signals sent through a Serial Peripheral Interface (SPI) in digital beamforming radios. This was done by securing three distinct components: the transmitting end of the channel, the

As a prominent category of side-channel attacks (SCAs), plaintext-checking (PC) oracle-based SCAs offer the advantages of generality and operational simplicity on a targeted device. At TCHES 2023, Rajendran et al. and Tanaka et al. independently proposed the multiple-valued (MV) PC oracle, significantly reducing the required number of queries (a.k.a., traces) in the PC oracle. However, in practice

Climate models have continued to be developed and improved since the AR4, and many models have been extended into Earth System models by including the representation of biogeochemical cycles important to climate change These models allow for policy-relevant calculations such as the carbon dioxide (CO2) emissions compatible with a specified climate stabilization target. In addition, the range of cl

The Hamming Quasi-Cyclic (HQC) key encapsulation mechanism (KEM), recently selected by NIST for standardization in the Post-Quantum Cryptography (PQC) process, distinguishes itself through its efficiency, robust design based on hard decoding problems in coding theory, and well-characterized decryption failure rates. Despite its selection, practical security concerns arise from implementation threa

We study a network formation game where n players, identified with the nodes of a directed graph to be formed, choose where to wire their outgoing links in order to maximize their PageRank centrality. Specifically, the action of every player i consists in the wiring of a predetermined number di of directed out-links, and her utility is her own PageRank centrality in the network resulting from the

In this paper, we propose a scheme to identify discrete-time, multi-input/multi-output switched-linear systems (MIMO-SLSs) from input-output measurements. The key step is an observer-based transformation to a switched auto-regressive with exogenous input (SARX) model. This transformation converts the state-space (SS) identification problem into a MIMO-SARX identification problem by compressing inf

Artificial intelligence (AI) and machine learning (ML) are rapidly permeating nearly every aspect of modern life, frompersonal devices and autonomous systems to industrial automation and environmental monitoring. The growing demandfor intelligence at the network edge is reshaping how computing hardware is conceived and built. Edge AI platforms areexpected to deliver high throughput within tight en

While the 8.2 ka abrupt cooling event is increasingly recognised as a major Holocene climatic anomaly, archaeological discussions of its cultural consequences have often been framed in terms of societal distress, including the collapse and abandonment of settlements. However, prehistoric communities must have responded in more diverse ways. This paper investigates the site-based socio-ecological a

During the last two decades, an active line of research in proof complexity has been into the space complexity of proofs and how space is related to other measures. By now these aspects of the resolution proof system are fairly well understood, but many open problems remain for the related but stronger proof system polynomial calculus (PC/PCR). For instance, the space complexity of many standard “

We prove the first hardness results against efficient proof search by quantum algorithms. We show that underLearning with Errors (LWE), the standard lattice-based cryptographic assumption, no quantum algorithm can weaklyautomate TC0-Frege. This extends the line of results of Krajííček and Pudlík(Information and Computation, 1998), Bonet, Pitassi, and Raz (SIAM Journal on Computing, 2000),and Bonet

Particulate methane monooxygenase (pMMO) is an enzyme that converts methane into methanol at ambient temperature and pressure. Over the past three decades, the metal content and location of the active site have been highly controversial. Recent single-particle cryogenic electron-microscopy (cryo-EM) structures have furthered this debate. In this study, three cryo-EM structures (PDB entries 7s4h, 7

We analyze the stability of the logit evolutionary dynamics in population games, possibly with multiple heterogeneous populations. For general population games, we prove that, on the one hand, strict Nash equilibria are asymptotically stable under the logit dynamics for low enough noise levels, on the other hand, a globally exponentially stable logit equilibrium exists for sufficiently large noise

The Bregman distance is a central tool in convex optimization, particularly in first-order gradient descent and proximal-based algorithms. Such methods enable optimization of functions without Lipschitz continuous gradients by leveraging the concept of relative smoothness, with respect to a reference function h. A key factor in determining the full range of allowed step sizes in Bregman schemes is

We consider the verification of neural network policies for discrete-time stochastic systems with respect to reach-avoid specifications. We use a learner-verifier procedure that learns a certificate for the specification, represented as a neural network. Verifying that this neural network certificate is a so-called reach-avoid supermartingale (RASM) proves the satisfaction of a reach-avoid specifi

The vast bandwidth available at sub-THz frequencies holds great promise for high-speed wireless access, precise localization, and advanced sensing applications. However, fundamental physical constraints and technological limitations make the deployment of reliable sub-THz networks challenging. We propose a new paradigm for sub-THz coverage by transmitting the RF signals over polymer microwave fibe

We develop a Lyapunov-based analysis of Korpelevich’s extragradient method and show that it achieves an o(1/k) last-iterate convergence rate of the constructed Lyapunov function. This Lyapunov function simultaneously upper bounds several standard measures of optimality, which allows our analysis to sharpen existing last-iterate convergence guarantees for these measures. Moreover, the same analysis

This is the Replicated Computational Results (RCR) Report for the article “Testing Abstractions for Cyber-Physical Control Systems.” The article empirically studies how substituting different components in Cyber-Physical Systems (CPSs) testing with simulators impacts the fault-exposition. This RCR report describes the artefacts used in the article, how to use the testing setups used in the article