Loop formulation of the supersymmetric nonlinear O(N) sigma model

We derive the fermion loop formulation for the supersymmetric nonlinear O(N) sigma model by performing a hopping expansion using Wilson fermions. In this formulation the fermionic contribution to the partition function becomes a sum over all possible closed non-oriented fermion loop configurations. The interaction between the bosonic and fermionic degrees of freedom is encoded in the constraints arising from the supersymmetry and induces flavour changing fermion loops. For N ≥ 3 this leads to fermion loops which are no longer self-avoiding and hence to a potential sign problem. Since we use Wilson fermions the bare mass needs to be tuned to the chiral point. For N = 2 we determine the critical point and present boson and fermion masses in the critical regime.

Loop formulation of supersymmetric Yang-Mills quantum mechanics

We derive the fermion loop formulation of N=4 supersymmetric SU(N) Yang-Mills quantum mechanics on the lattice. The loop formulation naturally separates the contributions to the partition function into its bosonic and fermionic parts with fixed fermion number and provides a way to control potential fermion sign problems arising in numerical simulations of the theory. Furthermore, we present a reduced fermion matrix determinant which allows the projection into the canonical sectors of the theory and hence constitutes an alternative approach to simulate the theory on the lattice.

Supersymmetric quantum mechanics on the lattice: I. Loop formulation

Simulations of supersymmetric field theories on the lattice with (spontaneously) broken supersymmetry suffer from a fermion sign problem related to the vanishing of the Witten index. We propose a novel approach which solves this problem in low dimensions by formulating the path integral on the lattice in terms of fermion loops. For N=2 supersymmetric quantum mechanics the loop formulation becomes particularly simple and in this paper – the first in a series of three – we discuss in detail the reformulation of this model in terms of fermionic and bosonic bonds for various lattice discretisations including one which is Q-exact.

Dicto: A Unified DSL for Testing Architectural Rules

Software architecture consists of a set of design choices that can be partially expressed in form of rules that the implementation must conform to. Architectural rules are intended to ensure properties that fulfill fundamental non-functional requirements. Verifying architectural rules is often a non- trivial activity: available tools are often not very usable and support only a narrow subset of the rules that are commonly specified by practitioners. In this paper we present a new highly-readable declarative language for specifying architectural rules. With our approach, users can specify a wide variety of rules using a single uniform notation. Rules can get tested by third-party tools by conforming to pre-defined specification templates. Practitioners can take advantage of the capabilities of a growing number of testing tools without dealing with them directly.

Unified detection and tracking of instruments during retinal microsurgery

Methods for tracking an object have generally fallen into two groups: tracking by detection and tracking through local optimization. The advantage of detection-based tracking is its ability to deal with target appearance and disappearance, but it does not naturally take advantage of target motion continuity during detection. The advantage of local optimization is efficiency and accuracy, but it requires additional algorithms to initialize tracking when the target is lost. To bridge these two approaches, we propose a framework for unified detection and tracking as a time-series Bayesian estimation problem. The basis of our approach is to treat both detection and tracking as a sequential entropy minimization problem, where the goal is to determine the parameters describing a target in each frame. To do this we integrate the Active Testing (AT) paradigm with Bayesian filtering, and this results in a framework capable of both detecting and tracking robustly in situations where the target object enters and leaves the field of view regularly. We demonstrate our approach on a retinal tool tracking problem and show through extensive experiments that our method provides an efficient and robust tracking solution.

Quarks and a Unified Theory of Nature Fundamental Forces

Quarks were introduced 50 years ago opening the road towards our understanding of the elementary constituents of matter and their fundamental interactions. Since then, a spectacular progress has been made with important discoveries that led to the establishment of the Standard Theory that describes accurately the basic constituents of the observable matter, namely quarks and leptons, interacting with the exchange of three fundamental forces, the weak, electromagnetic and strong force. Particle physics is now entering a new era driven by the quest of understanding of the composition of our Universe such as the unobservable (dark) matter, the hierarchy of masses and forces, the unification of all fundamental interactions with gravity in a consistent quantum framework, and several other important questions. A candidate theory providing answers to many of these questions is string theory that replaces the notion of point particles by extended objects, such as closed and open strings. In this short note, I will give a brief overview of string unification, describe in particular how quarks and leptons can emerge and discuss what are possible predictions for particle physics and cosmology that could test these ideas.

Quarks and a unified theory of Nature fundamental forces

Quarks were introduced 50 years ago opening the road towards our understanding of the elementary constituents of matter and their fundamental interactions. Since then, a spectacular progress has been made with important discoveries that led to the establishment of the Standard Theory that describes accurately the basic constituents of the observable matter, namely quarks and leptons, interacting with the exchange of three fundamental forces, the weak, electromagnetic and strong force. Particle physics is now entering a new era driven by the quest of understanding of the composition of our Universe such as the unobservable (dark) matter, the hierarchy of masses and forces, the unification of all fundamental interactions with gravity in a consistent quantum framework, and several other important questions. A candidate theory providing answers to many of these questions is string theory that replaces the notion of point particles by extended objects, such as closed and open strings. In this short note, I will give a brief overview of string unification, describe in particular how quarks and leptons can emerge and discuss what are possible predictions for particle physics and cosmology that could test these ideas.

Comparison of the capacity of enamel matrix derivative gel and enamel matrix derivative in liquid formulation to adsorb to bone grafting materials.

