Filetype
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
With the increase in the number of antennas at base stations (BSs), centralized multi-antenna architectures have encountered scalability problems from excessive interconnection bandwidth to the central processing unit (CPU), as well as increased processing complexity. Thus, research efforts have been directed towards finding decentralized receiver architectures where a part of the processing is pe
The paper explores the usage of minimax adaptive controllers to guarantee finite L2 -gain simultaneous stabilization of linear time-invariant (LTI) plants. It is shown that a minimax adaptive controller simultaneously stabilizes any two multiple-input multiple-output (MIMO) P-stabilizable LTI plants when no LTI controller can achieve that, and the worst attained L2 -gain bound for the transient dy
Target-controlled infusion (TCI) constitutes a clinically available alternative to manually administering the infusion rate of the anesthetic drug propofol. In TCI, a drug infusion profile is optimized to track a reference trajectory of blood plasma or effect site (brain cortex) drug concentration, or a corresponding clinical effect. TCI is a pure feed-forward openloop strategy, fully reliant on a
In this paper we present the concept for a teleoperation system for semi-autonomous robotic boats using virtual reality. This system can be used for monitoring autonomous driving as well as for direct manual control. The integration of live sensor data is possible as well as the integration of past measurement results and their correct registration within the virtual representation. Initial field
Programming is a cognitively demanding exercise. In particular, today’s software development requires a collective effort of programmers and the orchestration of a complex programming infrastructure. As disruptive technologies emerge, e.g., AI and quantum computing, the programming practice is undergoing a change, facing an uncertain future that we may not be able to accurately predict but can env
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
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
