On the Logic of Lying

We model lying as a communicative act changing the beliefs of the agents in a multi-agent system. With Augustine, we see lying as an utterance believed to be false by the speaker and uttered with the intent to deceive the addressee. The deceit is successful if the lie is believed after the utterance by the addressee. This is our perspective. Also, as common in dynamic epistemic logics, we model the agents addressed by the lie, but we do not (necessarily) model the speaker as one of those agents. This further simplifies the picture: we do not need to model the intention of the speaker, nor do we need to distinguish between knowledge and belief of the speaker: he is the observer of the system and his beliefs are taken to be the truth by the listeners. We provide a sketch of what goes on logically when a lie is communicated. We present a complete logic of manipulative updating, to analyse the effects of lying in public discourse. Next, we turn to the study of lying in games. First, a game-theoretical analysis is used to explain how the possibility of lying makes games such as Liar's Dice interesting, and how lying is put to use in optimal strategies for playing the game. This is the opposite of the logical manipulative update: instead of always believing the utterance, now, it is never believed. We also give a matching logical analysis for the games perspective, and implement that in the model checker DEMO. Our running example of lying in games is the game of Liar's Dice

On the Logic of Lying

We look at lying as an act of communication, where (i) the proposition that is communicated is not true, (ii) the utterer of the lie knows (or believes) that what she communicates is not true, and (iii) the utterer of the lie intends the lie to be taken as truth. Rather than dwell on the moral issues, we provide a sketch of what goes on logically when a lie is communicated. We present a complete logic of manipulative updating, to analyse the effects of lying in public discourse. Next, we turn to the study of lying in games. First, a game-theoretical analysis is used to explain how the possibility of lying makes such games interesting, and how lying is put to use in optimal strategies for playing the game. Finally, we give a matching logical analysis. Our running example of lying in games is liar's dice

The design of a randomised controlled trial to evaluate the (cost-) effectiveness of the posterolateral versus the direct anterior approach for THA (POLADA - trial)

Background: Total hip arthroplasty (THA) is one of the most successful orthopaedic procedures. Because of the increasing number of THAs, a growing demand for faster recovery and a greater emphasis on cost-effectiveness, minimally invasive THAs have been introduced in the last decades. The direct anterior approach is a minimally invasive, tissue-sparing approach in which intermuscular planes are used. Theoretically, this approach should result in a faster recovery of physical functioning and higher health-related quality of life. Methods/design: A randomised controlled trial will be performed. Patients will be randomly allocated to undergo THA by means of the anterior or posterolateral approach. Both the intervention and control group will consist of two subgroups: 1) patients with a good bone stock who will receive an uncemented femoral stem, and 2) patients with a poor bone stock who will receive a cemented femoral stem. Patients between 18 and 90 years with primary or secondary osteoarthritis will be included. Physical functioning and health-related quality of life will be assessed by means of questionnaires. Additionally, performance based tests will be performed to objectively assess the physical functioning. Cost-effectiveness will be assessed by obtaining data on medical costs in and outside the hospital and other nonmedical costs. Measurements will take place preoperatively, two and six weeks, three months and one year postoperatively. Discussion: There is some evidence that the anterior approach results in reduced tissue damage and faster recovery in the direct postoperative period, compared to the posterolateral approach. However, there is still a lack of well-designed studies that have confirmed the better outcomes and cost-effectiveness of the anterior approach. Therefore, the purpose of this study is to assess the physical functioning, health related quality of life and the cost-effectiveness of the anterior approach, compared to the conventional posterolateral approach

Martensitic transformation of individual grains in low-alloyed TRIP steels

We have performed in situ synchrotron X-ray diffraction experiments on low-alloyed multiphase TRIP steels during cooling, to monitor the martensitic transformation of individual austenite grains within the bulk material. Direct experimental evidence is presented that the stability of the austenite grains is controlled not only by the local carbon level but also by the grain size. This new quantitative information on the martensitic transformation in complex microstructures is of great importance for the design of martensite-based metallic materials.</p

Characterization of individual retained austenite grains and their stability in low-alloyed TRIP steels

In situ three-dimensional (3-D) X-ray diffraction experiments have been performed at a synchrotron source on low-alloyed multiphase TRIP steels containing 0.25 wt.% Si and 0.44 wt.% Al and produced with different bainitic holding times, in order to assess the influence of the bainitic transformation on the thermal stability of individual austenite grains with respect to their martensitic transformation. A detailed characterization of the austenite grain volume distribution at room temperature was performed as a function of the prior bainitic holding time. In addition, the martensitic transformation behaviour of individual metastable grains was studied in situ during cooling to a temperature of 100 K. Both the carbon content and the grain volume play a key role in the stability of the austenite grains below 15 μm3, while the carbon content exerts the dominant effect in the stability of the bigger grains. Measurements also suggest that the tetragonality of the thermally formed martensite is suppressed.</p

MRI Assessment of Muscle Damage After the Posterolateral Versus Direct Anterior Approach for THA (Polada Trial). A Randomized Controlled Trial

