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

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

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

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

CHARACTERISATION AND IN VITRO AND IN VIVO EVALUATION OF SUPERCRITICAL-CO2-FOAMED B-TCP/PLCL COMPOSITES FOR BONE APPLICATIONS

Most synthetic bone grafts are either hard and brittle ceramics or paste-like materials that differ in applicability from the gold standard autologous bone graft, which restricts their widespread use. Therefore, the aim of the study was to develop an elastic, highly porous and biodegradable beta-tricalciumphosphate/poly(L-lactide-co-epsilon-caprolactone) (beta-TCP/PLCL) composite for bone applications using supercritical CO2 foaming. Ability to support osteogenic differentiation was tested in human adipose stem cell (hASC) culture for 21 d. Biocompatibility was evaluated for 24 weeks in a rabbit femur-defect model. Foamed composites had a high ceramic content (50 wt%) and porosity (65-67 %). After 50 % compression, in an aqueous environment at 37 degrees C, tested samples returned to 95 % of their original height. Hydrolytic degradation of beta-TCP/PLCL composite, during the 24-week follow-up, was very similar to that of porous PLCL scaffold both in vitro and in vivo. Osteogenic differentiation of hASCs was demonstrated by alkaline phosphatase activity analysis, alizarin red staining, soluble collagen analysis, immunocytochemical staining and qRT-PCR. In vitro, hASCs formed a pronounced mineralised collagen matrix. A rabbit femur defect model confirmed biocompatibility of the composite. According to histological Masson-Goldner's trichrome staining and micro-computed tomography, beta-TCP/PLCL composite did not elicit infection, formation of fibrous capsule or cysts. Finally, native bone tissue at 4 weeks was already able to grow on and in the beta-TCP/PLCL composite. The elastic and highly porous beta-TCP/PLCL composite is a promising bone substitute because it is osteoconductive and easy-to-use and mould intraoperatively.Peer reviewe

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

Confidence and competence with mathematical procedures

Confidence assessment (CA), in which students state alongside each of their answers a confidence level expressing how certain they are, has been employed successfully within higher education. However, it has not been widely explored with school pupils. This study examined how school mathematics pupils (N = 345) in five different secondary schools in England responded to the use of a CA instrument designed to incentivise the eliciting of truthful confidence ratings in the topic of directed (positive and negative) numbers. Pupils readily understood the negative marking aspect of the CA process and their facility correlated with their mean confidence with r = .546, N = 336, p < .001, indicating that pupils were generally well calibrated. Pupils’ comments indicated that the vast majority were positive about the CA approach, despite its dramatic differences from more usual assessment practices in UK schools. Some pupils felt that CA promoted deeper thinking, increased their confidence and had a potential role to play in classroom formative assessment

Continuous Team Semantics

Peer reviewe

Continuous Team Semantics

We study logics with team semantics in computable metric spaces. We show how to define approximate versions of the usual independence/dependence atoms. For restricted classes of formulae, we show that we can assume w.l.o.g.~that teams are closed sets. This then allows us to import techniques from computable analysis to study the complexity of formula satisfaction and model checking

Combined effects of warming and drought on plant biomass depend on plant woodiness and community type: a meta-analysis.

Global warming and precipitation extremes (drought or increased precipitation) strongly affect plant primary production and thereby terrestrial ecosystem functioning. Recent syntheses show that combined effects of warming and precipitation extremes on plant biomass are generally additive, while individual experiments often show interactive effects, indicating that combined effects are more negative or positive than expected based on the effects of single factors. Here, we examined whether variation in biomass responses to single and combined effects of warming and precipitation extremes can be explained by plant growth form and community type. We performed a meta-analysis of 37 studies, which experimentally crossed warming and precipitation treatments, to test whether biomass responses to combined effects of warming and precipitation extremes depended on plant woodiness and community type (monocultures versus mixtures). Our results confirmed that the effects of warming and precipitation extremes were overall additive. However, combined effects of warming and drought on above- and belowground biomass were less negative in woody- than in herbaceous plant systems and more negative in plant mixtures than in monocultures. We further show that drought effects on plant biomass were more negative in greenhouse, than in field studies, suggesting that greenhouse experiments may overstate drought effects in the field. Our results highlight the importance of plant system characteristics to better understand plant responses to climate change