Filtyp
With the rapid advancement of autonomous vehicle technology, integrating mixed autonomous and non-autonomous vehicles that are not cooperative in vehicular network has become a significant challenge. This paper presents an innovative Autonomous Intersection Management (AIM) system designed to optimize traffic flow and enhance intersection safety in such mixed traffic scenarios. By utilizing vehicl
Rapeseed is the second most cultivated oilseed after soybean and is mainly used to produce vegetable oil. The by-product rapeseed press cake is rich in high-quality proteins, thus having the possibility of becoming a new plant protein food source. This study aimed to investigate how the precipitation pH affects the protein yield, protein content, and emulsifying properties when industrially cold-p
Reconfigurable intelligent surfaces (RISs) are being considered for 6G as they can facilitate favourable radio channels. To rigorously model the characteristics of an array antenna-based RIS, this paper proposes an approach to separately evaluatescatterings from the antenna elements and ground plane of RIS. Simulation results show that, depending on the absolute phases of variable loads in the RIS
The occurrence of within-population variation in germination behavior and associated traits such as seed size has long fascinated evolutionary ecologists. In annuals, unpredictable environments are known to select for bet-hedging strategies causing variation in dormancy duration and germination strategies. Variation in germination timing and associated traits is also commonly observed in perennial
In a special run of the LHC with β⋆= 2.5 km, proton–proton elastic-scattering events were recorded at s=13 TeV with an integrated luminosity of 340μb-1 using the ALFA subdetector of ATLAS in 2016. The elastic cross section was measured differentially in the Mandelstam t variable in the range from - t= 2.5 · 10 - 4 GeV 2 to - t= 0.46 GeV 2 using 6.9 million elastic-scattering candidates. This paper
Traits that affect organismal fitness are often highly genetically variable. This genetic variation is vital for populations to adapt to their environments, but it is also surprising given that nature – after all – ‘selects’ the best genotypes at the expense of those that fall short. Explaining the extensive genetic variation of fitness-related traits is thus a longstanding puzzle in evolutionary
We propose a new class of high-rate spatially coupled LDPC (SC-LDPC) codes based on the convolutional selforthogonal codes (CSOCs) first introduced by Massey. The SCLDPC codes are constructed by treating the irregular graph corresponding to the parity-check matrix of a systematic rate R=(n-1) / n CSOC as a convolutional protograph. The protograph can then be lifted using permutation matrices to ge
When the polar vortex meanders and shifts towards the equator, air masses from the tropics and subtropics can be transported towards the pole in so-called tropical-subtropical streamers. These large-scale structures are areas of low potential vorticity and high pressure, containing dry air with high ozone mixing ratios. The presence of these streamers can also be seen in changes in stratospheric o
The spectrum of frontotemporal dementia/amyotrophic lateral sclerosis (FTD/ALS) and Huntington disease (HD) are fatal neurodegenerative disorders with no major disease-modifying therapies. Recent work has shown that the hallmark pathological proteins TAR DNA binding protein of 43 kDa (TDP-43) in FTD/ALS and mutant huntingtin (mHTT) in HD may be interlinked. Furthermore, these disorders share early
Streaming applications are often described using dataflow actor models with a fixed network structure, allowing for static analysis and efficient hardware implementation. However, this fixed structure hinders scalability and design space exploration. This article investigates a representative dataflow toolchain, the StreamBlock compiler for the CAL actor language, along with its Actor Machine (AM)
The Tvären structure in southeastern Sweden has been listed as a confirmed marine-target impact structure for decades. However, to date, no measurements and/or indexed data of planar deformation features in quartz grains from the structure have been published or any other unequivocal evidence of impact. Here, we present an investigation aimed at searching for shocked quartz in the 224 m deep Tväre
In this work, we present an actors-to-hardware design flow where applications are described as networks of actors and compiled to hardware. Specifically, we use the CAL actor language to describe these applications. CAL has previously been used to specify applications such as the MPEG-RVC decoder and is well suited for compilation to hardware. A key limitation of CAL is that the applications descr
Symmetry breaking is a crucial technique in modern combinatorial solving, but it is difficult to be sure it is implemented correctly. The most successful approach to deal with bugs is to make solvers certifying, so that they output not just a solution, but also a mathematical proof of correctness in a standard format, which can then be checked by a formally verified checker. This requires justifyi
It is intuitive and well known, that if agents in a multi-agent system iteratively update their states in the Euclidean space as convex combinations of neighbors’ states, all states eventually converge to the same value (consensus), provided the interaction graph is sufficiently connected. However, this seems to be also true in practice if the convex combinations of states are mapped or radially p
Many problems in computer vision can be formulated as geometric estimation problems, i.e. given a collection of measurements (e.g. point correspondences) we wish to fit a model (e.g. an essential matrix) that agrees with our observations. This necessitates some measure of how much an observation 'agrees' with a given model. A natural choice is to consider the smallest perturbation that makes the o
The genetic contributions to early onset heart failure (HF) are incompletely understood. Genetic testing in advanced HF patients undergoing heart transplantation (HTx) may yield clinical benefits, but data is limited. We performed deep-coverage whole genome sequencing (WGS) in 102 Swedish HTx recipients. Gene lists were compiled through a systematic literature review. Variants were prioritized for
We exhibit supercritical trade-off for monotone circuits, showing that there are functions computable by small circuits for which any small circuit must have depth superlinear or even super-polynomial in the number of variables, far exceeding the linear worst-case upper bound. We obtain similar trade-offs in proof complexity, where we establish the first size-depth trade-offs for cutting planes an
We show that a generalization of the DAG-like query-to-communication lifting theorem, when proven using sunflowers over non-binary alphabets, yields lower bounds on the monotone circuit complexity and proof complexity of natural functions and formulas that are better than previously known results obtained using the approximation method. These include an nΩ(k) lower bound for the clique function up
A proof system P is said to be automatable in time f(N) if there exists an algorithm that given as input an unsatisfiable formula F outputs a refutation of F in the proof system P in time f(N), where N is the size of the smallest P-refutation of F plus the size of F. Atserias and Bonet (ECCC 2002), observed that tree-like k-DNF resolution is automatable in time Nc·k log N for a universal constant
