This paper presents a rewriting-logic-based modeling and analysis technique for physical systems, with focus on thermal systems. The contributions of this paper can be summarized as follows: (i) providing a framework for modeling and executing physical systems, where both the physical components and their physical interactions are treated as first-class citizens; (ii) showing how heat transfer ...

Tissue optical clearing technique provides a prospective solution for the application of advanced optical methods in life sciences. This paper gives a review of recent developments in tissue optical clearing techniques. The physical, molecular and physiological mechanisms of tissue optical clearing are overviewed and discussed. Various methods for enhancing penetration of optical-clearing agent...

We propose two techniques that improve accuracy of pointing at physical objects for handheld Augmented Reality (AR). In handheld AR, pointing accuracy is limited by both touch input and camera viewpoint instability due to hand jitter. The design of our techniques is based on the relationship between the touch input space and two visual reference frames for on-screen content, namely the screen a...

Physical models and grey system models (GSMs) are commonly used to evaluate and predict physical behavior. A physical model avoids the incorrect trend series of a GSM, whereas a GSM avoids the assumptions and uncertainty of a physical model. A technique that combines the results of physical models and GSMs would make prediction more reasonable and reliable. This study proposes a fusion method f...

A Peer-To-Peer (P2P) application uses an overlay network which is a virtual network constructed over the physical network. Traditional overlay construction methods do not take physical location of nodes into consideration, resulting in a large amount of redundant traffic. Some proximity-aware construction methods have been proposed to address this problem. These methods typically connect nearby...

Smart health systems typically integrate sensor technology with the Internet of Things, enabling healthcare to monitor patients. These biomedical applications collect data through remote sensors and transfer a centralized system for analysis. However, communication between edge node mobile user is susceptible impersonation attacks in computing (MEC) application. For this purpose, we propose det...

Laser-induced breakdown spectroscopy (LIBS), accompanied by chemometric data analysis, is used to identify and classify gemstones of various hardness. The study involves several gemstones: amethyst, aquamarine beryl, bloodstone citrine, diopside, enstatite. Their hardness determined through a correlation utilizing the spectral intensity ratio ionic atomic lines an identified element in LIB spec...

The purpose of this study was to analyze the application gyaku-tsuki punch technique training model improve physical readiness and character. design quasi-experimental in form a posttest-only control design. sample 56 which divided into 2 groups, each group consisted 28 people. Karate is sport that requires very good level condition. data collection method used questionnaire measure character v...