A fraction of light scalar dark matter, especially axions, may organize into Bose-Einstein condensates, gravitationally bound clumps, "boson stars", and be present in large number galactic halos today. We compute the expected gravitational microlensing events clumps composed ordinary QCD axion axion-like-particles derive constraints from EROS-2 survey Subaru Hyper Suprime-Cam observation. perfo...

There are numerous formats for writing spell-checkers for open-source systems and there are many lexical descriptions for natural languages written in these formats. In this paper, we demonstrate a method for converting Hunspell and related spell-checking lexicons into finite-state automata. We also present a simple way to apply unigram corpus training in order to improve the spellchecking sugg...

Laser bending is an advanced process in sheet metal forming in which a laser heat source is used to shape the metal sheet. In this paper, temperature distribution in a mild steel sheet metal is investigated numerically and experimentally. Laser heat source is applied through curved paths in square sheet metal parts. Finite element (FE) simulation is performed with the ABAQUS/CAE standard softwa...

We study finite-length bounds for source coding with side information for Markov sources and channel coding for channels with conditional Markovian additive noise. For this purpose, we propose two criteria for finite-length bounds. One is the asymptotic optimality and the other is the efficient computability of the bound. Then, we derive finite-length upper and lower bounds for coding length in...

In this paper a new family of high-order finite-difference shock-capturing central schemes for hyperbolic systems with stiff source is presented. The schemes are based on recently developed finite difference discretization on staggered grids, coupled with implicit-explicit (IMEX) time discretization for an efficient treatment of the source term. Numerical tests show the robustness and accuracy ...

We consider zero-delay joint source-channel coding of individual source sequences for a general known channel. Given an arbitrary finite set of schemes with finite-memory (not necessarily time-invariant) decoders, a scheme is devised that does essentially as well as the best in the set on all individual source sequences. For the case where the channel is a DMC we construct an implementable sche...

In this paper we present an open source implementation for Finnish morphological parser. We shortly evaluate it against contemporary criticism towards monolithic and unmaintainable finite-state language description. We use it to demonstrate way of writing finite-state language description that is used for varying set of projects, that typically need morphological analyser, such as POS tagging, ...

An exact series expansion for the field radiated by a monopole ring source with angular variation in source strength is derived from a previously developed expression for the field from a finite disk. The derived series can be used throughout the field, via the use of a reciprocity relation, and can be readily integrated to find the field radiated by arbitrary circular sources of finite extent,...