The Open Navigation Surface Project

Many hydrographic and oceanographic agencies have moved or are moving towards gridded bathymetric products. However, there is no accepted format to allow these grids to be exchanged while maintaining data and metadata integrity. This paper describes the Open Navigation Surface (ONS) Project, which aims to fill this gap. The ONS Project is an open-source software project designed to provide a freely available, portable source-code library to encapsulate gridded bathymetric surfaces with associated uncertainty values. The data file format is called a Bathymetric Attributed Grid (BAG). The BAG is developed and maintained by the ONS Working Group (ONSWG), and the source code is available via the ONS websit

Photodynamic diagnosis of breast tumours after oral application of aminolevulinic acid

Photodynamic diagnosis is of increasing interest for diagnosis in oncology. It is based on a more intense incorporation of a fluorescent dye in tumours compared to normal tissue. As a feasibility study we investigated the effectiveness of oral application of 5-aminolevulinic acid for photodynamic diagnosis of human primary mammary tumours. The study included 16 patients with palpable breast tumours. Aminolevulinic acid was administered at a concentration of 40 mg kg−1bodyweight 150–420 min prior to tumourectomy. Intraoperatively blue light (405 nm) was applied to the operation site. Sections of the excised tumour and some lymph nodes were prepared and analysed with a fluorescent microscope. All primary mammary tumour tissues showed significantly higher fluorescence intensity than surrounding normal mammary tissue. Fluorescence of the mammary tumours could also be discriminated macroscopically and intraoperatively. Fluorescence intensity in nonmetastatic lymph node tissue was higher in 2 out of 3 patients than in primary tumour tissue. By photodynamic diagnosis using aminolevulinic acid we were able to reliably distinguish primary mammary tumours from normal mammary tissue microscopically and macroscopically in all our patients. We suggest that photodynamic diagnosis with aminolevulinic acid for breast tumours should be further investigated and developed for intraoperative use and may well be a simple tool for better intraoperative diagnosis and recognition of tumour margins. We hypothesize that lymph node metastasis of breast tumours will not be detectable by this method. © 2001 Cancer Research Campaign http://www.bjcancer.co

Deoxyuridine triphosphatase (dUTPase) expression and sensitivity to the thymidylate synthase (TS) inhibitorD9331

Uracil DNA misincorporation and misrepair of DNA have been recognized as important events accompanying thymidylate synthase (TS) inhibition. dUTPase catalyses the hydrolysis of dUTP to dUMP, thereby maintaining low intracellular dUTP. We have addressed the relationship between dUTPase expression and cellular sensitivity to TS inhibition in four human lung tumour cell lines. Sensitivity (5-day MTT assay) to the growth inhibitory effects of the non-polyglutamatable, specific quinazoline TS inhibitor ZD9331, varied up to 20-fold (IC 50 3–70 nM). TS protein expression correlated with TS activity (r2= 0.88 P= 0.05). Intracellular concentrations of drug following exposure to ZD9331 (1 μM, 24 h) varied by ~2-fold and dTTP pools decreased by > 80% in all cell lines. No clear associations across the cell lines between intracellular drug concentrations, TS activity/expression, or TTP depletion could be made. dUTPase activity varied 17-fold and correlated with dUTPase protein expression (r2= 0.94 P= 0.03). There was a striking variation in the amount of dUTP formed following exposure to ZD9331 (between 1.3 and 57 pmole 10–6cells) and was in general inversely associated with dUTPase activity. A large expansion in the dUTP pool was associated with increased sensitivity to a 24-h exposure to ZD9331 in A549 cells that have low dUTPase activity/expression. dUTPase expression and activity were elevated (approximately 3-fold) in two variants of a human lymphoblastoid cell line with acquired resistance to TS inhibitors, further suggesting an important role for this enzyme in TS inhibited cells. © 2000 Cancer Research Campaig

Optimization of loading protocols for tissue engineering experiments

Tissue engineering (TE) combines cells and biomaterials to treat orthopedic pathologies. Maturation of de novo tissue is highly dependent on local mechanical environments. Mechanical stimulation influences stem cell differentiation, however, the role of various mechanical loads remains unclear. While bioreactors simplify the complexity of the human body, the potential combination of mechanical loads that can be applied make it difficult to assess how different factors interact. Human bone marrow-derived mesenchymal stromal cells were seeded within a fibrin-polyurethane scaffold and exposed to joint-mimicking motion. We applied a full factorial design of experiment to investigate the effect that the interaction between different mechanical loading parameters has on biological markers. Additionally, we employed planned contrasts to analyze differences between loading protocols and a linear mixed model with donor as random effect. Our approach enables screening of multiple mechanical loading combinations and identification of significant interactions that could not have been studied using classical mechanobiology studies. This is useful to screen the effect of various loading protocols and could also be used for TE experiments with small sample sizes and further combinatorial medication studies

Generic Modal Cut Elimination Applied to Conditional Logics

We develop a general criterion for cut elimination in sequent calculi for propositional modal logics, which rests on absorption of cut, contraction, weakening and inversion by the purely modal part of the rule system. Our criterion applies also to a wide variety of logics outside the realm of normal modal logic. We give extensive example instantiations of our framework to various conditional logics. For these, we obtain fully internalised calculi which are substantially simpler than those known in the literature, along with leaner proofs of cut elimination and complexity. In one case, conditional logic with modus ponens and conditional excluded middle, cut elimination and complexity were explicitly stated as open in the literature

Sociology and postcolonialism: another 'missing' revolution?

Sociology is usually represented as having emerged alongside European modernity. The latter is frequently understood as sociology's special object with sociology itself a distinctively modern form of explanation. The period of sociology's disciplinary formation was also the heyday of European colonialism, yet the colonial relationship did not figure in the development of sociological understandings. While the recent emergence of postcolonialism appears to have initiated a reconsideration of understandings of modernity, with the development of theories of multiple modernities, I suggest that this engagement is more an attempt at recuperating the transformative aspect of postcolonialism than engaging with its critiques. In setting out the challenge of postcolonialism to dominant sociological accounts, I also address `missing feminist/queer revolutions', suggesting that by engaging with postcolonialism there is the potential to transform sociological understandings by opening up a dialogue beyond the simple pluralism of identity claims

Propositional Dynamic Logic for Message-Passing Systems

We examine a bidirectional propositional dynamic logic (PDL) for finite and infinite message sequence charts (MSCs) extending LTL and TLC-. By this kind of multi-modal logic we can express properties both in the entire future and in the past of an event. Path expressions strengthen the classical until operator of temporal logic. For every formula defining an MSC language, we construct a communicating finite-state machine (CFM) accepting the same language. The CFM obtained has size exponential in the size of the formula. This synthesis problem is solved in full generality, i.e., also for MSCs with unbounded channels. The model checking problem for CFMs and HMSCs turns out to be in PSPACE for existentially bounded MSCs. Finally, we show that, for PDL with intersection, the semantics of a formula cannot be captured by a CFM anymore

Flow Phase Diagram for the Helium Superfluids

The flow phase diagram for He II and $^3$He-B is established and discussed based on available experimental data and the theory of Volovik [JETP Letters {\bf{78}} (2003) 553]. The effective temperature - dependent but scale - independent Reynolds number $Re_{eff}=1/q=(1+\alpha')/\alpha$, where $\alpha$ and $\alpha'$ are the mutual friction parameters and the superfluid Reynolds number characterizing the circulation of the superfluid component in units of the circulation quantum are used as the dynamic parameters. In particular, the flow diagram allows identification of experimentally observed turbulent states I and II in counterflowing He II with the turbulent regimes suggested by Volovik.Comment: 2 figure