1726-Pos Board B618 Imaging Proteins, Cells, and Tissues Dynamics during Embryogenesis with Two-Photon Light-Sheet Microscopy Thai V. Truong, Daniel B. Holland, Vikas Trivedi, Scott E. Fraser. California Institute of Technology, Pasadena, CA, USA. Two-photon light sheet microscopy combines nonlinear excitation with the novel sheet-illumination, orthogonal to the detection direction, to achieve ...

One goal of automated cartography is to generate an accurate 3-D model of man-made structures and natural terrain. Some of the most challenging problems in cartographic feature extraction occur in dense urban areas where the level of detail and scene clutter greatly complicate traditional map compilation techniques. In this paper, we describe experiments toward a comprehensive stereo analysis s...

computer simulation techniques are employed to obtain binding energies of 2,3 and 4 vacancy clusters in a -iron using the finnis sinclair many body potential. the results are compared with earlier pair potential calculations. the many body potential is found to be quite successful in simulating vacancy clusters

quantitative structure-activity relationship (qsar) models were employed for prediction the activity of p2x7 receptor antagonists. a data set consisted of 50 purine derivatives was utilized in the model construction where 40 and 10 of these compounds were in the training and test sets respectively. a suitable group of calculated molecular descriptors was selected by employing stepwise multiple ...

there is no single standard technique or methodology to characterize the size, structure, number, and chemical composition of airborne carbon nanotubes.  existing analytical instruments and analytical techniques for evaluating nanoparticle concentrations cannot simultaneously provide morphology, state of agglomeration, surface area, mass, size distribution and chemical composition data critical...

b b b b b b b b b b b b b b b b b b b Abstract Automated reasoning or theorem proving essentially amounts to solving search problems. Despite signiicant progress in recent years theorem provers still have many shortcomings. The use of machine-learning techniques is acknowledged as promising, but diicult to apply in the area of theorem proving. We propose here to learn search-guiding heuristics ...

b b b b b b b b b b b b b b b b b b b Abstract Automated reasoning or theorem proving essentially amounts to solving search problems. Despite signiicant progress in recent years theorem provers still have many shortcomings. The use of machine-learning techniques is acknowledged as promising, but diicult to apply in the area of theorem proving. We propose here to learn search-guiding heuristics ...

Circular strings are used to represent circular genomes in molecular biology poly gons in computer graphics and computational geometry and closed curves in computer vision In this paper we extend techniques which have so far been successfully applied to the analysis and visualization of linear strings to circular strings by de ning a data structure for circular strings E cient often optimal alg...