While the MG is born as the mathematical formulation of “El Farol Bar” problem considered by Arthur (1994), it goes way beyond this one, since it generalizes the study of how many individuals may reach a collective solution to a problem under adaptation of each one’s expectations about the future. In Arthur (1994) the “El Farol Bar” problem was posed as an example of inductive reasoning in scen...

In this paper we describe Calvin, an intelligent agent that learns user interests by monitoring user activities while he/she searches and browses the Web. The user pro le is created and maintained from a contentbased and event-based analysis of the visited pages using Inductive Logic Programming. The user submits queries which are expanded considering the information represented in her/his pro ...

This paper presents a new neuro-fuzzy controller for robot manipulators. First, an inductive learning technique is applied to generate the required modelling rules from input/output measurements recorded in the off-line structure learning phase. Second, a fully differentiable fuzzy neural network is developed to construct the inverse dynamics part of the controller for the on-line parameter lea...

Presented is a highly automatic approach for proving bounded liveness of pipelined processors with multicycle functional units, without the need for the user to set up an inductive argument. Multicycle functional units are abstracted with a placeholder that is suitable for proving both safety and liveness. Abstracting the branch targets and directions with arbitrary terms and formulas, respecti...

abstract the study aimed at investigating the efficacy of written corrective feedback (cf) in improving iranian efl learners’ grammatical accuracy. it compared the effects of focused and unfocused written cf on the learners’ grammatical accuracy. 75 efl students formed a one control and two experimental groups. the focused feedback group was provided with error correction in tenses. the unfocus...

Increasing the productivity of simulation-based semiconductor design verification is one of the urgent challenges identified in the International Technology Roadmap for Semiconductors. The most difficult aspect is the generation of stimulus for functional coverage closure. This paper introduces a new CoverageDirected test Generation (CDG) feedback loop which applies Inductive Logic Programming ...

in this paper, the design and implementation of adaptive speed controller for a sensorless synchronous reluctance motor (synrm) drive system is proposed. a combination of well-known adaptive input-output feedback linearization (aiofl) and adaptive backstepping (abs) techniques are used for speed tracking control of synrm. the aiofl controller is capable of estimating motor two-axis inductances ...

Process variation is an obstacle in designing reliable CMOS mixed signal systems with high yield. To minimize the variation in voltage gain due to variations in process, supply voltage, and temperature for common trans conductance-based amplifiers, we present a new compensation method based on statistical feedback of process information. We further apply our scheme to two well known amplifier t...

A 2.4 GHz CMOS RF front-end using for ZigBee application is described. The front-end consists of a low noise amplifier and a down-mixer and uses a 2 MHz IF frequency. A common source with resistive feedback and an inductive degeneration are adopted for a low noise amplifier, and a 20 dB gain control step is digitally controlled. A passive mixer for low current consumption is employed. The RF fr...

A limiting amplifier incorporates active feedback, inductive peaking, and negative Miller capacitance to achieve a voltage gain of 50 dB, a bandwidth of 9.4 GHz, and a sensitivity of 4.6 mVpp for a bit-error rate of 10 12 while consuming 150 mW. A driver employs T-coil peaking and negative impedance conversion to achieve operation at 10 Gb/s while delivering a current of 100 mA to 25lasers or a...