The Lambek calculus with iteration: two variants

Formulae of the Lambek calculus are constructed using three binary connectives, multiplication and two divisions. We extend it using a unary connective, positive Kleene iteration. For this new operation, following its natural interpretation, we present two lines of calculi. The first one is a fragment of infinitary action logic and includes an omega-rule for introducing iteration to the antecedent. We also consider a version with infinite (but finitely branching) derivations and prove equivalence of these two versions. In Kleene algebras, this line of calculi corresponds to the *-continuous case. For the second line, we restrict our infinite derivations to cyclic (regular) ones. We show that this system is equivalent to a variant of action logic that corresponds to general residuated Kleene algebras, not necessarily *-continuous. Finally, we show that, in contrast with the case without division operations (considered by Kozen), the first system is strictly stronger than the second one. To prove this, we use a complexity argument. Namely, we show, using methods of Buszkowski and Palka, that the first system is $\Pi_1^0$-hard, and therefore is not recursively enumerable and cannot be described by a calculus with finite derivations

Imaging the spectral reflectance properties of bipolar radiofrequency-fused bowel tissue

Delivery of radiofrequency (RF) electrical energy is used during surgery to heat and seal tissue, such as vessels, allowing resection without blood loss. Recent work has suggested that this approach may be extended to allow surgical attachment of larger tissue segments for applications such as bowel anastomosis. In a large series of porcine surgical procedures bipolar RF energy was used to resect and re-seal the small bowel in vivo with a commercial tissue fusion device (Ligasure; Covidien PLC, USA). The tissue was then imaged with a multispectral imaging laparoscope to obtain a spectral datacube comprising both fused and healthy tissue. Maps of blood volume, oxygen saturation and scattering power were derived from the measured reflectance spectra using an optimised light-tissue interaction model. A 60% increase in reflectance of visible light (460-700 nm) was observed after fusion, with the tissue taking on a white appearance. Despite this the distinctive shape of the haemoglobin absorption spectrum was still noticeable in the 460-600 nm wavelength range. Scattering power increased in the fused region in comparison to normal serosa, while blood volume and oxygen saturation decreased. Observed fusion-induced changes in the reflectance spectrum are consistent with the biophysical changes induced through tissue denaturation and increased collagen cross-linking. The multispectral imager allows mapping of the spatial extent of these changes and classification of the zone of damaged tissue. Further analysis of the spectral data in parallel with histopathological examination of excised specimens will allow correlation of the optical property changes with microscopic alterations in tissue structure. © (2015) COPYRIGHT Society of Photo-Optical Instrumentation Engineers (SPIE). Downloading of the abstract is permitted for personal use only

Dark Matter, Muon g-2 and Other SUSY Constraints

Recent developments constraining the SUSY parameter space are reviewed within the framework of SUGRA GUT models. The WMAP data is seen to reduce the error in the density of cold dark matter by about a factor of four, implying that the lightest stau is only 5 -10 GeV heavier than the lightest neutralino when m_0, m_{1/2} < 1 TeV. The CMD-2 re-analysis of their data has reduced the disagreement between the Standard Model prediction and the Brookhaven measurement of the muon magnetic moment to 1.9 sigma, while using the tau decay data plus CVC, the disagreement is 0.7 sigma. (However, the two sets of data remain inconsistent at the 2.9 sigma level.) The recent Belle and BABAR measurements of the B -> phi K CP violating parameters and branching ratios are discussed. They are analyzed theoretically within the BBNS improved factorization method. The CP parameters are in disagreement with the Standard Model at the 2.7 sigma level, and the branching ratios are low by a factor of two or more over most of the parameter space. It is shown that both anomalies can naturally be accounted for by adding a non-universal cubic soft breaking term at M_G mixing the second and third generations.Comment: 16 pages, 7 figures, plenary talk at Beyond The Desert '03, Castle Ringberg, Germany, June 9, 2003. Typos correcte

Constraint Generation Algorithm for the Minimum Connectivity Inference Problem

Given a hypergraph $H$, the Minimum Connectivity Inference problem asks for a graph on the same vertex set as $H$ with the minimum number of edges such that the subgraph induced by every hyperedge of $H$ is connected. This problem has received a lot of attention these recent years, both from a theoretical and practical perspective, leading to several implemented approximation, greedy and heuristic algorithms. Concerning exact algorithms, only Mixed Integer Linear Programming (MILP) formulations have been experimented, all representing connectivity constraints by the means of graph flows. In this work, we investigate the efficiency of a constraint generation algorithm, where we iteratively add cut constraints to a simple ILP until a feasible (and optimal) solution is found. It turns out that our method is faster than the previous best flow-based MILP algorithm on random generated instances, which suggests that a constraint generation approach might be also useful for other optimization problems dealing with connectivity constraints. At last, we present the results of an enumeration algorithm for the problem.Comment: 16 pages, 4 tables, 1 figur

Solving Quantum Ground-State Problems with Nuclear Magnetic Resonance

Quantum ground-state problems are computationally hard problems; for general many-body Hamiltonians, there is no classical or quantum algorithm known to be able to solve them efficiently. Nevertheless, if a trial wavefunction approximating the ground state is available, as often happens for many problems in physics and chemistry, a quantum computer could employ this trial wavefunction to project the ground state by means of the phase estimation algorithm (PEA). We performed an experimental realization of this idea by implementing a variational-wavefunction approach to solve the ground-state problem of the Heisenberg spin model with an NMR quantum simulator. Our iterative phase estimation procedure yields a high accuracy for the eigenenergies (to the 10^-5 decimal digit). The ground-state fidelity was distilled to be more than 80%, and the singlet-to-triplet switching near the critical field is reliably captured. This result shows that quantum simulators can better leverage classical trial wavefunctions than classical computers.Comment: 11 pages, 13 figure

