Developments in electromagnetic tomography instrumentation.

A new EMT sensor and instrumentation is described which combines the best features of previous systems and has a modular structure to allow for future system expansion and development

High-sensitivity receiver for CO2 laser communications

Wideband heterodyne receiver provides detection and demodulation of incident frequency modulated laser signal; search and acquisition circuitry to align two stations; tracking circuitry to maintain spatial alignment; and laser frequency monitor to frequency lock the transmit and local oscillator lasers

The HERMIT in the Tree

This paper describes our experience using the HERMIT tool- kit to apply well-known transformations to the internal core language of the Glasgow Haskell Compiler. HERMIT provides several mechanisms to support writing general-purpose transformations: a domain-specific language for strategic programming specialized to GHC's core language, a library of primitive rewrites, and a shell-style{based scripting language for interactive and batch usage. There are many program transformation techniques that have been described in the literature but have not been mechanized and made available inside GHC - either because they are too specialized to include in a general-purpose compiler, or because the developers' interest is in theory rather than implementation. The mechanization process can often reveal pragmatic obstacles that are glossed over in pen-and-paper proofs; understanding and removing these obstacles is our concern. Using HERMIT, we implement eleven examples of three program transformations, report on our experience, and describe improvements made in the process

A cell–ECM screening method to predict breast cancer metastasis

Breast cancer preferentially spreads to the bone, brain, liver, and lung. The clinical patterns of this tissue-specific spread (tropism) cannot be explained by blood flow alone, yet our understanding of what mediates tropism to these physically and chemically diverse tissues is limited. While the micro- environment has been recognized as a critical factor in governing metastatic colonization, the role of the extracellular matrix (ECM) in mediating tropism has not been thoroughly explored. We created a simple biomaterial platform with systematic control over the ECM protein density and composition to determine if integrin binding governs how metastatic cells differentiate between secondary tissue sites. Instead of examining individual behaviors, we compiled large patterns of phenotypes associated with adhesion to and migration on these controlled ECMs. In combining this novel analysis with a simple biomaterial platform, we created an in vitro fingerprint that is predictive of in vivo metastasis. This rapid biomaterial screen also provided information on how b1, a2, and a6 integrins might mediate metastasis in patients, providing insights beyond a purely genetic analysis. We propose that this approach of screening many cell–ECM interactions, across many different heterogeneous cell lines, is predictive of in vivo behavior, and is much simpler, faster, and more economical than complex 3D environments or mouse models. We also propose that when specifically applied toward the question of tissue tropism in breast cancer, it can be used to provide insight into certain integrin subunits as therapeutic targets

The Little Paint Site: A Classic Toyah Camp on the South Llano River, Kimble County, Texas

On behalf of the Texas Department of Transportation (TxDOT), SWCA Environmental Consultants (SWCA) conducted testing and data recovery investigations at the Little Paint site (41KM226), a prehistoric multi-component site in the US 377 right-of-way along the South Llano River in Kimble County, Texas. While the site revealed Archaic and Late Prehistoric components, the earlier components were stratigraphically intermixed. Consequently, data recovery focused almost entirely on a discrete Toyah component, which, based on earlier test excavations conducted in August and September 2006, had previously been determined to be eligible for listing on the National Register of Historic Places and as a State Archeological Landmark. SWCA performed the investigations under Texas Antiquities Permits 4184 and 4318. Kevin A. Miller served as Principal Investigator. The excavations recovered approximately 102 m2 of a stratigraphically-discrete Toyah component consisting of rock-lined hearths, Perdiz points, Cliffton points, a bird-bone bead, bone-tempered ceramics, bifaces, scrapers (notably end scrapers on blade-flakes), various informal lithic tools, drills, awls, debitage, and faunal remains. Based on the assemblage, the site is interpreted as a Toyah basecamp as indicated by a diversity of tool forms and site furniture. The component has good integrity, is vertically and horizontally discrete, and contains a substantial amount of archaeological materials. The suite of 16 radiometric dates indicates intermittent Toyah occupations between 240 and 570 years ago, a time range that is generally consistent with recognized span of the Toyah assemblage. The archaeological assemblage and site structure, however, suggests a possible single Toyah occupation. While not a focal point of the data recovery investigations, the excavations also recovered mixed Archaic components below the Toyah component. Artifacts include diagnostic point styles that indicate Late Archaic to early Late Prehistoric occupations, representing 1,000 to 2,000 years of the regional cultural chronology compressed within a thin stratum. Based on the findings, the depositional conditions below the Toyah component, as was previously determined by the testing data, were found to be generally not conducive to the formation of stratigraphic separation of the successive occupations. This compression resulted in intermixing of components and poor integrity. Below the mixed Archaic zone, deeply buried Middle to Early Archaic deposits were identified. These retained a better potential for significant isolable strata, but these deeper deposits were beyond the project impacts and therefore were not the subject of mitigative efforts. The deeper deposits are preserved by avoidance. As previously determined and further substantiated by the data recovery investigations, the Little Paint site, because of the Toyah component and perhaps earlier deposits, is eligible for National Register of Historic Places listing under Criterion D, 36 CFR 60.4, and eligible for State Archeological Landmark designation under Criteria 1 and 2 of the Rules of Practice and Procedure for the Antiquities Code of Texas, 13 TAC 26.8. The excavations have mitigated the adverse effects of the US 377 bridge replacement by recovering the vast majority of the Toyah component within the area of potential effect of the roadway undertaking. No further archaeological work is recommended. Portions of the site outside of the right-of-way have not been fully evaluated. The artifacts and records from the project are curated at the Center for Archaeological Studies, Texas State University

