Integrity constraints are an essential part of a modern schema definition language. They are useful for semantic specification, update consistency control, query optimization, information preservation, etc. In this paper, we propose UCM, a model of integrity constraints for XML that is both simple and expressive. Because it relies on a single notion of keys and foreign keys, the UCM model is ea...

In our increasingly technology-dependent society, the importance of promoting digital literacy (e.g., computational thinking, coding, and programming) has become a critical focus in field childhood education. While young children these days are routinely extensively exposed to devices tools, efficacy methods for fostering skills early classroom not always been closely considered. This is partic...

The brain must coordinate with redundant bodies to perform motion tasks. The aim of the present study is to propose a novel control model that predicts the characteristics of human joint coordination at a behavioral level. To evaluate the joint coordination, an uncontrolled manifold (UCM) analysis that focuses on the trial-to-trial variance of joints has been proposed. The UCM is a nonlinear ma...

Computational thinking (CT) is a thought process composed of computer science ideas and skills that can be applied to solve problems better understand the world around us. With increase in technology computing, STEM disciplines are becoming interwoven with computing. In order prepare students for careers, computational literacy needs developed K–12 education. We advocate introduction through in...

The Use Case Map (UCM) scenario notation can be used to model service requirements and high-level designs for reactive and distributed systems. It is therefore a natural candidate for use in the process of generating requirementsdirected test suites. We survey several approaches for deriving test purposes from UCM models. We distinguish three main approaches. The first approach is based on test...

Software test size estimation at the early analysis phase of software development lifecycle is crucial for predicting the associated effort and cost. This paper proposes a new method namely System Test Size Point (STSP) to estimate the system testing size of the object oriented software. The novel approach for the system test size estimation at the analysis phase is based on the Use Case Model ...

The Weather Research and Forecasting (WRF) model coupled with an Urban Canopy Model (UCM) was used for studying urban environmental issues. Because land use data employed in the WRF model do not agree with the current situation around Guangzhou, China, the performance of WRF/UCM with new land-use data extracted from Remote Sensing (RS) data was evaluated in early August 2012. Results from simul...

Integrity constraints are an essential part of modern schema de nition languages. They are useful for semantic speci cation, update consistency control, query optimization, etc. In this paper, we propose UCM, a model of integrity constraints for XML that is both simple and expressive. Because it relies on a single notion of keys and foreign keys, the UCMmodel is easy to use and makes formal rea...

Telecommunication uses today various devices, operating systems, network technologies and applications. The multiplicity and diversity of these items are expected to increase due to the development of new technologies. As a result communication becomes a challenge. In this paper the architecture model " Universal Communication Model " (UCM) for the unified application of these items is proposed...

Many attempts have been made in the application of multicellular tumor spheroids (MCTS) as a 3D tumor model to investigate their biological responses upon introduction of polymeric micelles as nanocarriers for therapeutic applications. However, the micelle penetration pathways in MCTS are not yet known. In this study, micelles (uncrosslinked, UCM) were prepared by self-assembly of block copolym...