Unity properties and sequences of states, some observationsUDINK, R. T; KOK, J. N.Information processing letters. 1993, Vol 47, Num 6, pp 307-311, issn 0020-0190Article

Model-based specificationBIJLSMA, Lex.Information processing letters. 2001, Vol 77, Num 2-4, pp 77-84, issn 0020-0190Article

The commuting V-diagram: On the relation of refinement and testingAICHERNIG, Bernhard K.Lecture notes in computer science. 2003, pp 15-28, issn 0302-9743, isbn 3-540-40801-0, 14 p.Conference Paper

Advancing Refinement Through Training: Is There a Role for Reflective Practice? : RefinementLLOYD, Maggie.ATLA. Alternatives to laboratory animals. 2009, Vol 37, Num 2, pp 167-171, issn 0261-1929, 5 p.Article

Procedure compilation in the refinement calculusLERMER, K; FIDGE, C. J.Formal aspects of computing. 2006, Vol 18, Num 2, pp 152-180, issn 0934-5043, 29 p.Article

Local refinement of simplicial grids based on the skeletonPLAZA, A; CAREY, G. F.Applied numerical mathematics. 2000, Vol 32, Num 2, pp 195-218, issn 0168-9274Article

Refinement algebra for probabilistic programsMEINICKE, Larissa; SOLIN, Kim.Formal aspects of computing. 2010, Vol 22, Num 1, pp 3-31, issn 0934-5043, 29 p.Article

Isotropic conforming refinement of quadrilateral and hexahedral meshes using two-refinement templatesEBEIDA, Mohamed S; PATNEY, Anjul; OWENS, John D et al.International journal for numerical methods in engineering. 2011, Vol 88, Num 10, pp 974-985, issn 0029-5981, 12 p.Article

The crystal structure of katoite and implications within the hydrogrossular group of minerals = La structure cristalline de la katoïte et ses implications dans le groupe de l'hydrogrossulaireSACERDOTI, M; PASSAGLIA, E.Bulletin de minéralogie. 1985, Vol 108, Num 1, pp 1-8, issn 0180-9210Article

A calculus for probabilistic languagesPARK, Sunawoo.ACM SIGPLAN notices. 2003, Vol 38, Num 3, pp 38-49, issn 1523-2867, 12 p.Conference Paper

Grain refinement in as-cast AZ80 Mg alloy under large strain deformationGUO, Q; YAN, H. G; CHEN, Z. H et al.Materials characterization. 2007, Vol 58, Num 2, pp 162-167, issn 1044-5803, 6 p.Article

Effect of friction stir processing on the fatigue properties of a Zr-modified 2014 aluminium alloyCAVALIERE, P.Materials characterization. 2006, Vol 57, Num 2, pp 100-104, issn 1044-5803, 5 p.Article

A-posteriori error estimation in axixymmetric geotechnical analysesEL-HAMALAWI, A; BOLTON, M. D.Computers and geotechnics. 2002, Vol 29, Num 8, pp 587-607, issn 0266-352X, 21 p.Article

Architecture-directed refinementROMAN, G.-C; WILCOX, C. D.IEEE transactions on software engineering. 1994, Vol 20, Num 4, pp 239-258, issn 0098-5589Article

Refinement of crystal structure of parahopeite = Affinement de la structure cristalline de la parahopeiteSHI NICHENG; MA ZHESHENG; PENG ZHIZHONG et al.Kexue tongbao (English edition). 1983, Vol 28, Num 12, pp 1658-1661Article

Characterisation of Sm-Co-Sn alloysZAIGHAM, Hamid; AHMAD KHALID, F.Materials characterization. 2010, Vol 61, Num 11, pp 1274-1280, issn 1044-5803, 7 p.Article

The role of grain orientation in microstructure evolution of pure aluminum processed by equal channel angular pressingHOSEINI, Majid; MERATIAN, Mahmood; TOROGHINEJAD, Mohammad R et al.Materials characterization. 2010, Vol 61, Num 12, pp 1371-1378, issn 1044-5803, 8 p.Article

Grain refinement and grain coarsening of undercooled Fe-Co alloyNING LIU; GENCANG YANG; FENG LIU et al.Materials characterization. 2006, Vol 57, Num 2, pp 115-120, issn 1044-5803, 6 p.Article

Grain refinement of an AZ63B magnesium alloy by an A1-1C master alloyPAN YICHUAN; LIU XIANGFA; YANG HUA et al.Zeitschrift für Metallkunde. 2005, Vol 96, Num 12, pp 1398-1403, issn 0044-3093, 6 p.Article

The Progress of Humane Experimental Technique Since 1959: A Personal View^aBURCH, Rex L.ATLA. Alternatives to laboratory animals. 2009, Vol 37, Num 3, pp 269-275, issn 0261-1929, 7 p.Conference Paper

Deposition behavior and microstructural development of TiNi powder particles in low temperature-HVOF spraying processLIN, Q. S; ZHOU, K. S; DENG, C. M et al.Applied surface science. 2013, Vol 283, pp 352-359, issn 0169-4332, 8 p.Article

An extendible language for database schema refinement transformationsCASTELLI, Donatella; PISANI, Serena.International journal of intelligent systems. 2001, Vol 16, Num 3, pp 265-284, issn 0884-8173Conference Paper

Refinement of GaAs powder diffraction dataRAZIK, N. A; AL-BARAKATI, G; AL-HENETI, S et al.Journal of materials science letters. 1989, Vol 8, Num 12, pp 1458-1460, issn 0261-8028, 3 p.Article

ESPANSIONE DELLA CAPACITA DI CRACKING DELLA RFT = GROWING OF CRACKING CAPACITY OF WEST GERMANY = EXPANSION DE LA CAPACITE DE CRAQUAGE DE L'ALLEMAGNE DE L'OUEST1978; RASS. PETROLIF.; ITA; DA. 1978; VOL. 44; NO 1477; PP. 726Article

Scalable macromodelling of microwave system responses using sequential sampling with path-simplexesCHEMMANGAT, K; DHAENE, T; KNOCKAERT, L et al.Electronics letters. 2013, Vol 49, Num 15, pp 950-952, issn 0013-5194, 3 p.Article