Towards high-resolution shell midden archaeology: Experimental and ethnoarchaeology in Tierra del Fuego (Argentina)

This paper discusses the ongoing ethnoarchaeological research carried out in Yamana shell middens of Tierra del Fuego. Ethnoarchaeology is used in this research as a tool to improve the archaeological methodology by testing it against anthropological, ethnographical and ethnological sources for achieving more accurate reconstructions of past societies. The ethnographical/ethnological information also is coupled with an experimental approach devised to understand physical and social processes, such as site formation processes and resource use and management. Specifically, this experimental approach was applied to the archaeological sites Tunel VII and Lanashuaia I (Tierra del Fuego, Argentina). (C) 2011 Elsevier Ltd and INQUA. All rights reserved.

Kinetic resolution of a drug precursor by Burkholderia cepacia lipase immobilized by different methodologies on superparamagnetic nanoparticles

Burkholderia cepacia lipase was immobilized on superparamagnetic nanoparticles using three different methodologies (adsorption, chemisorption with carboxibenzaldehyde and chemisorption with glutaraldehyde) and employed in the kinetic resolution of a chiral drug precursor, (RS)-2-bromo-1-(phenyl)ethanol, via enantioselective acetylation reaction. An excellent improvement of lipase catalytical performance was observed. Free B. cepacia lipase gave the ester (S)-2 with poor E-value <30, and after its immobilization to magnetic nanoparticles the E-value was up to >200. The effect of several reaction parameters in the kinetic resolution was studied. The best results for kinetic resolution were obtained using vinyl acetate as acetyl donor and toluene as solvent, typically yielding the ester in high enantiomeric excess (>99%) and E-value (E > 200). Of the three tested immobilization methods, chemisorption with glutaraldehyde was the best one in terms of temperature stability and yield product. (C) 2010 Elsevier B.V. All rights reserved.

A compact and high-resolution version of a capacitively coupled contactless conductivity detector

An all-in-one version of a capacitively coupled contactless conductivity detector is introduced. The absence of moving parts (potentiometers and connectors) makes it compact (6.5 cm(3)) and robust. A local oscillator, working at 1.1 MHz, was optimized to use capillaries of id from 20 to 100 lam. Low noise circuitry and a high-resolution analog-to-digital converter (ADC) (21 bits effective) grant good sensitivities for capillaries and background electrolytes currently used in capillary electrophoresis. The fixed frequency and amplitude of the signal generator is a drawback that is compensated by the steady calibration curves for conductivity. Another advantage is the possibility of determining the inner diameter of a capillary by reading the ADC when air and subsequently water flow through the capillary. The difference of ADC reading may be converted into the inner diameter by a calibration curve. This feature is granted by the 21-bit ADC, which eliminates the necessity of baseline compensation by hardware. In a typical application, the limits of detection based on the 3 sigma criterion (without baseline filtering) were 0.6, 0.4, 0.3, 0.5, 0.6, and 0.8 mu mol/L for K(+), Ba(2+), Ca(2+), Na(+), Mg(2+), and Li(+), respectively, which is comparable to other high-quality implementations of a capacitively coupled contactless conductivity detector.

Resolution and Absolute Configuration Assignment of a Natural Racemic Chromane from Peperomia obtusifolia (Piperaceae)

