409 research outputs found
Is there a fifth international radiocarbon intercomparison (VIRI)?
The issue of comparability of measurements (and thus bias, accuracy, and precision of measurement) from diverse laboratories is one which has been the focus of some attention both within the radiocarbon community and the wider user communities. As a result, the C-14 community has undertaken a widescale, far-reaching, and evolving program of inter- comparisons, to the benefit of laboratories and users alike. The benefit to the users is, however, indirect, since the C-14 intercomparisons have not been used to generate "league tables" of performance, but rather to allow individual laboratories to check procedures and modify them as required. The historical progression of C-14 laboratory intercomparisons from the Third (TIRI, completed in 1995, Gulliksen and Scott 1995) and Fourth (FIRI, completed in 2000, Scott 2003; Boaretto et al. 2000; Bryant et al. 2002) suggests that a Fifth (VIRI) should also be expected. We describe the plans for VIRI
Is comparability of C-14 dates an issue?: A status report on the fourth international radiocarbon intercomparison
For more than 15 years, the radiocarbon community has participated in a series of laboratory intercomparisons in response to the issue of comparability of measurements as perceived within the wider user communities (Scott et al. 1990; Rozanski et al. 1992; Guiliksen and Scott 1995; Scott et al. 1997).<br/> In this report, we provide an update on the current C-14 laboratory intercomparison and reflect on future issues linked to the laboratory intercomparison program, not least those resulting from a significant growth in the number of accelerator mass spectrometry (AMS) facilities providing routine dating of small samples (milligram size)
Special section on advances in reachability analysis and decision procedures: contributions to abstraction-based system verification
Reachability analysis asks whether a system can evolve from legitimate initial states to unsafe states. It is thus a fundamental tool in the validation of computational systems - be they software, hardware, or a combination thereof. We recall a standard approach for reachability analysis, which captures the system in a transition system, forms another transition system as an over-approximation, and performs an incremental fixed-point computation on that over-approximation to determine whether unsafe states can be reached. We show this method to be sound for proving the absence of errors, and discuss its limitations for proving the presence of errors, as well as some means of addressing this limitation. We then sketch how program annotations for data integrity constraints and interface specifications - as in Bertrand Meyers paradigm of Design by Contract - can facilitate the validation of modular programs, e.g., by obtaining more precise verification conditions for software verification supported by automated theorem proving. Then we recap how the decision problem of satisfiability for formulae of logics with theories - e.g., bit-vector arithmetic - can be used to construct an over-approximating transition system for a program. Programs with data types comprised of bit-vectors of finite width require bespoke decision procedures for satisfiability. Finite-width data types challenge the reduction of that decision problem to one that off-the-shelf tools can solve effectively, e.g., SAT solvers for propositional logic. In that context, we recall the Tseitin encoding which converts formulae from that logic into conjunctive normal form - the standard format for most SAT solvers - with only linear blow-up in the size of the formula, but linear increase in the number of variables. Finally, we discuss the contributions that the three papers in this special section make in the areas that we sketched above. © Springer-Verlag 2009
Recommended from our members
Digestion, rumen fermentation and circulating concentrations of insulin, growth hormone and IGF-1 in steers fed diets based on different proportions of maize silage and grass silage
Replacing grass silage with maize silage results in a fundamental change in the ratio of structural to non-structural carbohydrates with commensurate changes in rumen fermentation patterns and nutrient utilisation. This study investigated the effects of feeding four forage mixtures, namely grass silage (G); 67 g/100 g grass silage133 g/100 g maize silage (GGM); 67 g/100 g maize silage133/100 g grass silage (MMG); maize silage (M) to four ruminally and duodenally canulated Holstein Friesian steers. All diets were formulated to be isonitrogenous (22.4 g N/kg DM) using a concentrate mixture. Dietary dry matter (DM) and organic matter (OM) digestibility increased with ascending maize silage inclusion (P,0.1) whereas starch and neutral detergent fibre digestibility declined (P,0.05). Ratio of non-glucogenic to glucogenic precursors in the rumen fluid increased with maize silage inclusion (P,0.01) with a commensurate reduction in rumen pH (P,0.05). Mean circulating concentrations of insulin were greatest and similar in diets MMG and GGM, lower in diet M and lowest in diet G (P,0.01). There were no effects of diet on the mean circulating concentration of growth hormone (GH), or the frequency, amplitude and duration of GH pulses, or the
mean circulating concentrations of IGF-1. Increasing levels of DM, OM and starch intakes with the substitution of grass silage with maize silage affected overall digestion, nutrient partitioning and subsequent circulating concentrations of insulin
Generalization of the coupled dipole method to periodic structures
We present a generalization of the coupled dipole method to the scattering of
light by arbitrary periodic structures. This new formulation of the coupled
dipole method relies on the same direct-space discretization scheme that is
widely used to study the scattering of light by finite objects. Therefore, all
the knowledge acquired previously for finite systems can be transposed to the
study of periodic structures.Comment: 5 pages, 2 figures, and 1 tabl
A symbolic algorithm for the synthesis of bounded Petri nets
This paper presents an algorithm for the synthesis of bounded Petri nets from transition systems. A bounded Petri net is always provided in case it exists. Otherwise, the events are split into several transitions to guarantee the synthesis of a Petri net with bisimilar behavior. The algorithm uses symbolic representations of multisets of states to efficiently generate all the minimal regions. The algorithm has been implemented in a tool. Experimental results show a significant net reduction when compared with approaches for the synthesis of safe Petri nets.Peer ReviewedPostprint (author's final draft
Thermal and photochemical control of nitro-nitrito linkage isomerism in single-crystals of [Ni(medpt)(NO<sub>2</sub>)(η<sup>2</sup>-ONO)]
The known complex [Ni(medpt)(η1-NO2)(η2-ONO)] 1 (medpt = 3,3′-diamino-N-methyldipropylamine) crystallises in the monoclinic space group P21/m with 1.5 molecules in the asymmetric unit with two different η1-NO2 ligand environments in the crystal structure. At 298 K the molecule (A) sitting in a general crystallographic site displays a mixture of isomers, 78% of the η1-NO2 isomer and 22% of an endo-nitrito–(η1-ONO) form. The molecule (B) sitting on a crystallographic mirror plane adopts the η1-NO2 isomeric form exclusively. However, a variable temperature crystallographic study showed that the two isomers were in equilibrium and upon cooling to 150 K the η1-ONO isomer converted completely to the η1-NO2 isomer, so that both independent molecules in the asymmetric unit were 100% in the η1-NO2 form. A kinetic analysis of the equilibrium afforded values of ΔH = −9.6 (±0.4) kJ mol−1, ΔS = −21.5 (±1.8) J K−1 mol−1 and EA = −1.6 (±0.05) kJ mol−1. Photoirradiation of single crystals of 1 with 400 nm light, at 100 K, resulted in partial isomerisation of the η1-NO2 isomer to the metastable η1-ONO isomer, with 89% for molecule (A), and 32% for molecule (B). The crystallographic space group also reduced in symmetry to P21 with Z′ = 3. The metastable state existed up to a temperature of 150 K above which temperature it reverted to the ground state. An analysis of the crystal packing in the ground and metastable states suggests that hydrogen bonding is responsible for the difference in the conversion between molecules (A) and (B)
Spatial regulation of the glycocalyx component podocalyxin is a switch for prometastatic function
The glycocalyx component and sialomucin podocalyxin (PODXL) is required for normal tissue development by promoting apical membranes to form between cells, triggering lumen formation. Elevated PODXL expression is also associated with metastasis and poor clinical outcome in multiple tumor types. How PODXL presents this duality in effect remains unknown. We identify an unexpected function of PODXL as a decoy receptor for galectin-3 (GAL3), whereby the PODXL-GAL3 interaction releases GAL3 repression of integrin-based invasion. Differential cortical targeting of PODXL, regulated by ubiquitination, is the molecular mechanism controlling alternate fates. Both PODXL high and low surface levels occur in parallel subpopulations within cancer cells. Orthotopic intraprostatic xenograft of PODXL-manipulated cells or those with different surface levels of PODXL define that this axis controls metastasis in vivo. Clinically, interplay between PODXL-GAL3 stratifies prostate cancer patients with poor outcome. Our studies define the molecular mechanisms and context in which PODXL promotes invasion and metastasis
- …