Filetype
Static program analysis plays a crucial role in ensuring the quality and security of software applications by detecting and fixing bugs, and potential security vulnerabilities in the code. The use of declarative paradigms in dataflow analysis as part of static program analysis has become increasingly popular in recent years. This is due to its enhanced expressivity and modularity, allowing for a h
We study network SIR (Susceptible - Infected - Recovered) epidemic models in the case of two interacting populations. We analyze the dynamics behavior of the fractions of infected individuals in the two populations. In contrast to the classical scalar SIR epidemic model, where the fraction of infected individuals is known to have an unimodal behavior (either decreasing throughout time or initially
Social influence is largely recognized as a key factor in opinion formation processes. Recently, the role of external forces in inducing opinion displacement and polarization in social networks has attracted significant attention. This is in particular motivated by the necessity to understand and possibly prevent interference phenomena during political campaigns and elections. In this paper, we fo
Orthogonal multi-user multiple-input multiple-output (MU-MIMO) channels allow for optimum performance with simplified precoding/equalization, and they achieve maximum multiplexing gain which is shared fairly among users. Reconfigurable intelligent surface (RIS) constitutes a promising cost-efficient solution to improve the wireless channel, since they consist of passive reflecting elements able to
The demand for an increased number of antennas at base stations is driving research on decentralized processing schemes aimed at reducing the information volume that has to be transferred to, and processed at, a central processing unit (CPU). Some of these schemes can reduce the dimensions of the data while achieving information-lossless processing with respect to centralized architectures. Howeve
Princely marriages are here seen as a key component in dynasty formation and dynasty securing. The marriages of the Danish royal house and three houses of the Empire are studied for the period c. 1530–1700. Most of them took place within what can be labelled a Scandinavian-German-Lutheran marriage sphere. It was a highly hierarchized sphere with little contact between top (royal and electoral hous
Hydrothermal explosions are significant potential hazards in Yellowstone National Park, Wyoming, USA. The northern Yellowstone Lake area hosts the three largest hydrothermal explosion craters known on Earth empowered by the highest heat flow values in Yellowstone and active seismicity and deformation. Geological and geochemical studies of eighteen sublacustrine cores provide the first detailed syn
Most recent programming languages, such as Java, Python and Ruby, include a collection framework as part of their standard library (or runtime). The Java Collection Framework provides a number of collection classes, some of which implement the same abstract data type, making them interchangeable. Developers can therefore choose between several functionally equivalent options. Since collections hav
After the commercial emergence of 5G, the research community is already putting its focus on proposing innovative solutions to enable the upcoming 6G. One important lesson put forth by 5G research was that scaling up the conventional multiple-input-multiple-output (MIMO) technology by increasing the number of antennas could be extremely beneficial for effectively multiplexing data streams in the s
With the start-up of the Large Hadron Collider (LHC), a new energy regime has opened up. The Standard Model (SM) can be ``rediscovered'' and new theories can be tested. ALICE, the dedicated heavy-ion experiment at LHC, will also record proton-proton (pp) collisions. Even though the main goal of the ALICE proton program is to provide the baseline measurements for interpreting the heavy-ion data,
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
As our society becomes more and more dependent on IT systems, failures of these systems can harm more and more people and organizations both public and private. Diligently performing risk and hazard analysis helps to minimize the societal harms of IT system failures. In this paper we present experiences gained by applying the System Theoretic Process Analysis (STPA) method for hazard analysis on a
