[PDF] from unsw.edu.auJ Yip… - Twenty-Second International Joint Conference …, 2011 - aaai.org ... Specification 3 (RowCol Feasibility Checker). ROW- COLFC takes a partial assignment α of the first n rows of a matrix model and returns ∃σr ∈ Sn ,σc ∈ Sc : rown ([α(Xσr (i),σc(j))]) <lex rown ([α(Xi,j)]). where rown only linearize the first n rows. ...
K Kinoshita, O Nakatsuka, S Yoda… - Thin Solid Films, 2011 - Elsevier ... bulk crystals was very difficult due to large separation of liquidus and soli dus lines in the phase diagram [1]. However, we invented a crystal growth method named the traveling liquidus-zone (TLZ) method [2-5] and compositionally uniform Si 0.5 Ge 0.5 crystals were g rown [5-8 ...