A note on cut-elimination for classical propositional logic

In Schwichtenberg (Studies in logic and the foundations of mathematics, vol 90, Elsevier, pp 867-895, 1977), Schwichtenberg fine-tuned Tait's technique (Tait in The syntax and semantics of infinitary languages, Springer, pp 204-236, 1968) so as to provide a simplified version of Gentzen's original cut-elimination procedure for first-order classical logic (Gallier in Logic for computer science: foundations of automatic theorem proving, Courier Dover Publications, London, 2015). In this note we show that, limited to the case of classical propositional logic, the Tait-Schwichtenberg algorithm allows for a further simplification. The procedure offered here is implemented on Kleene's sequent system G4 (Kleene in Mathematical logic, Wiley, New York, 1967; Smullyan in First-order logic, Courier corporation, London, 1995). The specific formulation of the logical rules for G4 allows us to provide bounds on the height of cut-free proofs just in terms of the logical complexity of their end-sequent

A New Estimation Algorithm for Interval Censored Data from Repairable Systems

For a minimally repaired system, whose failure process is described by a non-homogeneous Poisson process (NHPP), the classical maximum likelihood estimation procedures cannot be used when the system failures are hidden and detected only at inspection epochs. By assuming that the failure process follows a NHPP with power law intensity function, the Expectation-Maximization (EM) algorithm was recently proposed to estimate the model parameters and a procedure to test the presence of trend in the real failure data of some components of identical medical infusion pumps was discussed. However, the EM algorithm suffers in this application from some limitations due to its complexity and the large computational time required for convergence. This paper proposes a new estimation algorithm which is still iterative but, unlike the EM algorithm, is not based on the expectation of the log-likelihood function with respect to the conditional distribution of the unobserved data, but rather on the expectation of the conditioning variables, that is, of the unknown age of the system at the previous failure. This approach allows one to specify a simpler and much faster estimation procedure. A comparison between the proposed and the EM algorithms shows that the former performs as well as the latter, while requiring a drastically reduced computational burden. In addition, the proposed scheme can be applied to other intensity functions, such as the log-linear and the 2-parameter logarithmic functions. As a result, the test hypothesis of no trend in one of the analyzed datasets, which can not be rejected under the power law intensity function, is instead rejected under the alternative hypothesis of a log-linear intensity function

Molecular Biology Meets Logic : Context-Sensitiveness in Focus

Some real life processes, including molecular ones, are context-sensitive, in the sense that their outcome depends on side conditions that are most of the times difficult, or impossible, to express fully in advance. In this paper, we survey and discuss a logical account of context-sensitiveness in molecular processes, based on a kind of non-classical logic. This account also allows us to revisit the relationship between logic and philosophy of science (and philosophy of biology, in particular)

Source to tap investigation of natural organic matter in non-disinfected drinking water distribution systems

Despite being reduced by treatment, natural organic matter (NOM) is ubiquitous in drinking water distribution systems (DWDSs) from sources to consumers' taps where it can potentially have negative impacts on drinking water quality. While a few studies have investigated its behaviour in disinfected and NOM-rich DWDSs, its dynamics in non-disinfected systems, characterized by low NOM content, have not yet been explored. In this study, we monitored the NOM variations occurring between groundwater sources and consumers' taps of a non-disinfected DWDS, including three drinking water treatment plants, using both fluorescence and absorbance, selected due to their increasing adoption by water utilities. PARAFAC analysis of fluorescence data, combined with absorbance indices, highlighted how NOM characteristics in groundwater vary due to the combination of multiple factors (e.g., well depth, pumping rate), especially in the case of shallower aquifers. The treatment processes display different effects on NOM when monitored by fluorescence and absorbance, due to the differences among fluorophores and between fluorescent and chromophoric molecules. Variations of the NOM characteristics between the treatment plant outlets and sampling locations within the network were detected only in few locations, suggesting the importance of the processes occurring in specific sections of the network and the last meter before consumption. These findings highlight the overall stability of water quality within non- disinfected NOM-poor DWDSs, but they stress the importance of (i) properly selecting the analytical method to be used for monitoring and (ii) localized water quality variations mainly related to pipe materials, suggesting several implications for DWDS monitoring and management

Photobiomodulation with a 645 nm Diode Laser of Saos-2 Cells and Platelet-Rich Plasma: The Potential for a New Mechanism of Action

