Results 71 to 80 of about 10,999,716 (208)
Eggspection, organic egg verification tool [PDF]
, 2011 The institute for Food safety (RIKILT), part of Wageningen Univeristy and Research centre (Wageningen UR) has developed a method to verify the organic nature of eggs.
van Ruth, Saskia
core
Research on cutting mechanism and process optimization method of gear skiving
Scientific ReportsThe cutting force and cutting temperature have a significant impact on the service life and durability of gear skiving cutters. Due to unreasonable design, the existing process parameters lead to dramatically nonuniform cutting force and cutting ...
Peng Wang +5 more
doaj +1 more source
Program audit, A management tool [PDF]
, 1971 Program gives in-depth view of organizational performance at all levels of the management structure, and provides means by which managers can effectively and efficiently evaluate adequacy of management direction, policies, and ...
Miller, T. J.
core +1 more source
, 2014 This paper describes the implementation and techniques of the Nagoya Termination Tool, a termination prover for term rewrite systems. The main features of the tool are: the first implementation of the weighted path order which subsumes most of the ...
Kusakari, Keiichirou +2 more
core +1 more source
A Method for Inspiring Radical Innovative Design Based on Cross-Domain Knowledge Mining
SystemsThe reasonable application of cross-domain knowledge tends to promote the generation of radical innovation. However, it is difficult to accurately capture the cross-domain knowledge needed for radical innovation.
Fei Yu +3 more
doaj +1 more source
Case Studies in Thermal EngineeringThis paper presents an evaluation of the thermal performance of a circular tube with louvered V-winglet inserts (LVWs) under turbulent flow conditions.
Anuwat Saenpong +3 more
doaj +1 more source
Advances in Mechanical Engineering, 2016 A new spindle’s axial thermal growth model based on temperature variation is proposed considering the limitations of spindle’s axial thermal growth model based on rotating speed.
Kuo Liu +4 more
doaj +1 more source
Neighbourhood Abstraction in GROOVE - Tool Paper [PDF]
, 2010 In this paper we discuss the implementation of neighbourhood graph abstraction in the GROOVE tool set. Important classes of graph grammars may have unbounded state spaces and therefore cannot be verified with traditional model checking techniques.
Rensink, Arend, Zambon, Eduardo
core +1 more source
Tribology Online, 2006 Micro-Traction-Drive is made by modified angular contact ball bearings. It is developed for the purpose of transmitting high torque with small drive size.
Isamu Shiotsu +3 more
doaj +1 more source