BACKGROUND The use of an enamel matrix derivative (EMD) has been shown to enhance periodontal regeneration (e.g., formation of root cementum, periodontal ligament, and alveolar bone). However, in certain clinical situations, the use of EMD alone may not be sufficient to prevent flap collapse or provide sufficient stability of the blood clot. Data from clinical and preclinical studies have demonstrated controversial results after application of EMD combined with different types of bone grafting materials in periodontal regenerative procedures. The aim of the present study is to investigate the adsorption properties of enamel matrix proteins to bone grafts after surface coating with either EMD (as a liquid formulation) or EMD (as a gel formulation). METHODS Three different types of grafting materials, including a natural bone mineral (NBM), demineralized freeze-dried bone allograft (DFDBA), or a calcium phosphate (CaP), were coated with either EMD liquid or EMD gel. Samples were analyzed by scanning electron microscopy or transmission electron microscopy (TEM) using an immunostaining assay with gold-conjugated anti-EMD antibody. Total protein adsorption to bone grafting material was quantified using an enzyme-linked immunosorbent assay (ELISA) kit for amelogenin. RESULTS The adsorption of amelogenin to the surface of grafting material varied substantially based on the carrier system used. EMD gel adsorbed less protein to the surface of grafting particles, which easily dissociated from the graft surface after phosphate-buffered saline rinsing. Analyses by TEM revealed that adsorption of amelogenin proteins were significantly farther from the grafting material surface, likely a result of the thick polyglycolic acid gel carrier. ELISA protein quantification assay demonstrated that the combination of EMD liquid + NBM and EMD liquid + DFDBA adsorbed higher amounts of amelogenin than all other treatment modalities. Furthermore, amelogenin proteins delivered by EMD liquid were able to penetrate the porous surface structure of NBM and DFDBA and adsorb to the interior of bone grafting particles. Grafting materials coated with EMD gel adsorbed more frequently to the exterior of grafting particles with little interior penetration. CONCLUSIONS The present study demonstrates a large variability of adsorbed amelogenin to the surface of bone grafting materials when enamel matrix proteins were delivered in either a liquid formulation or gel carrier. Furthermore, differences in amelogenin adsorption were observed among NBM, DFDBA, and biphasic CaP particles. Thus, the potential for a liquid carrier system for EMD, used to coat EMD, may be advantageous for better surface coating.

A unified approach to architecture conformance checking

Architectural decisions can be interpreted as structural and behavioral constraints that must be enforced in order to guarantee overarching qualities in a system. Enforcing those constraints in a fully automated way is often challenging and not well supported by current tools. Current approaches for checking architecture conformance either lack in usability or offer poor options for adaptation. To overcome this problem we analyze the current state of practice and propose an approach based on an extensible, declarative and empirically-grounded specification language. This solution aims at reducing the overall cost of setting up and maintaining an architectural conformance monitoring environment by decoupling the conceptual representation of a user-defined rule from its technical specification prescribed by the underlying analysis tools. By using a declarative language, we are able to write tool-agnostic rules that are simple enough to be understood by untrained stakeholders and, at the same time, can be can be automatically processed by a conformance checking validator. Besides addressing the issue of cost, we also investigate opportunities for increasing the value of conformance checking results by assisting the user towards the full alignment of the implementation with respect to its architecture. In particular, we show the benefits of providing actionable results by introducing a technique which automatically selects the optimal repairing solutions by means of simulation and profit-based quantification. We perform various case studies to show how our approach can be successfully adopted to support truly diverse industrial projects. We also investigate the dynamics involved in choosing and adopting a new automated conformance checking solution within an industrial context. Our approach reduces the cost of conformance checking by avoiding the need for an explicit management of the involved validation tools. The user can define rules using a convenient high-level DSL which automatically adapts to emerging analysis requirements. Increased usability and modular customization ensure lower costs and a shorter feedback loop.

A vaccine formulation combining rhoptry proteins NcROP40 and NcROP2 improves pup survival in a pregnant mouse model of neosporosis.

Currently there are no effective vaccines for the control of bovine neosporosis. During the last years several subunit vaccines based on immunodominant antigens and other proteins involved in adhesion, invasion and intracellular proliferation of Neospora caninum have been evaluated as targets for vaccine development in experimental mouse infection models. Among them, the rhoptry antigen NcROP2 and the immunodominant NcGRA7 protein have been assessed with varying results. Recent studies have shown that another rhoptry component, NcROP40, and NcNTPase, a putative dense granule antigen, exhibit higher expression levels in tachyzoites of virulent N. caninum isolates, suggesting that these could be potential vaccine candidates to limit the effects of infection. In the present work, the safety and efficacy of these recombinant antigens formulated in Quil-A adjuvant as monovalent vaccines or pair-wise combinations (rNcROP40+rNcROP2 and rNcGRA7+rNcNTPase) were evaluated in a pregnant mouse model of neosporosis. All the vaccine formulations elicited a specific immune response against their respective native proteins after immunization. Mice vaccinated with rNcROP40 and rNcROP2 alone or in combination produced the highest levels of IFN-γ and exhibited low parasite burdens and low IgG antibody levels after the challenge. In addition, most of the vaccine formulations were able to increase the median survival time in the offspring. However, pup survival only ensued in the groups vaccinated with rNcROP40+rNcROP2 (16.2%) and rNcROP2 (6.3%). Interestingly, vertical transmission was not observed in those survivor pups immunized with rNcROP40+rNcROP2, as shown by PCR analyses. These results show a partial protection against N. caninum infection after vaccination with rNcROP40+rNcROP2, suggesting a synergistic effect of the two recombinant rhoptry antigens.