Objective: The main focus of this in vitro study was to highlight possible differences between outcomes of photobiomodulation performed in the presence or absence of growth factors derived from platelet-rich plasma.Background: Photobiomodulation has garnered increasing attention, thanks to a large number of controlled clinical trials that have proven its efficacy in various oral pathologies. Nevertheless, the mechanism of action is still a matter of debate.Materials and methods: The cell model used was Saos-2ATTC HTB-85, a human osteosarcoma cell line that retains an osteogenic potential matching that of osteoblastic cells. Photobiomodulation was performed with a 645 nm diode laser; we investigated three different fluence values (2, 5, and 10 J/cm(2)) delivered with 3 different irradiation times (1, 2, and 4 min). The design of the study included a case-control structure. Cell viability was assessed by resazurin reduction assay before laser irradiation. We assessed cell differentiation by Alizarin-red Sigma Aldrich assay 48 h after the last laser irradiation.Results: Results show that the combination of photobiomodulation and platelet-rich plasma can lead to a statistically significant increase in both proliferation and differentiation rates.Conclusions: Only a defined amount of energy, that is, a fluence of 5 J/cm(2) delivered in 2 min and of 10 J/cm(2) in 4 min, was proven to be the most effective in the presence of platelet-rich plasma to induce cell proliferation and calcium deposition

Rainbow trout (Oncorhynchus mykiss, Walbaum 1792) develop a more robust body shape under organic rearing

Prolonged exposure to captive conditions has led to the development of a rainbow trout ‘farmed’ pheno- type, which is different from that of wild trout. Selec- tion for desirable productive traits in hatcheries has resulted in the development of some morphological traits that are maladaptive in nature. The recent development of organic aquaculture, guided by the well-being of the fish, could potentially produce a new farmed phenotype that would be more adaptive in nature. In this study, rainbow trout reared in intensive and organic farms were compared by means of shape analysis, to detect patterns of shape variation associated with rearing environment. The results of this study highlight a significant effect of the rearing method on rainbow trout shape: organi- cally reared trout showed a higher body profile, in particular in the head and trunk regions, shorter median fins and a deeper caudal peduncle. A combined effect of density and habitat complexity could have contributed to the observed shape differences: in organic rearing systems, lower densi- ties and steady water could increase territoriality and aggressive interactions, promoting body designs more functional in rapid attacks and escapes

An international cross-sectional survey of antimicrobial stewardship programmes in hospitals

Objectives To report the extent and components of global efforts in antimicrobial stewardship (AMS) in hospitals. Methods An Internet-based survey comprising 43 questions was disseminated worldwide in 2012. Results Responses were received from 660 hospitals in 67 countries: Africa, 44; Asia, 50; Europe, 361; North America, 72; Oceania, 30; and South and Central America, 103. National AMS standards existed in 52% of countries, 4% were planning them and 58% had an AMS programme. The main barriers to implementing AMS programmes were perceived to be a lack of funding or personnel, a lack of information technology and prescriber opposition. In hospitals with an existing AMS programme, AMS rounds existed in 64%; 81% restricted antimicrobials (carbapenems, 74.3%; quinolones, 64%; and cephalosporins, 58%); and 85% reported antimicrobial usage, with 55% linking data to resistance rates and 49% linking data to infection rates. Only 20% had electronic prescribing for all patients. A total of 89% of programmes educated their medical, nursing and pharmacy staff on AMS. Of the hospitals, 38% had formally reviewed their AMS programme: reductions were reported by 96% of hospitals for inappropriate prescribing, 86% for broad-spectrum antibiotic use, 80% for expenditure, 71% for healthcare-acquired infections, 65% for length of stay or mortality and 58% for bacterial resistance. Conclusions The worldwide development and implementation of AMS programmes varies considerably. Our results should inform and encourage the further evaluation of this with a view to promoting a worldwide stewardship framework. The prospective measurement of well-defined outcomes of the impact of these programmes remains a significant challeng

Black lymph node in tattoo: an easy pitfall

Tattoo is one of the most popular body arts in the world. It may be considered as a sign of belonging to a particular community as well as an expression of masculinity. However, it may also have a mere aesthetic purpose. In the past, whereas tattooing was common for male military personnel, bourgeois society spurned it. Nowadays, it is estimated that more than 24% of American adults have at least a tattoo.1 It is trending so tattooing is increasing social acceptability. The practice is equally common in men and women. In Italy, this phenomenon is less extensive than in America. However, it is definitely on the rise if we compare it with the past. Tattooing is becoming extremely popular with adolescent