BACKGROUND Increasing numbers of people with mental disorders receive services at primary care in China. The aims of this study are to evaluate impact of a new training course and supervision for community mental health staff to enhance their levels of mental health knowledge and to reduce their stigmatization toward people with mental illness. METHODS A total of 77 community mental health st...

The purpose of this paper is to illustrate how social marketers can use the Transtheoretical Model Change enhance their web-based campaigns promoting mental health during COVID-19 Pandemic. was adapted and applied in a context qualitative content analysis conducted on 20 websites Pandemic from all around world. Results show that vary terms adherence Change. Some are very consistent, whereas oth...

The analysis of model transformations is a challenging research area within model driven engineering. Triple graph grammars (TGGs) have been applied in various transformation scenarios and their formal foundation has been a vital ground for general results concerning notions of correctness and completeness. This paper addresses existing gaps between practical scenarios and the formal results of...

Deploying a large-scale passive WLAN monitoring system raises an important issue: completeness. The trivial approach would increase the number of monitors until the merged trace becomes complete. The problem is the number of monitors required, which can drastically impact on the system scalability. The more traces to merge, the more CPU intensive becomes the whole procedure. As a consequence, t...

The finite model property of the equational fragment of the theory of Kleene algebras is a consequence of Kozen’s [3] completeness theorem. We show that, conversely, this completeness theorem can be proved assuming the finite model property of this fragment.

The assumption that a database includes a representation ol every occurrence in the real world environmrnl that it models (the Closed World Asscrtnplio?l) is frequently unrealistic, because it is always made on the database as a whole. This paper introduces a new type of dntab,ase information, called completeness inlormnlion, lo dcscrihe the subsets of the database for which this assumption is ...

in this paper, the maximal dissipative extensions of a symmetric singular 1d discrete hamiltonian operator with maximal deficiency indices (2,2) (in limit-circle cases at ±∞) and acting in the hilbert space ℓ_{ω}²(z;c²) (z:={0,±1,±2,...}) are considered. we consider two classes dissipative operators with separated boundary conditions both at -∞ and ∞. for each of these cases we establish a self...