Showing 1–50 of 79 results for author: Kowalski, J

Revealing Polytypism in 2D Boron Nitride with UV Photoluminescence

Authors: Jakub Iwański, Krzysztof P. Korona, Mateusz Tokarczyk, Grzegorz Kowalski, Aleksandra K. Dąbrowska, Piotr Tatarczak, Izabela Rogala, Marta Bilska, Maciej Wójcik, Sławomir Kret, Anna Reszka, Bogdan J. Kowalski, Song Li, Anton Pershin, Adam Gali, Johannes Binder, Andrzej Wysmołek

Abstract: Boron nitride exhibits diverse crystal structures, predominantly a layered arrangement with strong intraplanar covalent bonds and weak interplanar van der Waals bonds. While commonly referred to as hexagonal BN (hBN), the sp$^2$-bonded BN atomic planes can also arrange in other configurations like Bernal (bBN) or rhombohedral (rBN) stacking orders. Variations in the orientation and translation of… ▽ More Boron nitride exhibits diverse crystal structures, predominantly a layered arrangement with strong intraplanar covalent bonds and weak interplanar van der Waals bonds. While commonly referred to as hexagonal BN (hBN), the sp$^2$-bonded BN atomic planes can also arrange in other configurations like Bernal (bBN) or rhombohedral (rBN) stacking orders. Variations in the orientation and translation of successive atomic layers lead to changes in crystal symmetry, potentially resulting in piezoelectric, pyroelectric or ferroelectric effects. However, distinguishing between different polytypes using conventional methods like X-ray diffraction or Raman spectroscopy presents a significant challenge. In this work, we demonstrate that the optical response of the 4.1 eV defect can serve as an indicator of the polytype. To this end, we study BN samples grown by metalorganic vapor phase epitaxy (MOVPE), which contain different polytypes. The identification of the polytypes was achieved by X-ray diffraction and transmission electron microscopy. Photoluminescence and cathodoluminescence measurements with a high spatial resolution allowed for the deconvolution of the signal into two components from which we can extract a zero-phonon line (ZPL) at 4.096 eV (302.6 nm) for hBN and 4.143 eV (299.2 nm) for rBN. We performed calculations that enable us to identify the defect as a carbon dimer CBCN (C2) and show that the ZPL shift reflects differences in the crystal environment for different polytypes. Furthermore, we demonstrate that different polytypic composition ratios of hBN and rBN can be achieved by MOVPE, which could pave the way for future applications in large-area van der Waals heterostructures. △ Less

Submitted 29 May, 2024; originally announced May 2024.

Emergent impervious band crossing in the bulk in topological nodal line semimetal ZrAs$_2$

Authors: A. S. Wadge, K. Zberecki, B. J. Kowalski, D. Jastrzebski, P. K. Tanwar, P. Iwanowski, R. Diduszko, A. Moosarikandy, M. Rosmus, N. Olszowska, A. Wisniewski

Abstract: Topological nodal line semimetals (TSMs) represent a unique class of materials with intriguing electronic structures and rich of symmetries, hosting electronic states with non-trivial topological properties. Among these, ZrAs$_2$ stands out, characterized by its nodal lines forming continuous loops in momentum space, governed by non-symmorphic symmetries. This study integrates angle-resolved photo… ▽ More Topological nodal line semimetals (TSMs) represent a unique class of materials with intriguing electronic structures and rich of symmetries, hosting electronic states with non-trivial topological properties. Among these, ZrAs$_2$ stands out, characterized by its nodal lines forming continuous loops in momentum space, governed by non-symmorphic symmetries. This study integrates angle-resolved photoemission spectroscopy (ARPES) with density functional theory (DFT) calculations to explore the electronic states of ZrAs$_2$. In ARPES scans, we observed a distinctive nodal loop structure observed at lower excitation energies of 30 and 50 eV. Our results, supported by calculations based on DFT, unveil symmetry-enforced Dirac-like band crossings anchored at specific points in the Brillouin zone, with particular emphasis on the S point. Surface bands and bulk states near the crossing are elucidated through slab calculations, corroborating experimental findings. DFT calculations also show the existence of several spin-orbit coupling (SOC) resilient semi-Dirac crossings pinned at Z point. This comprehensive investigation sheds light on the intricate electronic behaviors of ZrAs$_2$ with the involved symmetries, important for fundamental understanding of topological nodal line semimetals. △ Less

Submitted 7 March, 2024; originally announced March 2024.

Comments: 18 Pages, supplementary material included

Citizen Science and Machine Learning for Research and Nature Conservation: The Case of Eurasian Lynx, Free-ranging Rodents and Insects

Authors: Kinga Skorupska, Rafał Stryjek, Izabela Wierzbowska, Piotr Bebas, Maciej Grzeszczuk, Piotr Gago, Jarosław Kowalski, Maciej Krzywicki, Jagoda Lazarek, Wiesław Kopeć

Abstract: Technology is increasingly used in Nature Reserves and National Parks around the world to support conservation efforts. Endangered species, such as the Eurasian Lynx (Lynx lynx), are monitored by a network of automatic photo traps. Yet, this method produces vast amounts of data, which needs to be prepared, analyzed and interpreted. Therefore, researchers working in this area increasingly need supp… ▽ More Technology is increasingly used in Nature Reserves and National Parks around the world to support conservation efforts. Endangered species, such as the Eurasian Lynx (Lynx lynx), are monitored by a network of automatic photo traps. Yet, this method produces vast amounts of data, which needs to be prepared, analyzed and interpreted. Therefore, researchers working in this area increasingly need support to process this incoming information. One opportunity is to seek support from volunteer Citizen Scientists who can help label the data, however, it is challenging to retain their interest. Another way is to automate the process with image recognition using convolutional neural networks. During the panel, we will discuss considerations related to nature research and conservation as well as opportunities for the use of Citizen Science and Machine Learning to expedite the process of data preparation, labelling and analysis. △ Less

Submitted 5 March, 2024; originally announced March 2024.

Comments: 10 pages, 11 figures, MIDI 2023 conference

Fast and Knowledge-Free Deep Learning for General Game Playing (Student Abstract)

Authors: Michał Maras, Michał Kępa, Jakub Kowalski, Marek Szykuła

Abstract: We develop a method of adapting the AlphaZero model to General Game Playing (GGP) that focuses on faster model generation and requires less knowledge to be extracted from the game rules. The dataset generation uses MCTS playing instead of self-play; only the value network is used, and attention layers replace the convolutional ones. This allows us to abandon any assumptions about the action space… ▽ More We develop a method of adapting the AlphaZero model to General Game Playing (GGP) that focuses on faster model generation and requires less knowledge to be extracted from the game rules. The dataset generation uses MCTS playing instead of self-play; only the value network is used, and attention layers replace the convolutional ones. This allows us to abandon any assumptions about the action space and board topology. We implement the method within the Regular Boardgames GGP system and show that we can build models outperforming the UCT baseline for most games efficiently. △ Less

Submitted 21 December, 2023; originally announced December 2023.

Comments: AAAI-24 Student Abstracts

Squarefree density of polynomials

Authors: J. M. Kowalski, R. C Vaughan

Abstract: This paper is concerned with squarefree values of polynomials and their density in large boxes centered at the origin. This paper is concerned with squarefree values of polynomials and their density in large boxes centered at the origin. △ Less

Submitted 18 September, 2023; originally announced September 2023.

VR Accessibility in Distance Adult Education

Authors: Bartosz Muczyński, Kinga Skorupska, Katarzyna Abramczuk, Cezary Biele, Zbigniew Bohdanowicz, Daniel Cnotkowski, Jazmin Collins, Wiesław Kopeć, Jarosław Kowalski, Grzegorz Pochwatko, Thomas Logan

Abstract: As virtual reality (VR) technology becomes more pervasive, it continues to find multiple new uses beyond research laboratories. One of them is distance adult education -- the potential of VR to provide valuable education experiences is massive, despite the current barriers to its widespread application. Nevertheless, recent trends demonstrate clearly that VR is on the rise in education settings, a… ▽ More As virtual reality (VR) technology becomes more pervasive, it continues to find multiple new uses beyond research laboratories. One of them is distance adult education -- the potential of VR to provide valuable education experiences is massive, despite the current barriers to its widespread application. Nevertheless, recent trends demonstrate clearly that VR is on the rise in education settings, and VR-only courses are becoming more popular across the globe. This trend will continue as more affordable VR solutions are released commercially, increasing the number of education institutions that benefit from the technology. No accessibility guidelines exist at present that are created specifically for the design, development, and use of VR hardware and software in distance education. The purpose of this workshop is to address this niche. It gathers researchers and practitioners who are interested in education and intend to work together to formulate a set of practical guidelines for the use of VR in distance adult education to make it accessible to a wider range of people. △ Less

Submitted 8 September, 2023; originally announced September 2023.

Comments: 7 pages, 1 figure

Pathway: a fast and flexible unified stream data processing framework for analytical and Machine Learning applications

Authors: Michal Bartoszkiewicz, Jan Chorowski, Adrian Kosowski, Jakub Kowalski, Sergey Kulik, Mateusz Lewandowski, Krzysztof Nowicki, Kamil Piechowiak, Olivier Ruas, Zuzanna Stamirowska, Przemyslaw Uznanski

Abstract: We present Pathway, a new unified data processing framework that can run workloads on both bounded and unbounded data streams. The framework was created with the original motivation of resolving challenges faced when analyzing and processing data from the physical economy, including streams of data generated by IoT and enterprise systems. These required rapid reaction while calling for the applica… ▽ More We present Pathway, a new unified data processing framework that can run workloads on both bounded and unbounded data streams. The framework was created with the original motivation of resolving challenges faced when analyzing and processing data from the physical economy, including streams of data generated by IoT and enterprise systems. These required rapid reaction while calling for the application of advanced computation paradigms (machinelearning-powered analytics, contextual analysis, and other elements of complex event processing). Pathway is equipped with a Table API tailored for Python and Python/SQL workflows, and is powered by a distributed incremental dataflow in Rust. We describe the system and present benchmarking results which demonstrate its capabilities in both batch and streaming contexts, where it is able to surpass state-of-the-art industry frameworks in both scenarios. We also discuss streaming use cases handled by Pathway which cannot be easily resolved with state-of-the-art industry frameworks, such as streaming iterative graph algorithms (PageRank, etc.). △ Less

