1 Lawrence Berkeley National Laboratory, Berkeley, CA 94720. Research supported in part by the Director, Office of Computational and Technology Research, Division of Mathematical, Information, and Computational Sciences of the U.S. Department of Energy, under contract number DE-AC02-05CH11231. 2 Laureate Professor and Director, Centre for Computer Assisted Research Mathematics and its Applicati...

On Friday, March 24, 2006, Furman University hosted the Carolinas Mathematics Undergraduate Research Conference. The conference was supported by the Mathematical Association of America (NSF Grant DMS0241090). These are the abstracts for the eight undergraduate talks given on that day. Received by the editors April 4, 2006. This conference was supported by the Mathematical Association of America...

Using the Karl G. Jansky Very Large Array (VLA), we have conducted a survey for 22 GHz, 6_{1,6}-5_{2,3} H2O masers toward Serpens South region. The were also observed with Long Baseline (VLBA) following VLA detections. We detect first time in region that are found to be associated three Class 0-Class I objects, including two brightest protostars cluster, known as CARMA-6 and CARMA-7. source no ...

The observed atmospheric spectrum of exoplanets and brown dwarfs depends critically on the presence distribution condensates. Ackerman & Marley (2001) methodology for predicting vertical condensate particles is widely used to study cloudy atmospheres has recently been implemented in an open-source python package virga. model relies upon input parameter $f_{\text{sed}}$, sedimentation efficiency...

Measurement data provides a precise and detailed description of components within a complex system but it is rarely used directly as a component of a system model. In this paper we introduce a model-based representation of measurement data and use it together with modeller-defined components expressed in the CARMA modelling language. We assess both liveness and safety properties of these models...