Filetype
Low-dimensional parametric models are the de-facto standard in computer vision for intrinsic camera calibration. These models explicitly describe the mapping between incoming viewing rays and image pixels. In this paper, we explore an alternative approach which implicitly models the lens distortion. The main idea is to replace the parametric model with a regularization term that ensures the latent
In boreal summer, circumglobal Rossby waves can promote stagnating weather systems that favor extreme events like heat waves or droughts. Recent work showed that amplified Rossby wavenumber 5 and 7 show phase-locking behavior which can trigger simultaneous warm anomalies in different breadbasket regions in the Northern Hemisphere. These types of wave patterns thus pose a potential threat to human
Navigation with terrestrial wireless infrastructure is appealing to overcome geometrical limitations of satellite navigation for users in environments with limited sky views. However, terrestrial signals are also prone to multipath that can result in angular and range estimates that are not representative of actual transmitter-receiver geometry. In this paper, some of these propagation effects are
The application of robotic solutions to small-batch production is challenging: economical constraints tend to dramatically limit the time for setting up new batches. Organizing robot tasks into modular software components, called skills, and allowing the assignment of multiple concurrent tasks to a single robot is potentially game-changing. However, due to cycle time constraints, it may be necessa
The performance and reliability of wireless communications at sea are often limited by the deep fades caused by the coherent sea surface reflection. In this paper, we show that by employing multiple antennas at the base station, the deep fades can be mitigated within a large communication range if the antennas are carefully spaced in the vertical direction. We derive a bound for the range where mi
Field-theory simulation by the complex Langevin method offers an alternative to conventional sampling techniques for exploring the forces driving biomolecular liquid–liquid phase separation. Such simulations have recently been used to study several polyampholyte systems. Here, we formulate a field theory corresponding to the hydrophobic/polar (HP) lattice protein model, with finite same-site repul
We prove that polynomial calculus (and hence also Nullstellensatz) over any field requires linear degree to refute that sparse random regular graphs, as well as sparse Erdős-Rényi random graphs, are 3-colourable.
We prove that unary Sherali-Adams requires proofs of size nΩ(d) to rule out the existence of an nΘ(1)-clique in Erdős-Rényi random graphs whose maximum clique is of size d ≤ 2 log n. This lower bound is tight up to the multiplicative constant in the exponent. We obtain this result by introducing a technique inspired by pseudo-calibration which may be of independent interest. The technique involves
This paper extends the application of quantile-based Bayesian inference to probability distributions defined in terms of quantiles of observable quantities. Quantile-parameterized distributions are characterized by high shape flexibility and parameter interpretability, making them useful for eliciting information about observables. To encode uncertainty in the quantiles elicited from experts, we p
We present Clog, a declarative language for describing static code checkers for C. Unlike other extensible state-of-the-art checker frameworks, Clog enables powerful interprocedural checkers without exposing the underlying program representation: Clog checkers consist of Datalog-style recursive rules that access the program under analysis via syntactic pattern matching and control flow edges only.
Fundamental bounds on the performance of monochromatic scattering-cancellation and field-zeroing cloaks made of prescribed linear passive materials occupying a predefined design region are formulated by projecting field quantities onto a sub-sectional basis and applying quadratically constrained quadratic programming. Formulations are numerically tested revealing key physical trends as well as adv
Electromagnetic vector spherical waves have been used recently to model antenna-channel interaction and the available degrees of freedom in multiple-input-multiple-output (MIMO) systems. However, there are no previous accounts of a method to estimate spherical wave coefficients from channel measurements. One approach for this, using a 3-D positioner, is presented and analyzed in this letter. Measu
We study optimal information provision in transportation networks when users are strategic and the network state is uncertain. An omniscient planner observes the network state and discloses information to the users with the goal of minimizing the expected travel time at the user equilibrium. Public signal policies, including full-information disclosure, are known to be inefficient in achieving opt
A system has been developed to convert manual wheelchairs into electric wheelchairs, providing assistance to users through the implemented algorithm, which ensures safe driving and obstacle avoidance. While manual wheelchairs are typically controlled indoors based on user preferences, they do not guarantee safe driving in areas outside the user’s field of vision. The proposed model utilizes the dy
Software development is a complex activity that needs a lot of tool assistance. Over the years there has been a lot of effort put into development of automated assistance to help with activities such as detection of issues via program analysis, or refactoring of code. Recently, the landscape of developer tool assistance is being disrupted with the entry of AI tools, such as Copilot and ChatGPT, po
The widespread availability of large language models (LLMs) has presented the opportunity for novice programmers to make use of them for the purpose of understanding and synthesising code. In this paper, we discuss a small pilot study intended to explore the user experience of doing so in a limited way, and the attitudes of a group of novice programmers towards this style of programming. We also d
As part of its commitment to transparency, the European Food Safety Authority (EFSA) has been developing improved approaches to assessing uncertainty and expressing the degree of certainty in its scientific outputs. The objectives of this workshop were to review and improve the provision of this information by EFSA and its usefulness for risk managers, and to help risk managers to interpret and us
Cholesterol is an essential membrane component enriched in plasma membranes, growth cones, and synapses. The brain normally synthesizes all cholesterol locally, but the contribution of individual cell types to brain cholesterol metabolism is unknown. To investigate whether cortical projection neurons in vivo essentially require cholesterol biosynthesis and which cell types support neurons, we have