The resolution of the natural racemic chromane 3,4-dihydro-5-hydroxy-2,7-dimethyl-8-(3 ``-methyl-2 ``-butenyl)-2-(4`-methyl-1`,3`-pentadienyl)-2H-1-benzopyran-6-carboxylic acid (1) isolated from the leaves of Peperomia obtusifolia has been accomplished using stereoselective HPLC. The absolute coil figuration of the resolved enantiomers was determined by the analysis of optical rotations and CD spectra. The finding of a racemic mixture instead of an enantiomerically pure metabolite raises questions about the final steps in the biosynthesis of this class of natural products, suggesting that the intramolecular chromane ring formation step may not be enzymatically controlled at all in P. obtusifolia. Chirality 21:799-801, 2009. (C) 2008 Wiley-Liss, Inc.

First dynamic kinetic resolution of selenium-containing chiral amines catalyzed by palladium (Pd/BaSO(4)) and Candida antartica lipase (CAL-B)

An efficient method for chemoenzymatic dynamic kinetic resolution of selenium-containing chiral amines (organoselenium-1-phenylethanamines) has been developed, leading to the corresponding amides in excellent enantioselectivities and high isolated yields. This one-pot procedure employs two different types of catalysts: Pd on barium sulphate (Pd/BaSO(4)) as racemization catalyst and lipase (CAL-B) as the resolution catalyst. (C) 2009 Elsevier Ltd. All rights reserved.

Lipase-Catalyzed Highly Enantioselective Kinetic Resolution of Boron-Containing Chiral Alcohols

The first application of enzymes as catalysts to obtain optically pure boron compounds is described. The kinetic resolution of boron-containing chiral alcohols via enantioselective transesterification catalyzed by lipases was studied. Aromatic, allylic, and aliphatic secondary alcohols containing a boronate ester or boronic acid group were resolved by lipase from Candida antartica (CALB), and excellent E values (E > 200) and high enantiomeric excesses (up to >99%) of both remaining substrates and acetylated product were obtained.

Enzymatic kinetic resolution of organochalcogenides in supercritical CO(2)

1-(Phenylthio)-, 1-(phenylseleno)- and 1-(phenyltelluro)-propan-2-ol were efficiently resolved by CAL-B in sc-CO(2). (C) 2011 Elsevier Ltd. All rights reserved.

Kinetic resolution of iodophenylethanols by Candida antarctica lipase and their application for the synthesis of chiral biphenyl compounds

The kinetic resolution of (+/-)-iodophenylethanols was carried out using lipase from Candida antarctica and in some cases the enantiomeric excesses were high (up to >98%). Enantiomerically enriched (S)-iodophenylethanols produced by the enzymatic resolution process were used in the synthesis of chiral biphenyl compounds by the Suzuki reaction with good yields (63-65%). (C) 2010 Elsevier Ltd. All rights reserved.

Limits to phase resolution in matter-wave interferometry

We study the quantum dynamics of a two-mode Bose-Einstein condensate in a time-dependent symmetric double-well potential using analytical and numerical methods. The effects of internal degrees of freedom on the visibility of interference fringes during a stage of ballistic expansion are investigated varying particle number, nonlinear interaction sign and strength, as well as tunneling coupling. Expressions for the phase resolution are derived and the possible enhancement due to squeezing is discussed. In particular, the role of the superfluid-Mott insulator crossover and its analog for attractive interactions is recognized.

High-resolution terrestrial permian-triassic eventostratigraphic boundary in western Guizhou and eastern Yunnan, southwestern China

The adjoining area of western Guizhou and eastern Yunnan Provinces in southwest China is an ideal place to investigate the feasibility of correlating marine and nonmarine Permian–Triassic boundary (PTB) sequences, as it contains outcrop sections of shallow marine, marginal marine (or paralic), and terrestrial PTB sections, all in close geographic proximity. This paper documents for the first time multiple stratigraphic data from several well-preserved terrestrial PTB sections in the area and attempts to use these data to define, locate, and correlate the PTB in the area. A study of the spores and pollen and vegetation types across the terrestrial PTB sections in the study area suggests three distinct evolutionary stages across the boundary: Stage 1 (Xuanwei Formation) is characterised by Late Permian or Paleozoic-type ferns and pteridosperms (85.0%), with a few gymnosperms (15.0%); stage 2 is marked by an abrupt drop of sporopollen elements of Late Permian aspects, coupled with the appearance of fungal spores and limited Early Triassic palynomorphs; stage 3 (top Xuanwei Formation and Kayitou Formation) is dominated by gymnosperm pollen (58.8%) of clearly Early Triassic aspect, although still retaining limited ferns and pteridosperms. The three biotic stages seem to well correspond with the changing trend of the δ13Corg curves from the same sections, which is characterized by a sharp drop just before the PTB, followed by a short term partial recovery across the boundary, and then succeeded by a gradual decline after the PTB in the Early Triassic. Combining evidence from eventostratigraphic (i.e., the succession of boundary clay beds), biostratigraphic (using both macroplants and palynomorphs), and chemostratigraphic (i.e., organic carbon isotope excursion signals), we propose that a high-resolution PTB succession, closely correlatable to its marine counterpart at the Meishan section in eastern China, is recognisable at the terrestrial PTB sections in the western Guizhou–eastern Yunnan area in southwest China.

Monodic temporal resolution

Until recently, First-Order Temporal Logic (FOTL) has been only partially understood. While it is well known that the full logic has no finite axiomatisation, a more detailed analysis of fragments of the logic was not previously available. However, a breakthrough by Hodkinson et al., identifying a finitely axiomatisable fragment, termed the monodic fragment, has led to improved understanding of FOTL. Yet, in order to utilise these theoretical advances, it is important to have appropriate proof techniques for this monodic fragment.In this paper, we modify and extend the clausal temporal resolution technique, originally developed for propositional temporal logics, to enable its use in such monodic fragments. We develop a specific normal form for monodic formulae in FOTL, and provide a complete resolution calculus for formulae in this form. Not only is this clausal resolution technique useful as a practical proof technique for certain monodic classes, but the use of this approach provides us with increased understanding of the monodic fragment. In particular, we here show how several features of monodic FOTL can be established as corollaries of the completeness result for the clausal temporal resolution method. These include definitions of new decidable monodic classes, simplification of existing monodic classes by reductions, and completeness of clausal temporal resolution in the case of monodic logics with expanding domains, a case with much significance in both theory and practice.

Mechanising first-order temporal resolution

First-order temporal logic is a concise and powerful notation, with many potential applications in both Computer Science and Artificial Intelligence. While the full logic is highly complex, recent work on monodic first-order temporal logics has identified important enumerable and even decidable fragments. Although a complete and correct resolution-style calculus has already been suggested for this specific fragment, this calculus involves constructions too complex to be of practical value. In this paper, we develop a machine-oriented clausal resolution method which features radically simplified proof search. We first define a normal form for monodic formulae and then introduce a novel resolution calculus that can be applied to formulae in this normal form. By careful encoding, parts of the calculus can be implemented using classical first-order resolution and can, thus, be efficiently implemented. We prove correctness and completeness results for the calculus and illustrate it on a comprehensive example. An implementation of the method is briefly discussed.

Monodic Temporal Resolution

First-order temporal logic is a coincise and powerful notation, with many potential applications in both Computer Science and Artificial Intelligence. While the full logic is highly complex, recent work on monodic first-order temporal logics have identified important enumerable and even decidable fragments. In this paper we present the first resolution-based calculus for monodic first-order temporal logic. Although the main focus of the paper is on establishing completeness result, we also consider implementation issues and define a basic loop-search algorithm that may be used to guide the temporal resolution system.