Knowing Values and Public Inspection

We present a basic dynamic epistemic logic of "knowing the value". Analogous to public announcement in standard DEL, we study "public inspection", a new dynamic operator which updates the agents' knowledge about the values of constants. We provide a sound and strongly complete axiomatization for the single and multi-agent case, making use of the well-known Armstrong axioms for dependencies in databases

3D bioprinting for orthopaedic applications: Current advances, challenges and regulatory considerations

In the era of personalised medicine, novel therapeutic approaches raise increasing hopes to address currently unmet medical needs by developing patient-customised treatments. Three-dimensional (3D) bioprinting is rapidly evolving and has the potential to obtain personalised tissue constructs and overcome some limitations of standard tissue engineering approaches. Bioprinting could support a wide range of biomedical applications, such as drug testing, tissue repair or organ transplantation. There is a growing interest for 3D bioprinting in the orthopaedic field, with remarkable scientific and technical advances. However, the full exploitation of 3D bioprinting in medical applications still requires efforts to anticipate the upcoming challenges in translating bioprinted products from bench to bedside. In this review we summarised current trends, advances and challenges in the application of 3D bioprinting for bone and cartilage tissue engineering. Moreover, we provided a detailed analysis of the applicable regulations through the 3D bioprinting process and an overview of available standards covering bioprinting and additive manufacturing

Undefinability in Inquisitive Logic with Tensor

Logics based on team semantics, such as inquisitive logic and dependence logic, are not closed under uniform substitution. This leads to an interesting separation between expressive power and definability: it may be that an operator O can be added to a language without a gain in expressive power, yet O is not definable in that language. For instance, even though propositional inquisitive logic and propositional dependence logic have the same expressive power, inquisitive disjunction and implication are not definable in propositional dependence logic. A question that has been open for some time in this area is whether the tensor disjunction used in propositional dependence logic is definable in inquisitive logic. We settle this question in the negative. In fact, we show that extending the logical repertoire of inquisitive logic by means of tensor disjunction leads to an independent set of connectives; that is, no connective in the resulting logic is definable in terms of the others.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

The tailings dam failure of 5 November 2015 in SE Brazil and its preceding seismic sequence

The collapse of a mine tailings dam and subsequent flood in SE Brazil on 5 November 2015 was preceded by a small-magnitude seismic sequence. In this report, we explore the spatiotemporal associations between the seismic events and the accident and discuss their possible connection. We also analyze the signals generated by the turbulent mudflow, as recorded by the Brazilian Seismographic Network (RSBR). In light of our observations, we propose as possible contributing factor for the dam collapse either ground shaking and/or soil liquefaction triggered by the earthquakes. The possibility of such a small-magnitude earthquake contributing to the collapse of a tailings dam raises important concerns regarding safety and related legislation of dams in Brazil and the world. ©2016. American Geophysical Union.H.A.D. and M.A. acknowledge support from Sao Paulo Research Foundation FAPESP grant 2014/09455-3 and CNPq grant 30.6547/2013-9.Peer reviewe

Alternating block copolymer-based nanoparticles as tools to modulate the loading of multiple chemotherapeutics and imaging probes

Abstract Cancer therapy often relies on the combined action of different molecules to overcome drug resistance and enhance patient outcome. Combined strategies relying on molecules with different pharmacokinetics often fail due to the lack of concomitant tumor accumulation and, thus, to the loss of synergistic effect. Due to their ability to enhance treatment efficiency, improve drug pharmacokinetics, and reduce adverse effects, polymer nanoparticles (PNPs) have been widely investigated as co-delivery vehicles for cancer therapies. However, co-encapsulation of different drugs and probes in PNPs requires a flexible polymer platform and a tailored particle design, in which both the bulk and surface properties of the carriers are carefully controlled. In this work, we propose a core-shell PNP design based on a polyurethane (PUR) core and a phospholipid external surface. The modulation of the hydrophilic/hydrophobic balance of the PUR core enhanced the encapsulation of two chemotherapeutics with dramatically different water solubility (Doxorubicin hydrochloride, DOXO and Docetaxel, DCTXL) and of Iron Oxide Nanoparticles for MRI imaging. The outer shell remained unchanged among the platforms, resulting in un-modified cellular uptake and in vivo biodistribution. We demonstrate that the choice of PUR core allowed a high entrapment efficiency of all drugs, superior or comparable to previously reported results, and that higher core hydrophilicity enhances the loading efficiency of the hydrophilic DOXO and the MRI contrast effect. Moreover, we show that changing the PUR core did not alter the surface properties of the carriers, since all particles showed a similar behavior in terms of cell internalization and in vivo biodistribution. We also show that PUR PNPs have high passive tumor accumulation and that they can efficient co-deliver the two drugs to the tumor, reaching an 11-fold higher DOXO/DCTXL ratio in tumor as compared to free drugs. Statement of Significance Exploiting the synergistic action of multiple chemotherapeutics is a promising strategy to improve the outcome of cancer patients, as different agents can simultaneously engage different features of tumor cells and/or their microenvironment. Unfortunately, the choice is limited to drugs with similar pharmacokinetics that can concomitantly accumulate in tumors. To expand the spectrum of agents that can be delivered in combination, we propose a multi-compartmental core-shell nanoparticles approach, in which the core is made of biomaterials with high affinity for drugs of different physical properties. We successfully co-encapsulated Doxorubicin Hydrochloride, Docetaxel, and contrast agents and achieved a significantly higher concomitant accumulation in tumor versus free drugs, demonstrating that nanoparticles can improve synergistic cancer chemotherapy

A comparison of electrochemical degradation of phenol on boron doped diamond and lead dioxide anodes

This work compares two electrode materials used to mineralize phenol contained in waste waters. Two disks covered with either boron doped diamond (BDD) or PbO2 were used as anodes in a one compartment flow cell under the same hydrodynamic conditions. Efficiencies of galvanostatic electrolyses are compared on the basis of measurements of Total Organic Carbon (TOC) and Chemical Oxygen Demand (COD). Galvanostatic electrolyses were monitored by analysis of phenol and of its oxidation derivatives to evaluate the operating time needed for complete elimination of toxic aromatics. The experimental current efficiency is close to the theoretical value for the BDD electrode. Other parameters being equal, phenol species disappeared at the same rate using the two electrode materials but the BDD anode showed better efficiency to eliminate TOC and COD. Moreover, during the electrolysis less intermediates are formed with BDD compared to PbO2 whatever the current density. A comparison of energy consumption is given based on the criterion of 99% removal of aromatic compounds

Linear and non linear measures of pupil size as a function of hypnotizability

Higher arousal and cortical excitability have been observed in high hypnotizable individuals (highs) with respect to low hypnotizables (lows), which may be due to differences in the activation of ascending activating systems. The present study investigated the possible hypnotizability-related difference in the cortical noradrenergic tone sustained by the activity of the Locus Coeruleus which is strongly related to pupil size. This was measured during relaxation in three groups of participants—highs (N = 15), lows (N = 15) and medium hypnotizable individuals (mediums, N = 11)—in the time and frequency domains and through the Recurrence Quantification Analysis. ECG and Skin Conductace (SC) were monitored to extract autonomic indices of relaxation (heart interbeats intervals, parasympathetic component of heart rate variability (RMSSD) and tonic SC (MeanTonicSC). Most variables indicated that participants relaxed throughout the session. Pupil features did not show significant differences between highs, mediums and lows, except for the spectral Band Median Frequency which was higher in mediums than in lows and highs at the beginning, but not at the end of the session.Thus, the present findings of pupil size cannot account for the differences in arousal and motor cortex excitability observed between highs and lows in resting conditions