Buscar
Mostrando ítems 11-20 de 11180
Grain refinement of an Al-10% Mg alloy by intensive shearing in the liquid state
(Elsevier Science SaLausanneSuíça, 2009)
Pretreatment of corn oil for physical refining
(Amer Oil Chemists SocChampaignEUA, 1998)
Relational mathematics for relative correctness
(Springer, 2015-09)
In earlier work, we had presented a definition of software fault as being any feature of a program that admits a substitution that would make the program more-correct. This definition requires, in turn, that we define the ...
On the analysis of non-homogeneous laminates using the refined zigzag theory
(Elsevier, 2018-11)
This work shows possibilities and limitations of the refined zigzag theory (RZT) that has been used in different structural (beam, plate and shell) finite elements. The refined zigzag theory can deal with composite laminates, ...
Estudo de caso: aplicação de um controle de energia específica em refinadores a disco
(Universidade Tecnológica Federal do ParanáCuritibaBrasilCurso de Especialização em Automação IndustrialUTFPR, 2016-12-21)
The present paper approaches the case study in the WestRock Pulp and Paper Factory, more specifically the process of preparing the cellulosic pulp, so that the paper to be produced can be formed, making sure the quality ...
An investigation on the effect of intensive shearing on the grain refinement of A5754 aluminium alloy
(Elsevier Science SaLausanneSuíça, 2009)
Formal validation of automated policy refinement in the management of network security systems
(SPRINGER, 2010)
Policy hierarchies and automated policy refinement are powerful approaches to simplify administration of security services in complex network environments. A crucial issue for the practical use of these approaches is to ...
Gradual Liquid Type Inference
(2018)
Refinement types allow for lightweight program verification by enriching types with logical predicates. Liquid typing provides a decidable refinement inference mechanism that is convenient but subject to two major issues: ...
Development of a graphical interface for the Rietveld refinement program DBWS
(Wiley-Blackwell, 2014)