7,252 research outputs found
China and the internationalisation of the sociology of contemporary work and employment
The China e-Special Issue brings together 11 articles on the sociology of contemporary work and employment in China which have been published in WES in the past two decades, highlighting the increasing frequency of submissions, and also reflecting the diversity, complexity and plurality of work and employment in the region. The foci of debates include the changing fault lines of work and employment; the changing relationships between state, employers and workers; the impact of rural to urban migration and urbanisation on the labour process and employment configurations; the interrelations between production and social reproduction and its gendered dimensions; and the need to develop established methodologies further given the changing nature of the research subject
A randomized controlled trial for families with preschool children - promoting healthy eating and active playtime by connecting to nature
published_or_final_versio
On the optimal control of linear systems with incomplete information
Optimal control of linear systems with incomplete informatio
A scheme to aid construction of left-hand sides of axioms in algebraic specifications for object-oriented program testing
In order to ensure reliability and quality, software systems must be tested. Testing object-oriented software is harder than testing procedure-oriented software. It involves four levels, namely the algorithmic level, class level, cluster level, and system level. We proposed a methodology TACCLE for class-and cluster- level testing. It includes an important algorithm GFT for generating fundamental equivalent pairs as class-level test cases based on axioms in a given algebraic specification for a given class. This formal methodology has many benefits. However, system analysts often find it difficult to construct axioms for algebraic specifications. In this paper, we propose a scheme to aid the construction of the left-hand sides of axioms. The scheme alleviates the difficulties of the system analysts and also helps them check the completeness, consistency, and independence of the axiom system. © 2008 IEEE.published_or_final_versionUnion Grant of Guangdong Province and
National Natural Science Foundation of China (#U0775001), Guangdong Province Science Foundation (#7010116), and by a grant of the
Youth Science Foundation of Jinan University (#51208035)
Connecting border collision with saddle-node bifurcation in switched dynamical systems
Author name used in this publication: Chi K. Tse2005-2006 > Academic research: refereed > Publication in refereed journalVersion of RecordPublishe
- …