BACKGROUND: There is controversy in literature whether the direct anterior approach (DAA) results in less muscle damage compared with the posterolateral approach (PLA) for total hip arthroplasty. The aim of this randomized controlled trial was to assess muscle damage between these two approaches. METHODS: Forty-six patients were included. Muscle atrophy, determined with the Goutallier classification, and muscle surface of twelve muscles were analyzed on magnetic resonance imaging images made preoperatively and one year postoperatively. Differences in component placement after DAA or PLA were assessed on radiographs. Harris hip scores and Hip disability and Osteoarthritis and Outcome Score were used as functional outcomes. RESULTS: External rotator musculature was damaged in both approaches. After PLA, the obturator muscles showed significantly more atrophy and a decrease in muscle surface. After DAA, the tensor fascia latae showed an increased muscle atrophy and the psoas muscle showed a decreased muscle surface. An increase in muscle surface was seen for the rectus femoris, sartorius, and quadratus femoris after both approaches. The muscle surface of the gluteus medius and iliacus was also increased after PLA. No difference in muscle atrophy was found between the approaches for these muscles. The inclination angle of the cup in PLA was significantly higher. No differences were found in functional outcomes. CONCLUSION: Different muscle groups were affected in the two approaches. After PLA, the external rotators were more affected, whereas the tensor fascia latae and psoas muscles were more affected after DAA

Structural tale of two novel (Cr, Mn)C carbides in steel

Chromium (Cr), manganese (Mn) and carbon (C) are well known alloying elements used in technologically important alloy steels and advanced high strength steels. It is known that binary CrCx and MnCx carbides can be formed in steels, but in this study we reveal for the first time that Cr and Mn were found combined in novel ternary cementite type (Cr, Mn)C carbides. Electron diffraction experiments showed that Cr, Mn and C formed two distinct carbide phases possessing orthorhombic and monoclinic crystal structures. Density functional theory calculations were performed on these phases and excellent agreement was found between calculations and experiments on the lattice parameters and relative atomic positions. The calculations showed that the combination of Mn and Cr resulted in a very high thermodynamic stability of the (Cr, Mn)C carbides, and that local structural relaxations are associated with carbon additions. Possible implications of these ternary carbides for novel applications in steel design and manufacturing are discussed

The PKC, HOG and Ca2+ signalling pathways co-ordinately regulate chitin synthesis in Candida albicans

Open Access via PMC2649417Peer reviewedPublisher PD

Therapeutic prospects of exon skipping for epidermolysis bullosa

Epidermolysis bullosa is a group of genetic skin conditions characterized by abnormal skin (and mucosal) fragility caused by pathogenic variants in various genes. The disease severity ranges from early childhood mortality in the most severe types to occasional acral blistering in the mildest types. The subtype and severity of EB is linked to the gene involved and the specific variants in that gene, which also determine its mode of inheritance. Current treatment is mainly focused on symptomatic relief such as wound care and blister prevention, because truly curative treatment options are still at the preclinical stage. Given the current level of understanding, the broad spectrum of genes and variants underlying EB makes it impossible to develop a single treatment strategy for all patients. It is likely that many different variant-specific treatment strategies will be needed to ultimately treat all patients. Antisense-oligonucleotide (ASO)-mediated exon skipping aims to counteract pathogenic sequence variants by restoring the open reading frame through the removal of the mutant exon from the pre-messenger RNA. This should lead to the restored production of the protein absent in the affected skin and, consequently, improvement of the phenotype. Several preclinical studies have demonstrated that exon skipping can restore protein production in vitro, in skin equivalents, and in skin grafts derived from EB-patient skin cells, indicating that ASO-mediated exon skipping could be a viable strategy as a topical or systemic treatment. The potential value of exon skipping for EB is supported by a study showing reduced phenotypic severity in patients who carry variants that result in natural exon skipping. In this article, we review the substantial progress made on exon skipping for EB in the past 15 years and highlight the opportunities and current challenges of this RNA-based therapy approach. In addition, we present a prioritization strategy for the development of exon skipping based on genomic information of all EB-involved genes

Platelets in Patients with Premature Coronary Artery Disease Exhibit Upregulation of miRNA340* and miRNA624*

Coronary artery disease (CAD) is the leading cause of human morbidity and mortality worldwide, underscoring the need to improve diagnostic strategies. Platelets play a major role, not only in the process of acute thrombosis during plaque rupture, but also in the formation of atherosclerosis itself. MicroRNAs are endogenous small non-coding RNAs that control gene expression and are expressed in a tissue and disease-specific manner. Therefore they have been proposed to be useful biomarkers. It remains unknown whether differences in miRNA expression levels in platelets can be found between patients with premature CAD and healthy controls. In this case-control study we measured relative expression levels of platelet miRNAs using microarrays from 12 patients with premature CAD and 12 age- and sex-matched healthy controls. Six platelet microRNAs were significantly upregulated (miR340*, miR451, miR454*, miR545:9.1. miR615-5p and miR624*) and one miRNA (miR1280) was significantly downregulated in patients with CAD as compared to healthy controls. To validate these results, we measured the expression levels of these candidate miRNAs by qRT-PCR in platelets of individuals from two independent cohorts; validation cohort I consisted of 40 patients with premature CAD and 40 healthy controls and validation cohort II consisted of 27 patients with artery disease and 40 healthy relatives. MiR340* and miR624* were confirmed to be upregulated in patients with CAD as compared to healthy controls in both validation cohorts. Two miRNAs in platelets are significantly upregulated in patients with CAD as compared to healthy controls. Whether the two identified miRNAs can be used as biomarkers and whether they are cause or consequence of the disease remains to be elucidated in a larger prospective stud