Facets of Distribution Identities in Probabilistic Team Semantics

We study probabilistic team semantics which is a semantical framework allowing the study of logical and probabilistic dependencies simultaneously. We examine and classify the expressive power of logical formalisms arising by different probabilistic atoms such as conditional independence and different variants of marginal distribution equivalences. We also relate the framework to the first-order theory of the reals and apply our methods to the open question on the complexity of the implication problem of conditional independence.Peer reviewe

Parametrised Complexity of Model Checking and Satisfiability in Propositional Dependence Logic

In this paper, we initiate a systematic study of the parametrised complexity in the field of Dependence Logics which finds its origin in the Dependence Logic of V\"a\"an\"anen from 2007. We study a propositional variant of this logic (PDL) and investigate a variety of parametrisations with respect to the central decision problems. The model checking problem (MC) of PDL is NP-complete. The subject of this research is to identify a list of parametrisations (formula-size, treewidth, treedepth, team-size, number of variables) under which MC becomes fixed-parameter tractable. Furthermore, we show that the number of disjunctions or the arity of dependence atoms (dep-arity) as a parameter both yield a paraNP-completeness result. Then, we consider the satisfiability problem (SAT) showing a different picture: under team-size, or dep-arity SAT is paraNP-complete whereas under all other mentioned parameters the problem is in FPT. Finally, we introduce a variant of the satisfiability problem, asking for teams of a given size, and show for this problem an almost complete picture.Comment: Update includes refined result

Polyteam Semantics

Team semantics is the mathematical framework of modern logics of dependence and independence in which formulae are interpreted by sets of assignments (teams) instead of single assignments as in first-order logic. In order to deepen the fruitful interplay between team semantics and database dependency theory, we define "Polyteam Semantics" in which formulae are evaluated over a family of teams. We begin by defining a novel polyteam variant of dependence atoms and give a finite axiomatisation for the associated implication problem. We also characterise the expressive power of poly-dependence logic by properties of polyteams that are downward closed and definable in existential second-order logic (ESO). The analogous result is shown to hold for poly-independence logic and all ESO-definable properties.Peer reviewe

Reasoning about embedded dependencies using inclusion dependencies

The implication problem for the class of embedded dependencies is undecidable. However, this does not imply lackness of a proof procedure as exemplified by the chase algorithm. In this paper we present a complete axiomatization of embedded dependencies that is based on the chase and uses inclusion dependencies and implicit existential quantification in the intermediate steps of deductions

Affect in mathematics education

There are two different uses for the word “affect” in behavioral sciences. Often it is used as an overarching umbrella concept that covers attitudes, beliefs, motivation, emotions, and all other noncognitive aspects of human mind. In this article, however, the word affect is used in a more narrow sense, referring to emotional states and traits. A more technical definition of emotions, states, and traits will follow later.Peer reviewe

Baltic Ecological Recycling Agriculture and Society (BERAS project) - a case of Juva milk system

The aim of the study was to determine the potential, impact and prerequisites of localization and enhanced recycling in a rural food system, illustrated by the case of Juva milk. An interdisciplinary scenario based on the increase of local, organic milk to 50 % of milk comsumption was created and the sustainability was compared, on the basis of the statistics and data collected from the actors, with the present milk system

The effect of microstructure on mechanical properties of HVOF sprayed WC-CoCr composite coatings