Submitted 12 July, 2023; originally announced July 2023.

Summarizing Strategy Card Game AI Competition

Authors: Jakub Kowalski, Radosław Miernik

Abstract: This paper concludes five years of AI competitions based on Legends of Code and Magic (LOCM), a small Collectible Card Game (CCG), designed with the goal of supporting research and algorithm development. The game was used in a number of events, including Community Contests on the CodinGame platform, and Strategy Card Game AI Competition at the IEEE Congress on Evolutionary Computation and IEEE Con… ▽ More This paper concludes five years of AI competitions based on Legends of Code and Magic (LOCM), a small Collectible Card Game (CCG), designed with the goal of supporting research and algorithm development. The game was used in a number of events, including Community Contests on the CodinGame platform, and Strategy Card Game AI Competition at the IEEE Congress on Evolutionary Computation and IEEE Conference on Games. LOCM has been used in a number of publications related to areas such as game tree search algorithms, neural networks, evaluation functions, and CCG deckbuilding. We present the rules of the game, the history of organized competitions, and a listing of the participant and their approaches, as well as some general advice on organizing AI competitions for the research community. Although the COG 2022 edition was announced to be the last one, the game remains available and can be played using an online leaderboard arena. △ Less

Submitted 7 July, 2023; v1 submitted 19 May, 2023; originally announced May 2023.

Comments: IEEE Conference on Games 2023

How to Organise Engaging Online Conferences and Escape the Zoom Rectangle

Authors: Jarosław Kowalski, Kinga Skorupska, Agata Kopacz, Bartosz Muczyński, Wiesław Kopeć, Zbigniew Bohdanowicz, Gabriela Górska, Cezary Biele

Abstract: As an increasing number of academic conferences transition to the online sphere, new event paradigms must be explored and developed to better utilise the unique multimedia opportunities offered by the virtual world. With this in mind, we conducted in-depth interviews with researchers, performed a SWOT analysis of remote conferences, and developed experimental conference functionalities. We impleme… ▽ More As an increasing number of academic conferences transition to the online sphere, new event paradigms must be explored and developed to better utilise the unique multimedia opportunities offered by the virtual world. With this in mind, we conducted in-depth interviews with researchers, performed a SWOT analysis of remote conferences, and developed experimental conference functionalities. We implemented these during the 9th edition of a two-day international scientific IT conference, which was attended by over 277 participants on the first day and 199 on the second. In this article, we describe how these innovative functionalities met the participants' needs based on qualitative and quantitative data. We present how the experiences of remote and in-person events differ, and offer recommendations on organising remote conferences that encourage participants to exchange knowledge and engage in activities. △ Less

Submitted 16 May, 2023; originally announced May 2023.

Comments: 8 pages, 5 figures, presented at CHI 2023, Case Studies

Selective Population Protocols

Authors: Adam Gańczorz, Leszek Gąsieniec, Tomasz Jurdziński, Jakub Kowalski, Grzegorz Stachowiak

Abstract: The model of population protocols provides a universal platform to study distributed processes driven by pairwise interactions of anonymous agents. While population protocols present an elegant and robust model for randomized distributed computation, their efficiency wanes when tackling issues that require more focused communication or the execution of multiple processes. To address this issue, we… ▽ More The model of population protocols provides a universal platform to study distributed processes driven by pairwise interactions of anonymous agents. While population protocols present an elegant and robust model for randomized distributed computation, their efficiency wanes when tackling issues that require more focused communication or the execution of multiple processes. To address this issue, we propose a new, selective variant of population protocols by introducing a partition of the state space and the corresponding conditional selection of responders. We demonstrate on several examples that the new model offers a natural environment, complete with tools and a high-level description, to facilitate more efficient solutions. In particular, we provide fixed-state stable and efficient solutions to two central problems: leader election and majority computation, both with confirmation. This constitutes a separation result, as achieving stable and efficient majority computation requires $Ω(\log n)$ states in standard population protocols, even when the leader is already determined. Additionally, we explore the computation of the median using the comparison model, where the operational state space of agents is fixed, and the transition function determines the order between (arbitrarily large) hidden keys associated with interacting agents. Our findings reveal that the computation of the median of $n$ numbers requires $Ω(n)$ time. Moreover, we demonstrate that the problem can be solved in $O(n\log n)$ time, both in expectation and with high probability, in standard population protocols. In contrast, we establish that a feasible solution in selective population protocols can be achieved in $O(\log^4 n)$ time. △ Less

Submitted 29 February, 2024; v1 submitted 15 May, 2023; originally announced May 2023.

Introducing Tales of Tribute AI Competition

Authors: Jakub Kowalski, Radosław Miernik, Katarzyna Polak, Dominik Budzki, Damian Kowalik

Abstract: This paper presents a new AI challenge, the Tales of Tribute AI Competition (TOTAIC), based on a two-player deck-building card game released with the High Isle chapter of The Elder Scrolls Online. Currently, there is no other AI competition covering Collectible Card Games (CCG) genre, and there has never been one that targets a deck-building game. Thus, apart from usual CCG-related obstacles to ov… ▽ More This paper presents a new AI challenge, the Tales of Tribute AI Competition (TOTAIC), based on a two-player deck-building card game released with the High Isle chapter of The Elder Scrolls Online. Currently, there is no other AI competition covering Collectible Card Games (CCG) genre, and there has never been one that targets a deck-building game. Thus, apart from usual CCG-related obstacles to overcome, like randomness, hidden information, and large branching factor, the successful approach additionally requires long-term planning and versatility. The game can be tackled with multiple approaches, including classic adversarial search, single-player planning, and Neural Networks-based algorithms. This paper introduces the competition framework, describes the rules of the game, and presents the results of a tournament between sample AI agents. △ Less

Submitted 19 May, 2024; v1 submitted 14 May, 2023; originally announced May 2023.

Comments: Extended version of IEEE Conference on Games 2024 paper

Proof Number Based Monte-Carlo Tree Search

Authors: Jakub Kowalski, Elliot Doe, Mark H. M. Winands, Daniel Górski, Dennis J. N. J. Soemers

Abstract: This paper proposes a new game-search algorithm, PN-MCTS, which combines Monte-Carlo Tree Search (MCTS) and Proof-Number Search (PNS). These two algorithms have been successfully applied for decision making in a range of domains. We define three areas where the additional knowledge provided by the proof and disproof numbers gathered in MCTS trees might be used: final move selection, solving subtre… ▽ More This paper proposes a new game-search algorithm, PN-MCTS, which combines Monte-Carlo Tree Search (MCTS) and Proof-Number Search (PNS). These two algorithms have been successfully applied for decision making in a range of domains. We define three areas where the additional knowledge provided by the proof and disproof numbers gathered in MCTS trees might be used: final move selection, solving subtrees, and the UCB1 selection mechanism. We test all possible combinations on different time settings, playing against vanilla UCT on several games: Lines of Action ($7$$\times$$7$ and $8$$\times$$8$ board sizes), MiniShogi, Knightthrough, and Awari. Furthermore, we extend this new algorithm to properly address games with draws, like Awari, by adding an additional layer of PNS on top of the MCTS tree. The experiments show that PN-MCTS is able to outperform MCTS in all tested game domains, achieving win rates up to 96.2% for Lines of Action. △ Less

Submitted 29 May, 2024; v1 submitted 16 March, 2023; originally announced March 2023.

Comments: Extended version of IEEE Transactions on Games 2024 article (which is a journal version of IEEE CoG 2022 paper available at arXiv:2206.03965)

A scale-coupled numerical method for transient close-contact melting

Authors: Leonardo Boledi, Fabian Key, Benjamin Terschanski, Stefanie Elgeti, Julia Kowalski

Abstract: We introduce a numerical workflow to model and simulate transient close-contact melting processes based on the space-time finite element method. That is, we aim at computing the velocity at which a forced heat source melts through a phase-change material. Existing approaches found in the literature consider a thermo-mechanical equilibrium in the contact melt film, which results in a constant melti… ▽ More We introduce a numerical workflow to model and simulate transient close-contact melting processes based on the space-time finite element method. That is, we aim at computing the velocity at which a forced heat source melts through a phase-change material. Existing approaches found in the literature consider a thermo-mechanical equilibrium in the contact melt film, which results in a constant melting velocity of the heat source. This classical approach, however, cannot account for transient effects in which the melting velocity adjusts itself to equilibrium conditions. With our contribution, we derive a model for the transient melting process of a planar heat source. We iteratively cycle between solving for the heat equation in the solid material and updating the melting velocity. The latter is computed based on the heat flux in the vicinity of the heat source. The motion of the heated body is simulated via the moving mesh strategy referred to as the Virtual Region Shear-Slip Mesh Update Method, which avoids remeshing and is particularly efficient in representing unidirectional movement. We show numerical examples to validate our methodology and present two application scenarios, a 2D planar thermal melting probe and a 2D hot-wire cutting machine. △ Less

Submitted 2 November, 2022; originally announced November 2022.

Develo** a Successful Bomberman Agent

Authors: Dominik Kowalczyk, Jakub Kowalski, Hubert Obrzut, Michał Maras, Szymon Kosakowski, Radosław Miernik

