Low-power Programmable Processor for Fast Fourier Transform Based on Transport Triggered Architecture

This paper describes a low-power processor tailored for fast Fourier transform computations where transport triggering template is exploited. The processor is software-programmable while retaining an energy-efficiency comparable to existing fixed-function implementations. The power savings are achieved by compressing the computation kernel into one instruction word. The word is stored in an instruction loop buffer, which is more power-efficient than regular instruction memory storage. The processor supports all power-of-two FFT sizes from 64 to 16384 and given 1 mJ of energy, it can compute 20916 transforms of size 1024.Comment: 5 pages, 4 figures, 1 table, ICASSP 2019 conferenc

Are there environmental or agricultural benefits in using forest residue biochar in boreal agricultural clay soil?

Short-term agronomic and environmental benefits are fundamental factors in encouraging farmers to use biochar on a broad scale. The short-term impacts of forest residue biochar (BC) on the productivity and carbon (C) storage of arable boreal clay soil were studied in a field experiment. In addition, rain simulations and aggregate stability tests were carried out to investigate the potential of BC to reduce nutrient export to surface waters. A BC addition of 30 t ha−1 increased soil test phosphorus and decreased bulk density in the surface soil but did not significantly change pH or water retention properties, and most importantly, did not increase the yield. There were no changes in the bacterial or fungal communities, or biomasses. Soil basal respiration was higher in BC-amended plots in the spring, but no differences in respiration rates were detected in the fall two years after the application. Rain simulation experiments did not support the use of BC in reducing erosion or the export of nutrients from the field. Of the C added, on average 80% was discovered in the 0–45 cm soil layer one year after the application. Amendment of boreal clay soil with a high rate of BC characterized by a moderately alkaline pH, low surface functionalities, and a recalcitrant nature, did not induce such positive impacts that would unambiguously motivate farmers to invest in BC. BC use seems unviable from the farmer's perspective but could play a role in climate change mitigation, as it will likely serve as long-term C storage.202

Usability as a focus of multiprofessional collaboration: a teaching case study on user-centered translation

As professional communication needs are increasingly multilingual, the merging of translator and technical communicator roles has been predicted. However, it may be more advantageous for these two professional groups to increase cooperation. This means learning to identify and appreciate their distinct but mutually complementary core competencies. Since both professions share the ideology of being the user’s advocate, usability is a common denominator that can function as a focal point of collaboration. While many translation theories focus on the reader and the target context, usability methods have not traditionally been a part of translator training. An innovation called User-Centered Translation (UCT), which is a model based on usability and user-centered design, is intended to help translators speak the same language as technical communicators, and it offers concrete usability tools which have been missing from translation theories. In this teaching case study, we discuss the teaching of four UCT methods: personas, the implied reader, heuristic evaluation, and usability testing. We describe our teaching experiences, analyze student feedback on all four, and report on the implementation of a student assignment on heuristics. This case study suggests ways in which UCT can form an important nexus of professional skills and multiprofessional collaboration

A fractional representation approach to the robust regulation problem for MIMO systems

The aim of this paper is in developing unifying frequency domain theory for robust regulation of MIMO systems. The main theoretical results achieved are a new formulation of the internal model principle, solvability conditions for the robust regulation problem, and a parametrization of all robustly regulating controllers. The main results are formulated with minimal assumptions and without using coprime factorizations thus guaranteeing applicability with a very general class of systems. In addition to theoretical results, the design of robust controllers is addressed. The results are illustrated by two examples involving a delay and a heat equation.Comment: 23 pages, 3 figures, submitted to International Journal of Robust and Nonlinear Contro

Gödel’s Disjunction: The Scope and Limits of Mathematical Knowledge

acceptedVersionNon peer reviewe

The Expressive Power of k-ary Exclusion Logic

