منابع مشابه
3D modeling of induction hardening of gear wheels
Induction hardening of gear wheels is modeled. The model consists of two nonlinear partial differential equations describing the distributions of magnetic and temperature fields in the system. All material parameters are supposed to be functions of temperature. The model is then solved numerically in the 3D hard-coupled formulation using the professional code FLUX3D supplemented with a number o...
متن کاملHammering towards QED
ly, the translation module in Sledgehammer and HOLyHammer can be seen as a two-step process: (1) Eliminate the higher-order features of the formulas to produce a rst-order problem. (2) Encode the type information in the target logic. In practice, the two steps are intertwined, because this gives rise to opportunities for optimizations. Translation of Higher-Order Features. The higher-order feat...
متن کاملCyclins: wheels within wheels.
Cycimns were originally defined as proteins which are synthesized in each cell cycle and destroyed at every mitosis. Cyclins were discovered by T. Hunt and students at the Marine Biological Laboratory, Woods Hole, MA, duningthe 1982 Physiology Course (1). They labeled eggs ofthe sea urchin Arbacia punctulata with [35S]methionine after fertilization and analyzed the temporal pattern of protein s...
متن کاملHammering out the shape of a ribozyme.
One of the important scientific breakthroughs of the past decade was the discovery that certain RNA molecules have inherent catalytic capacities. These RNAs, or ribozymes, seemed likely to have defined three-dimensional conformations analogous to the structures required for the enzymatic activity of proteins. Since the only RNA structures known at atomic resolution were transfer RNAs and simple...
متن کاملHammering Does Not Fit Fitts' Law
While movement is essential to human wellbeing, we are still unable to reproduce the deftness and robustness of human movement in automatons or completely restore function to individuals with many types of motor impairment. To better understand how the human nervous system plans and controls movements, neuromechanists employ simple tasks such as upper extremity reaches and isometric force tasks...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: PAMM
سال: 2007
ISSN: 1617-7061,1617-7061
DOI: 10.1002/pamm.200700655