Marrow-Derived Stem Cell Motility in 3D Synthetic Scaffold Is Governed by Geometry Along With Adhesivity and Stiffness

Author Manuscript 2012 May 21.Design of 3D scaffolds that can facilitate proper survival, proliferation, and differentiation of progenitor cells is a challenge for clinical applications involving large connective tissue defects. Cell migration within such scaffolds is a critical process governing tissue integration. Here, we examine effects of scaffold pore diameter, in concert with matrix stiffness and adhesivity, as independently tunable parameters that govern marrow-derived stem cell motility. We adopted an “inverse opal” processing technique to create synthetic scaffolds by crosslinking poly(ethylene glycol) at different densities (controlling matrix elastic moduli or stiffness) and small doses of a heterobifunctional monomer (controlling matrix adhesivity) around templating beads of different radii. As pore diameter was varied from 7 to 17 µm (i.e., from significantly smaller than the spherical cell diameter to approximately cell diameter), it displayed a profound effect on migration of these stem cells—including the degree to which motility was sensitive to changes in matrix stiffness and adhesivity. Surprisingly, the highest probability for substantive cell movement through pores was observed for an intermediate pore diameter, rather than the largest pore diameter, which exceeded cell diameter. The relationships between migration speed, displacement, and total path length were found to depend strongly on pore diameter. We attribute this dependence to convolution of pore diameter and void chamber diameter, yielding different geometric environments experienced by the cells within. Bioeng. 2011; 108:1181–1193(National Institute of General Medical Sciences (U.S.) (NRSA Fellowship GM083472)National Institutes of Health (U.S.) (National Institute of General Medical Sciences (U.S.) Cell Migration Consortium Grant GM064346)National Science Foundation (U.S.) (CAREER CBET-0644846

Developing and enhancing biodiversity monitoring programmes: a collaborative assessment of priorities

1.Biodiversity is changing at unprecedented rates, and it is increasingly important that these changes are quantified through monitoring programmes. Previous recommendations for developing or enhancing these programmes focus either on the end goals, that is the intended use of the data, or on how these goals are achieved, for example through volunteer involvement in citizen science, but not both. These recommendations are rarely prioritized. 2.We used a collaborative approach, involving 52 experts in biodiversity monitoring in the UK, to develop a list of attributes of relevance to any biodiversity monitoring programme and to order these attributes by their priority. We also ranked the attributes according to their importance in monitoring biodiversity in the UK. Experts involved included data users, funders, programme organizers and participants in data collection. They covered expertise in a wide range of taxa. 3.We developed a final list of 25 attributes of biodiversity monitoring schemes, ordered from the most elemental (those essential for monitoring schemes; e.g. articulate the objectives and gain sufficient participants) to the most aspirational (e.g. electronic data capture in the field, reporting change annually). This ordered list is a practical framework which can be used to support the development of monitoring programmes. 4.People's ranking of attributes revealed a difference between those who considered attributes with benefits to end users to be most important (e.g. people from governmental organizations) and those who considered attributes with greatest benefit to participants to be most important (e.g. people involved with volunteer biological recording schemes). This reveals a distinction between focussing on aims and the pragmatism in achieving those aims. 5.Synthesis and applications. The ordered list of attributes developed in this study will assist in prioritizing resources to develop biodiversity monitoring programmes (including citizen science). The potential conflict between end users of data and participants in data collection that we discovered should be addressed by involving the diversity of stakeholders at all stages of programme development. This will maximize the chance of successfully achieving the goals of biodiversity monitoring programmes

Neutrophil Sequestration in Liver and Lung is Differentially Regulated by C-X-C Chemokines During Experimental Peritonitis

C-X-C chemokines play an important role in the migration and activation of neutrophils (PMNs) during an inflammatory event. We measured mRNA and protein expression of the murine C-X-C chemokines macrophage inflammatory protein-2 (MIP-2) and KC in the lungs, liver, blood, and peritoneal cavity of Swiss Webster mice after cecal ligation and puncture (CLP). Neutralizing antibodies to MIP-2 and KC were also used to determine the biological effects of these chemokines on neutrophil sequestration and organ injury in the CLP model. The data showed that early after CLP, MIP-2 mRNA and protein were expressed predominantly by the lung, whereas KC mRNA and protein were expressed by the liver. Inhibition of MIP-2 reduced both lung neutrophil sequestration and peritoneal neutrophil migration. Inhibition of KC had no effect on overall neutrophil sequestration in liver but reduced injury as measured by serum transaminases. An early survival benefit was found with anti-KC treatment, although overall survival was not different. Our study showed a differential expression by organs of C-X-C chemokines during sepsis and suggested that such chemokine effects are tissue-specific.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/44525/1/10753_2004_Article_408817.pd

A formally verified compiler back-end

This article describes the development and formal verification (proof of semantic preservation) of a compiler back-end from Cminor (a simple imperative intermediate language) to PowerPC assembly code, using the Coq proof assistant both for programming the compiler and for proving its correctness. Such a verified compiler is useful in the context of formal methods applied to the certification of critical software: the verification of the compiler guarantees that the safety properties proved on the source code hold for the executable compiled code as well