Filtyp
The success in the adoption of autonomous vehicles is dependent on their ability to solve rarely occurring safety-critical corner cases. Vehicular communications (V2X) aim at improving safety and efficiency of autonomous driving by adding the capability of explicit inter-vehicular information exchange. We argue that V2X enables another important function, namely the support of ethical driving deci
Background: Data quickly emerges as a core driver of businesses across the worlddue to rapidly expanding use in different areas, such as Machine Learning. In orderfor the data-related organizational operations to be efficient, the topic of data shar-ing has to be explored. This thesis focuses on understanding inter-organizationaldata sharing by exploring practices and challenges that are present w
Static code checkers are tools that help software engineers by automatically finding defects without executing the programs. These tools contain a set of detectors that rely on static program analyses to find common programming defects or to enforce coding guidelines.While existing code checker frameworks package a rich collection of detectors, aimed at common bug defects, the effort to adapt thes
Recent work reported that simple Bayesian optimization methods perform well for high-dimensional real-world tasks, seemingly contradicting prior work and tribal knowledge. This paper investigates the 'why'. We identify fundamental challenges that arise in high-dimensional Bayesian optimization and explain why recent methods succeed. Our analysis shows that vanishing gradients caused by Gaussian pr
This study presents a measurement campaign with an ultra-large-scale antenna array in both Line-of-Sight (LoS) and Non-Line-of-Sight (NLoS) outdoor scenarios. Measurements were conducted at a center frequency of 15 GHz with a bandwidth of 4 GHz. A virtual 40×40 planar antenna array, formed by moving a vertically-polarized bi-conical omni-directional antenna (ODA) along regularly spaced grids, was
Clog is a declarative language for describing static code checkers for C. Clog is a dialect of Datalog and adds syntactic pattern matching over the C language. We have built Clog using the MetaDL framework and the Clang C compiler frontend. The MetaDL framework supports Datalog evaluation and syntactic patterns, while the Clang frontend provides AST facts and an AST matching mechanism.We provide t
Many software language tools use declarative domain-specific languages (DDSLs) to implement parts of their functionality, such as context-free grammars for parsing or inference rules for type analysis. For interoperability and ease of use, DDSLs often rely on embedded general-purpose language (GPL) code fragments, as in the semantic actions of parser specifications, but require that these GPL frag
We propose and analyze a novel scheme based on LDPC codes for quantitative group testing. The key underlying idea is to augment the bipartite graph by introducing hidden non-binary variables to strengthen the message-passing decoder. This is achieved by grouping items into bundles of size q within the test matrix, while keeping the testing procedure unaffected. The decoder, inspired by some works
The number of users and the information transmitted over wireless networks have been growing constantly during the last decades. Nowadays, the pace of this growth is extremely sharp because of the new applications which heavily rely on wireless networks to meet users' demands. Wireless networks infrastructures are constantly developing to meet these demands. Massive multiple-input multiple-output
Dual-band shared-aperture Fabry-Pérot cavity (DS-FPC) antennas with single-layer partially reflective surface (PRS) are inherently limited in the achievable frequency ratio. This paper analyzes such antennas to derive the feasible range of frequency ratio and thereafter proposes a dual-band shared-aperture antenna that can fill the frequency ratio gap. The novel design integrates a short backfire
Many algorithms in computer graphics make use of acceleration structures such as Bounding Volume Hierarchies (BVHs) to speed up performance critical tasks, such as collision detection or ray-tracing. However, while the typical algorithms for constructing BVHs are relatively simple, actually implementing them for performance critical systems is still challenging. Further, to construct them as quick
This paper describes a search procedure to discover optimal feature sets for dependency parsers. The search applies to the shift–reduce algorithm and the feature sets are extracted from the parser configuration. The initial feature is limited to the first word in the input queue. Then, the procedure uses a set of rules founded on the assumption that topological neighbors of significant features in
In this paper, we describe a coreference solver based on the extensive use of lexical features and features extracted from dependency graphs of the sentences. The solver uses Soon et al. (2001)'s classical resolution algorithm based on a pairwise classification of the mentions. We applied this solver to the closed track of the CoNLL 2011 shared task (Pradhan et al., 2011). We carried out a system
The cerebellar system for the voluntary control of arm-hand movements involves a large number of different neuron types. These neurons are located both inside the cerebellum but also in extracerebellar brain structures, which provide processed motor and sensory information to the cerebellum. The various different neuron types have different morphology, receive different types, number and patterns
In this paper we present some experiments on the MySQL database server. The objective of the experiments was to investigate the high load dynamics for varying relation sizes and requests. We show that the dynamics for SELECT (read) requests can be modeled as a modified M/M/1 system, whereas, the dynamics for UPDATE (write) are completely different. Our results can be used for designing control and
