Sökresultat

The exact spatial and temporal behaviour of rapid climate shifts during the Last Glacial– Interglacial Transition are still not entirely understood. In order to investigate these events, it is necessary to have detailed palaeoenvironmental reconstructions at geographically spread study sites combined with reliable correlations between them. Tephrochronology, i.e., using volcanic ash deposits in ge

This paper describes a knowledge integration framework for robotics, whose goal is to represent, store, adapt, and distribute knowledge across engineering platforms. The architecture abstracts the components as data sources, where data are available in the AutomationML data exchange format. AutomationML is an on-going standard initiative that aims at unifying data representation and APIs used by e

Program parallelization becomes increasingly important when new multi-core architectures provide ways to improve performance. One of the greatest challenges of this development lies in programming parallel applications. Declarative languages, such as constraint programming, can make the transition to parallelism easier by hiding the parallelization details in a framework. Automatic parallelizatio

Reliable connectivity between vehicles is a requirement for efficient overtaking warning systems. We investigate the 6 GHz propagation channel between oncoming vehicles with five different types of large obstructing vehicles in a poor scattering environment. The presented channel gains emphasize the advantages of different antenna positions and the difference between a straight road and curved roa

Algorithms for secure encryption in a post-quantum world are currently receiving a lot of attention in the research community, including several larger projects and a standardization effort from NIST. One of the most promising algorithms is the code-based scheme called QC-MDPC, which has excellent performance and a small public key size. In this work we present a very efficient key recovery attack

This work presents an analysis of the physical properties of sub-micrometer aerosol particles measured at the high Arctic site Villum Research Station, Station Nord (VRS), northeast Greenland, between July 2010 and February 2013. The study focuses on particle number concentrations, particle number size distributions and the occurrence of new particle formation (NPF) events and their seasonality in

One of the basic aspects of Massive MIMO (MaMi) that is in the focus of current investigations is its potential of using low-cost and energy-efficient hardware. It is often claimed that MaMi will allow for using analog-to-digital converters(ADCs) with very low resolutions and that this will result in overall improvement of energy efficiency. In this contribution, we perform a parametric energy eff

Multi-atlas segmentation has become a frequently used tool for medical image segmentation due to its outstanding performance. A computational bottleneck is that all atlas images need to be registered to a new target image. In this paper, we propose an intermediate representation of the whole atlas set – an überatlas – that can be used to speed up the registration process. The representation consis

Two different solutions for the characteristic modes (CMs) of lossy structures were previously developed using induced volume currents. The first solution diagonalizes the scattering and perturbation matrices, guaranteeing far-field orthogonality at the cost of imaginary eigenvalues and eigencurrents. The second solution does not perfectly diagonalize these matrices, but maintains real-valued eige

High computational cost is the main obstacle to adapting globally optimal branch-and-bound algorithms to intensity-based registration. Existing techniques to speed up such algorithms use a multiresolution pyramid of images and bounds on the target function among different resolutions for rigidly aligning two images. In this paper, we propose a dual algorithm in which the optimization is done in th

The ignition of nitromethane/O2/N2 mixtures was investigated via shock tube experiments in the temperature range 947–1333 K at reflected shock pressures near 8, 16 and 32 atm. The ignition was recorded as the intensity maxima of unfiltered luminosity in the range 240–530 nm. Under the experimental conditions of the present study, ignition was found to proceed via a two stage process. Dependencies

Using Monte Carlo methods, we explore and compare the effects of two protein crowders, BPTI and GB1, on the folding thermodynamics of two peptides, the compact helical trp-cage and the β-hairpin-forming GB1m3. The thermally highly stable crowder proteins are modeled using a fixed backbone and rotatable side-chains, whereas the peptides are free to fold and unfold. In the simulations, the crowder p

PalCom is a pervasive middleware that enables users to combine the services on devices into useful configurations. Interconnected PalCom devices can discover, and keep track of, the existence of each other by exchanging periodic heartbeats within local networks, and once-sent device appearance/disappearance notifications across interconnected networks. This approach has the advantage of eliminatin

In this paper, we derive the exact input/output transfer functions of the optimal a-posteriori probability channel detector for a general ISI channel with erasures. Considering three channel impulse responses of different memory as an example, we compute the BP and MAP thresholds for regular spatially coupled LDPC codes with joint iterative detection and decoding. When we compare the results with

Time-varying spatially coupled low-density parity-check (SC-LDPC) codes with very large period are characterized by significantly better error rate performance and girth properties than their time-invariant counterparts, but the number of parameters they require to be described is usually very large and unpractical. Time-invariant SC-LDPC codes, which can be seen as periodically time-varying codes

A platoon comprises a string of consecutive highly automated vehicles traveling together. Platooning allows for increased road utilization and reduced fuel consumption due to short inter-vehicular distances. Safety in terms of guaranteeing no rear-end collisions is of utmost importance for platooning systems to be deployed in practice. We compare how safely emergency braking can be handled by emer

Background: Autonomous systems have received considerable attention from academia and are adopted by various industrial domains, such as automotive, avionics, etc. As many of them are considered safety-critical, testing is indispensable to verify their reliability and safety. However, there is no common standard for testing autonomous systems efficiently and effectively. Thus new approaches for te