Risk Factors for High Endoparasitic Burden and the Efficiency of a Single Anthelmintic Treatment of Danish Horses

A questionnaire survey regarding endoparasite control practices in Danish horse herds was carried out in 1995. The participating veterinarians and herd owners were sampled using convenience and purposive sampling. In the analysis of risk factors for development of a high endoparasitic burden (>200 eggs per gram faeces) 903 horses were sampled and the analysis of the efficiency of a single anthelmintic treatment was based on 605 horses. The following factors had a significant effect on the endoparasitic burden: herd type, age of the horses, use of pasture rotation, anthelmintic treatment of horses visiting the herd, use of an adviser in the planning of endoparasite control and advice regarding pasture rotation. An interaction between pasture rotation and advice regarding pasture rotation was found, but due to high collinearity this was not reported. The factors influencing significantly on the reduction of the faecal egg count after a single anthelmintic treatment were the type of herd, the age of the horse, the drug used, and the anthelmintic-resistance-status of the herd. A negative effect of permanent pastures was observed. If pasture hygiene was performed on the advice of the veterinarian, the effect of a single anthelmintic treatment was less compared to a single anthelmintic treatment without any advice. An interaction between the treatment group and the resistance-status of the herd was found. Additional factors, normally accounted for, when endoparasites and anthelmintic resistance is discussed, were investigated, but not found significant in this study

Mightyl: A compositional translation from mitl to timed automata

Metric Interval Temporal Logic (MITL) was first proposed in the early 1990s as a specification formalism for real-time systems. Apart from its appealing intuitive syntax, there are also theoretical evidences that make MITL a prime real-time counterpart of Linear Temporal Logic (LTL). Unfortunately, the tool support for MITL verification is still lacking to this day. In this paper, we propose a new construction from MITL to timed automata via very-weak one-clock alternating timed automata. Our construction subsumes the well-known construction from LTL to Büchi automata by Gastin and Oddoux and yet has the additional benefits of being compositional and integrating easily with existing tools. We implement the construction in our new tool MightyL and report on experiments using Uppaal and LTSmin as back-ends

Coarse-grained simulations suggest potential competing roles of phosphoinositides and amphipathic helix structures in membrane curvature sensing of the AP180 N-terminal homology domain

The generation and sensing of membrane curvature by proteins has become of increasing interest to researchers with multiple mechanisms, from hydrophobic insertion to protein crowding, being identified. However, the role of charged lipids in the membrane curvature-sensing process is still far from understood. Many proteins involved in endocytosis bind phosphatidylinositol 4,5-bisphosphate (PIP2) lipids, allowing these proteins to accumulate at regions of local curvature. Here, using coarse-grained molecular dynamics simulations, we study the curvature-sensing behavior of the ANTH domain, a protein crucial for endocytosis. We selected three ANTH crystal structures containing either an intact, split, or truncated terminal amphipathic helix. On neutral membranes, the ANTH domain has innate curvature-sensing ability. In the presence of PIP2, however, only the domain with an intact helix senses curvature. Our work sheds light on the role of PIP2 and its modulation of membrane curvature sensing by proteins

Interaction between sodium chloride and texture in semi-hard Danish cheese as affected by brining time, dl -starter culture, chymosin type and cheese ripening

Reduced NaCl in semi-hard cheeses greatly affects textural and sensory properties. The interaction between cheese NaCl concentration and texture was affected by brining time (0–28 h), dl-starter cultures (C1, C2, and C3), chymosin type (bovine or camel), and ripening time (1–12 weeks). Cheese NaCl levels ranged from <0.15 to 1.90% (w/w). NaCl distribution changed during ripening; migration from cheese edge to core led to a more homogeneous NaCl distribution after 12 weeks. As ripening time increased, cheese firmness decreased. Cheeses with reduced NaCl were less firm and more compressible. Cheeses produced with C2 were significantly firmer than those produced with C1; cheeses produced with C3 had higher firmness and compressibility. In NaCl reduced cheese, use of camel chymosin as coagulant resulted in significantly higher firmness than that given using bovine chymosin. Overall, cheese NaCl content is reducible without significant textural impact using well-defined starter cultures and camel chymosin

Constructing near-horizon geometries in supergravities with hidden symmetry

We consider the classification of near-horizon geometries in a general two-derivative theory of gravity coupled to abelian gauge fields and uncharged scalars in four and five dimensions, with one and two commuting rotational symmetries respectively. Assuming that the theory of gravity reduces to a 3d non-linear sigma model (as is typically the case for ungauged supergravities), we show that the functional form of any such near-horizon geometry may be determined. As an example we apply this to five dimensional minimal supergravity. We also construct an example of a five parameter near-horizon geometry solution to this theory with S^1 X S^2 horizon topology. We discuss its relation to the near-horizon geometries of the yet to be constructed extremal black rings with both electric and dipole charges.Comment: Latex, 30 pages. v2: discussion in section 5 modified and improved, other minor changes, references adde

A General Black String and its Microscopics

