Some Results on Measure Independent Godel Speed-Ups

نویسنده

  • Martin K. Solomon
چکیده

Your use of the JSTOR archive indicates your acceptance of JSTOR's Terms and Conditions of Use, available at http://www.jstor.org/about/terms.html. JSTOR's Terms and Conditions of Use provides, in part, that unless you have obtained prior permission, you may not download an entire issue of a journal or multiple copies of articles, and you may use content in the JSTOR archive only for your personal, non-commercial use. Please contact the publisher regarding any further use of this work. Publisher contact information may be obtained at http://www.jstor.org/journals/asl.html. Each copy of any part of a JSTOR transmission must contain the same copyright notice that appears on the screen or printed page of such transmission.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Ambrosius Barth 1993 Measure Independent G 6 del Speed - Ups and the Relative Difficulty of Recognizing Sets

We provide and interpret a new measure independent characterization of the G6del speed-up phenomenon. In particular, we prove a theorem that demonstrates the indifference of the concept of a measure independent G6del speed-up to an apparent weakening of its definition that is obtained by requiring only those measures appearing in some fixed Blum complexity measure to participate in the speed-up...

متن کامل

Comparison of Endurance, Agility, and Strength in Elite Hockey and Soccer 9 Year-Old Players

Background. Regardless of the age, elite athletes exhibit various motor capabilities (e.g., speed; endurance; strength) that are specific to that particular sport. Objectives. The purpose of this study was to compare different aspects of physical fitness (agility, strength, endurance) in thirty, 9 year old elite soccer and hockey players. Methods. Participants completed a 90 minute familiariz...

متن کامل

On parallel local search for permutations

We investigate some ways in which massively parallel computing devices can be exploited in local search algorithms. We show that the substantial speed-ups that can be gained from parallel neighbourhood evaluation enables an efficient best improvement local search, and that this in turn enables further speed-ups through selection and parallel application of a set of independent, improving moves....

متن کامل

The GoDeL Planning System: A More Perfect Union of Domain-Independent and Hierarchical Planning

One drawback of Hierarchical Task Network (HTN) planning is the difficulty of providing complete domain knowledge, i.e., a complete and correct set of HTN methods for every task. To provide a principled way to overcome this difficulty, we define a simple formalism that extends classical planning to include problem decomposition using methods, and a planning algorithm based on this formalism. In...

متن کامل

Strength Training and Kinematics Parameters of Gait in Healthy Female Elderly

Objectives: This study was under taken to consider the effect of strength training on some kinematics parameters of gait (step length, cadence and speed walking). Methods & Materials: Twenty-four healthy elderly women (with average and standard deviation age of 61.53±2.84 years, height of 157.1±5.5 cm, weight of 69.13±7.6 kg and BMI 28.1±3.6 kg/m) participated in this study. The strength of ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • J. Symb. Log.

دوره 43  شماره 

صفحات  -

تاریخ انتشار 1978