-
Twitmo: A Twitter Data Topic Modeling and Visualization Package for R
Authors:
Andreas Buchmüller,
Gillian Kant,
Christoph Weisser,
Benjamin Säfken,
Krisztina Kis-Katos,
Thomas Kneib
Abstract:
We present Twitmo, a package that provides a broad range of methods to collect, pre-process, analyze and visualize geo-tagged Twitter data. Twitmo enables the user to collect geo-tagged Tweets from Twitter and and provides a comprehensive and user-friendly toolbox to generate topic distributions from Latent Dirichlet Allocations (LDA), correlated topic models (CTM) and structural topic models (STM…
▽ More
We present Twitmo, a package that provides a broad range of methods to collect, pre-process, analyze and visualize geo-tagged Twitter data. Twitmo enables the user to collect geo-tagged Tweets from Twitter and and provides a comprehensive and user-friendly toolbox to generate topic distributions from Latent Dirichlet Allocations (LDA), correlated topic models (CTM) and structural topic models (STM). Functions are included for pre-processing of text, model building and prediction. In addition, one of the innovations of the package is the automatic pooling of Tweets into longer pseudo-documents using hashtags and cosine similarities for better topic coherence. The package additionally comes with functionality to visualize collected data sets and fitted models in static as well as interactive ways and offers built-in support for model visualizations via LDAvis providing great convenience for researchers in this area. The Twitmo package is an innovative toolbox that can be used to analyze public discourse of various topics, political parties or persons of interest in space and time.
△ Less
Submitted 8 July, 2022;
originally announced July 2022.
-
Generating and Solving Symbolic Parity Games
Authors:
Gijs Kant,
Jaco van de Pol
Abstract:
We present a new tool for verification of modal mu-calculus formulae for process specifications, based on symbolic parity games. It enhances an existing method, that first encodes the problem to a Parameterised Boolean Equation System (PBES) and then instantiates the PBES to a parity game. We improved the translation from specification to PBES to preserve the structure of the specification in the…
▽ More
We present a new tool for verification of modal mu-calculus formulae for process specifications, based on symbolic parity games. It enhances an existing method, that first encodes the problem to a Parameterised Boolean Equation System (PBES) and then instantiates the PBES to a parity game. We improved the translation from specification to PBES to preserve the structure of the specification in the PBES, we extended LTSmin to instantiate PBESs to symbolic parity games, and implemented the recursive parity game solving algorithm by Zielonka for symbolic parity games. We use Multi-valued Decision Diagrams (MDDs) to represent sets and relations, thus enabling the tools to deal with very large systems. The transition relation is partitioned based on the structure of the specification, which allows for efficient manipulation of the MDDs. We performed two case studies on modular specifications, that demonstrate that the new method has better time and memory performance than existing PBES based tools and can be faster (but slightly less memory efficient) than the symbolic model checker NuSMV.
△ Less
Submitted 29 July, 2014;
originally announced July 2014.
-
Efficient Instantiation of Parameterised Boolean Equation Systems to Parity Games
Authors:
Gijs Kant,
Jaco van de Pol
Abstract:
Parameterised Boolean Equation Systems (PBESs) are sequences of Boolean fixed point equations with data variables, used for, e.g., verification of modal mu-calculus formulae for process algebraic specifications with data.
Solving a PBES is usually done by instantiation to a Parity Game and then solving the game. Practical game solvers exist, but the instantiation step is the bottleneck.
We enh…
▽ More
Parameterised Boolean Equation Systems (PBESs) are sequences of Boolean fixed point equations with data variables, used for, e.g., verification of modal mu-calculus formulae for process algebraic specifications with data.
Solving a PBES is usually done by instantiation to a Parity Game and then solving the game. Practical game solvers exist, but the instantiation step is the bottleneck.
We enhance the instantiation in two steps. First, we transform the PBES to a Parameterised Parity Game (PPG), a PBES with each equation either conjunctive or disjunctive. Then we use LTSmin, that offers transition caching, efficient storage of states and both distributed and symbolic state space generation, for generating the game graph. To that end we define a language module for LTSmin, consisting of an encoding of variables with parameters into state vectors, a grouped transition relation and a dependency matrix to indicate the dependencies between parts of the state vector and transition groups.
Benchmarks on some large case studies, show that the method speeds up the instantiation significantly and decreases memory usage drastically.
△ Less
Submitted 23 October, 2012;
originally announced October 2012.
-
Beamforming Techniques for Large-N Aperture Arrays
Authors:
A J Faulkner,
K Zarb Adami,
J. G. Bij de Vaate,
G. W. Kant,
P. Pickard
Abstract:
Beamforming is central to the processing function of all phased arrays and becomes particularly challenging with a large number of antenna element (e.g. >100,000). The ability to beamform efficiently with reasonable power requirements is discussed in this paper. Whilst the most appropriate beamforming technology will change over time due to semiconductor and processing developments, we present a h…
▽ More
Beamforming is central to the processing function of all phased arrays and becomes particularly challenging with a large number of antenna element (e.g. >100,000). The ability to beamform efficiently with reasonable power requirements is discussed in this paper. Whilst the most appropriate beamforming technology will change over time due to semiconductor and processing developments, we present a hierarchical structure which is technology agnostic and describe both Radio-Frequency (RF) and digital hierarchical beamforming approaches. We present implementations of both RF and digital beamforming systems on two antenna array demonstrators, namely the Electronic Multi Beam Radio Astronomy ConcEpt (EMBRACE) and the dualpolarisation all-digital array (2-PAD). This paper will compare and contrast both digital and analogue implementations without considering the deep system design of these arrays.
△ Less
Submitted 24 August, 2010;
originally announced August 2010.
-
A very brief description of LOFAR - the Low Frequency Array
Authors:
H. Falcke,
M. P. van Haarlem,
A. G. de Bruyn,
R. Braun,
H. J. A. Röttgering,
B. Stappers,
W. H. W. M. Boland,
H. R. Butcher,
E. J. de Geus,
L. Koopmans,
R. Fender,
J. Kuijpers,
G. K. Miley,
R. T. Schilizzi,
C. Vogt,
R. A. M. J. Wijers,
M. Wise,
W. N. Brouw,
J. P. Hamaker,
J. E. Noordam,
T. Oosterloo,
L. Bähren,
M. A. Brentjens,
S. J. Wijnholds,
J. D. Bregman
, et al. (6 additional authors not shown)
Abstract:
LOFAR (Low Frequency Array) is an innovative radio telescope optimized for the frequency range 30-240 MHz. The telescope is realized as a phased aperture array without any moving parts. Digital beam forming allows the telescope to point to any part of the sky within a second. Transient buffering makes retrospective imaging of explosive short-term events possible. The scientific focus of LOFAR wi…
▽ More
LOFAR (Low Frequency Array) is an innovative radio telescope optimized for the frequency range 30-240 MHz. The telescope is realized as a phased aperture array without any moving parts. Digital beam forming allows the telescope to point to any part of the sky within a second. Transient buffering makes retrospective imaging of explosive short-term events possible. The scientific focus of LOFAR will initially be on four key science projects (KSPs): 1) detection of the formation of the very first stars and galaxies in the universe during the so-called epoch of reionization by measuring the power spectrum of the neutral hydrogen 21-cm line (Shaver et al. 1999) on the ~5' scale; 2) low-frequency surveys of the sky with of order $10^8$ expected new sources; 3) all-sky monitoring and detection of transient radio sources such as gamma-ray bursts, x-ray binaries, and exo-planets (Farrell et al. 2004); and 4) radio detection of ultra-high energy cosmic rays and neutrinos (Falcke & Gorham 2003) allowing for the first time access to particles beyond 10^21 eV (Scholten et al. 2006). Apart from the KSPs open access for smaller projects is also planned. Here we give a brief description of the telescope.
△ Less
Submitted 21 October, 2006;
originally announced October 2006.
-
LOFAR - Opening up a new window on the Universe
Authors:
H. J. A. Rottgering,
R. Braun,
P. D. Barthel,
M. P. van Haarlem,
G. K. Miley,
R. Morganti,
I. Snellen,
H. Falcke,
A. G. de Bruyn,
R. B. Stappers,
W. H. W. M. Boland,
H. R. Butcher,
E. J. de Geus,
L. Koopmans,
R. Fender,
J. Kuijpers,
R. T. Schilizzi,
C. Vogt,
R. A. M. J. Wijers,
M. Wise,
W. N. Brouw,
J. P. Hamaker,
J. E. Noordam,
T. Oosterloo,
L. Bahren
, et al. (9 additional authors not shown)
Abstract:
LOFAR, the Low Frequency Array, is a next-generation radio telescope that is being built in Northern Europe and expected to be fully operational at the end of this decade. It will operate at frequencies from 15 to 240 MHz (corresponding to wavelengths of 20 to 1.2 m). Its superb sensitivity, high angular resolution, large field of view and flexible spectroscopic capabilities will represent a dra…
▽ More
LOFAR, the Low Frequency Array, is a next-generation radio telescope that is being built in Northern Europe and expected to be fully operational at the end of this decade. It will operate at frequencies from 15 to 240 MHz (corresponding to wavelengths of 20 to 1.2 m). Its superb sensitivity, high angular resolution, large field of view and flexible spectroscopic capabilities will represent a dramatic improvement over previous facilities at these wavelengths. As such, LOFAR will carry out a broad range of fundamental astrophysical studies.
The design of LOFAR has been driven by four fundamental astrophysical applications: (i) The Epoch of Reionisation, (ii) Extragalactic Surveys and their exploitation to study the formation and evolution of clusters, galaxies and black holes, (iii) Transient Sources and their association with high energy objects such as gamma ray bursts, and (iv) Cosmic Ray showers and their exploitation to study the origin of ultra-high energy cosmic rays. In this conference the foreseen LOFAR work on the epoch of reionisation has been covered by de Bruyn and on cosmic ray showers by Falcke.
During this contribution we will first present the LOFAR project with an emphasis on the challenges faced when carrying out sensitive imaging at low radio frequencies. Subsequently, we will discuss LOFAR's capabilities to survey the low-frequency radio sky. Main aims for the planned surveys are studies of z>6 radio galaxies, diffuse emission associated with distant clusters and starbursting galaxies at z>2.
△ Less
Submitted 29 January, 2007; v1 submitted 19 October, 2006;
originally announced October 2006.
