The terms heterogeneous system and hybrid system denote ensembles of interdependent continuous and discrete variables. Examples of heterogeneous systems include molecular networks in biology and hybridized Fermi-Pasta-Ulam systems. A uniform framework is provided for specifying the evolution of such general, heterogeneous systems.
The framework of the preceding article is used to study calculi on a particular, and pervasive, class of discrete structures: directed graphs.
Alternative characterizations of the BFFs at types >= 3 are provided, some (in-)equivalences among various higher-order complexity classes defined in the literature are determined, and the larger question of whether there is a single correct higher-type analog of Ptime is considered.
The class of Basic Feasible Functionals (BFFs) is an all-types analog of the familiar class Ptime of type-1 functions computable in time bounded by a polynomial in the lengths of inputs. Working from alternative characterizations of Ptime by Bellantoni-Cook and Leivant, an alternative, type-theoretic characterization of the type-2 BFFs is obtained.
The KNOW-IT system was developed at TextWise Labs under contract with DARPA. It accepts raw text (e.g., newspaper articles) and automatically creates from it a knowledge base of concepts and the semantic relationships that hold between them. The extracted information can then be browsed or searched (by meaning) interactively. Benefits of applying link analysis techniques to the kinds of information most easily extracted by KNOW-IT are discussed.
Toward a Model of Classical and Quantum Hybrid Computation, Dept. of Elec. Engineering and Computer Science Lecture, Syracuse University, April 29, 2005.
Early Computability Theory, Canadian Mathematical Society - Winter Meeting 2004, Montreal, December 12, 2004.
Heterogeneous Dynamical Systems, Computer Science Dept. Colloquium, U. of Massachusetts at Boston, April 30, 2003.
America's Unluckiest Logician, QUEST '05 Symposium, SUNY Oswego, April 20, 2005.
Calculus on Discrete and Hybrid Data Structures, QUEST '04 Symposium, SUNY Oswego, April 21, 2004.
Quantum Cryptography, QUEST '03 Symposium, SUNY Oswego, April 23, 2003.
Review of Models of Computation by Savage (Addison-Wesley, 1998), SIGACT NEWS (in preparation).
Review of Derivation and Computation by Simmons (Cambridge U. Press, 2000), SIGACT NEWS (submitted). ( postscript pdf )
Review of Coding Theory and Cryptography: The Essentials by Hankerson, et al (Dekker, 2000), SIGACT NEWS 34(4), December 2003. ( postscript pdf )
Review of Set Theory for Computing (Springer, 2001), SIGACT NEWS 34(3), September 2003. ( postscript pdf )
Review of The Mind and the Machine: Philosophical Aspects of Artificial Intelligence (Wiley, 1984), IEEE Software, May 1987.
Review of Effective Design of CODASYL Data Base (Macmillan, 1985), IEEE Software, September 1985.
KNOWledge Base Information Tool (KNOW-IT), 1998-1999.
Developed at TextWise Labs under contract with DARPA (see paper above). Developed the the core information extraction component for this system.
CHronological information Extraction SyStem (CHESS), 1997-1998
Developed at TextWise Labs under contract with DARPA. Precursor system to KNOW-IT (see above).
Front End Generator (FEG), 1987-1988
Developed by Applied Intelligence Systems under contract with John Hancock. FEG was an early object-oriented system enabling the rapid development of data entry systems, incorporating a built-in scripting language and expert system shell capabilities. Anticipated many of the features of later RAD systems such as Visual Basic, etc. Sole developer of the central interpreter and co-developer of the object/script compiler and most other components.
Expert Life Underwriting System (ELUS), 1986-1987
Developed by Applied Intelligence Systems under contract with John Hancock, ELUS is believed to be the second production expert system for underwriting life insurance applications in the U.S. Co-authored the proprietary expert system shell, Decision Master, that drove this application, which underwrote 40% of cases without human intervention in its first year of operation.
Decision Master, 1985-1986
Co-authored this expert system shell (with Joe Rubenfeld) at Applied Intelligence Systems. Decision Master incorporated several rule induction techniques as well as providing for direct user specification of rules, offered a rich collection of built-in functions, and allowed execution in either interactive or batch mode (for high-volume applications).