An introduction to the Cambridge advanced modeller

Complex products and their development processes may be viewed as systems, whose different aspects can be modelled as networks of interactions between elements in different domains. Many approaches have been proposed to explore, support or improve engineering processes by building such models. Developing these approaches, and applying them to problems of realistic complexity, often requires specialised computer software suitable for manipulating large data sets. However, creating suitable tools can be difficult–because software development is time-consuming and requires skills that many researchers and practitioners do not possess. We developed an approach which aims to address this problem by recognising the iterative nature of modelling research and its often tight coupling with prototype software development, and by reducing the effort of software prototyping and revision within this process. The approach is enabled by, and embodied in, the Cambridge Advanced Modeller (CAM)–a configurable software platform we have developed, refined and applied over several years and through a number of research projects

Functional renormalization group with a compactly supported smooth regulator function

The functional renormalization group equation with a compactly supported smooth (CSS) regulator function is considered. It is demonstrated that in an appropriate limit the CSS regulator recovers the optimized one and it has derivatives of all orders. The more generalized form of the CSS regulator is shown to reduce to all major type of regulator functions (exponential, power-law) in appropriate limits. The CSS regulator function is tested by studying the critical behavior of the bosonized two-dimensional quantum electrodynamics in the local potential approximation and the sine-Gordon scalar theory for d<2 dimensions beyond the local potential approximation. It is shown that a similar smoothing problem in nuclear physics has already been solved by introducing the so called Salamon-Vertse potential which can be related to the CSS regulator.Comment: JHEP style, 11 pages, 2 figures, proofs corrected, accepted for publication by JHE

The range of axial rotation of the glenohumeral joint.

Accepted versio

Rituximab in combination with high-dose methylprednisolone for the treatment of chronic lymphocytic leukemia.

We observed that high-dose methylprednisolone (HDMP) and rituximab was well tolerated and had promising activity when used in combination to treat patients with fludarabine-refractory chronic lymphocytic leukemia (CLL). This prompted us to evaluate the use of these agents in frontline therapy. A total of 28 patients with a median age of 65 years enrolled in this study. Patients received HDMP at 1 g/m(2) each day for 3 days during each of the three 4-week cycles together with rituximab and prophylactic antimicrobial therapy. The treatment was well tolerated with few adverse events of grade III or higher. The overall response rate was 96% (N=27). Nine patients (32%) achieved a complete remission (CR), two of which were without detectable minimal residual disease (MRD). Six patients with MRD received consolidation with alemtuzumab; five of these patients achieved an MRD-negative CR. With over 3 years of follow-up median progression-free survival was 30.3 months with only 39% of patients requiring additional therapy, and an overall survival was 96%. This study demonstrates that HDMP and rituximab is an effective nonmyelosuppressive treatment combination for patients with CLL that warrants consideration particularly for patients with limited myeloid reserve that might not tolerate standard treatment regimens

Expressive Stream Reasoning with Laser

An increasing number of use cases require a timely extraction of non-trivial knowledge from semantically annotated data streams, especially on the Web and for the Internet of Things (IoT). Often, this extraction requires expressive reasoning, which is challenging to compute on large streams. We propose Laser, a new reasoner that supports a pragmatic, non-trivial fragment of the logic LARS which extends Answer Set Programming (ASP) for streams. At its core, Laser implements a novel evaluation procedure which annotates formulae to avoid the re-computation of duplicates at multiple time points. This procedure, combined with a judicious implementation of the LARS operators, is responsible for significantly better runtimes than the ones of other state-of-the-art systems like C-SPARQL and CQELS, or an implementation of LARS which runs on the ASP solver Clingo. This enables the application of expressive logic-based reasoning to large streams and opens the door to a wider range of stream reasoning use cases.Comment: 19 pages, 5 figures. Extended version of accepted paper at ISWC 201

Multi-serotype pneumococcal nasopharyngeal carriage prevalence in vaccine naïve Nepalese children, assessed using molecular serotyping.

