The study of crystals for space processing and the effect of o-gravity

The mechanism of crystal growth was studied by solution technique and how it was affected by space environment. Investigation was made as to how space processing methods are used to improve the promising candidate materials for different devices

A study of crystal growth by solution technique

The mechanism of crystal growth by solution technique was studied. A low temperature solution crystal growth setup was developed. Crystals of triglycine sulfate (TGS) were grown using this arrangement. Some additional tasks were performed toward fabrication of experiments for future space flight

The study of single crystals for space processing and the effect of zero gravity

A study was undertaken to analyze different growth techniques affected by a space environment. Literature on crystal growth from melt, vapor phase and float zone was reviewed and the physical phenomena important for crystal growth in zero-gravity environment was analyzed. Recommendations for potential areas of crystal growth feasible for space missions are presented and a bibliography of articles in the area of crystal growth in general is listed

Faster Algorithms for Weighted Recursive State Machines

Pushdown systems (PDSs) and recursive state machines (RSMs), which are linearly equivalent, are standard models for interprocedural analysis. Yet RSMs are more convenient as they (a) explicitly model function calls and returns, and (b) specify many natural parameters for algorithmic analysis, e.g., the number of entries and exits. We consider a general framework where RSM transitions are labeled from a semiring and path properties are algebraic with semiring operations, which can model, e.g., interprocedural reachability and dataflow analysis problems. Our main contributions are new algorithms for several fundamental problems. As compared to a direct translation of RSMs to PDSs and the best-known existing bounds of PDSs, our analysis algorithm improves the complexity for finite-height semirings (that subsumes reachability and standard dataflow properties). We further consider the problem of extracting distance values from the representation structures computed by our algorithm, and give efficient algorithms that distinguish the complexity of a one-time preprocessing from the complexity of each individual query. Another advantage of our algorithm is that our improvements carry over to the concurrent setting, where we improve the best-known complexity for the context-bounded analysis of concurrent RSMs. Finally, we provide a prototype implementation that gives a significant speed-up on several benchmarks from the SLAM/SDV project

Changing Women’s Roles in Homestead Management: Mainstreaming Women in Rural Development

This paper has been prepared as part of CPD's advocacy activities with IRRI under the PETRRA project and was presented at the dialogue on Women's Contribution to Rural Economic Activities: Making the Invisible Visible. It reports the result of the focus group discussions with men and women as a supplement to the quantitative information gathered from household surveys as presented in the CPD Occasional Paper 41. Focus Group Discussions (FGD) were conducted in 8 out of the 62 villages from 57 districts included in the quantitative study.Women, Bangladesh