We have designed web based Conversion Software Registry (CSR) for collecting information about software that are capable of file format conversions. The work is motivated by a community need for finding file format conversions inaccessible via current search engines and by the specific need to support systems that could actually perform conversions, such as the NCSA Polyglot[2]. In addition, th...

 Preparation of 2-Chlorobenzonitrile, and benzonitrile are reported here from the corresponding 2-Chlorobenzaldehyde and benzaldehyde by the reaction of ammonium hydroxide/VPO titania, VPO bulk (...

A compilation of geochemical data from >50 active volcanoes where seismically defi ned Moho depth measurements are available, representing most volcanic arcs around the world, indicates a relation exists between crustal thickness (Moho depth) and the trace element composition of basalts. The best correlation exists for maximum light/heavy rare earth element (REE) ratios, and we use maximum Ce/Y...

[1] Interpolation of spatial data is a widely used technique across the Earth sciences. For example, the thickness of the crust can be estimated by different active and passive seismic source surveys, and seismologists reconstruct the topography of the Moho by interpolating these different estimates. Although much research has been done on improving the quantity and quality of observations, the...

Receiver function analysis is one of the most powerful methods for modeling the subsurface structure beneath a seismograph station. Based on the assumption that similar receiver functions should be observed at stations located close to each other, we can construct a spatial distribution of a seismic velocity interface, such as the Moho discontinuity, to trace the distribution of P-to-S (Ps) con...

Generative type abstractions – present in Haskell, OCaml, and other languages – are useful concepts to help prevent programmer errors. They serve to create new types that are distinct at compile time but share a run-time representation with some base type. We present a new mechanism that allows for zero-cost conversions between generative type abstractions and their representations, even when s...

Very few gene conversions in mitotic cells are associated with crossovers, suggesting that these events are regulated. This may be important for the maintenance of genetic stability. We have analyzed the relationship between homologous recombination and crossing-over in haploid budding yeast and identified factors involved in the regulation of crossover outcomes. Gene conversions unaccompanied ...