52 research outputs found
Stability of Mine Car Motion in Curves of Invariable and Variable Radii
We discuss our experiences adapting three recent algorithms for maximum common (connected) subgraph problems to exploit multi-core parallelism. These algorithms do not easily lend themselves to parallel search, as the search trees are extremely irregular, making balanced work distribution hard, and runtimes are very sensitive to value-ordering heuristic behaviour. Nonetheless, our results show that each algorithm can be parallelised successfully, with the threaded algorithms we create being clearly better than the sequential ones. We then look in more detail at the results, and discuss how speedups should be measured for this kind of algorithm. Because of the difficulty in quantifying an average speedup when so-called anomalous speedups (superlinear and sublinear) are common, we propose a new measure called aggregate speedup
Implementing YewPar: a framework for parallel tree search
Combinatorial search is central to many applications yet
hard to parallelise. We argue for improving the reuse of parallel searches,
and present the design and implementation of a new parallel search
framework. YewPar generalises search by abstracting search tree generation, and by providing algorithmic skeletons that support three search
types, together with a set of search coordination strategies. The evaluation shows that the cost of YewPar generality is low (6.1%); global
knowledge is inexpensively shared between workers; irregular tasks are
effectively distributed; and YewPar delivers good runtimes, speedups and
efficiency with up to 255 workers on 17 localitie
Life cycle of a planetary body definition for scientific analysis
Something as seemingly simple as defining the size of a planetary body is a critical first step required to support the creation of all mapping products and resulting scientific analysis. The life cycle in defining the body size is evolved from the initial Earth-based observations, then refined using acquired data from planetary missions, published in the peer-reviewed literature and adopted by standards- setting working groups, integrated into various libraries and applications, and finally made available for the creation of derived cartographic data products. Here we expose these steps to help users understand the benefits for using standardized definitions to enable data usability and interoperability by looking at the definition for the moon Enceladus
Sequential and parallel solution-biased search for subgraph algorithms
Funding: This work was supported by the Engineering and Physical Sciences Research Council (grant numbers EP/P026842/1, EP/M508056/1, and EP/N007565).The current state of the art in subgraph isomorphism solving involves using degree as a value-ordering heuristic to direct backtracking search. Such a search makes a heavy commitment to the first branching choice, which is often incorrect. To mitigate this, we introduce and evaluate a new approach, which we call “solution-biased search”. By combining a slightly-random value-ordering heuristic, rapid restarts, and nogood recording, we design an algorithm which instead uses degree to direct the proportion of search effort spent in different subproblems. This increases performance by two orders of magnitude on satisfiable instances, whilst not affecting performance on unsatisfiable instances. This algorithm can also be parallelised in a very simple but effective way: across both satisfiable and unsatisfiable instances, we get a further speedup of over thirty from thirty-six cores, and over one hundred from ten distributed-memory hosts. Finally, we show that solution-biased search is also suitable for optimisation problems, by using it to improve two maximum common induced subgraph algorithms.Postprin
Albumin-glutaraldehyde glue for repair of superficial lung defect: an in vitro experiment
Acute heat-evoked temperature sensation is impaired but not abolished in mice lacking TRPV1 and TRPV3 channels
International audienceThe discovery of heat-sensitive Transient Receptor Potential Vanilloid ion channels (ThermoTRPVs) greatly advanced our molecular understanding of acute and injury-evoked heat temperature sensation. ThermoTRPV channels are activated by partially overlapping temperatures ranging from warm to supra-threshold noxious heat. TRPV1 is activated by noxious heat temperature whereas TRPV3 can be activated by warm as well as noxious heat temperatures. Loss-of-function studies in single TRPV1 and TRPV3 knock-out mice have shown that heat temperature sensation is not completely abolished suggesting functional redundancies among these two channels and highlighting the need of a detailed analysis of TRPV1::TRPV3 double knock-out mice (V1V3dKO) which is hampered by the close proximity of the loci expressing the two channels. Here we describe the generation of a novel mouse model in which trpv1 and trpv3 genes have been inactivated using bacterial artificial chromosome (BAC)-based homologous recombination in embryonic stem cells. In these mice, using classical thermosensory tests such hot plate, tail flick and the thermotaxis gradient paradigms, we confirm that TRPV1 is the master channel for sensing noxious heat temperatures and identify a cooperative role of TRPV1 and TRPV3 for sensing a well-defined window of acute moderate heat temperature. Using the dynamic hot plate assay, we unravel an intriguing and unexpected pronounced escape behavior in TRPV1 knock-out mice that was attenuated in the V1V3dKO. Together, and in agreement with the temperature activation overlap between TRPV1 and TRPV3 channels, our data provide in vivo evidence of a cooperative role between skin-derived TRPV3 and primary sensory neurons-enriched TRPV1 in modulation of moderate and noxious heat temperature sensation and suggest that other mechanisms are required for heat temperature sensation
Effect of Foods and β-Cyclodextrin on the Bioaccessibility and the Uptake by Caco-2 Cells of Hydroxytyrosol from Either a Pure Standard or Alperujo
International audienceHydroxytyrosol bioaccessibility and absorption by the intestinal cells have been studied using an in vitro digestion model and Caco-2 TC7 monolayers cells in culture, in the presence or absence of β-cyclodextrin and foods. Hydroxytyrosol was either provided as a pure standard or in an alperujo powder. The presence of foods significantly decreased hydroxytyrosol bioaccessibility and absorption (-20% and -10%, respectively), while β-cyclodextrin had no effect. Moreover, the presence of other compounds from alperujo in the intestine compartment reduced hydroxytyrosol absorption by Caco-2 cells compared to pure standard (-60%). The final bioavailability of hydroxytyrosol, defined as its quantity at the basolateral side of cultured cell monolayers compared to the initial amount in the test meal, was 6.9±0.4%, 31.1±1.1% and 40.9±1.5% when hydroxytyrosol was from al perujo, or a standard administered with or without food, respectively.Our results show that conversely to foods, β-cyclodextrin does not alter hydroxytyrosolbioavailability
Effect of Foods and β-Cyclodextrin on the Bioaccessibility and the Uptake by Caco-2 Cells of Hydroxytyrosol from Either a Pure Standard or Alperujo
stac1 and stac2 genes define discrete and distinct subsets of dorsal root ganglia neurons
International audienc
- …