This study aims for deeper understanding of the composition and phase changes occurring during HVOF spraying of the powder to WC-CoCr coatings. Also, the effect of lamellar microstructure on the mechanical properties is studied. Compositional and microstructural features are studied by means of X-ray diffraction, XRF, FE-SEM and TEM (EDX, EELS). Mechanical properties are mainly studied by different instrumented indentation and nanoindentation techniques. The use of two new fracture parameters, complementing the fracture toughness value of the coating, are proposed and examined. Higher load range indentations are used to measure cross-sectional and surface hardness, elastic modulus and fracture toughness of the coatings. Mechanical properties of individual phases are studied by nanoindentation. To our knowledge this is the first time that the mechanical properties of this amorphous/nanocrystalline matrix are studied. ICP (In-situ Coating Property) sensor, developed for quality control and residual stress evaluation, is also used to measure the elastic modulus and coefficient of thermal expansion (CTE) of the coatings. Abrasion wear resistance of the coatings are studied according to standard ASTM G 65D. Because of the brittle nature of HVOF coatings, the main focus of this study is in the effects of coating microstructure on fracture toughness, and on crack initiation and propagation resistance. It is shown that even when two similar coatings have equal indentation fracture toughness values, the critical crack initiation loads may be very different. This new parameter is expected to be extremely useful in the evaluation of the coating performance under loading conditions

Probabilistic Team Semantics

Team semantics is a semantical framework for the study of dependence and independence concepts ubiquitous in many areas such as databases and statistics. In recent works team semantics has been generalised to accommodate also multisets and probabilistic dependencies. In this article we study a variant of probabilistic team semantics and relate this framework to a Tarskian two-sorted logic. We also show that very simple quantifier-free formulae of our logic give rise to backslashmathrm NP NP -hard model checking problems.Peer reviewe

Complexity Thresholds in Inclusion Logic

Logics with team semantics provide alternative means for logical characterization of complexity classes. Both dependence and independence logic are known to capture non-deterministic polynomial time, and the frontiers of tractability in these logics are relatively well understood. Inclusion logic is similar to these team-based logical formalisms with the exception that it corresponds to deterministic polynomial time in ordered models. In this article we examine connections between syntactical fragments of inclusion logic and different complexity classes in terms of two computational problems: maximal subteam membership and the model checking problem for a fixed inclusion logic formula. We show that very simple quantifier-free formulae with one or two inclusion atoms generate instances of these problems that are complete for (non-deterministic) logarithmic space and polynomial time. Furthermore, we present a fragment of inclusion logic that captures non-deterministic logarithmic space in ordered models

Ten steps or climbing a mountain: A study of Australian health professionals' perceptions of implementing the baby friendly health initiative to protect, promote and support breastfeeding

Background: The Baby Friendly Hospital (Health) Initiative (BFHI) is a global initiative aimed at protecting, promoting and supporting breastfeeding and is based on the ten steps to successful breastfeeding. Worldwide, over 20,000 health facilities have attained BFHI accreditation but only 77 Australian hospitals (approximately 23%) have received accreditation. Few studies have investigated the factors that facilitate or hinder implementation of BFHI but it is acknowledged this is a major undertaking requiring strategic planning and change management throughout an institution. This paper examines the perceptions of BFHI held by midwives and nurses working in one Area Health Service in NSW, Australia. Methods: The study used an interpretive, qualitative approach. A total of 132 health professionals, working across four maternity units, two neonatal intensive care units and related community services, participated in 10 focus groups. Data were analysed using thematic analysis. Results: Three main themes were identified: ‘Belief and Commitment’; ‘Interpreting BFHI’ and ‘Climbing a Mountain’. Participants considered the BFHI implementation a high priority; an essential set of practices that would have positive benefits for babies and mothers both locally and globally as well as for health professionals. It was considered achievable but would take commitment and hard work to overcome the numerous challenges including a number of organisational constraints. There were, however, differing interpretations of what was required to attain BFHI accreditation with the potential that misinterpretation could hinder implementation. A model described by Greenhalgh and colleagues on adoption of innovation is drawn on to interpret the findings. Conclusion: Despite strong support for BFHI, the principles of this global strategy are interpreted differently by health professionals and further education and accurate information is required. It may be that the current processes used to disseminate and implement BFHI need to be reviewed. The findings suggest that there is a contradiction between the broad philosophical stance and best practice approach of this global strategy and the tendency for health professionals to focus on the ten steps as a set of tasks or a checklist to be accomplished. The perceived procedural approach to implementation may be contributing to lower rates of breastfeeding continuation