Invasive pneumococcal disease is one of the major causes of death in young children in resource poor countries. Nasopharyngeal carriage studies provide insight into the local prevalence of circulating pneumococcal serotypes. There are very few data on the concurrent carriage of multiple pneumococcal serotypes. This study aimed to identify the prevalence and serotype distribution of pneumococci carried in the nasopharynx of young healthy Nepalese children prior to the introduction of a pneumococcal conjugate vaccine using a microarray-based molecular serotyping method capable of detecting multi-serotype carriage. We conducted a cross-sectional study of healthy children aged 6 weeks to 24 months from the Kathmandu Valley, Nepal between May and October 2012. Nasopharyngeal swabs were frozen and subsequently plated on selective culture media. DNA extracts of plate sweeps of pneumococcal colonies from these cultures were analysed using a molecular serotyping microarray capable of detecting relative abundance of multiple pneumococcal serotypes. 600 children were enrolled into the study: 199 aged 6 weeks to <6 months, 202 aged 6 months to < 12 months, and 199 aged 12 month to 24 months. Typeable pneumococci were identified in 297/600 (49.5%) of samples with more than one serotype being found in 67/297 (20.2%) of these samples. The serotypes covered by the thirteen-valent pneumococcal conjugate vaccine were identified in 44.4% of samples containing typeable pneumococci. Application of a molecular serotyping approach to identification of multiple pneumococcal carriage demonstrates a substantial prevalence of co-colonisation. Continued surveillance utilising this approach following the introduction of routine use of pneumococcal conjugate vaccinates in infants will provide a more accurate understanding of vaccine efficacy against carriage and a better understanding of the dynamics of subsequent serotype and genotype replacement

Infrared fixed point in quantum Einstein gravity

We performed the renormalization group analysis of the quantum Einstein gravity in the deep infrared regime for different types of extensions of the model. It is shown that an attractive infrared point exists in the broken symmetric phase of the model. It is also shown that due to the Gaussian fixed point the IR critical exponent $\nu$ of the correlation length is 1/2. However, there exists a certain extension of the model which gives finite correlation length in the broken symmetric phase. It typically appears in case of models possessing a first order phase transitions as is demonstrated on the example of the scalar field theory with a Coleman-Weinberg potential.Comment: 9 pages, 7 figures, final version, to appear in JHE

Runtime Distributions and Criteria for Restarts

Randomized algorithms sometimes employ a restart strategy. After a certain number of steps, the current computation is aborted and restarted with a new, independent random seed. In some cases, this results in an improved overall expected runtime. This work introduces properties of the underlying runtime distribution which determine whether restarts are advantageous. The most commonly used probability distributions admit the use of a scale and a location parameter. Location parameters shift the density function to the right, while scale parameters affect the spread of the distribution. It is shown that for all distributions scale parameters do not influence the usefulness of restarts and that location parameters only have a limited influence. This result simplifies the analysis of the usefulness of restarts. The most important runtime probability distributions are the log-normal, the Weibull, and the Pareto distribution. In this work, these distributions are analyzed for the usefulness of restarts. Secondly, a condition for the optimal restart time (if it exists) is provided. The log-normal, the Weibull, and the generalized Pareto distribution are analyzed in this respect. Moreover, it is shown that the optimal restart time is also not influenced by scale parameters and that the influence of location parameters is only linear

Magnetic Properties of a Superconductor with no Inversion Symmetry

We study the magnetic properties of a superconductor in a crystal without $z \to -z$ symmetry, in particular how the lack of this symmetry exhibits itself. We show that, though the penetration depth itself shows no such effect, for suitable orientation of magnetic field, there is a magnetic field discontinuity at the interface which shows this absence of symmetry. The magnetic field profile of a vortex in the $x-y$ plane is shown to be identical to that of an ordinary anisotropic superconductor except for a shift in the $-z$ direction by ${\tilde \kappa} \lambda_x$ (see errata). For a vortex along $z$, there is an induced magnetization along the radial direction.Comment: J. Low Temp. Physics, 140, 67 (2005); with Errat

Smokeless tobacco - a substantial risk for oral potentially malignant disorders in South Asia

Data sources: Medline, the Science Citation Index (SCI) via Web of Science, Scopus, CINAHL, Global Index Medicus, Google Scholar and SLT-related reports of the International Agency for Research on Cancer and the National Cancer Institute of the United States. Study selection: Observational studies on the use of SLT and the risk of developing OPMDs in South Asian Populations. Data extraction and synthesis: Duplicate selection of studies was undertaken with two reviewers undertaking data abstraction and quality assessment independently. Risk and odds ratios were extracted or calculated for studies where possible. Meta odds ratios (mOR) were calculated using a random effects analysis. Results: Fifteen papers reporting 18 studies were included. The majority (12) were from India. All the studies were case-control designs. MOR for any OPMD with the use of any SLT product was 15.5 (95% CI; 9.9–24.2). Risk was higher in women; mOR = 22.2 (95% CI, 9.1–54.1) than men; mOR = 8.7 (95% CI, 2.1–34.8). Betel quid with tobacco carried the highest risk for OPMD, mOR = 16.1 (95% CI, 7.8–33.5). Conclusions: The findings of our study point towards a strong association between some forms of OPMDs and SLT use in South Asia. The risk estimates are high, irrespective of controlling for confounders such as smoking and alcohol or stratification by sex, country or source of controls. There is also an exposure-response relationship between OPMDs and SLT use