Evolutionary programming is the most powerful method for inducing recursive functional programs from input/output examples while taking into account efficiency and complexity constraints for the target program. However, synthesis time can be considerably high. A strategy which is complementary to the generate-and -test based approaches of evolutionary programming is inductive analytical program...

Program dDeconvolve was developed to provide deconvolution analysis of FMRI time series data This has two primary applications estimation of the system impulse response function and multiple linear regression analysis of time series data Given the input stimulus function s and the measured FMRI signal data program dDeconvolve rst estimates the impulse response function s the impulse response fu...

Penelitian ini bertujuan untuk menyempurnakan aplikasi jasa angkutan pada PT A dengan menggunakan Microsoft Visual Basic 6.0 dan Access 2010. metode seperti wawancara, observasi studi pustaka. membahas mengenai rancangan sistem yang terdiri atas Entity Relationship Diagram (ERD), normalisasi, struktur HIPO, flowchart program, tampilan program. Serta implementasi hubungan antar tabel, database, ...

Incremental computation takes advantage of repeated computations on inputs that di er slightly from one another, computing each output e ciently by exploiting the previous output. This paper gives an overview of a general and systematic approach to incrementalization. Given a program f and an operation , the approach yields an incremental program that computes f(x y) e ciently by using the resu...

This lecture concerns partial evaluation. Comparisons are made between partial evaluation and compiling. Two principles are given that help determine when to use partial evaluation. We show how a partial evaluator can be used to translate a program from one language L2 into another language L1 even if the partial evaluator’s capabilities are limited so that its input is an L1 program and its ou...

PURPOSE This study was designed to test the relative efficacy of different combinations of intervention approaches when targeting speech production accuracy and phonological awareness skills. All children received individual speech therapy, a home program, and a small-group phonological awareness intervention. METHOD Sixty-five 4-year-olds with a developmental phonological disorder received t...

In this paper, a system for program animation is presented. Alma system receives as input a computer program and produces a sequence of visualizations that will describe its functionality. The system generates automatically program animations basing this process on the internal representation of those programs. We do not rely upon any source program annotations (visual/animation statements, or ...

This paper describes a machine translation (MT) evaluation (MTE) research program which has benefited from the availability of two collections of source language texts and the results of processing these texts with several commercial MT engines (DARPA 1994, Doyon, Taylor, & White 1999). The methodology entails the systematic development of a predic tive relationship between discrete, well-defin...

Output-based refunding of environmental policy revenues combines a tax on emissions with a subsidy to output. With imperfect competition, subsidies can discourage output underprovision. However, when market shares are significant, endogenous refunding suffers compared to a fixed subsidy. Refunding the emissions tax according to market share reduces the incentive to abate, and marginal abatement...

A fixed bed reactor design program is developed by the use of Java JDK1.7 algorithm language with Eclipse program as the platform. The program selects five common fix bed reactor process flows to calculate the main structure parameters of the reactor. With the good interface, the program can output the corresponding results after inputting the kinetics and thermodynamics parameters of the react...