Using G2(2) dualities we construct the most general black string solution of minimal five-dimensional ungauged supergravity. The black string has five independent parameters, namely, the magnetic one-brane charge, smeared electric zero-brane charge, boost along the string direction, energy above the BPS bound, and rotation in the transverse space. In one extremal limit it reduces to the three parameter supersymmetric string of five-dimensional minimal supergravity; in another extremal limit it reduces to the three parameter non-supersymmetric extremal string of five-dimensional minimal supergravity. It also admits an extremal limit when it has maximal rotation in the four-dimensional transverse space. The decoupling limit of our general black string is a BTZ black hole times a two sphere. The macroscopic entropy of the string is reproduced by the Maldacena-Strominger-Witten CFT in appropriate ranges of the parameters. When the pressureless condition is imposed, our string describes the infinite radius limit of the most general class of black rings of minimal supergravity. We discuss implications our solution has for extremal and non-extremal black rings of minimal supergravity.Comment: 35 pages; 3 figures; v2 section 4.1.1 rewritten + minor changes + ref adde

Combination of simulation and model-checking for the analysis of autonomous vehicles’ behaviors: A case study

International audienceAutonomous vehicles’ behavioural analysis represents a major challenge in the automotive world. In order to ensure safety and fluidity of driving, various methods are available, in particular, simulation and formal verification. The analysis, however, has to cope with very complex environments depending on many parameters evolving in real time. In this context, none of the aforementioned approaches is fully satisfactory, which lead us to propose a combined methodology in order to point out suspicious behaviours more efficiently. We illustrate this approach by studying a non deterministic scenario involving a vehicle, which has to react to some perilous situation

Combining Experiments and Simulations Using the Maximum Entropy Principle

A key component of computational biology is to compare the results of computer modelling with experimental measurements. Despite substantial progress in the models and algorithms used in many areas of computational biology, such comparisons sometimes reveal that the computations are not in quantitative agreement with experimental data. The principle of maximum entropy is a general procedure for constructing probability distributions in the light of new data, making it a natural tool in cases when an initial model provides results that are at odds with experiments. The number of maximum entropy applications in our field has grown steadily in recent years, in areas as diverse as sequence analysis, structural modelling, and neurobiology. In this Perspectives article, we give a broad introduction to the method, in an attempt to encourage its further adoption. The general procedure is explained in the context of a simple example, after which we proceed with a real-world application in the field of molecular simulations, where the maximum entropy procedure has recently provided new insight. Given the limited accuracy of force fields, macromolecular simulations sometimes produce results that are at not in complete and quantitative accordance with experiments. A common solution to this problem is to explicitly ensure agreement between the two by perturbing the potential energy function towards the experimental data. So far, a general consensus for how such perturbations should be implemented has been lacking. Three very recent papers have explored this problem using the maximum entropy approach, providing both new theoretical and practical insights to the problem. We highlight each of these contributions in turn and conclude with a discussion on remaining challenges

Tracing Carbon Sources through Aquatic and Terrestrial Food Webs Using Amino Acid Stable Isotope Fingerprinting

Tracing the origin of nutrients is a fundamental goal of food web research but methodological issues associated with current research techniques such as using stable isotope ratios of bulk tissue can lead to confounding results. We investigated whether naturally occurring delta C-13 patterns among amino acids (delta C-13(AA)) could distinguish between multiple aquatic and terrestrial primary production sources. We found that delta C-13(AA) patterns in contrast to bulk delta C-13 values distinguished between carbon derived from algae, seagrass, terrestrial plants, bacteria and fungi. Furthermore, we showed for two aquatic producers that their delta C-13(AA) patterns were largely unaffected by different environmental conditions despite substantial shifts in bulk delta C-13 values. The potential of assessing the major carbon sources at the base of the food web was demonstrated for freshwater, pelagic, and estuarine consumers; consumer delta C-13 patterns of essential amino acids largely matched those of the dominant primary producers in each system. Since amino acids make up about half of organismal carbon, source diagnostic isotope fingerprints can be used as a new complementary approach to overcome some of the limitations of variable source bulk isotope values commonly encountered in estuarine areas and other complex environments with mixed aquatic and terrestrial inputs

Liquid-infiltrated photonic crystals - enhanced light-matter interactions for lab-on-a-chip applications

Optical techniques are finding widespread use in analytical chemistry for chemical and bio-chemical analysis. During the past decade, there has been an increasing emphasis on miniaturization of chemical analysis systems and naturally this has stimulated a large effort in integrating microfluidics and optics in lab-on-a-chip microsystems. This development is partly defining the emerging field of optofluidics. Scaling analysis and experiments have demonstrated the advantage of micro-scale devices over their macroscopic counterparts for a number of chemical applications. However, from an optical point of view, miniaturized devices suffer dramatically from the reduced optical path compared to macroscale experiments, e.g. in a cuvette. Obviously, the reduced optical path complicates the application of optical techniques in lab-on-a-chip systems. In this paper we theoretically discuss how a strongly dispersive photonic crystal environment may be used to enhance the light-matter interactions, thus potentially compensating for the reduced optical path in lab-on-a-chip systems. Combining electromagnetic perturbation theory with full-wave electromagnetic simulations we address the prospects for achieving slow-light enhancement of Beer-Lambert-Bouguer absorption, photonic band-gap based refractometry, and high-Q cavity sensing.Comment: Invited paper accepted for the "Optofluidics" special issue to appear in Microfluidics and Nanofluidics (ed. Prof. David Erickson). 11 pages including 8 figure