Abstract: In this paper, we study AI approaches to successfully play a 2-4 players, full information, Bomberman variant published on the CodinGame platform. We compare the behavior of three search algorithms: Monte Carlo Tree Search, Rolling Horizon Evolution, and Beam Search. We present various enhancements leading to improve the agents' strength that concern search, opponent prediction, game state evaluat… ▽ More In this paper, we study AI approaches to successfully play a 2-4 players, full information, Bomberman variant published on the CodinGame platform. We compare the behavior of three search algorithms: Monte Carlo Tree Search, Rolling Horizon Evolution, and Beam Search. We present various enhancements leading to improve the agents' strength that concern search, opponent prediction, game state evaluation, and game engine encoding. Our top agent variant is based on a Beam Search with low-level bit-based state representation and evaluation function heavy relying on pruning unpromising states based on simulation-based estimation of survival. It reached the top one position among the 2,300 AI agents submitted on the CodinGame arena. △ Less

Submitted 17 March, 2022; originally announced March 2022.

Comments: International Conference on Agents and Artificial Intelligence 2022

Topological Lifshitz transition in Weyl semimetal NbP decorated with heavy elements

Authors: Ashutosh S Wadge, Bogdan J Kowalski, Carmine Autieri, Przemysław Iwanowski, Andrzej Hruban, Natalia Olszowska, Marcin Rosmus, Jacek Kołodziej, Andrzej Wiśniewski

Abstract: Studies of the Fermi surface modification after in-situ covering NbP semimetal with heavy elements Pb and Nb ultrathin layers were performed by means of angle-resolved photoemission spectroscopy (ARPES). First, the electronic structure was investigated for pristine single crystals with two possible terminations (P and Nb) of the (0 0 1) surface. The nature of the electronic states of these two cle… ▽ More Studies of the Fermi surface modification after in-situ covering NbP semimetal with heavy elements Pb and Nb ultrathin layers were performed by means of angle-resolved photoemission spectroscopy (ARPES). First, the electronic structure was investigated for pristine single crystals with two possible terminations (P and Nb) of the (0 0 1) surface. The nature of the electronic states of these two cleaving planes is different: P-terminated surface shows spoon and bow tie shaped fingerprints, whereas these shapes are not present in Nb-terminated surfaces. ARPES studies show that even 1 monolayer (ML) of Pb causes topological quantum Lifshitz transition (TQLT) in P- and Nb-terminated surfaces. Deposited Pb 5d electrons have wide extended atomic orbitals which leads to strong hybridization with Pb-terminated surface and a corresponding shift in the Fermi energy. Nb has less capability to perturb the system than Pb because Nb has weaker spin-orbit coupling than Pb. Nb-terminated surface subjected to surface decoration with approximately 1.3 ML of Nb shows no dramatic modification in the Fermi surface. In the case of Nb decorated P-terminated surface, deposition of approximately 1 ML modifies the electronic structure of NbP and it is on the verge of TQLT. Despite the strong spin-orbit and strong hybridization of the heavy elements on the surface, it is possible to observe the TQLT of the surface states thanks to the robustness of the bulk topology. △ Less

Submitted 4 July, 2022; v1 submitted 12 February, 2022; originally announced February 2022.

Comments: 9 Pages, 8 Figures

Split Moves for Monte-Carlo Tree Search

Authors: Jakub Kowalski, Maksymilian Mika, Wojciech Pawlik, Jakub Sutowicz, Marek Szykuła, Mark H. M. Winands

Abstract: In many games, moves consist of several decisions made by the player. These decisions can be viewed as separate moves, which is already a common practice in multi-action games for efficiency reasons. Such division of a player move into a sequence of simpler / lower level moves is called \emph{splitting}. So far, split moves have been applied only in forementioned straightforward cases, and further… ▽ More In many games, moves consist of several decisions made by the player. These decisions can be viewed as separate moves, which is already a common practice in multi-action games for efficiency reasons. Such division of a player move into a sequence of simpler / lower level moves is called \emph{splitting}. So far, split moves have been applied only in forementioned straightforward cases, and furthermore, there was almost no study revealing its impact on agents' playing strength. Taking the knowledge-free perspective, we aim to answer how to effectively use split moves within Monte-Carlo Tree Search (MCTS) and what is the practical impact of split design on agents' strength. This paper proposes a generalization of MCTS that works with arbitrarily split moves. We design several variations of the algorithm and try to measure the impact of split moves separately on efficiency, quality of MCTS, simulations, and action-based heuristics. The tests are carried out on a set of board games and performed using the Regular Boardgames General Game Playing formalism, where split strategies of different granularity can be automatically derived based on an abstract description of the game. The results give an overview of the behavior of agents using split design in different ways. We conclude that split design can be greatly beneficial for single- as well as multi-action games. △ Less

Submitted 14 December, 2021; originally announced December 2021.

Comments: AAAI 2022

Near-infrared emission from spatially indirect excitons in type II ZnTe/CdSe/(Zn,Mg)Te core/double-shell nanowires

Authors: Piotr Wojnar, Jakub Plachta, Anna Reszka, Jonas Lahnemann, Anna Kaleta, Slawomir Kret, Piotr Baranowski, Maciej Wojcik, Bogdan J. Kowalski, Lech T. Baczewski, Grzegorz Karczewski, Tomasz Wojtowicz

Abstract: ZnTe/CdSe/(Zn,Mg)Te core/double-shell nanowires are grown by molecular beam epitaxy by employing the vapor-liquid-solid growth mechanism assisted with gold catalysts. A photoluminescence study of these structures reveals the presence of an optical emission in the near infrared. We assign this emission to the spatially indirect exciton recombination at the ZnTe/CdSe type II interface. This conclusi… ▽ More ZnTe/CdSe/(Zn,Mg)Te core/double-shell nanowires are grown by molecular beam epitaxy by employing the vapor-liquid-solid growth mechanism assisted with gold catalysts. A photoluminescence study of these structures reveals the presence of an optical emission in the near infrared. We assign this emission to the spatially indirect exciton recombination at the ZnTe/CdSe type II interface. This conclusion is confirmed by the observation of a significant blue-shift of the emission energy with an increasing excitation fluence induced by the electron-hole separation at the interface. Cathodoluminescence measurements reveal that the optical emission in the near infrared originates from nanowires and not from two dimensional residual deposits between them. Moreover, it is demonstrated that the emission energy in the near infrared depends on the average CdSe shell thickness and the average Mg concentration within the (Zn,Mg)Te shell. The main mechanism responsible for these changes is associated with the strain induced by the (Zn,Mg)Te shell in the entire core/shell nanowire heterostructure. △ Less

Submitted 1 September, 2021; originally announced September 2021.

Comments: 7 pages

Journal ref: Nanotechnology 32, 495202 (2021)

Systemic Consequences of Disorder in Magnetically Self-Organized Topological MnBi$_{2}$Te$_{4}/$(Bi$_{2}$Te$_{3}$)$_{n}$ Superlattices

Authors: Joanna Sitnicka, Kyungwha Park, Paweł Skupiński, Krzysztof Grasza, Anna Reszka, Kamil Sobczak, Jolanta Borysiuk, Zbigniew Adamus, Mateusz Tokarczyk, Andrei Avdonin, Irina Fedorchenko, Irina Abaloszewa, Sylwia Turczyniak-Surdacka, Natalia Olszowska, Jacek Kolodziej, Bogdan J. Kowalski, Haiming Deng, Marcin Konczykowski, Lia Krusin-Elbaum, Agnieszka Wolos

Abstract: MnBi$_{2}$Te$_{4}/$(Bi$_{2}$Te$_{3}$)$_{n}$ materials system has recently generated strong interest as a natural platform for realization of the quantum anomalous Hall (QAH) state. The system is magnetically much better ordered than substitutionally doped materials, however, the detrimental effects of certain disorders are becoming increasingly acknowledged. Here, from compiling structural, compos… ▽ More MnBi$_{2}$Te$_{4}/$(Bi$_{2}$Te$_{3}$)$_{n}$ materials system has recently generated strong interest as a natural platform for realization of the quantum anomalous Hall (QAH) state. The system is magnetically much better ordered than substitutionally doped materials, however, the detrimental effects of certain disorders are becoming increasingly acknowledged. Here, from compiling structural, compositional, and magnetic metrics of disorder in ferromagnetic MnBi$_{2}$Te$_{4}/$(Bi$_{2}$Te$_{3}$)$_{n}$ it is found that migration of Mn between MnBi$_{2}$T$e_{4}$ septuple layers (SLs) and otherwise non-magnetic Bi$_{2}$Te$_{3}$ quintuple layers (QLs) has systemic consequences - it induces ferromagnetic coupling of Mn-depleted SLs with Mn-doped QLs, seen in ferromagnetic resonance as an acoustic and optical resonance mode of the two coupled spin subsystems. Even for a large SL separation (n $\gtrsim$ 4 QLs) the structure cannot be considered as a stack of uncoupled two-dimensional layers. Angle-resolved photoemission spectroscopy and density functional theory studies show that Mn disorder within an SL causes delocalization of electron wavefunctions and a change of the surface bandstructure as compared to the ideal MnBi$_{2}$Te$_{4}/$(Bi$_{2}$Te$_{3}$)$_{n}$. These findings highlight the critical importance of inter- and intra-SL disorder towards achieving new QAH platforms as well as exploring novel axion physics in intrinsic topological magnets. △ Less

Submitted 9 September, 2021; v1 submitted 31 August, 2021; originally announced September 2021.

Comments: 16 pages, 5 figures, corrected typos, corrected references to figures for section 5

MSC Class: 00A79 ACM Class: J.2

Journal ref: 2D Materials 9, 015026 (2022)

Electronic properties of TaAs2 topological semimetal investigated by transport and ARPES

Authors: A. S. Wadge, G. Grabecki, C. Autieri, B. J. Kowalski, P. Iwanowski, G. Cuono, M. F. Islam, C. M. Canali, K. Dybko, A. Hruban, A. Łusakowski, T. Wojciechowski, R. Diduszko, A. Lynnyk, N. Olszowska, M. Rosmus, J. Kołodziej, A. Wiśniewski

