In this paper, we propose a single-agent logic of goal-directed knowing how extending the standard epistemic logic of knowing that with a new knowing how operator. The semantics of the new operator is based on the idea that knowing how to achieve $φ...
Knowing whether a proposition is true means knowing that it is true or knowing that it is false. In this paper, we study logics with a modal operator Kw for knowing whether but without a modal operator K for knowing that. This logic is not a normal m...
Organ image segmentation can be improved by implementing prior knowledge about the anatomy. One way of doing this is by training an autoencoder to learn a lowdimensional representation of the segmentation. In this paper, this is applied in multi-labe...
This White Paper summarises potential key science topics to be achieved with Thai National Radio Telescope (TNRT). The commissioning phase has started in mid 2022. The key science topics consist of "Pulsars and Fast Radio Bursts (FRBs)", "Star Formin...
Recent studies have shown that online portfolio selection strategies that exploit the mean reversion property can achieve excess return from equity markets. This paper empirically investigates the performance of state-of-the-art mean reversion strate...
How hosts language influence their pets' vocalization is an interesting yet underexplored problem. This paper presents a preliminary investigation into the possible correlation between domestic dog vocal expressions and their human host's language en...
TANGO is an object oriented control system toolkit based on CORBA presently under development at the ESRF. IN this paper, the TANGO philosophy is briefly presented. All the existing tools developed around TANGO will also be presented. This include...
This paper is in related to the demand genrated by the consumer for a time for the power which is being viewed by taking some measures to solve the demand need....
We propose a new, self-consistent theory of coherent pulsar radio emission based on the non-stationary sparking model of Ruderman & Sutherland (1975), modified by Gil & Sendyk (2000) in the accompanying Paper I. According to these authors, the pola...
This paper provides an overview of the Lunar Laser Ranging (LLR) experiments. The measurement principle is explained and its theory is derived. Both contributions, the direct reflected light from retroreflectors as well as the scattered light from th...
This paper provides a review of deep learning applications in scene understanding in autonomous robots, including innovations in object detection, semantic and instance segmentation, depth estimation, 3D reconstruction, and visual SLAM. It emphasizes...
The purpose of this paper is to present a comprehensive study of the Tavis-Cummings model from a system-theoretic perspective. A typical form of the Tavis-Cummings model is composed of an ensemble of non-interacting two-level systems (TLSs) that are...
In this paper, we introduce a novel combined reward cum penalty loss function to handle the regression problem. The proposed combined reward cum penalty loss function penalizes the data points which lie outside the $ε$-tube of the regressor and also...
Steady swimming appears both periodic and stable. These characteristics are the very definition of limit cycles, and so we ask "Can we view swimming as a limit cycle?" In this paper we will not be able to answer this question in full. However, we sha...
MIT Introduction to Deep Learning (6.S191) Instructors: Alexander Amini and Ava Soleimany Course Information Summary Prerequisites Schedule Lectures Labs, Final Projects, Grading, and Prizes Software labs Gather.Town lab + Office Hour sessions Final project Pa…
This paper presents a synthesis of different studies willing to bring a scientific insight into leg compression, which is the process of applying external compression forces onto the human leg with stockings or socks, for enhancing the venous flow....
This paper applies statistical learning techniques to an observational Quantified-Self (QS) study to build a descriptive model of sleep quality. A total of 472 days of my sleep data was collected with an Oura ring and combined with lifestyle, environ...
In this paper, the performance of multiple-input multiple-output non-orthogonal multiple access (MIMO-NOMA) is investigated when multiple users are grouped into a cluster. The superiority of MIMO-NOMA over MIMO orthogonal multiple access (MIMO-OMA) i...
This paper reports the first measurement of muon neutrino charged-current interactions without pions in the final state using multiple detectors with correlated energy spectra at T2K. The data was collected on hydrocarbon targets using the off-axis T...
Following procedures pioneered by Castor, Abbott & Klein (1975, [CAK]), spherically-symmetric supersonic winds for O stars are computed for matching to plane-parallel moving reversing layers (RL's) from Paper I (Lucy 2007). In contrast to a CAK win...