Polynomial constraint solving plays a prominent role in several areas of
hardware and software analysis and verification, e.g., termination proving, program
invariant generation and hybrid system verification, to name a ...

The use of brief screening tools to identify inactive patients is essential to improve the efficiency
of primary care-based physical activity (PA) programs. However, the current employment
of short PA questionnaires ...

Over the past twenty years, agricultural biotechnologies have generated
chronically unresolved political controversies. The standard tool of risk assessment has
proven to be highly limited in its ability to address the ...

Biomedical systems produce biosignals that arise from interaction mechanisms. In a
general form, those mechanisms occur across multiple scales, both spatial and temporal, and contain
linear and non-linear information. ...

The formation and development of transverse and crescentic sand bars in the coastal
marine environment has been investigated by means of a nonlinear numerical model
based on the shallow-water equations and on a simpli ...

Abstract
Background: Little is known about how sitting time, alone or in combination with markers of physical activity (PA),
influences mental well-being and work productivity. Given the need to develop workplace PA ...

Sexuality is an integral part of human life; however, people with disabilities
often report an unsatisfying sexual life. The aim of this study was both to
explore the reasons for the reported unsatisfying life and to ...

Holism is perceived to be one of the major tenets of occupational therapy. This
article discusses the relevance of sexuality to holistic health care and contributes
to the continuing discussion regarding the legitimacy ...