Sized Types for low-level Quantum Metaprogramming

One of the most fundamental aspects of quantum circuit design is the concept of families of circuits parametrized by an instance size. As in classical programming, metaprogramming allows the programmer to write entire families of circuits simultaneously, an ability which is of particular importance in the context of quantum computing as algorithms frequently use arithmetic over non-standard word lengths. In this work, we introduce metaQASM, a typed extension of the openQASM language supporting the metaprogramming of circuit families. Our language and type system, built around a lightweight implementation of sized types, supports subtyping over register sizes and is moreover type-safe. In particular, we prove that our system is strongly normalizing, and as such any well-typed metaQASM program can be statically unrolled into a finite circuit.Comment: Presented at Reversible Computation 2019. Final authenticated publication is available online at https://doi.org/10.1007/978-3-030-21500-2_

Human pericardium graft in the management of bleb's complication performed in childhood: a case report

<p>Abstract</p> <p>Background</p> <p>To report a case with hypotony due to late leakage of the filtering bleb performed during childhood and treated surgically using human pericardium graft.</p> <p>Case Presentation</p> <p>A man with hypotony related to bleb's leakage in his right eye was presented. During his childhood trabeculectomy was performed to manage ocular hypertension due to pediatric glaucoma. Biomicroscopy revealed choroidal tissue incarcerated in the sclerectomy under the conjunctiva. Bleb revision was performed. Human pericardium graft was used to cover the sclerectomy and a new bleb with controlled outflow was created. The intraocular pressure (IOP) and Seidel test represent the main outcomes. Intraoperative and postoperative complications were recorded. Fifteen days postoperatively the IOP was of 7 mmHg and the bleb seemed to filter properly. Five months later the IOP was 9 mmHg and no complications were noticed. During the follow up time, the Seidel test was negative.</p> <p>Conclusion</p> <p>We used human pericardium graft with no complications in a case of bleb leakage performed for pediatric glaucoma.</p

Multiscale modelling of vascular tumour growth in 3D: the roles of domain size & boundary condition

We investigate a three-dimensional multiscale model of vascular tumour growth, which couples blood flow, angiogenesis, vascular remodelling, nutrient/growth factor transport, movement of, and interactions between, normal and tumour cells, and nutrient-dependent cell cycle dynamics within each cell. In particular, we determine how the domain size, aspect ratio and initial vascular network influence the tumour's growth dynamics and its long-time composition. We establish whether it is possible to extrapolate simulation results obtained for small domains to larger ones, by constructing a large simulation domain from a number of identical subdomains, each subsystem initially comprising two parallel parent vessels, with associated cells and diffusible substances. We find that the subsystem is not representative of the full domain and conclude that, for this initial vessel geometry, interactions between adjacent subsystems contribute to the overall growth dynamics. We then show that extrapolation of results from a small subdomain to a larger domain can only be made if the subdomain is sufficiently large and is initialised with a sufficiently complex vascular network. Motivated by these results, we perform simulations to investigate the tumour's response to therapy and show that the probability of tumour elimination in a larger domain can be extrapolated from simulation results on a smaller domain. Finally, we demonstrate how our model may be combined with experimental data, to predict the spatio-temporal evolution of a vascular tumour

Neo-Aristotelian Naturalism and the Evolutionary Objection: Rethinking the Relevance of Empirical Science

Neo-Aristotelian metaethical naturalism is a modern attempt at naturalizing ethics using ideas from Aristotle’s teleological metaphysics. Proponents of this view argue that moral virtue in human beings is an instance of natural goodness, a kind of goodness supposedly also found in the realm of non-human living things. Many critics question whether neo-Aristotelian naturalism is tenable in light of modern evolutionary biology. Two influential lines of objection have appealed to an evolutionary understanding of human nature and natural teleology to argue against this view. In this paper, I offer a reconstruction of these two seemingly different lines of objection as raising instances of the same dilemma, giving neo-Aristotelians a choice between contradicting our considered moral judgment and abandoning metaethical naturalism. I argue that resolving the dilemma requires showing a particular kind of continuity between the norms of moral virtue and norms that are necessary for understanding non-human living things. I also argue that in order to show such a continuity, neo-Aristotelians need to revise the relationship they adopt with empirical science and acknowledge that the latter is relevant to assessing their central commitments regarding living things. Finally, I argue that to move this debate forward, both neo-Aristotelians and their critics should pay attention to recent work on the concept of organism in evolutionary and developmental biology

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

PCSK2 expression in neuroendocrine tumors points to a midgut, pulmonary, or pheochromocytoma-paraganglioma origin

Neuroendocrine tumors (NETs) are often diagnosed from the metastases of an unknown primary tumor. Specific immunohistochemical (IHC) markers indicating the location of a primary tumor are needed. The proprotein convertase subtilisin/kexin type 2 (PCSK2) is found in normal neural and neuroendocrine cells, and known to express in NETs. We investigated the tissue microarray (TMA) of 86 primary tumors from 13 different organs and 9 metastatic NETs, including primary tumor-metastasis pairs, for PCSK2 expression with polymer-based IHC. PCSK2 was strongly positive in all small intestine and appendiceal NETs, the so-called midgut NETs, in most pheochromocytomas and paragangliomas, and in some of the typical and atypical pulmonary carcinoid tumors. NETs showing strong positivity were re-evaluated in larger tumor cohorts confirming the primary observation. In the metastases, the expression of PCSK2 mirrored that of the corresponding primary tumors. We found negative or weak staining in NETs from the thymus, gastric mucosa, pancreas, rectum, thyroid, and parathyroid. PCSK2 expression did not correlate with Ki-67 in well-differentiated NETs. Our data suggest that PCSK2 positivity can indicate the location of the primary tumor. Thus, PCSK2 could function in the IHC panel determined from screening metastatic NET biopsies of unknown primary origins.Peer reviewe