Abstract: We have performed electron transport and ARPES measurements on single crystals of transition metal dipnictide TaAs2 cleaved along the ($\overline{2}$ 0 1) surface which has the lowest cleavage energy. A Fourier transform of the Shubnikov-de Haas oscillations shows four different peaks whose angular dependence was studied with respect to the angle between the magnetic field and the [$\overline{2}$… ▽ More We have performed electron transport and ARPES measurements on single crystals of transition metal dipnictide TaAs2 cleaved along the ($\overline{2}$ 0 1) surface which has the lowest cleavage energy. A Fourier transform of the Shubnikov-de Haas oscillations shows four different peaks whose angular dependence was studied with respect to the angle between the magnetic field and the [$\overline{2}$ 0 1] direction. The results indicate the elliptical shape of the Fermi surface cross-sections. Additionally, a mobility spectrum analysis was carried out, which also reveals at least four types of carriers contributing to the conductance (two kinds of electrons and two kinds of holes). ARPES spectra were taken on freshly cleaved ($\overline{2}$ 0 1) surface and it was found that bulk states pockets at the constant energy surface are elliptical, which confirms the magnetotransport angle dependent studies. First-principles calculations support the interpretation of the experimental results. The theoretical calculations better reproduce the ARPES data if the theoretical Fermi level is increased, which is due to a small n-do** of the samples. This shifts the Fermi level closer to the Dirac point, allowing to investigate the physics of the Dirac and Weyl points, making this compound a platform for the investigation of the Dirac and Weyl points in three-dimensional materials. △ Less

Submitted 10 January, 2022; v1 submitted 9 August, 2021; originally announced August 2021.

Comments: 12 pages, 13 figures

Journal ref: J. Phys.: Condens. Matter, 34, 2022,125601

A level-set based space-time finite element approach to the modelling of solidification and melting processes

Authors: Leonardo Boledi, Benjamin Terschanski, Stefanie Elgeti, Julia Kowalski

Abstract: We present a strategy for the numerical solution of convection-coupled phase-transition problems, with focus on solidification and melting. We solve for the temperature and flow fields over time. The position of the phase-change interface is tracked with a level-set method, which requires knowledge of the heat-flux discontinuity at the interface. In order to compute the heat-flux jump, we build up… ▽ More We present a strategy for the numerical solution of convection-coupled phase-transition problems, with focus on solidification and melting. We solve for the temperature and flow fields over time. The position of the phase-change interface is tracked with a level-set method, which requires knowledge of the heat-flux discontinuity at the interface. In order to compute the heat-flux jump, we build upon the ghost-cell approach and extend it to the space-time finite element method. This technique does not require a local enrichment of the basis functions, such as methods like extended finite elements, and it can be easily implemented in already existing finite element codes. Verification cases for the 1D Stefan problem and the lid-driven cavity melting problem are provided. Furthermore, we show a more elaborate 2D case in view of complex applications. △ Less

Submitted 7 May, 2021; originally announced May 2021.

Evolving Evaluation Functions for Collectible Card Game AI

Authors: Radosław Miernik, Jakub Kowalski

Abstract: In this work, we presented a study regarding two important aspects of evolving feature-based game evaluation functions: the choice of genome representation and the choice of opponent used to test the model. We compared three representations. One simpler and more limited, based on a vector of weights that are used in a linear combination of predefined game features. And two more complex, based on b… ▽ More In this work, we presented a study regarding two important aspects of evolving feature-based game evaluation functions: the choice of genome representation and the choice of opponent used to test the model. We compared three representations. One simpler and more limited, based on a vector of weights that are used in a linear combination of predefined game features. And two more complex, based on binary and n-ary trees. On top of this test, we also investigated the influence of fitness defined as a simulation-based function that: plays against a fixed weak opponent, plays against a fixed strong opponent, and plays against the best individual from the previous population. For a testbed, we have chosen a recently popular domain of digital collectible card games. We encoded our experiments in a programming game, Legends of Code and Magic, used in Strategy Card Game AI Competition. However, as the problems stated are of general nature we are convinced that our observations are applicable in the other domains as well. △ Less

Submitted 3 May, 2021; originally announced May 2021.

Older Adults and Brain-Computer Interface: An Exploratory Study

Authors: Wiesław Kopeć, Jarosław Kowalski, Julia Paluch, Anna Jaskulska, Kinga Skorupska, Marcin Niewiński, Maciej Krzywicki, Cezary Biele

Abstract: In this exploratory study, we examine the possibilities of non-invasive Brain-Computer Interface (BCI) in the context of Smart Home Technology (SHT) targeted at older adults. During two workshops, one stationary, and one online via Zoom, we researched the insights of the end users concerning the potential of the BCI in the SHT setting. We explored its advantages and drawbacks, and the features old… ▽ More In this exploratory study, we examine the possibilities of non-invasive Brain-Computer Interface (BCI) in the context of Smart Home Technology (SHT) targeted at older adults. During two workshops, one stationary, and one online via Zoom, we researched the insights of the end users concerning the potential of the BCI in the SHT setting. We explored its advantages and drawbacks, and the features older adults see as vital as well as the ones that they would benefit from. Apart from evaluating the participants' perception of such devices during the two workshops we also analyzed some key considerations resulting from the insights gathered during the workshops, such as potential barriers, ways to mitigate them, strengths and opportunities connected to BCI. These may be useful for designing BCI interaction paradigms and pinpointing areas of interest to pursue in further studies. △ Less

Submitted 5 April, 2021; originally announced April 2021.

ACM Class: H.5.2; H.5.3; H.5.m

Exploration of Voice User Interfaces for Older Adults - A Pilot Study to Address Progressive Vision Loss

Authors: Anna Jaskulska, Kinga Skorupska, Barbara Karpowicz, Cezary Biele, Jarosław Kowalski, Wiesław Kopeć

Abstract: Voice User Interfaces (VUIs) owing to recent developments in Artificial Intelligence (AI) and Natural Language Processing (NLP), are becoming increasingly intuitive and functional. They are especially promising for older adults, also with special needs, as VUIs remove some barriers related to access to Information and Communications Technology (ICT) solutions. In this pilot study we examine interd… ▽ More Voice User Interfaces (VUIs) owing to recent developments in Artificial Intelligence (AI) and Natural Language Processing (NLP), are becoming increasingly intuitive and functional. They are especially promising for older adults, also with special needs, as VUIs remove some barriers related to access to Information and Communications Technology (ICT) solutions. In this pilot study we examine interdisciplinary opportunities in the area of VUIs as assistive technologies, based on an exploratory study with older adults, and a follow-up in-depth pilot study with two participants regarding the needs of people who are gradually losing their sight at a later age. △ Less

Submitted 31 December, 2020; originally announced December 2020.

ACM Class: H.5.2; H.5.m

Emulator-based global sensitivity analysis for flow-like landslide run-out models

Authors: Hu Zhao, Florian Amann, Julia Kowalski

Abstract: Landslide run-out modeling involves various uncertainties originating from model input data. It is therefore desirable to assess the model's sensitivity. A global sensitivity analysis that is capable of exploring the entire input space and accounts for all interactions, often remains limited due to computational challenges resulting from a large number of necessary model runs. We address this rese… ▽ More Landslide run-out modeling involves various uncertainties originating from model input data. It is therefore desirable to assess the model's sensitivity. A global sensitivity analysis that is capable of exploring the entire input space and accounts for all interactions, often remains limited due to computational challenges resulting from a large number of necessary model runs. We address this research gap by integrating Gaussian process emulation into landslide run-out modeling and apply it to the open-source simulation tool r.avaflow. The feasibility and efficiency of our approach is illustrated based on the 2017 Bondo landslide event. The sensitivity of aggregated model outputs, such as the apparent friction angle, impact area, as well as spatially resolved maximum flow height and velocity, to the dry-Coulomb friction coefficient, turbulent friction coefficient and the release volume are studied. The results of first-order effects are consistent with previous results of common one-at-a-time sensitivity analyses. In addition to that, our approach allows to rigorously investigate interactions. Strong interactions are detected on the margins of the flow path where the expectation and variation of maximum flow height and velocity are small. The interactions generally become weak with increasing variation of maximum flow height and velocity. Besides, there are stronger interactions between the two friction coefficients than between the release volume and each friction coefficient. In the future, it is promising to extend the approach for other computationally expensive tasks like uncertainty quantification, model calibration, and smart early warning. △ Less

Submitted 8 October, 2020; originally announced October 2020.

Efficient Reasoning in Regular Boardgames

Authors: Jakub Kowalski, Radosław Miernik, Maksymilian Mika, Wojciech Pawlik, Jakub Sutowicz, Marek Szykuła, Andrzej Tkaczyk

Abstract: We present the technical side of reasoning in Regular Boardgames (RBG) language -- a universal General Game Playing (GGP) formalism for the class of finite deterministic games with perfect information, encoding rules in the form of regular expressions. RBG serves as a research tool that aims to aid in the development of generalized algorithms for knowledge inference, analysis, generation, learning… ▽ More We present the technical side of reasoning in Regular Boardgames (RBG) language -- a universal General Game Playing (GGP) formalism for the class of finite deterministic games with perfect information, encoding rules in the form of regular expressions. RBG serves as a research tool that aims to aid in the development of generalized algorithms for knowledge inference, analysis, generation, learning, and playing games. In all these tasks, both generality and efficiency are important. In the first part, this paper describes optimizations used by the RBG compiler. The impact of these optimizations ranges from 1.7 to even 33-fold efficiency improvement when measuring the number of possible game playouts per second. Then, we perform an in-depth efficiency comparison with three other modern GGP systems (GDL, Ludii, Ai Ai). We also include our own highly optimized game-specific reasoners to provide a point of reference of the maximum speed. Our experiments show that RBG is currently the fastest among the abstract general game playing languages, and its efficiency can be competitive to common interface-based systems that rely on handcrafted game-specific implementations. Finally, we discuss some issues and methodology of computing benchmarks like this. △ Less

Submitted 15 June, 2020; originally announced June 2020.

Comments: IEEE Conference on Games 2020

Experimental Studies in General Game Playing: An Experience Report

Authors: Jakub Kowalski, Marek Szykuła

Abstract: We describe nearly fifteen years of General Game Playing experimental research history in the context of reproducibility and fairness of comparisons between various GGP agents and systems designed to play games described by different formalisms. We think our survey may provide an interesting perspective of how chaotic methods were allowed when nothing better was possible. Finally, from our experie… ▽ More We describe nearly fifteen years of General Game Playing experimental research history in the context of reproducibility and fairness of comparisons between various GGP agents and systems designed to play games described by different formalisms. We think our survey may provide an interesting perspective of how chaotic methods were allowed when nothing better was possible. Finally, from our experience-based view, we would like to propose a few recommendations of how such specific heterogeneous branch of research should be handled appropriately in the future. The goal of this note is to point out common difficulties and problems in the experimental research in the area. We hope that our recommendations will help in avoiding them in future works and allow more fair and reproducible comparisons. △ Less

Submitted 6 March, 2020; originally announced March 2020.

Journal ref: The AAAI 2020 Workshop on Reproducible AI - RAI2020

Evolutionary Approach to Collectible Card Game Arena Deckbuilding using Active Genes

Authors: Jakub Kowalski, Radosław Miernik

Abstract: In this paper, we evolve a card-choice strategy for the arena mode of Legends of Code and Magic, a programming game inspired by popular collectible card games like Hearthstone or TES: Legends. In the arena game mode, before each match, a player has to construct his deck choosing cards one by one from the previously unknown options. Such a scenario is difficult from the optimization point of view,… ▽ More In this paper, we evolve a card-choice strategy for the arena mode of Legends of Code and Magic, a programming game inspired by popular collectible card games like Hearthstone or TES: Legends. In the arena game mode, before each match, a player has to construct his deck choosing cards one by one from the previously unknown options. Such a scenario is difficult from the optimization point of view, as not only the fitness function is non-deterministic, but its value, even for a given problem instance, is impossible to be calculated directly and can only be estimated with simulation-based approaches. We propose a variant of the evolutionary algorithm that uses a concept of an active gene to reduce the range of the operators only to generation-specific subsequences of the genotype. Thus, we batched learning process and constrained evolutionary updates only to the cards relevant for the particular draft, without forgetting the knowledge from the previous tests. We developed and tested various implementations of this idea, investigating their performance by taking into account the computational cost of each variant. Performed experiments show that some of the introduced active-genes algorithms tend to learn faster and produce statistically better draft policies than the compared methods. △ Less

Submitted 13 May, 2020; v1 submitted 5 January, 2020; originally announced January 2020.

Comments: Accepted to IEEE Congress on Evolutionary Computation 2020

VR with Older Adults: Participatory Design of a Virtual ATM Training Simulation

Authors: Wiesław Kopeć, Marcin Wichrowski, Krzysztof Kalinowski, Anna Jaskulska, Kinga Skorupska, Daniel Cnotkowski, Jakub Tyszka, Agata Popieluch, Anna Voitenkova, Rafał Masłyk, Piotr Gago, Maciej Krzywicki, Monika Kornacka, Cezary Biele, Paweł Kobyliński, Jarosław Kowalski, Katarzyna Abramczuk, Aldona Zdrodowska, Grzegorz Pochwatko, Jakub Możaryn, Krzysztof Marasek

Abstract: In this paper we report on a study conducted with a group of older adults in which they engaged in participatory design workshops to create a VR ATM training simulation. Based on observation, recordings and the developed VR application we present the results of the workshops and offer considerations and recommendations for organizing opportunities for end users, in this case older adults, to direc… ▽ More In this paper we report on a study conducted with a group of older adults in which they engaged in participatory design workshops to create a VR ATM training simulation. Based on observation, recordings and the developed VR application we present the results of the workshops and offer considerations and recommendations for organizing opportunities for end users, in this case older adults, to directly engage in co-creation of cutting-edge ICT solutions. These include co-designing interfaces and interaction schemes for emerging technologies like VR and AR. We discuss such aspects as user engagement and hardware and software tools suitable for participatory prototy** of VR applications. Finally, we present ideas for further research in the area of VR participatory prototy** with users of various proficiency levels, taking steps towards develo** a unified framework for co-design in AR and VR. △ Less

Submitted 1 November, 2019; originally announced November 2019.

ACM Class: H.5; D.2.m; H.5.2

Topographic uncertainty quantification for flow-like landslide models via stochastic simulations

Authors: Hu Zhao, Julia Kowalski

Abstract: Topography representing digital elevation models (DEMs) are essential inputs for computational models capable of simulating the run-out of flow-like landslides. Yet, DEMs are often subject to error, a fact that is mostly overlooked in landslide modeling. We address this research gap and investigate the impact of topographic uncertainty on landslide-run-out models. In particular, we will describe t… ▽ More Topography representing digital elevation models (DEMs) are essential inputs for computational models capable of simulating the run-out of flow-like landslides. Yet, DEMs are often subject to error, a fact that is mostly overlooked in landslide modeling. We address this research gap and investigate the impact of topographic uncertainty on landslide-run-out models. In particular, we will describe two different approaches to account for DEM uncertainty, namely unconditional and conditional stochastic simulation methods. We investigate and discuss their feasibility, as well as whether DEM uncertainty represented by stochastic simulations critically affects landslide run-out simulations. Based upon a historic flow-like landslide event in Hong Kong, we present a series of computational scenarios to compare both methods using our modular Python-based workflow. Our results show that DEM uncertainty can significantly affect simulation-based landslide run-out analyses, depending on how well the underlying flow path is captured by the DEM, as well as further topographic characteristics and the DEM error's variability. We further find that in the absence of systematic bias in the DEM, a performant root mean square error based unconditional stochastic simulation yields similar results than a computationally intensive conditional stochastic simulation that takes actual DEM error values at reference locations into account. In all other cases the unconditional stochastic simulation overestimates the variability of the DEM error, which leads to an increase of the potential hazard area as well as extreme values of dynamic flow properties. △ Less

Submitted 9 October, 2019; originally announced October 2019.

A note on the empirical comparison of RBG and Ludii

Authors: Jakub Kowalski, Maksymilian Mika, Jakub Sutowicz, Marek Szykuła

Abstract: We present an experimental comparison of the efficiency of three General Game Playing systems in their current versions: Regular Boardgames (RBG 1.0), Ludii~0.3.0, and a Game Description Language (GDL) propnet. We show that in general, RBG is currently the fastest GGP system. For example, for chess, we demonstrate that RBG is about 37 times faster than Ludii, and Ludii is about 3 times slower than… ▽ More We present an experimental comparison of the efficiency of three General Game Playing systems in their current versions: Regular Boardgames (RBG 1.0), Ludii~0.3.0, and a Game Description Language (GDL) propnet. We show that in general, RBG is currently the fastest GGP system. For example, for chess, we demonstrate that RBG is about 37 times faster than Ludii, and Ludii is about 3 times slower than a GDL propnet. Referring to the recent comparison [An Empirical Evaluation of Two General Game Systems: Ludii and RBG, CoG 2019], we show evidences that the benchmark presented there contains a number of significant flaws that lead to wrong conclusions. △ Less

Submitted 4 October, 2019; v1 submitted 1 October, 2019; originally announced October 2019.

Conductance spectra of (Nb, Pb, In)/NbP -- superconductor/Weyl semimetal junctions

Authors: G. Grabecki, A. Dąbrowski, P. Iwanowski, A. Hruban, B. J. Kowalski, N. Olszowska, J. Kołodziej, M. Chojnacki, K. Dybko, A. Łusakowski, T. Wojtowicz, T. Wojciechowski, R. Jakieła, A. Wiśniewski

Abstract: The possibility of inducing superconductivity in type-I Weyl semimetal through coupling its surface to a superconductor was investigated. A single crystal of NbP, grown by chemical vapor transport method, was carefully characterized by XRD, EDX, SEM, ARPES techniques and by electron transport measurements. The mobility spectrum of the carriers was determined. For the studies of interface transmiss… ▽ More The possibility of inducing superconductivity in type-I Weyl semimetal through coupling its surface to a superconductor was investigated. A single crystal of NbP, grown by chemical vapor transport method, was carefully characterized by XRD, EDX, SEM, ARPES techniques and by electron transport measurements. The mobility spectrum of the carriers was determined. For the studies of interface transmission, the (001) surface of the crystal was covered by several hundred nm thick metallic layers of either Pb, or Nb, or In. DC current-voltage characteristics and AC differential conductance through the interfaces as a function of the DC bias were investigated. When the metals become superconducting, all three types of junctions show conductance increase, pointing out the Andreev reflection as a prevalent contribution to the subgap conductance. In the case of Pb-NbP and Nb-NbP junctions, the effect is satisfactorily described by modified Blonder-Tinkham-Klapwijk model. The absolute value of the conductance is much smaller than that for the bulk crystal, indicating that the transmission occurs through only a small part of the contact area. An opposite situation occurs in In-NbP junction, where the conductance at the peak reaches the bulk value indicating that almost whole contact area is transmitting and, additionally, a superconducting proximity phase is formed in the material. We interpret this as a result of indium diffusion into NbP, where the metal atoms penetrate the surface barrier and form very transparent superconductor-Weyl semimetal contact inside. However, further diffusion occurring already at room temperature leads to degradation of the effect, so it is observed only in the pristine structures. Despite of this, our observation directly demonstrates possibility of inducing superconductivity in a type-I Weyl semimetal. △ Less

Submitted 20 January, 2020; v1 submitted 20 August, 2019; originally announced August 2019.

Comments: Accepted for Phys. Rev. B. 13 pages, 12 figures. Second version with major revisions. The title was changed. One author R. Jakiela added. New inset to Fig. 8(A). New fits in Fig. 8 (B) and Fig. 10 (B). Added figures 12 (C)-(E). Added Fig. 12 (F) with SIMS data. Rewritten chapters III-C-2 and III-C-3. Reference no. 38 removed, 11 new references: 9, 21, 22, 40-44, 46-49 were added

Journal ref: Phys. Rev. B 101, 085113 (2020)

Mixed finite elements for convection-coupled phase-change in enthalpy form: Open software verified and applied to 2D benchmarks

Authors: Alexander Gary Zimmerman, Julia Kowalski

Abstract: Melting and solidification processes are often affected by natural convection of the liquid, posing a multi-physics problem involving fluid flow, convective and diffusive heat transfer, and phase-change reactions. Enthalpy methods formulate this convection-coupled phase-change problem on a single computational domain. The governing equations can be solved accurately with a monolithic approach usin… ▽ More Melting and solidification processes are often affected by natural convection of the liquid, posing a multi-physics problem involving fluid flow, convective and diffusive heat transfer, and phase-change reactions. Enthalpy methods formulate this convection-coupled phase-change problem on a single computational domain. The governing equations can be solved accurately with a monolithic approach using mixed finite elements and Newton's method. Previously, the monolithic approach has relied on adaptive mesh refinement to regularize local nonlinearities at phase interfaces. This contribution instead separates mesh refinement from nonlinear problem regularization and provides a continuation procedure which robustly obtains accurate solutions on the tested 2D uniform meshes. A flexible and extensible open source implementation is provided. The code is formally verified to accurately solve the governing equations in time and in 2D space, and convergence rates are shown. Two benchmark simulations are presented in detail with comparison to experimental data sets and corresponding results from the literature, one for the melting of octadecane and another for the freezing of water. Sensitivities to key numerical parameters are presented. For the case of freezing water, effective reduction of numerical errors from these key parameters is successfully demonstrated. Two more simulations are briefly presented, one for melting at a higher Rayleigh number and one for melting gallium. △ Less

Submitted 7 September, 2020; v1 submitted 8 July, 2019; originally announced July 2019.

Comments: 40 pages, 13 figures

Older Adults and Voice Interaction: A Pilot Study with Google Home

Authors: Jarosław Kowalski, Anna Jaskulska, Kinga Skorupska, Katarzyna Abramczuk, Cezary Biele, Wiesław Kopeć, Krzysztof Marasek

Abstract: In this paper we present the results of an exploratory study examining the potential of voice assistants (VA) for some groups of older adults in the context of Smart Home Technology (SHT). To research the aspect of older adults' interaction with voice user interfaces (VUI) we organized two workshops and gathered insights concerning possible benefits and barriers to the use of VA combined with SHT… ▽ More In this paper we present the results of an exploratory study examining the potential of voice assistants (VA) for some groups of older adults in the context of Smart Home Technology (SHT). To research the aspect of older adults' interaction with voice user interfaces (VUI) we organized two workshops and gathered insights concerning possible benefits and barriers to the use of VA combined with SHT by older adults. Apart from evaluating the participants' interaction with the devices during the two workshops we also discuss some improvements to the VA interaction paradigm. △ Less

Submitted 17 March, 2019; originally announced March 2019.

Upward-Pointing Cosmic-Ray-like Events Observed with ANITA

Authors: Andres Romero-Wolf, P. W. Gorham, J. Nam, S. Hoover, P. Allison, O. Banerjee, L. Batten, J. J. Beatty, K. Belov, D. Z. Besson, W. R. Binns, V. Bugaev, P. Cao, C. Chen, P. Chen, J. M. Clem, A. Connolly, B. Dailey, C. Deaconu, L. Cremonesi, P. F. Dowkontt, M. A. DuVernois, R. C. Field, B. D. Fox, D. Goldstein , et al. (51 additional authors not shown)

Abstract: These proceedings address a recent publication by the ANITA collaboration of four upward- pointing cosmic-ray-like events observed in the first flight of ANITA. Three of these events were consistent with stratospheric cosmic-ray air showers where the axis of propagation does not inter- sect the surface of the Earth. The fourth event was consistent with a primary particle that emerges from the surf… ▽ More These proceedings address a recent publication by the ANITA collaboration of four upward- pointing cosmic-ray-like events observed in the first flight of ANITA. Three of these events were consistent with stratospheric cosmic-ray air showers where the axis of propagation does not inter- sect the surface of the Earth. The fourth event was consistent with a primary particle that emerges from the surface of the ice suggesting a possible τ-lepton decay as the origin of this event. These proceedings follow-up on the modeling and testing of the hypothesis that this event was of τ neutrino origin. △ Less

Submitted 30 September, 2018; originally announced October 2018.

Comments: 8 pages, 3 figures, presented at the International Cosmic Ray Conference 2017, Busan, South Korea

VIPER - Student research on extraterrestrial ice penetration technology

Authors: F. Baader, M. Reiswich, M. Bartsch, D. Keller, E. Tiede, G. Keck, A. Demircian, M. Friedrich, B. Dachwald, K. Schüller, R. Lehmann, R. Chojetzki, C. Durand, L. Rapp, J. Kowalski, R. Förstner

Abstract: Recent analysis of scientific data from Cassini and earth-based observations gave evidence for a global ocean under a surrounding solid ice shell on Saturn's moon Enceladus. Images of Enceladus' South Pole showed several fissures in the ice shell with plumes constantly exhausting frozen water particles, building up the E-Ring, one of the outer rings of Saturn. In this southern region of Enceladus,… ▽ More Recent analysis of scientific data from Cassini and earth-based observations gave evidence for a global ocean under a surrounding solid ice shell on Saturn's moon Enceladus. Images of Enceladus' South Pole showed several fissures in the ice shell with plumes constantly exhausting frozen water particles, building up the E-Ring, one of the outer rings of Saturn. In this southern region of Enceladus, the ice shell is considered to be as thin as 2 km, about an order of magnitude thinner than on the rest of the moon. Under the ice shell, there is a global ocean consisting of liquid water. Scientists are discussing different approaches the possibilities of taking samples of water, i.e. by melting through the ice using a melting probe. FH Aachen UAS developed a prototype of maneuverable melting probe which can navigate through the ice that has already been tested successfully in a terrestrial environment. This means no atmosphere and or ambient pressure, low ice temperatures of around 100 to 150 K (near the South Pole) and a very low gravity of 0.114 m/s$^2$ or 1100 μg. Two of these influencing measures are about to be investigated at FH Aachen UAS in 2017, low ice temperature and low ambient pressure below the triple point of water. Low gravity cannot be easily simulated inside a large experiment chamber, though. Numerical simulations of the melting process at RWTH Aachen however are showing a gravity dependence of melting behavior. Considering this aspect, VIPER provides a link between large-scale experimental simulations at FH Aachen UAS and numerical simulations at RWTH Aachen. To analyze the melting process, about 90 seconds of experiment time in reduced gravity and low ambient pressure is provided by the REXUS rocket. △ Less

Submitted 7 May, 2018; v1 submitted 27 April, 2018; originally announced May 2018.

Melting probe technology for subsurface exploration of extraterrestrial ice - Critical refreezing length and the role of gravity

Authors: Kai Schüller, Julia Kowalski

Abstract: The 'Ocean Worlds' of our Solar System are covered with ice, hence the water is not directly accessible. Using melting probe technology is one of the promising technological approaches to reach those scientifically interesting water reservoirs. Melting probes basically consist of a heated melting head on top of an elongated body that contains the scientific payload. The traditional engineering app… ▽ More The 'Ocean Worlds' of our Solar System are covered with ice, hence the water is not directly accessible. Using melting probe technology is one of the promising technological approaches to reach those scientifically interesting water reservoirs. Melting probes basically consist of a heated melting head on top of an elongated body that contains the scientific payload. The traditional engineering approach to design such melting probes starts from a global energy balance around the melting head and quantifies the power necessary to sustain a specific melting velocity while preventing the probe from refreezing and stall in the channel. Though this approach is sufficient to design simple melting probes for terrestrial applications, it is too simplistic to study the probe's performance for environmental conditions found on some of the Ocean's Worlds, e.g. a lower value of the gravitational acceleration. This will be important, however, when designing exploration technologies for extraterrestrial purposes. We tackle the problem by explicitly modeling the physical processes in the thin melt film between the probe and the underlying ice. Our model allows to study melting regimes on bodies of different gravitational acceleration, and we explicitly compare melting regimes on Europa, Enceladus and Mars. In addition to that, our model allows to quantify the heat losses due to convective transport around the melting probe. We discuss to which extent these heat losses can be utilized to avoid the necessity of a side wall heating system to prevent stall, and introduce the notion of the 'Critical Refreezing Length'. Our results allow to draw important conclusions towards the design of melting probe technology for future missions to icy bodies in our Solar System. △ Less

Submitted 13 March, 2018; originally announced March 2018.

Integrated modeling and validation for phase change with natural convection

Authors: K. Schüller, B. Berkels, J. Kowalski

Abstract: Water-ice systems undergoing melting develop complex spatio-temporal interface dynamics and a non-trivial temperature field. In this contribution, we present computational aspects of a recently conducted validation study that aims at investigating the role of natural convection for cryo-interface dynamics of water-ice. We will present a fixed grid model known as the enthalpy porosity method. It is… ▽ More Water-ice systems undergoing melting develop complex spatio-temporal interface dynamics and a non-trivial temperature field. In this contribution, we present computational aspects of a recently conducted validation study that aims at investigating the role of natural convection for cryo-interface dynamics of water-ice. We will present a fixed grid model known as the enthalpy porosity method. It is based on introducing a phase field and employs mixture theory. The resulting PDEs are solved using a finite volume discretization. The second part is devoted to experiments that have been conducted for model validation. The evolving water-ice interface is tracked based on optical images that shows both the water and the ice phase. To segment the phases, we use a binary Mumford Shah method, which yields a piece-wise constant approximation of the imaging data. Its jump set is the reconstruction of the measured phase interface. Our combined simulation and segmentation effort finally enables us to compare the modeled and measured phase interfaces continuously. We conclude with a discussion of our findings. △ Less

Submitted 11 January, 2018; originally announced January 2018.

Monolithic simulation of convection-coupled phase-change - verification and reproducibility

Authors: Alexander G. Zimmerman, Julia Kowalski

Abstract: Phase interfaces in melting and solidification processes are strongly affected by the presence of convection in the liquid. One way of modeling their transient evolution is to couple an incompressible flow model to an energy balance in enthalpy formulation. Two strong nonlinearities arise, which account for the viscosity variation between phases and the latent heat of fusion at the phase interface… ▽ More Phase interfaces in melting and solidification processes are strongly affected by the presence of convection in the liquid. One way of modeling their transient evolution is to couple an incompressible flow model to an energy balance in enthalpy formulation. Two strong nonlinearities arise, which account for the viscosity variation between phases and the latent heat of fusion at the phase interface. The resulting coupled system of PDE's can be solved by a single-domain semi-phase-field, variable viscosity, finite element method with monolithic system coupling and global Newton linearization. A robust computational model for realistic phase-change regimes furthermore requires a flexible implementation based on sophisticated mesh adaptivity. In this article, we present first steps towards implementing such a computational model into a simulation tool which we call Phaseflow. Phaseflow utilizes the finite element software FEniCS, which includes a dual-weighted residual method for goal-oriented adaptive mesh refinement. Phaseflow is an open-source, dimension-independent implementation that, upon an appropriate parameter choice, reduces to classical benchmark situations including the lid-driven cavity and the Stefan problem. We present and discuss numerical results for these, an octadecane PCM convection-coupled melting benchmark, and a preliminary 3D convection-coupled melting example, demonstrating the flexible implementation. Though being preliminary, the latter is, to our knowledge, the first published 3D result for this method. In our work, we especially emphasize reproducibility and provide an easy-to-use portable software container using Docker. △ Less

Submitted 10 January, 2018; originally announced January 2018.

Comments: 20 pages, 8 figures

Moment Approximations and Model Cascades for Shallow Flow

Authors: Julia Kowalski, Manuel Torrilhon

Abstract: Shallow flow models are used for a large number of applications including weather forecasting, open channel hydraulics and simulation-based natural hazard assessment. In these applications the shallowness of the process motivates depth-averaging. While the shallow flow formulation is advantageous in terms of computational efficiency, it also comes at the price of losing vertical information such a… ▽ More Shallow flow models are used for a large number of applications including weather forecasting, open channel hydraulics and simulation-based natural hazard assessment. In these applications the shallowness of the process motivates depth-averaging. While the shallow flow formulation is advantageous in terms of computational efficiency, it also comes at the price of losing vertical information such as the flow's velocity profile. This gives rise to a model error, which limits the shallow flow model's predictive power and is often not explicitly quantifiable. We propose the use of vertical moments to overcome this problem. The shallow moment approximation preserves information on the vertical flow structure while still making use of the simplifying framework of depth-averaging. In this article, we derive a generic shallow flow moment system of arbitrary order starting from a set of balance laws, which has been reduced by scaling arguments. The derivation is based on a fully vertically resolved reference model with the vertical coordinate mapped onto the unit interval. We specify the shallow flow moment hierarchy for kinematic and Newtonian flow conditions and present 1D numerical results for shallow moment systems up to third order. Finally, we assess their performance with respect to both the standard shallow flow equations as well as with respect to the vertically resolved reference model. Our results show that depending on the parameter regime, e.g. friction and slip, shallow moment approximations significantly reduce the model error in shallow flow regimes and have a lot of potential to increase the predictive power of shallow flow models, while kee** them computationally cost efficient. △ Less

Submitted 19 March, 2018; v1 submitted 29 December, 2017; originally announced January 2018.

Journal ref: Commun. Comput. Phys., 25 (2019), pp. 669-702

Fragility of the Dirac Cone Splitting in Topological Crystalline Insulator Heterostructures

Authors: Craig M. Polley, Ryszard Buczko, Alexander Forsman, Piotr Dziawa, Andrzej Szczerbakow, Rafał Rechciński, Bogdan J. Kowalski, Tomasz Story, Małgorzata Trzyna, Marco Bianchi, Antonija Grubišić Čabo, Philip Hofmann, Oscar Tjernberg, Thiagarajan Balasubramanian

Abstract: The 'double Dirac cone' 2D topological interface states found on the (001) faces of topological crystalline insulators such as Pb$_{1-x}$Sn$_{x}$Se feature degeneracies located away from time reversal invariant momenta, and are a manifestation of both mirror symmetry protection and valley interactions. Similar shifted degeneracies in 1D interface states have been highlighted as a potential basis f… ▽ More The 'double Dirac cone' 2D topological interface states found on the (001) faces of topological crystalline insulators such as Pb$_{1-x}$Sn$_{x}$Se feature degeneracies located away from time reversal invariant momenta, and are a manifestation of both mirror symmetry protection and valley interactions. Similar shifted degeneracies in 1D interface states have been highlighted as a potential basis for a topological transistor, but realizing such a device will require a detailed understanding of the intervalley physics involved. In addition, the operation of this or similar devices outside of ultra-high vacuum will require encapsulation, and the consequences of this for the topological interface state must be understood. Here we address both topics for the case of 2D surface states using angle-resolved photoemission spectroscopy. We examine bulk Pb$_{1-x}$Sn$_{x}$Se(001) crystals overgrown with PbSe, realizing trivial/topological heterostructures. We demonstrate that the valley interaction that splits the two Dirac cones at each $\bar{X}$ is extremely sensitive to atomic-scale details of the surface, exhibiting non-monotonic changes as PbSe deposition proceeds. This includes an apparent total collapse of the splitting for sub-monolayer coverage, eliminating the Lifshitz transition. For a large overlayer thickness we observe quantized PbSe states, possibly reflecting a symmetry confinement mechanism at the buried topological interface. △ Less

Submitted 21 December, 2017; originally announced December 2017.

HiCal 2: An instrument designed for calibration of the ANITA experiment and for Antarctic surface reflectivity measurements

Authors: S. Prohira, A. Novikov, D. Z. Besson, K. Ratzlaff, J. Stockham, M. Stockham, J. M. Clem, R. Young, P. W. Gorham, P. Allison, O. Banerjee, L. Batten, J. J. Beatty, K. Belov, W. R. Binns, V. Bugaev, P. Cao, C. Chen, P. Chen, A. Connolly, L. Cremonesi, B. Dailey, C. Deaconu, P. F. Dowkontt, B. D. Fox , et al. (33 additional authors not shown)

Abstract: The NASA supported High-Altitude Calibration (HiCal)-2 instrument flew as a companion balloon to the ANITA-4 experiment in December 2016. Based on a HV discharge pulser producing radio-frequency (RF) calibration pulses, HiCal-2 comprised two payloads, which flew for a combined 18 days, covering 1.5 revolutions of the Antarctic continent. ANITA-4 captured over 10,000 pulses from HiCal, both direct… ▽ More The NASA supported High-Altitude Calibration (HiCal)-2 instrument flew as a companion balloon to the ANITA-4 experiment in December 2016. Based on a HV discharge pulser producing radio-frequency (RF) calibration pulses, HiCal-2 comprised two payloads, which flew for a combined 18 days, covering 1.5 revolutions of the Antarctic continent. ANITA-4 captured over 10,000 pulses from HiCal, both direct and reflected from the surface, at distances varying from 100-800 km, providing a large dataset for surface reflectivity measurements. Herein we present details on the design, construction and performance of HiCal-2. △ Less

Submitted 17 September, 2020; v1 submitted 30 October, 2017; originally announced October 2017.

Comments: Published in NIM-A, final version

Dynamic tunable notch filters for the Antarctic Impulsive Transient Antenna (ANITA)

Authors: P. Allison, O. Banerjee, J. J. Beatty, A. Connolly, C. Deaconu, J. Gordon, P. W. Gorham, M. Kovacevich, C. Miki, E. Oberla, J. Roberts, B. Rotter, S. Stafford, K. Tatem, L. Batten, K. Belov, D. Z. Besson, W. R. Binns, V. Bugaev, P. Cao, C. Chen, P. Chen, Y. Chen, J. M. Clem, L. Cremonesi , et al. (34 additional authors not shown)

Abstract: The Antarctic Impulsive Transient Antenna (ANITA) is a NASA long-duration balloon experiment with the primary goal of detecting ultra-high-energy ($>10^{18}\,\mbox{eV}$) neutrinos via the Askaryan Effect. The fourth ANITA mission, ANITA-IV, recently flew from Dec 2 to Dec 29, 2016. For the first time, the Tunable Universal Filter Frontend (TUFF) boards were deployed for mitigation of narrow-band,… ▽ More The Antarctic Impulsive Transient Antenna (ANITA) is a NASA long-duration balloon experiment with the primary goal of detecting ultra-high-energy ($>10^{18}\,\mbox{eV}$) neutrinos via the Askaryan Effect. The fourth ANITA mission, ANITA-IV, recently flew from Dec 2 to Dec 29, 2016. For the first time, the Tunable Universal Filter Frontend (TUFF) boards were deployed for mitigation of narrow-band, anthropogenic noise with tunable, switchable notch filters. The TUFF boards also performed second-stage amplification by approximately 45 dB to boost the $\sim\,μ\mbox{V-level}$ radio frequency (RF) signals to $\sim$ mV-level for digitization, and supplied power via bias tees to the first-stage, antenna-mounted amplifiers. The other major change in signal processing in ANITA-IV is the resurrection of the $90^{\circ}$ hybrids deployed previously in ANITA-I, in the trigger system, although in this paper we focus on the TUFF boards. During the ANITA-IV mission, the TUFF boards were successfully operated throughout the flight. They contributed to a factor of 2.8 higher total instrument livetime on average in ANITA-IV compared to ANITA-III due to reduction of narrow-band, anthropogenic noise before a trigger decision is made. △ Less

Submitted 13 September, 2017; originally announced September 2017.

Comments: 27 pages, 19 figures

Recurrent Theme of Pick's Theorem

Authors: Jacek M. Kowalski

Abstract: We review and possibly add some new variant to the existing derivations of the formula for the area of Jordan lattice polygons drawn on two-dimensional lattices. The formula is known as Pick's theorem and is related to the number theory elementary result-Bezout lemma. It is pointed out that Euclidean algorithm can be easily used in construction of infinite number of distinct primitive cells for an… ▽ More We review and possibly add some new variant to the existing derivations of the formula for the area of Jordan lattice polygons drawn on two-dimensional lattices. The formula is known as Pick's theorem and is related to the number theory elementary result-Bezout lemma. It is pointed out that Euclidean algorithm can be easily used in construction of infinite number of distinct primitive cells for any two-dimensional lattice. Pick's formula itself can also be obtained in an elementary "cut and re-assemble" finite process. △ Less

Submitted 15 July, 2017; originally announced July 2017.

Comments: 13 pages, 3 figures

Regular Boardgames

Authors: Jakub Kowalski, Maksymilian Mika, Jakub Sutowicz, Marek Szykuła

Abstract: We propose a new General Game Playing (GGP) language called Regular Boardgames (RBG), which is based on the theory of regular languages. The objective of RBG is to join key properties as expressiveness, efficiency, and naturalness of the description in one GGP formalism, compensating certain drawbacks of the existing languages. This often makes RBG more suitable for various research and practical… ▽ More We propose a new General Game Playing (GGP) language called Regular Boardgames (RBG), which is based on the theory of regular languages. The objective of RBG is to join key properties as expressiveness, efficiency, and naturalness of the description in one GGP formalism, compensating certain drawbacks of the existing languages. This often makes RBG more suitable for various research and practical developments in GGP. While dedicated mostly for describing board games, RBG is universal for the class of all finite deterministic turn-based games with perfect information. We establish foundations of RBG, and analyze it theoretically and experimentally, focusing on the efficiency of reasoning. Regular Boardgames is the first GGP language that allows efficient encoding and playing games with complex rules and with large branching factor (e.g.\ amazons, arimaa, large chess variants, go, international checkers, paper soccer). △ Less

Submitted 13 November, 2018; v1 submitted 8 June, 2017; originally announced June 2017.

Comments: AAAI 2019

Text-based Adventures of the Golovin AI Agent

Authors: Bartosz Kostka, Jaroslaw Kwiecien, Jakub Kowalski, Pawel Rychlikowski

Abstract: The domain of text-based adventure games has been recently established as a new challenge of creating the agent that is both able to understand natural language, and acts intelligently in text-described environments. In this paper, we present our approach to tackle the problem. Our agent, named Golovin, takes advantage of the limited game domain. We use genre-related corpora (including fantasy b… ▽ More The domain of text-based adventure games has been recently established as a new challenge of creating the agent that is both able to understand natural language, and acts intelligently in text-described environments. In this paper, we present our approach to tackle the problem. Our agent, named Golovin, takes advantage of the limited game domain. We use genre-related corpora (including fantasy books and decompiled games) to create language models suitable to this domain. Moreover, we embed mechanisms that allow us to specify, and separately handle, important tasks as fighting opponents, managing inventory, and navigating on the game map. We validated usefulness of these mechanisms, measuring agent's performance on the set of 50 interactive fiction games. Finally, we show that our agent plays on a level comparable to the winner of the last year Text-Based Adventure AI Competition. △ Less

Submitted 16 May, 2017; originally announced May 2017.

A Lagrangian approach to modeling heat flux driven close-contact melting

Authors: K. Schüller, J. Kowalski

Abstract: Close-contact melting refers to the process of a heat source melting its way into a phase-change material. Of special interest is the close-contact melting velocity, or more specifically the relative velocity between the heat source and the phase-change material. In this work, we present a novel numerical approach to simulate quasi-steady, heat flux driven close-contact melting. It extends existin… ▽ More Close-contact melting refers to the process of a heat source melting its way into a phase-change material. Of special interest is the close-contact melting velocity, or more specifically the relative velocity between the heat source and the phase-change material. In this work, we present a novel numerical approach to simulate quasi-steady, heat flux driven close-contact melting. It extends existing approaches found in the literature, and, for the first time, allows to study the impact of a spatially varying heat flux distribution. We will start by deriving the governing equations in a Lagrangian reference frame fixed to the heat source. Exploiting the narrowness of the melt film enables us to reduce the momentum balance to the Reynolds equation, which is coupled to the energy balance via the velocity field. We particularize our derivation for two simple, yet technically relevant geometries, namely a 3d circular disc and a 2d planar heat source. An iterative solution procedure for the coupled system is described in detail and discussed on the basis of a convergence study. Furthermore, we present an extension to allow for rotational melting modes. Various test cases demonstrate the proficiency of our method. In particular, we will utilize the method to assess the efficiency of the close-contact melting process and to quantify the model error introduced if convective losses are neglected. Finally, we will draw conclusions and present an outlook to future work. △ Less

Submitted 3 April, 2017; originally announced April 2017.

Journal ref: Int. J. Heat Mass Transfer Volume 115 Part B (2017) 1276-1287

Antarctic Surface Reflectivity Measurements from the ANITA-3 and HiCal-1 Experiments

Authors: P. W. Gorham, P. Allison, O. Banerjee, J. J. Beatty, K. Belov, D. Z. Besson, W. R. Binns, V. Bugaev, P. Cao, C. Chen, P. Chen, J. M. Clem, A. Connolly, B. Dailey, P. Dasgupta, C. Deaconu, L. Cremonesi, P. F. Dowkontt, B. D. Fox, J. Gordon, B. Hill, R. Hupe, M. H. Israel, P. Jain, J. Kowalski , et al. (31 additional authors not shown)

Abstract: The primary science goal of the NASA-sponsored ANITA project is measurement of ultra-high energy neutrinos and cosmic rays, observed via radio-frequency signals resulting from a neutrino- or cosmic ray- interaction with terrestrial matter (atmospheric or ice molecules, e.g.). Accurate inference of the energies of these cosmic rays requires understanding the transmission/reflection of radio wave si… ▽ More The primary science goal of the NASA-sponsored ANITA project is measurement of ultra-high energy neutrinos and cosmic rays, observed via radio-frequency signals resulting from a neutrino- or cosmic ray- interaction with terrestrial matter (atmospheric or ice molecules, e.g.). Accurate inference of the energies of these cosmic rays requires understanding the transmission/reflection of radio wave signals across the ice-air boundary. Satellite-based measurements of Antarctic surface reflectivity, using a co-located transmitter and receiver, have been performed more-or-less continuously for the last few decades. Satellite-based reflectivity surveys, at frequencies ranging from 2--45 GHz and at near-normal incidence, yield generally consistent reflectivity maps across Antarctica. Using the Sun as an RF source, and the ANITA-3 balloon borne radio-frequency antenna array as the RF receiver, we have also measured the surface reflectivity over the interval 200-1000 MHz, at elevation angles of 12-30 degrees, finding agreement with the Fresnel equations within systematic errors. To probe low incidence angles, inaccessible to the Antarctic Solar technique and not probed by previous satellite surveys, a novel experimental approach ("HiCal-1") was devised. Unlike previous measurements, HiCal-ANITA constitute a bi-static transmitter-receiver pair separated by hundreds of kilometers. Data taken with HiCal, between 200--600 MHz shows a significant departure from the Fresnel equations, constant with frequency over that band, with the deficit increasing with obliquity of incidence, which we attribute to the combined effects of possible surface roughness, surface grain effects, radar clutter and/or shadowing of the reflection zone due to Earth curvature effects. △ Less

Submitted 21 June, 2017; v1 submitted 1 March, 2017; originally announced March 2017.

Comments: updated to match publication version

Few more Comments on Benford's Law

Authors: Jacek M. Kowalski

Abstract: It is pointed out that the language of quotient groups and wrapped distributions allows an elementary discussion of Benford's Law, and adds arguments supporting wide-spread observability of this statistics. It is pointed out that the language of quotient groups and wrapped distributions allows an elementary discussion of Benford's Law, and adds arguments supporting wide-spread observability of this statistics. △ Less

Submitted 29 November, 2016; originally announced December 2016.

Experiments with Synchronizing Automata

Authors: Andrzej Kisielewicz, Jakub Kowalski, Marek Szykuła

Abstract: We have improved an algorithm generating synchronizing automata with a large length of the shortest reset words. This has been done by refining some known results concerning bounds on the reset length. Our improvements make possible to consider a number of conjectures and open questions concerning synchronizing automata, checking them for automata with a small number of states and discussing the r… ▽ More We have improved an algorithm generating synchronizing automata with a large length of the shortest reset words. This has been done by refining some known results concerning bounds on the reset length. Our improvements make possible to consider a number of conjectures and open questions concerning synchronizing automata, checking them for automata with a small number of states and discussing the results. In particular, we have verified the Černý conjecture for all binary automata with at most 12 states, and all ternary automata with at most 8 states. △ Less

Submitted 14 July, 2016; originally announced July 2016.

Comments: CIAA 2016. The final publication available at http://link.springer.com/chapter/10.1007/978-3-319-40946-7_15

Journal ref: In Implementation and Application of Automata (CIAA 2016), volume 9705 of LNCS, pages 176--188, 2016

Simplified Boardgames

Authors: Jakub Kowalski, Jakub Sutowicz, Marek Szykuła

Abstract: We formalize Simplified Boardgames language, which describes a subclass of arbitrary board games. The language structure is based on the regular expressions, which makes the rules easily machine-processable while kee** the rules concise and fairly human-readable. We formalize Simplified Boardgames language, which describes a subclass of arbitrary board games. The language structure is based on the regular expressions, which makes the rules easily machine-processable while kee** the rules concise and fairly human-readable. △ Less

Submitted 15 July, 2016; v1 submitted 8 June, 2016; originally announced June 2016.