In this paper we study the expressive power of k-ary exclusion logic, EXC[k], that is obtained by extending first order logic with k-ary exclusion atoms. It is known that without arity bounds exclusion logic is equivalent with dependence logic. By observing the translations, we see that the expressive power of EXC[k] lies in between k-ary and (k+1)-ary dependence logics. We will show that, at least in the case of k=1, the both of these inclusions are proper. In a recent work by the author it was shown that k-ary inclusion-exclusion logic is equivalent with k-ary existential second order logic, ESO[k]. We will show that, on the level of sentences, it is possible to simulate inclusion atoms with exclusion atoms, and this way express ESO[k]-sentences by using only k-ary exclusion atoms. For this translation we also need to introduce a novel method for "unifying" the values of certain variables in a team. As a consequence, EXC[k] captures ESO[k] on the level of sentences, and we get a strict arity hierarchy for exclusion logic. It also follows that k-ary inclusion logic is strictly weaker than EXC[k]. Finally we will use similar techniques to formulate a translation from ESO[k] to k-ary inclusion logic with strict semantics. Consequently, for any arity fragment of inclusion logic, strict semantics is more expressive than lax semantics.Comment: Preprint of a paper in the special issue of WoLLIC2016 in Annals of Pure and Applied Logic, 170(9):1070-1099, 201

Technology for Bonding in Human-Animal Interaction

This workshop focuses on the use and influence of technology on human-animal bonding, and how to facilitate them with technology. We explore the elements and characteristics of human-animal bonding, and how technology is connected to emotions and bonding between the human and the animal. We are particularly interested in animal's experiences, emotions, and welfare in bonding. The workshop facilitates discussion, creates a framework to support design activities, identifies future research themes, and creates ideas on facilitating the mutual bonding in human-animal interaction. The main focus is on dogs, but workshop aims is to pave way for further investigations and research with other domestic animals, such as cats, horses, and rabbits

Proto-type installation of a double-station system for the optical-video-detection and orbital characterisation of a meteor/fireball in South Korea

We give a detailed description of the installation and operation of a double-station meteor detection system which formed part of a research & education project between Korea Astronomy Space Science Institute and Daejeon Science Highschool. A total of six light-sensitive CCD cameras were installed with three cameras at SOAO and three cameras at BOAO observatory. A double-station observation of a meteor event enables the determination of the three-dimensional orbit in space. This project was initiated in response to the Jinju fireball event in March 2014. The cameras were installed in October/November 2014. The two stations are identical in hardware as well as software. Each station employes sensitive Watec-902H2 cameras in combination with relatively fast f/1.2 lenses. Various fields of views were used for measuring differences in detection rates of meteor events. We employed the SonotaCo UFO software suite for meteor detection and their subsequent analysis. The system setup as well as installation/operation experience is described and first results are presented. We also give a brief overview of historic as well as recent meteor (fall) detections in South Korea. For more information please consult http://meteor.kasi.re.kr .Comment: Technical/instrumentation description of a professional meteor detection system, 23 pages, 20 figures (color/monochrome), 5 tables, submitted to the Journal of Korean Astronomical Society (JKAS, http://jkas.kas.org/, http://jkas.kas.org/history.html

Kim on Causation and Mental Causation

Jaegwon Kim’s views on mental causation and the exclusion argument are evaluated systematically. Particular attention is paid to different theories of causation. It is argued that the exclusion argument and its premises do not cohere well with any systematic view of causation

Positioning of High-speed Trains using 5G New Radio Synchronization Signals

We study positioning of high-speed trains in 5G new radio (NR) networks by utilizing specific NR synchronization signals. The studies are based on simulations with 3GPP-specified radio channel models including path loss, shadowing and fast fading effects. The considered positioning approach exploits measurement of Time-Of-Arrival (TOA) and Angle-Of-Departure (AOD), which are estimated from beamformed NR synchronization signals. Based on the given measurements and the assumed train movement model, the train position is tracked by using an Extended Kalman Filter (EKF), which is able to handle the non-linear relationship between the TOA and AOD measurements, and the estimated train position parameters. It is shown that in the considered scenario the TOA measurements are able to achieve better accuracy compared to the AOD measurements. However, as shown by the results, the best tracking performance is achieved, when both of the measurements are considered. In this case, a very high, sub-meter, tracking accuracy can be achieved for most (>75%) of the tracking time, thus achieving the positioning accuracy requirements envisioned for the 5G NR. The pursued high-accuracy and high-availability positioning technology is considered to be in a key role in several envisioned HST use cases, such as mission-critical autonomous train systems.Comment: 6 pages, 5 figures, IEEE WCNC 2018 (Wireless Communications and Networking Conference