1, Ravi Shastri , 2, Anjani Kumar Singh , 3, Manish Kumar Singh 1, Asst. Prof. Cambridge Institute of Technology, Tatisilway, Ranchi, Jharkhand, India 2, Ph.D. Scholar, Materials and metallurgical Engineering National Institute of Foundry and Forge Technology, Hatia, Ranchi, Jharkhand, India 3, M.Tech, Materials Science and Engineering, National Institute of Foundry and Forge Technology, Hatia,...

Hoare triples (precondition, program, postcondition) have been incorporated in the veriication system PVS. Two approaches are presented: the conventional one, with a clear distinction between syntax and semantics, and another where programs are identiied with their semantics. In the last approach speciications are embedded in the semantic framework, leading to a formalism where speciications an...

Most models of computer programming explain the programmer’s behoviour by a single design strategy. This article presents o cognitive architecture that uses cue-based search to model multiple design strategies including procedural, functional, means-end or focal, and opportunistic design. The model has been implemented in an artificial intelligence (Al) system that generates Postal progroms fro...

Field of study Held at Politecnico di Milano university, the Doctorate in Design Research is created and managed by Design Department, in cooperation with the Department of Mechanics and the Department of Chemistry, Materials and Chemical Engineering. Politecnico di Milano research doctorate courses aim to build the skills needed to perform highly qualified research jobs in manufacturing and se...

The contents of polycyclic aromatic hydrocarbons (PAH) in Frankfurtertype sausages were investigated in depency on hot smoking conditions (glow smoke), type of casing, back fat content and different types of wood chips. For the smoking experiments three different types of smoke densities and ventilator velocities, three types of casings, four different back fat contents (10%, 20%, 30%, and 39%)...

RWTH participated in the System Combination task of the Fifth Workshop on Statistical Machine Translation (WMT 2010). For 7 of the 8 language pairs, we combine 5 to 13 systems into a single consensus translation, using additional n-best reranking techniques in two of these language pairs. Depending on the language pair, improvements versus the best single system are in the range of +0.5 and +1....

The emphasis placed on bonding with the introduction of Acoustic Cement Bond Logs has led to a study of many of the variables influencing this property, as well as methods for improving bond at the casing-cement interface. Special cementing problems concerning gas storage wells and tubingless completion wells have also indicated the need for better pipe-cement bonding. This presentation stresse...