We extend a template-based approach for synthesizing switching controllers for semi-algebraic hybrid systems, in which all expressions are polynomials. This is achieved by combining a QE (quantifier elimination)-based method for generating continuous invariants with a qualitative approach for predefining templates. Our synthesis method is relatively complete with regard to a given family of pre...

We extend a template-based approach for synthesizing switching controllers for semi-algebraic hybrid systems, in which all expressions are polynomials. This is achieved by combining a QE (quantifier elimination)-based method for generating invariants with a qualitative approach for predefining templates. Our synthesis method is relatively complete with regard to a given family of predefined tem...

.......................................................................................................................1

In the treatment of superficial lesions with 8-13 MeV electrons, lead shields are often used to protect the underlying tissue. Measurements were made with film and ion chamber to analyse various aspects of external and internal shielding in electron beam therapy. Data were obtained on the thickness of lead required for shielding, the effect of blocking on dose-rate, electron-backscattering from...

BACKGROUND This study reports the results of the qualitative process evaluation (PE) of the Isfahan Healthy Heart Program (IHHP), an integrated community-based trial for prevention and control of non-communicable diseases in Iran. METHODS The study explored the overall quality of program implementation. The participants, including designers of IHHP, stakeholders and community members (n = 60)...

Exploratory and descriptive study based on quantitative and qualitative methods that analyze the phenomenon of violence against adolescents based on gender and generational categories. The data source was reports of violence from the Curitiba Protection Network from 2010 to 2012 and semi-structured interviews with 16 sheltered adolescents. Quantitative data were analyzed using SPSS software ver...

This study purposed to explore and describe the experiences of Iranian female students with the role of motherhood. This 2015 qualitative study used purposeful sampling to select 20 student mothers aged 24-50 who were studying at a state or non-state university in an urban area in northwest Iran. Data was collected through individual semi-structured interviews and analysed using a qualitative c...

Chaos is ubiquitous in our everyday life and even a simple system may manifest chaotic behaviors. Chaos has been a challenge to the methodology of qualitative reasoning as well as classic science and engineering, due to unpredictability and complexity of behavior. In this paper, I claim that associating continuous domain with symbolic representation, a basic principle of qualitative reasoning, ...

Cultural value system is a very important and significant issue in the life of Ogonis in Nigeria. This is because it is the compendium of their entire life. In this study the first of its kind, the process of ethnic identity formation among the Ogoni adolescents is explored. Sixteen participants (8males and 8 females) completed the semi structured interviews and the qualitative data collected w...