Calculating Unknown Eigenvalues with a Quantum Algorithm

Quantum algorithms are able to solve particular problems exponentially faster than conventional algorithms, when implemented on a quantum computer. However, all demonstrations to date have required already knowing the answer to construct the algorithm. We have implemented the complete quantum phase estimation algorithm for a single qubit unitary in which the answer is calculated by the algorithm. We use a new approach to implementing the controlled-unitary operations that lie at the heart of the majority of quantum algorithms that is more efficient and does not require the eigenvalues of the unitary to be known. These results point the way to efficient quantum simulations and quantum metrology applications in the near term, and to factoring large numbers in the longer term. This approach is architecture independent and thus can be used in other physical implementations

Longitudinal grey and white matter changes in frontotemporal dementia and Alzheimer's disease

Behavioural variant frontotemporal dementia (bvFTD) and Alzheimer's disease (AD) dementia are characterised by progressive brain atrophy. Longitudinal MRI volumetry may help to characterise ongoing structural degeneration and support the differential diagnosis of dementia subtypes. Automated, observer-independent atlas-based MRI volumetry was applied to analyse 102 MRI data sets from 15 bvFTD, 14 AD, and 10 healthy elderly control participants with consecutive scans over at least 12 months. Anatomically defined targets were chosen a priori as brain structures of interest. Groups were compared regarding volumes at clinic presentation and annual change rates. Baseline volumes, especially of grey matter compartments, were significantly reduced in bvFTD and AD patients. Grey matter volumes of the caudate and the gyrus rectus were significantly smaller in bvFTD than AD. The bvFTD group could be separated from AD on the basis of caudate volume with high accuracy (79% cases correct). Annual volume decline was markedly larger in bvFTD and AD than controls, predominantly in white matter of temporal structures. Decline in grey matter volume of the lateral orbitofrontal gyrus separated bvFTD from AD and controls. Automated longitudinal MRI volumetry discriminates bvFTD from AD. In particular, greater reduction of orbitofrontal grey matter and temporal white matter structures after 12 months is indicative of bvFTD

The effects of laryngeal mask airway passage simulation training on the acquisition of undergraduate clinical skills: a randomised controlled trial

Background\ud Effective use of the laryngeal mask airway (LMA) requires learning proper insertion technique in normal patients undergoing routine surgical procedures. However, there is a move towards simulation training for learning practical clinical skills, such as LMA placement. The evidence linking different amounts of mannequin simulation training to the undergraduate clinical skill of LMA placement in real patients is limited. The purpose of this study was to compare the effectiveness in vivo of two LMA placement simulation courses of different durations. \ud \ud Methods\ud Medical students (n = 126) enrolled in a randomised controlled trial. Seventy-eight of these students completed the trial. The control group (n = 38) received brief mannequin training while the intervention group (n = 40) received additional more intensive mannequin training as part of which they repeated LMA insertion until they were proficient. The anaesthetists supervising LMA placements in real patients rated the participants' performance on assessment forms. Participants completed a self-assessment questionnaire. \ud \ud Results\ud Additional mannequin training was not associated with improved performance (37% of intervention participants received an overall placement rating of > 3/5 on their first patient compared to 48% of the control group, $X^2$ = 0.81, p = 0.37). The agreement between the participants and their instructors in terms of LMA placement success rates was poor to fair. Participants reported that mannequins were poor at mimicking reality. \ud \ud Conclusions\ud The results suggest that the value of extended mannequin simulation training in the case of LMA placement is limited. Educators considering simulation for the training of practical skills should reflect on the extent to which the in vitro simulation mimics the skill required and the degree of difficulty of the procedure. \ud \u

Pirfenidone in idiopathic pulmonary fibrosis:expert panel discussion on the management of drug-related adverse events

Pirfenidone is currently the only approved therapy for idiopathic pulmonary fibrosis, following studies demonstrating that treatment reduces the decline in lung function and improves progression-free survival. Although generally well tolerated, a minority of patients discontinue therapy due to gastrointestinal and skin-related adverse events (AEs). This review summarizes recommendations based on existing guidelines, research evidence, and consensus opinions of expert authors, with the aim of providing practicing physicians with the specific clinical information needed to educate the patient and better manage pirfenidone-related AEs with continued pirfenidone treatment. The main recommendations to help prevent and/or mitigate gastrointestinal and skin-related AEs include taking pirfenidone during (or after) a meal, avoiding sun exposure, wearing protective clothing, and applying a broad-spectrum sunscreen with high ultraviolet (UV) A and UVB protection. These measures can help optimize AE management, which is key to maintaining patients on an optimal treatment dose.Correction in: Advances in Therapy, Volume 31, Issue 5, pp 575-576 , doi: 10.1007/s12325-014-0118-8</p

Quantum Simulation of Tunneling in Small Systems

A number of quantum algorithms have been performed on small quantum computers; these include Shor's prime factorization algorithm, error correction, Grover's search algorithm and a number of analog and digital quantum simulations. Because of the number of gates and qubits necessary, however, digital quantum particle simulations remain untested. A contributing factor to the system size required is the number of ancillary qubits needed to implement matrix exponentials of the potential operator. Here, we show that a set of tunneling problems may be investigated with no ancillary qubits and a cost of one single-qubit operator per time step for the potential evolution. We show that physically interesting simulations of tunneling using 2 qubits (i.e. on 4 lattice point grids) may be performed with 40 single and two-qubit gates. Approximately 70 to 140 gates are needed to see interesting tunneling dynamics in three-qubit (8 lattice point) simulations.Comment: 4 pages, 2 figure