Dynamic piezoelectric stimulation enhances osteogenic differentiation of human adipose stem cells

This work reports on the influence of the substrate polarization of electroactive β-PVDF on human adipose stem cells (hASCs) differentiation under static and dynamic conditions. hASCs were cultured on different β-PVDF surfaces (non-poled and “poled -”) adsorbed with fibronectin and osteogenic differentiation was determined using a quantitative alkaline phosphatase assay. “Poled -” β-PVDF samples promote higher osteogenic differentiation, which is even higher under dynamic conditions. It is thus demonstrated that electroactive membranes can provide the necessary electromechanical stimuli for the differentiation of specific cells and therefore will support the design of suitable tissue engineering strategies, such as bone tissue engineering.

Curry-Howard for sequent calculus at last!

This paper tries to remove what seems to be the remaining stumbling blocks in the way to a full understanding of the Curry-Howard isomorphism for sequent calculus, namely the questions: What do variables in proof terms stand for? What is co-control and a co-continuation? How to define the dual of Parigot's mu-operator so that it is a co-control operator? Answering these questions leads to the interpretation that sequent calculus is a formal vector notation with first-class co-control. But this is just the "internal" interpretation, which has to be developed simultaneously with, and is justified by, an "external" one, offered by natural deduction: the sequent calculus corresponds to a bi-directional, agnostic (w.r.t. the call strategy), computational lambda-calculus. Next, the duality between control and co-control is studied and proved in the context of classical logic, where one discovers that the classical sequent calculus has a distortion towards control, and that sequent calculus is the de Morgan dual of natural deduction.

Study of the spin and parity of the Higgs boson in diboson decays with the ATLAS detector

Studies of the spin, parity and tensor couplings of the Higgs boson in the H→ZZ∗→4ℓ , H→WW∗→eνμν and H→γγ decay processes at the LHC are presented. The investigations are based on 25 fb−1 of pp collision data collected by the ATLAS experiment at s√=7 TeV and s√=8 TeV. The Standard Model (SM) Higgs boson hypothesis, corresponding to the quantum numbers JP=0+, is tested against several alternative spin scenarios, including non-SM spin-0 and spin-2 models with universal and non-universal couplings to fermions and vector bosons. All tested alternative models are excluded in favour of the SM Higgs boson hypothesis at more than 99.9% confidence level. Using the H→ZZ∗→4ℓ and H→WW∗→eνμν decays, the tensor structure of the HVV interaction in the spin-0 hypothesis is also investigated. The observed distributions of variables sensitive to the non-SM tensor couplings are compatible with the SM predictions and constraints on the non-SM couplings are derived.