How to Invent Functions

نویسنده

  • Roland Olsson
چکیده

The paper presents the abstraction transformation which is a fundamental method for creating functions in ADATE. The use of abstraction turns out to be similar to evolution by gene duplication which is emerging as the most important theory of \building blocks" in natural genomes. We discuss the relationship between abstraction and its natural counterparts, but also give novel technical details on automatic invention of functions. Basically, abstraction is the reverse of the inlining transformation performed by optimizing compilers.

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

ثبت نام

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

منابع مشابه

Selecting ventilator settings using INVENT, a system including physiological models and penalty functions

This paper describes INVENT, a system for selecting ventilator setting based on physiological models and penalty functions. The models and penalty functions included in INVENT are first described followed by an example of the use of the system in selecting ventilator settings for a patient residing in the intensive care unit. For this patient, the advice given by the system is shown to be reaso...

متن کامل

Strategies to invent cardiovascular drugs targeting cardiac gap junctions

In order to prevent and treat cardiac diseases, the author proposed strategies to invent cardiovascular drugs targeting cardiac gap junctions through summarizing the functions, physiology and pathophysiology of cardiac gap junctions. The 5 principle strategies to invent cardiovascular drugs that are suggested have great potentialities to be used as novel proposals to treat and prevent cardiac d...

متن کامل

A Generalization of Conjectures of Bogomolov and Lang

[1] G. Faltings, Diophantine approximation on abelian varieties, Ann. of Math., 133 (1991), 549-576. [2] M. Hindry, Autour d'une conjecture de Serge Lang, Invent. math., 94 (1988), 575-603. [3] B. Poonen, Mordell-Lang plus Bogomolov, Invent. math., 137 (1999), 413-425. [4] M. McQuillan, Divison points on semi-abelian varieties, Invent. math., 120 (1995), 143-159. [5] A. Moriwaki, Arithmetic hei...

متن کامل

How students invent representations of motion A genetic account

The purpose of this paper is to illustrate, through example, a particular approach to understanding how students learn to use scientific and mathematical representations. Much of the work in these fields has been focused on a microanalysis of how students use specific representations, such as line graphs and equations, and on the particular difficulties that students have with these representat...

متن کامل

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


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

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

ثبت نام

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

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1999