System F-bounded is a second order lambda calculus with subtyping. It extends system F≤ (see [Cardelli Wegner 85, Curien Ghelli 92, Ghelli 90, Cardelli et al. 91]) in that bounds of typed quantification may contain the bounded variable. In object-oriented terms, this feature allows one to write functions which accept parameters belonging to all the classes which inherit from one class. F-bounde...

We suggest modiications in the local computations of the ScaLAPACK subroutines for solving diagonally dominant and arbitrary narrow-banded linear systems. The modiications concern the way auxiliary variables are stored. The numerical properties of the algorithms are not aaected. However, as the way the memory is accessed is changed the performance of the solvers is signiicantly improved. We dis...

NotePals is an ink-based, collaborative note sharing application built on top of a property-based document management system. NotePals users write notes in their own handwriting on a personal digital assistant (PDA) or CrossPad. These notes are then synchronized with a central repository and can be accessed and shared via an online web application. The system supports both the traditional folde...

We investigate some combinatorial aspects of the “Pythagorean triple system”. Our motivation is the following question: Is it possible to color the naturals with finitely many colors so that no Pythagorean triple is monochromatic? This question is open even for two colors. A natural approach is to search for a nonbipartite triple system that can be realized as a family of Pythagorean triples. S...

in this paper a novel direct adaptive fuzzy system is proposed to control flexible-joints robot including actuator dynamics. the design includes two interior loops: the inner loop controls the motor position using proposed approach while the outer loop controls the joint angle of the robot using a pid control law. one novelty of this paper is the use of a pso algorithm for optimizing the contro...

1 A compilation of two sets of notes at the University of Kansas; one in the Spring of 2002 by ?? and the other in the Spring of 2007 by Branden Stone. These notes have been typed