Since Hippocrates’ axiom in 370 BC, “Thy food shall be thy medicine”, the relationship between food, health and quality of life has been a concern of the scientific health care community. Of course, the boundary between medical (therapeutic) and normal nutrition changes regularly, with many opinions articulated in both the scientific community and the general population. Opinions vary from evid...

Logic of discovery was developed in 1970’s as an answer to questions ”Can computers formulate and justify scientific hypotheses?” and ”Can they comprehend empirical data and process it rationally, using the apparatus of modern mathematical logic and statistics to try to produce a rational image of the observed empirical world?”. Logic of discovery is based on observational and theoretical langu...

This paper introduces an expressive class of indexed quotient-inductive types, called QWI within the framework constructive type theory. They are initial algebras for families equational theories with possibly infinitary operators and equations. We prove that types can be derived from quotient inductive in theory toposes natural number object universes, provided those universes satisfy Weakly I...

Channel sensitivity in reactive systems arises when the system interacts over multiple interaction channels simultaneously and it is important to distinguish between the many channels. While the design and verification of reactive systems is complex and not amenable to traditional paradigms of inductive reasoning, channel sensitivity adds an additional dimension of complexity. In this paper, we...

background: influenced by several factors, c ollaboration among nurses is a complex and multifaceted process. considering constructive effects of this process, it is important to identify its motivational factors. this study aimed to investigate motivational factors for collaboration among nurses.   methods: the data were collected through unstructured and in-depth interviews with 18 purposivel...

Organizations nowadays possess huge repositories of process models. Inductive reference modelling can save costs and time by reusing process parts of process models belonging to a common domain. The inductive development of a reference model for a large corpus of process models is a difficult problem. Quite a few, primarily heuristic approaches have been proposed to the research community that ...

A common theme in symbolic model checking is to compute an inductive strengthening of the desired invariant, which forms a proof that no erroneous state can be reached by the system. The original symbolic model checking algorithm computed this inductive strengthening by computing (a hopefully succinct) representation of all reachable states by fixpoint computations and OBDDs. This set of reacha...