Quantum phase transitions of light

Recently, condensed matter and atomic experiments have reached a length-scale and temperature regime where new quantum collective phenomena emerge. Finding such physics in systems of photons, however, is problematic, as photons typically do not interact with each other and can be created or destroyed at will. Here, we introduce a physical system of photons that exhibits strongly correlated dynamics on a meso-scale. By adding photons to a two-dimensional array of coupled optical cavities each containing a single two-level atom in the photon-blockade regime, we form dressed states, or polaritons, that are both long-lived and strongly interacting. Our zero temperature results predict that this photonic system will undergo a characteristic Mott insulator (excitations localised on each site) to superfluid (excitations delocalised across the lattice) quantum phase transition. Each cavity's impressive photon out-coupling potential may lead to actual devices based on these quantum many-body effects, as well as observable, tunable quantum simulators. We explicitly show that such phenomena may be observable in micro-machined diamond containing nitrogen-vacancy colour centres and superconducting microwave strip-line resonators.Comment: 11 pages, 5 figures (2 in colour

Childhood obesity and risk of the adult metabolic syndrome: a systematic review.

This is an Open Access articleBackground: While many studies have demonstrated positive associations between childhood obesity and adult metabolic risk, important questions remain as to the nature of the relationship. In particular, it is unclear whether the associations reflect the tracking of body mass index (BMI) from childhood to adulthood or an independent level of risk. This systematic review aimed to investigate the relationship between childhood obesity and a range of metabolic risk factors during adult life. Objective: To perform an unbiased systematic review to investigate the association between childhood BMI and risk of developing components of metabolic disease in adulthood, and whether the associations observed are independent of adult BMI. Design: Electronic databases were searched from inception until July 2010 for studies investigating the association between childhood BMI and adult metabolic risk. Two investigators independently reviewed studies for eligibility according to the inclusion/exclusion criteria, extracted the data and assessed study quality using the Newcastle–Ottawa Scale. Results: The search process identified 11 articles that fulfilled the inclusion and exclusion criteria. Although several identified weak positive associations between childhood BMI and adult total cholesterol, low-density lipo protein-cholesterol, triglyceride and insulin concentrations, these associations were ameliorated or inversed when adjusted for adult BMI or body fatness. Of the four papers that considered metabolic syndrome as an end point, none showed evidence of an independent association with childhood obesity. Conclusions: Little evidence was found to support the view that childhood obesity is an independent risk factor for adult blood lipid status, insulin levels, metabolic syndrome or type 2 diabetes. The majority of studies failed to adjust for adult BMI and therefore the associations observed may reflect the tracking of BMI across the lifespan. Interestingly, where adult BMI was adjusted for, the data showed a weak negative association between childhood BMI and metabolic variables, with those at the lower end of the BMI range in childhood, but obese during adulthood at particular risk

Trial baseline characteristics of a cluster randomised controlled trial of a school-located obesity prevention programme; the Healthy Lifestyles Programme (HeLP) trial

This is the final version of the article. Available from BioMed Central via the DOI in this record.Background We have developed a healthy lifestyles programme (HeLP) for primary school aged children (9–10 years), currently being evaluated in a definitive cluster randomised controlled trial. This paper descriptively presents the baseline characteristics of trial children (BMI, waist circumference, % body fat, diet and physical activity) by gender, cluster level socio-economic status, school size and time of recruitment into the trial. Methods Schools were recruited from across the South West of England and allocated 1:1 to either intervention (HeLP) or control (usual practice) stratified by the proportion of children eligible for free school meals (FSM, 1 Year 5 class). The primary outcome is change in body mass index standard deviation score (BMI sds) at 24 months post-randomisation. Secondary outcomes are BMI sds at 18 months, waist circumference and percentage body fat sds at 18 and 24 months, proportion of children classified as underweight, overweight and obese at 18 and 24 months, physical activity (for a sub-sample) and food intake at 18 months. Results At baseline 11.4% and 13.6% of children were categorised as overweight or obese respectively. A higher percentage of girls than boys (25.3% vs 24.8%) and children from schools in FSM category 2 (28.2% vs 23.2%) were overweight or obese. Children were consuming a mean (range) of 4.15 (0–13) energy dense snacks (EDS) and 3.23 (0–9) healthy snacks (HS) per day with children from schools in FSM category 2 consuming more EDS and negative food markers and less HS and positive food markers. Children spent an average 53.6 min per day (11.9 to 124.8) in MVPA and thirteen hours (779.3 min) per day (11 h to 15 h) doing less than ‘light’ intensity activity. Less than 5% of children achieved the Departments of Health’s recommendation of 60 min of MVPA every day. Conclusion We have excellent completeness of baseline data for all measures and have achieved compliance to accelerometry not seen before in other large scale studies. Our anthropometric baseline data is representative of local and national data for children this age and reflects the gender and socio-economic variations expected of children this age in relation to physical activity and weight status.The definitive trial of HeLP is funded by the UK National Institute for Health Research (NIHR) Public Health Research Programme (10/3010/01) and a full report will be published on the NIHR website. Intervention materials and delivery was funded by the Peninsula College of Medicine and Dentistry. PenCLAHRC provided methodological support during the transition from the exploratory trial to the definitive evaluation