The paper presents a method of reasoning about the behavior of asynchronous programs in denotational models designed with metric spaces and continuation semantics for concurrency. 1Head of Formal Methods Laboratory (FML) 2Contact person

An intelligent robot agent based on domain ontology, machine learning mechanism, and Fuzzy Markup Language (FML) for students and robot co-learning is presented in this paper. The machine-human co-learning model is established to help various students learn the mathematical concepts based on their learning ability and performance. Meanwhile, the robot acts as a teacher’s assistant to co-learn w...

Large-area, artificial floating marine litter (FML) targets were deployed during a controlled field experiment and data acquisition campaign: the Plastic Litter Project 2021. A set of 22 Sentinel-2 images, along with UAS ancillary measurements acquired. Spectral analysis FML natural debris (wooden planks) was performed, spectral comparison separability between other materials such as mucilage p...

Abstract To improve the efficiency and accuracy of single-event effect (SEE) research at Heavy Ion Research Facility Lanzhou, Hi’Beam-SEE must precisely localize position which each heavy ion hitting integrated circuit (IC) causes SEE. In this study, we propose a fast multi-track location (FML) method based on deep learning to locate particle track with high speed accuracy. FML can process vast...

In this paper we propose a modular structure to define communication acts with verbal and nonverbal elements inspired in the SAIBA model. Our modular structure is a conceptual interpretation of the functional features of a multimodal interaction platform we have developed, with an embodied conversational agent (ECA) that implements verbal and gestural communication strategies aimed at minimisin...

We construct counterexamples to the rationality conjecture regarding the new version of the Makar-Limanov invariant introduced in [Li2]. Let k be an algebraically closed field. Below variety means algebraic variety over k in the sense of Serre (so algebraic group means algebraic group over k). We use standard notation and conventions of [Bo] and [Sp]. In particular, given a variety X, we denote...

Repairing of the cracks by fiber metal laminates (FMLs) was first done by some aeronautical laboratories in early 1970s. In this study, experimental investigations were done on the effect of repairing the center-cracked aluminum plates using the FML patches. The repairing processes were conducted to characterize the response of the repaired structures to tensile tests. The composite patches wer...

Sixth-generation wireless communication (6G) will be an integrated architecture of "space, air, ground and sea". One the most difficult part this is underwater information acquisition which need to transmitt cross interface between water air.In senario, ocean things (OoT) play important role, because it can serve as a hub connecting Internet (IoT) (IoUT). OoT device not only collect data throug...