Seed-setting rate is a critical determinant of grain yield in rice (Oryza sativa L.). Rapid and healthy pollen tube growth in the style is required for high seed-setting rate. The molecular mechanisms governing this process remain largely unknown. In this study, we isolate a dominant low seed-setting rate rice mutant, sss1-D. Cellular examination results show that pollen tube growth is blocked ...

We examined several aspects of attachment in marriage, including the association among attachment style, mental models of the spouse, satisfaction, affect regulation within the marriage, the stability of attachment style, and its operationalization. Fifty-three married couples completed initial assessments, and 44 particip in a 24-month follow-up. Attachment style was related to positive and ne...

Professional programmers need common coding conventions to assure co-operation and a degree of quality of the software. Novice programmers, however, easily forget issues of programming style in their programming coursework. In particular with large classes, students may pass several courses without learning elements of programming style. This is often due to shortage of tutor work to give stude...

We study the continuation passing style (CPS) transform and its generalization, the computational transform, in which the notion of computation is generalized from continuation passing to an arbitrary one. To establish a relation between direct style and continuation passing style interpretation of sequential call-by-value programs, we prove the Retraction Theorem which says that a lambda term ...

Using market prices for crude-oil futures options and the prices of their underlying futures contracts, we estimate the volatility skew in two ways. As a benchmark for our theoretical model, on each date we first estimate a crosssectional polynomial structure for each maturity to demonstrate the strength and weaknesses of a purely-mechanical model. We then apply to the empirical data a Merton-s...

In this paper a uniform formalization in PVS of various kinds of semantics of imper ative programming language constructs is presented Based on a comprehensive de velopment of xed point theory the denotational semantics of elementary constructs of imperative programming languages are de ned as state transformers These state transformers induce corresponding predicate transformers providing a me...

We present a sound type-basedùsage analysis' for a realistic lazy functional language. Accurate information on the usage of program subexpressions in a lazy functional language permits a compiler to perform a number of useful optimi-sations. However, existing analyses are either ad-hoc and approximate, or deened over restricted languages. Our work extends the Once Upon A Type system of Turner, ...

Recent advances in deep neural networks have enabled algorithms to compose music that is comparable to music composed by humans. However, few algorithms allow the user to generate music with tunable parameters. The ability to tune properties of generated music will yield more practical benefits for aiding artists, filmmakers, and composers in their creative tasks. In this paper, we introduce De...

Motion capture data is useful to an animator because it captures the exact style of a particular individual’s movements and has a life-like quality. However, often the data is not exactly what the animator needs. We demonstrate a method for using motion capture data as a starting point for creating synthetic motion data that addresses this problem by allowing the animator to specify hard constr...