Abstract: Methods and compositions are described herein that involve expansion of hematopoietic stem cells and/or hematopoietic progenitor cells.

Abstract: This invention discloses a computer implemented method for authoring and delivering content in a highly adaptive and easily configurable manner. Given a problem domain, an authoring system, called AuthorIT preferred embodiment, is used to: a) construct abstract syntax tree (AST) based SLT rules representing to be acquired knowledge structures (KR) at multiple levels of abstraction, wherein said SLT rules are sufficient for solving problems in said domain, b) assign instruction, questions and feedback to nodes in said KR, c) represent problem schemas in an observable Blackboard medium enabling communication between an automated tutor and learners and d) set Options defining how diagnostic and instructional decisions are to be made based on what individual learners do and do not know relative to the to be learned knowledge structures.

Abstract: This invention discloses a computer implemented method for authoring and delivering content in a highly adaptive and easily configurable manner. Given a problem domain, an authoring system, called AuthorIT preferred embodiment, is used to: a) construct abstract syntax tree (AST) based SLT rules representing to be acquired knowledge structures (KR) at multiple levels of abstraction, wherein said SLT rules are sufficient for solving problems in said domain, b) assign instruction, questions and feedback to nodes in said KR, c) represent problem schemas in an observable Blackboard medium enabling communication between an automated tutor and learners and d) set Options defining how diagnostic and instructional decisions are to be made based on what individual learners do and do not know relative to the to be learned knowledge structures.

Abstract: Instructional systems are assumed to include one or more learners, human and/or automated, content, means of presenting information to and receiving responses from learners, and an automated tutor capable of deciding what and when information is to be presented to the learner and how to react to feedback from the learner based on configurable options and the current status of the learner model. This invention discloses a method for authoring and delivering highly adaptive instructional systems based on abstract syntax tree representations of the problems to be solved by learners and, of the requisite knowledge structures to be acquired. Authoring includes: a) receiving and/or constructing abstract syntax tree representations of essentially any kind of to-be-acquired knowledge (KR), b) methods for representing problem schemas in an observable medium enabling communication between tutors and learners and c) configuring the learning and tutorial environment to achieve desired learning.

Abstract: Software development and maintenance involves assembling components, sometimes with explicit support during the design process but more frequently not. In neither case has it been possible to ensure internal consistency and correctness in a manner that scales well to large as well as small system. The invention disclosed herein is an intuitive, repeatable, formally verifiable and automated method for developing and maintaining software systems that is practical and easy to use. Specifically, this method provides human designers with automated support for specifying, designing, implementing and maintaining arbitrarily large, complex software systems that are both internally consistent and logically correct (i.e., consistent with external specifications).

Abstract: Disclosed herein is a method, which can be automated on an information processing device with memory, that dramatically reduces the effort required to create systems for reverse engineering source code in a plurality of structured languages into Abstract Syntax Trees (ASTs), which represent all of the information in said source code, and to automatically analyze, display and/or manipulate those ASTs. This method makes it possible to automatically construct systems for reverse engineering source code in any of a plurality of languages and for analyzing, manipulating and/or converting such code. This method also makes it possible to display and edit information as text in compressed ASTs in human understandable, pre-specified form.

Abstract: Design tools typically require representation of tree-like structures. These structures may be represented at various levels of refinement (or conversely, of abstraction). Existing methods of displaying different levels of a design involve either outlining methods which lack perceptual unity and/or obscure essential process considerations or the use of different windows (e.g., overlapping rectangular areas) which obscure essential relationships among the levels. FLOWforms.TM. (Scandura, 1987) have some of the requisite properties but it is not obvious how they map into various programming languages or how they might be constructed automatically in real time. Disclosed herein is a process for displaying arbitrary numbers of different levels of a design which apply equally to data and process and which automatically represent such relationship in proper visual context.