Abbey, A. & Andrews, F. M. Modeling the psychological determinants of life quality. Social Indicators Research , 16, 1, 1985. Sporring, J. and Weickert, J. (1999). Information measures in scale-space. IEEE PAMI, 45: 1051–1058. Eichengreen Barry and Ruhl (2000) “The Bail-In Problem: Systematic Goals, Ad Hoc Means,” NBER Working Paper No. W7653, April. Benartzi, S., and R.H. Thaler. 2002. How Much Is Investor Autonomy Worth? Journal of Finance 4: 1593–1616. Kamber, M. and R. Shinghal, R. (1996). Evaluating the Interestingness of Characteristic rules. Proceedings of the Second International Conference on Data Mining and Knowledge Discovery, AAAI Press, pp 263-266. Frank, O., and D. Strauss. (1986). Markov graphs. Journal of the American Statistical Association, 81, 832 - 842. W. Warwick, S. McIlwaine, R. Hutton, and P. McDermott. Developing computational models of recognition-primed decision making. In Proc. of the tenth conference on Computer Generated Forces, 2001. Rabiner,L.R., A Tutorial on Hidden Markov Models and Selected Applications in Speech Recognition, Proc. of the IEEE 77, No. 2, pp257-286, 1989. D. Benech, T. Desprats. A KQML-CORBA based Architecture for Intelligent Agents Communication in Cooperative Service and Network Management. In Proceedings of IFIP/IEEE International Conference on Management of Multimedia Networks and Services ’97 July 8-10, 1997. M. Seltzer, G. Ganger, M. K. McKusick, K. Smith, C. Soules, and C. Stein, “Journaling versus Soft Updates: Asynchronous Meta-data Protection in File Systems,” in USENIX Annual Technical Conference, June 2000, pp. 18–23. [Online]. Available: http://citeseer.nj.nec.com/seltzer00journaling.html I. Horrocks. Using an expressive description logic: FaCT or fiction? In A. G. Cohn, L. Schubert, and S. C. Shapiro, editors, KR'98: Principles of Knowledge Representation and Reasoning, pages 636-645. Morgan Kaufmann, San Francisco, California, 1998. Kaus M.R., Warfield S.K., Jolesz F.A., Kikinis R.: Segmentation of Meningiomas and Low Grade Gliomas in MRI.: Proc Int Conf Med Im Comp Comp-Ass Interv (1999) 1-10. L. Guibas, D. Salesin, and J. Stolfi. Epsilon geometry: Building robust algorithms from imprecise computations. In Proc. of the 5th ACM Symp. on Computational Geometry, pages 208--217, 1989. Batygin, V. V.; Toptygin, I. N. Problems in Electrodynamics; Academic Press: London, 1964. Guckenheimer J., Holmes P., 1985, Nonlinear Oscillations, Dynamical Systems, and Bifurcations of Vector Fields., Springer-Verlag, New York. S. Even and R. E. Tarjan. Network flow and testing graph connectivity. SIAM J. on Computing, 4: 507--518, 1975. Price, D. J. de Solla (1970), “Citation Measures of Hard Science, Soft Science, Technology, and Nonscience”, in Nelson, C. E. & Pollock, D. K. (Eds.), Communication among Scientists and Engineers. Heath, Lexington, MA, pp. 3-22. P. Homburg, M. van Steen, and A.S. Tanenbaum. “An Architecture for A Scalable Wide Area Distributed System.” In Proc. Seventh SIGOPS European Workshop, Connemara, Ireland, Sept. 1996. ACM. To appear. Gunter Ahrendt. List of the world’s most powerful computing sites. May 8, 1994. Weekly posting on newsgroupcomp.sys.super. Lucassen, J. M. Types and Effects, towards the integration of functional and imperative programming. MIT/LCS/TR-408 (Ph. D. Thesis). MIT Laboratory for Computer Science, August 1987. Banerjee, J., Kim, W., Kim, S.J., and Garza, J.F., 1988. "Clustering a DAG for CAD Databases," IEEE Trans. on Software Engineering, Vol. 14, No. 11. C. Helmberg, B. Mohar, S. Poljak, and F. Rendl, A spectral approach to bandwidth and separator problems in graphs, manuscript, Institut fur Mathematik, Graz, Austria, 1993. J.J. Buckley and Y. Qu, Solving linear and quadratic fuzzy equations, Fuzzy Sets and Systems, (1990) 43-59. Irma Becerra-Fernandez and David W. Aha. Case-based problem solving for knowledge management systems. In Proceedings of FLAIRS-99. AAAI Press, 1999. To Appear. L. Kontothanassis, R. Sitaraman, J. Wein, D. Hong, R. Kleinberg, B. Mancuso, D. Shaw, and D. Stodolsky , “A transport layer for live streaming in a content delivery network,” Proc. IEEE, vol. 92, no. 9, pp. 1408–1419, Sep. 2004. H. S. Malvar, "Lapped biorthogonal transforms for transform coding with reduced blocking and ringing artifacts," Proc. Int. Conf. Acoustics, Speech, and Signal Processing, Munich, Germany, pp. 2421--2424, April 1997. M.J. Cresswell. Logics and Languages. Methuen and Co., London, 1973. Kaas, R.; Dhaene, J.; Goovaerts; M.J. (2000). “Upper and lower bounds for sums of random variables”, Insurance: Mathematics & Economics, 23, 151–168. Friedman, J. H. and Silverman, B. W. Flexible parsimonious smoothing and additive modeling (with discussion). TECHNOMETRICS. 1989. Fenton, N. E. and Neil, M. SCULLY: Scaling up Bayesian Nets for Software Risk Assessment, Queen Mary University of London, www.dcs.qmul.ac.uk/research/radar/Projects, 2001. Rudolf Lidl and Harald Niederreiter. Introduction to Finite Fields and their applications. Cambridge University Press, revised edition, 1994. Bellare, M., and Rogaway, P. Random oracles are practical: A paradigm for designing efficient protocols. In Proceedings of the 1st ACM Conference on Computer and Communications Security (1993), pp. 62–73. Torben Amtoft and Flemming Nielson and Hanne Riis Nielson and Jurgen Ammann: Polymorphic subtypes for effect analysis: the dynamic semantics. In Analysis and Verification of Multiple-Agent Languages, pages 172--206, SLNCS 1192, 1997. B. Clifford Neuman and Theodore Ts'o. Kerberos: an authentication service for computer networks. IEEE Communications, 32(9): 33-38, September 1994. L. D. Catledge, J. E. Pitkow, “Characterizing browsing strategies in the world-wide web.” Computer Networks and ISDN Systems, 6, 10–65, 1995. P. Sarkar, “An Iterative Algorithm for Optimal Style-Conscious Field Classification,” Proc. 16th Int’l Conf. Pattern Recognition, vol. IV, pp. 243-246, Aug. 2002. Fontana, W., and Schuster, P. 1998b. Shaping space: The possible and the attainable in rna genotypephenotype mapping. Journal of Theoretical Biology 194: 491-515. E.G. Ström, S. Parkvall, S.L. Miller, B.E. Ottersten. Propagation delay estimation of DS-CDMA signals in a fading Environment. Proc. GLOBECOM’ 1994, pages 85-89. Sren Se and Kevin Karplus. Ordering heuristics for ordered binary decision diagrams and canonical if-then-else dags. In International Workshop on Logic Synthesis, Lake Tahoe, CA, May 1993. H. L. Bodlaender, R. G. Downey, M. R. Fellows, and H. T. Wareham. The parameterized complexity of sequence alignment and consensus (extended abstract). In Proc. of the Fourth Conference on Combinatorial Pattern Matching (CPM'94), 1994. E.J. Wegman. Hyperdimensional Data Analysis Using Parallel Coordinates. Journal of the American Statistical Association, 85, 411, Theory and Methods, pp. 664675, 1990. K. Lai and M. Baker, “A Performance Comparison of UNIX Operating Systems on the Pentium,” in Proceedings of the 1996 USENIX Technical Conference, USENIX, January 1996. Pylyshyn, Z. W. (1984). Computation and Cognition: Toward a Foundation for Cognitive Science. Cambridge, MA: MIT Press. Michel Loeve. Probability Theory I. New York, 1977. 4th ed. Mario Lauria and Andrew Chen. MPI-FM: High Performance MPI on Workstation Clusters. Journal of Parallel and Distributed Computing, 40(1): 4--18, January 1997. http://wwwcsag. cs.uiuc.edu/projects/comm/mpifm.html. Balc'azar, J. L., D'iaz, J., Gabarr'o, J. Structural Complexity I. Springer-Verlag, Berlin, 1988. Allen, W. (1988). Examining psychic phenomena. In The Ultimate Humour Book. London: Chancellor Press. Jordan, J. (1987). The informational requirements of local stability in decentralized allocation mechanisms. In T. Groves, R. Radner, and S. Reiter (Eds.), Information, Incentives, and Economic Mechanisms. Minneapolis: University of Minnesota Press. Thiersch, C. 1978 Topics in German Syntax. PhD dissertation, MIT Department of Linguistics and Philosophy, Cambridge, Massachusetts. Knuth, D., The Art of Computer Programming, AddisonWesley, 1981. G. Pei and C. Chien. Low Power TDMA in Large Wireless Sensor Networks. Military Communications Conference, 1: 347–351, 2001. Bairoch,A. and Apweiler,R. (1998) The SWISS-PROT protein sequence data bank and its supplement TrEMBL in 1999. Nucleic Acids Res., 27, 49--54. Inakage, Masa. "Caustics and Specular Reflection Models for Spherical Objects and Lenses." The Visual Computer, Vol. 2, 1986, p. 379-383. H. J. Landau and H. O. Pollak, “Prolate spheroidal wave functions, Fourier analysis, and uncertainty—III: The dimension of the space of essentially time- and band-limited signals,” Bell Syst. Tech. J., vol. 41, no. 4, pp. 1295–1336, Jul. 1962. S. Antoy. Needed Narrowing in Prolog. Technical Report 96-2, Portland State University, 1996. H. Uzawa, Walras’ existence theorem and Brouwer’s fixed point theorem, Econom. Studies Quart. 12 59-62 (1962). Dimitrios Georgakopoulos, Marek Rusinkiewicz, and Amit Sheth. On Serializability of Multidatabase Transactions Through Forced Local Conflicts. In Proceedings of the Seventh International Conference on Data Engineering, pages 314--323, Kobe, Japan, April 1991. Sotis DE, Haufler HC, Darrow DC and Gastony GJ (1983) Starch gel electrophoresis of ferns: A compilation of grinding buffers, gel and electrode buffers and staining schedules. Amer Fern J, 73 9-27. McLeod, A. I. and Hipel, K. W. (1978) Preservation of the rescaled adjusted range 1: A reassessment of the Hurst phenomenon. Water Resource Research 14, 491-508. H. Barringer, M. Fisher, G. Gough. Fair SMG and linear time model checking. In Proc. Workshop on Automatic Verification Methods for Finite State Systems, Grenoble, Frankreich, 1989. J. Ousterhout, Da Costa, H. Harrison, J Kunze, M. Kupfer, and J. Thompson. A Trace-Driven Analysis of the Unix 4.2 BSD File System. In Proceedings of the 10th Symposium on Operating Systems Principles, pages 15--24, December 1985. R. Bajcsy and C. Tsikos. Perception via manipulation. In Proc. of the Int. Symp. & Exposition on Robots, pages 237--244, Sydney, Australia, November 6-10 1988. Vincent RA, Mitchell AI & Robertson DI (1980) User guide to TRANSYT version 8. Transport and Road Research Laboratory Report: LR 888. Crowthorne: TRL. Newkome, G. R.; Moorefield, C. N.; Vögtle, F. Dendritic Molecules, Concepts, Syntheses, Perspectives; VCH: Weinheim, 1996. T. Klemenschits, & E. Bonek, "Radio Coverage of Road Tunnels at 900 and 1800 MHz by Discrete Antennas," The 5th Annual IEEE International Symposium on Personal, Indoor and Mobile Radio Communications, pp. 411-415, September, 1994. Steven B. Wampler, "The Control Mechanisms for Generators in Icon", University of Arizona Department of Computer Science TR 81-18, December 1981. Bonchev, D., & Rouvray, D. H. (Eds.). (1990). Chemical Graph Theory: Introduction and Fundamentals, vol. 1 of Mathematical Chemistry Series. London, UK: Gordon and Breach Science Publishers. David Mosberger and Larry L. Peterson. Making paths explicit in the Scout operating system. In Symposium on Operating Systems Design and Implementation, volume 30, pages 153–167. ACM, 1996. S. Seneff and J. Polifroni. A new restaurant guide conversational system: Issues in rapid prototyping for specialized domains. In Proc. ICSLP, pages 665--668, 1996. A. B. Benitez, H. Rising, C. Jrgensen, R. Leonardi, A. Bugatti, K. Hasida, R. Mehrotra, A. Murat Tekalp, A. Ekin, T. Walker, “ Semantics of Multimedia in MPEG7”, Proceedings of IEEE 2002 Conference on Image Processing (ICIP-2002), Rochester, New York, USA, Sep 22-25, 2002 . C. Röder, “Load Management Techniques in Distributed Heterogeneous Systems,” Ph.D. dissertation, Technische Universität München, 1998. M. M. Sondhi and J. Schroeter. "A hybrid time-frequency domain articulatory speech synthesizer". IEEE Transactions on Acoustics, Speech and Signal Processing, 35(7): 955--967, July 1987. W. Lehner, J. Albretch, and H. Wedkind. Normal forms for multidimensional databases. In Technical Report, University of Erlangen-Nuremberg, Germany, 1998. Garey, M.R., Johnson, D.S.: Computers and intractability: a guide to the theory of NP-completeness. W.H. Freeman (1979) P.W. Hammer, N. Platt, S.M. Hammel, J.F. Heagy and B.D. Lee. Experimental observation of on-off intermittency. Phys. Rev. Lett. 73: 1095--1098, 1994. Dewitte-Orr SJ, Zorzitto JR, Sutton LP, Bols NC. (2005) Preferential induction of apoptosis in the rainbow trout macrophage cell line, RTS11, by actinomycin D, cycloheximide and double stranded RNA. Fish Shellfish Immunol. 18(4): 279-95. Cichocki, A., Zhang, L., Amari, S.-I. Semi-blind and state-space approaches to nonlinear dynamic independent component analysis, In: Proc. of Int. Symposium on Nonlinear Theory and its Application, Crans-Montana, Switzerland, 1998, pp.291-294. A. Borel, Linear algebraic groups, Springer, 1991. D. Dussart, J. Hughes, and P. Thiemann. Type specialisation for imperative languages. In Proceedings of ICFP'97, pages 204--216. ACM Press, 1997. Lashon Booker. Improving Search in Genetic Algorithms. In Lawrence Davis, editor, Genetic Algorithms and Simulated Annealing. Pitman (London), 1987. Evans, F., Skiena, S., and Varshney, A. Optimizing triangle strips for fast rendering. In Visualization ’96 Proceedings (1996), IEEE, pp. 319–326. M. Rhodes, “Computer graphics and medicine: a complex partnership”, IEEE Computer Graphics and Applications, 17(1), pp. 22– 28, 1997. Baumberg A. M. & Hogg D. C. [1994]. An efficient method for contour tracking using active shape models. University of Leeds School of Computer Studies Research Report Series, Report 94.11. Gelman, A., and Rubin, D. B. (1992b). Inference from iterative simulation using multiple sequences (with discussion). Statistical Science 7, 457--511. John G. Cleary, W. J. Teahan, and Ian H. Witten, Unbounded length contexts for PPM, Proceedings of the IEEE Data Compression Conference, March 1995, pp. 52--61. Isacson G., Nilsson J.-E. "An Experimental Comparison of First- and Second- Price Auctions - The Case of Track Capacity Allocation". In Fifth International Conference on Competition and Ownership in Land Passenger Transport, Leeds, England, maj 1997. Susan Montgomery. Hopf Algebras and Their Actions on Rings, volume 82 of CBMS Regional Conference Series in Mathematics. American Mathematical Society, 1993. Gil-Alana, L.A. and Robinson, P.M. (1997), Testing of unit root and other nonstationary hypotheses in macroeconomic time series, Journal of Econometrics, 80, 241-268. A. Heinemann, T. Straub: An Anonymous Bonus Point System For Mobile Commerce Based On Word-Of-Mouth Recommendation. In: Proc. 19 th ACM Symp. Applied Computing, Nicosia, Cyprus. pp. 766-773, ACM Press, NY, 2004. Koubias, S. A. and Papadopoulos, G. D., 1995, "Modern Fieldbus Communication Architectures for Real-Time Industrial Applications," Computers in Industry, Vol. 26, No. 3, pp. 243-252. H. Balakrishnan, H.S. Rahul, S. Seshan. An Integrated Congestion Management Architecture for Internet Hosts. ACM SIGCOMM’99, 1999. Short, J., Williams, E., & Christie, B. (1976). The social psychology of telecommunications. London: Wiley. M.L. Wu and T.Y. Wang, "Access control with single-key-lock with single-key-lock", IEEE trans. Software Eng. Vol SE-10, No 2, pp 185-191, March 1984. Hestenes, D. (1998). Modulatory mechanisms in mental disorders. In D. J. Stein & J. Ludik, Neural networks and psychopathology (pp. 132–164). New York: Cambridge University Press. HEMPEL, CG; OPPENHEIM, P. Studies in the Logic of Explanation. Philosophy of Science, 1948, 15, 135-175. Gail MH, Brinton LA, Byar DP, Corle DK, Green SB, Schairer C, Mulvihill JJ: Projecting individualized probabilities of developing breast cancer for white females who are being examined annually. J Natl Cancer Inst 1989, 81: 1879-1886. Heinen, J. (1996) “Internet marketing practices”, Information Management & Computer Security, Vol. 4, No. 5, pp. 7-14. V. S. Pai et al. The Impact of Instruction Level Parallelism on Multiprocessor Performance and Simulation Methodology. In HPCA-3, pages 72–83, 1997. W. Yu, J. Wu, D.K. Panda. Scalable Startup of Parallel Programs over Infiniband. Technical Report OSU-CISRC-5/04-TR33, Dept. of Computer and Information Science, The Ohio State University, Columbus, OH 43210, 2004. J. Massey and D. Costello. Nonsystematic Convolutional Codes for Sequential Decoding in Space Applications. IEEE Transactions on Communications, p. 806--813, October 1971. V. Sver'ak, Regularity properties of deformations with finite energy, Arch. Rat. Mech. Anal. 100 (1988), 105--127. David Noble “Assessing the Reliability of Open Source Information” Proceedings of the 7th International Conference on Information Fusion. Stockholm, Sweden, 2004. A. Mahanti, D. Eager, M. Vernon, and D. Sundaram-Stukel. Scalable on-demand media streaming with packet loss recovery. In Proceedings of SIGCOMM, August 2001. Graham, John R., 1996a, Debt and the marginal tax rate, Journal of Financial Economics 41, 41-73. F. Korn, N. Sidropoulos, C. Faloutsos, E. Siegel, and Z. Protopapas, "Fast Nearest Neighbor SSM SII SDR Search in Medical Image Databases". Proc. VLDB Conf., pp215-226, September 1996. Gelernter, H., 1959, Realization of a geometry theorem-proving machine, in: Proceedings of the International Conference on Information Processing, UNESCO. S. Eidenbenz; Inapproximability Results for Guarding Polygons without Holes; Lecture Notes in Computer Science, Vol. 1533 (ISAAC'98), p. 427-436, 1998. Holland, J., Emergence: from Chaos to Order, Boston, MA: Addison-Wesley Longman Publishing Co., Inc., 1998. Lavrač, N., & Dˇzeroski, S. (1994). Inductive logic programming: Techniques and applications. Chichester, UK: Ellis Horwood. Link, Bruce G., Mary Clare Lennon, and Bruce P. Dohrenwend. 1993. "Socioeconomic Status and Depression: The Role of Occupational Direction, Control, and Planning." American Journal of Sociology 98: 1351-1387. Gary Froyland, Kevin Judd, and Alistair I. Mees. Estimation of Lyapunov exponents of dynamical systems using a spatial average. Physical Review E, 51(4): 2844--2855, 1995. A. Basu, C.-H. L. Ong, A. Rasala, F. B. Shepherd, and G. Wilfong, “Route oscillations in IBGP with route reflection,” in Proc. ACM SIGCOMM, August 2002 . Rod Burstall and Butler Lampson. A kernel language for abstract data types and modules. In Giles Kahn, David MacQueen, and Gordon Plotkin, editors, Proceedings, International Symposium on the Semantics of Data Types, volume 173 of Lecture Notes in Computer Science, pages 1--50. Springer, 1984. A. Belussi and C. Faloutsos. Estimating the Selectivity of Spatial Queries Using the `Correlation' Fractal Dimension. In Proceedings of the International Conference on Very Large Data Bases, pages 299--310, September 1995. Tamura, R.N., Faries, D.E., Andersen, J.S., Heiligenstein, J.H., 1994. A case study of an adaptive clinical trial in the treatment of out-patients with depressive disorder. J. Amer. Statist. Assoc. 89, 768–776. R. Valette, M. Courvoisier, J.M. Bigou, and J. Albukerque. A Petri Net Based Programmable Logic Controller. In IFIP First International Conference on Computer Applications in Production and Enginnering, April 1983. J. Carter and M. Wegman, "Universal classes of hash functions," J. of Computer and System Sciences, vol. 18, no. 2, pp. 143-154, 1979. R.M. Karp. "Reducibility Among Combinatorial Problems". Complexity of Computer Computations, New Rouk: Plenum, 1972 . C. de Boor, On the evaluation of box splines, Numer. Algorithms 8 (1993) 5--23 Castelfranchi, C. and Tan, Y. H. (eds). Trust and Deception in Virtual Societies. Kluwer Academic Publishers, 2000 B. P. Leonard. The ULTIMATE conservative dierence scheme applied to unsteady onedimensional advection. Comput. Methods Appl. Mech. Engrg., 88: 17-74, 1991. E. Y. Chang, Z. Manna, and A. Pnueli. Characterization of temporal property classes. In Proc. Automata, Languages and Programming, volume 623 of LNCS, pages 474#486. Springer, 1992. G.P. Bingham. Dynamics and the problem of visual event recognition. In R. Port and T. van Gelder, editors, Mind as Motion: Explorations in the Dynamics of Cognition, chapter 14, pages 403--448. MIT Press/Bradford Books, 1995. D. V. James, A. T. Laundrie, S. Gjessing, and G. S. Sohi. Scalable Coherent Interface. IEEE Computer, 23(6) : 74--77, 1990. Kimple, J.F. and Richards, L.G., 1991, “A Feature-Based Group Technology Coding System for Sheet Metal Parts,” Journal of Engineering Design 2(3), pp. 263-279. Sammonds, P.R., P.G. Meridith, and I.G. Main, Role of pore fluids in the generation of seismic precursors to shear fracture, Nature, 359, 228-230, 1993. John Brant, Brian Foote, Ralph Johnson, and Don Roberts. Wrappers to the rescue. In Proceedings European Conference on Object Oriented Programming (ECOOP 1998 ), volume 1445 of LNCS, pages 396–417. Springer-Verlag, 1998. method wrappers. Knuth, Donald E. (1998). The Art of Computer Programming Volume 3: Sorting and Searching. Reading, Massachusetts: Addison-Wesley. J. H'amorsk'y and U. Wachsmann, "Criteria for Minimum Bit Error Rate Decoding of Turbo-Codes," in Proc. Kleinheubacher Tagung, Kleinheubach, Germany, 1995, pp. 607--616. T. Kerkhoven and Y. Saad, On acceleration methods for coupled nonlinear elliptic systems, Numerische Mathematik, 60 (1992), pp. 525--548. S. Frlund. Inheritance of synchronization constraints in concurrent object-oriented programming languages. In Proceedings of the 6th European Conference on Object-Oriented Programming (ECOOP'92), volume 615 of Lecture Notes in Computer Science, pages 185--196. SpringerVerlag, June 1992. Johan Fagerstrom, Peter Fritzson, Johan Ringstrom, and Mikael Pettersson. A data-parallel language and its compilation to a formally defined intermediate language. In Proceedings Fourth International Conference on Computing and Information, May 1992. Fahrmeir, L. (1992), "Posterior Mode Estimation by Extended Kalman Filtering for Multivariate Dynamic Generalized Linear Models," Journal of the American Statistical Association, 87, 501-509. P. J. G. Ramadge and W. M. Wonham, "The control of discrete event systems", Proceedings of the IEEE, vol. 77, no. 1, pp. 81--97, 1989. A. Said and W.A. Pearlman, "A new, fast, and efficient image codec based on set partitioning in hierarchical trees," IEEE Transactions on Ciruits and Systems for Video Technology, vol. 6, no. 3, pp. 243--249, June 1996. D Lehmann. Belief revision, revised. In Proceedings IJCAI-95, pages 1534--1540, 1995. Yamada, T., and G. L. Mellor, 1979: A numerical simulation of BOMEX data using a turbulence closure model coupled with ensemble cloud relations. Quart. J. Roy. Meteor. Soc., 105, 915-944. J. R. Goodman, J. Hsieh, K. Liou, A. R. Pleszkun, P. B. Schechter, and H. C. Young. PIPE: A VLSI decoupled architecture. In 12th Annual International Symposium on Computer Architecture, pages 20--27. IEEE Computer Society, June 1985. J. Hipp, R. Lober, “Plastering: All-Hexahedral Mesh Generation Through Connectivity Resolution,” Proc. 3 rd Int. Meshing Roundtable, 1994. Wood, M.M. (1993) Categorial Grammars, Routledge, London. C. Mercer, S. Savage and H. Tokuda. Processor Capacity Reserves: Operating System Support for Multimedia Applications. Proceedings of the International Conference on Multimedia Computing and Systems, pp. 90-99, May 1994. Zinaida Trybulec. Properties of subsets. Journal of Formalized Mathematics, 1, 1989. http://mizar.org/JFM/Vol1/subset_1.html. D. A. Norman, Things that make us smart, Addison-Wesley Publishing, 1993. M. Kass, A. Witkin, and D. Terzopoulus. Snakes: Active contour models. International Journal of Computer Vision, 1(4): 321--331, 1987. R. Bergamaschi, S. Bhattacharya, R. Wagner, C. Fellenz, M. Muhlada, W. Lee, F. White, and J.-M. Daveau. Automating the design of SoCs using cores. IEEE Design & Test of Computers, 18(5): 32--45, 2001. John C. Baez, James Dolan, Categorification. In Higher Category Theory, eds. Ezra Getzler and Mikhail Kapranov. Contemporary Mathematics vol. 230, Amer. Math. Soc., 1998. pp. 1-36. Austin, S., and Parkin, G.I.: Formal methods: A survey, National Physical Laboratory, Queens Road, Teddington, Middlesex TW11 0LW, UK, March 1993 Fisher, Irving (1934), Stable Money. Published 1935 in Britain under the title of Stable Money: A History of the Movement, Allen & Unwin, London. B. S. Baker. A theory of parameterized pattern matching: Algorithms and applications. In ACM Symposium on Theory of Computing (1993), pp. 71--80. Banerjea, A., and B.A. Mah., "The Real-Time Channel Administration Protocol", Second International Workshop on Network and Operating System Support for Digital Audio and Video, IBM ENC, Heidelburg, Germany, Springer Verlag, 1991. K. N. Menezes, S. W. Sathaye, and T. M. Conte, "Path prediction for high issue-rate processors," in Proceedings of the 1997 ACM/IEEE Conference on Parallel Architectures and Compilation Techniques, 1997. G. A. Kabatyanskii and V. I. Levenshtein. Bounds for packings on a sphere and in space. Problems of Information Transmission, 14(1): 1-17, 1978. R. Dube et al., “Signal Stability based Adaptive Routing (SSA) for AdHoc Mobile Networks,” IEEE Pers. Commun., Feb. 1997, pp. 36–45. D. Marcuse, "Calculation of bit-error probability for a lightwave system with optical amplifiers and post-detection Gaussian noise," J. Lightwave Technol., vol. 9, pp. 505--513, April 1991. L. Cox, A Constructive Procedure for Unbiased Controlled Rounding, Journal of the American Statistical Association, June 1987, pp 520-524 C.P. Gomes, C. Fernández, B. Selman, and C. Bessiere. Statistical regimes across constrainedness regions. In Proceedings of CP’04, pages 32–46, 2004. T. Joachims. A probabilistic analysis of the rocchio algorithm with TFIDF for text categorization. Technical Report Computer Science Technical Report CMU-CS-96-118, Carnigie-Mellon University, 1996. QUAN HAASE, ANABEL and BARRY WELLMAN with KEITH HAMPTON and JAMES WITTE. 2002. "Capitalizing on the Net: Social Contact, Civic Engagement, and Sense of Community." Pp. 291-324 in The Internet in Everyday Life, edited by Barry Wellman and Caroline Haythornthwaite. Oxford: Blackwell. M. von der Beeck. A comparison of statecharts variants. In Symposium on FaultTolerant Computing, LNCS. Springer, 1994. de Lange, PJ, Gardner, RO, Champion, PD, Tanner CC. 1998. Schoenoplectus californicus (Cyperaceae) in New Zealand. NZ Journal of Botany 36: 319–27. Sutton RS, Barto AG. Reinforcement Learning: An Introduction, MIT Press, 1998. Yu. E. Nesterov and M. J. Todd, Self-scaled barriers and interior-point methods for convex programming, Math. Oper. Res. 22 (1997) 1--46. S.P. Novikov, S.V. Manakov, L.P. Pitaevskii and V.E. Zacharov, Theory of Solitons. The Inverse Scattering Method, Consultants Bureau, New York, 1980. J. Vaganay and B. Jouvencel. Motion estimation for rov stabilization with a light-stripe sensor. In Oceans'96, Fort Lauderdale, Florida, September 1996. T.S. Abdel-Rahman, "Parallel Processing of Best-First Branch-and-Bound Algorithms on Distributed Memory Multiprocessors," Ph.D. Thesis, University of Michigan, Ann Arbor, 1989. Olwal, A., H. Benko, S. Feiner. “SenseShapes: Using Statistical Geometry for Object Selection in a Multimodal Augmented Reality System,” to appear in Proceedings of The Second International Symposium on Mixed and Augmented Reality 2003 (ISMAR 03), October 7-10, 2003, Tokyo, Japan, 2003. Nishita T, Sederberg T, Kakimoto M (1990) Ray Tracing Trimmed Rational Surface Patches. SIGGRAPH Proceedings 1990, Computer Graphics 24(4): 337-345 T.H. Tzen and L.M. Ni, “Trapezoidal Self-Scheduling: A Practical Scheme for Parallel Compilers,” IEEE Trans. Parallel and Distributed Systems, vol. 4, no. 1, pp. 87-98, Jan. 1993. Euntai Kim, Minkee Park, Seunghwan Ji and Mignon Park. A New Approach to Fuzzy Modeling. IEEE Transactions on Fuzzy Systems, 5(3): 328-337 (1997). Basit, A.H. and Jarzabek, S. “Detecting Higher-level Similarity Patterns in Programs,” to appear in ESEC-FSE'05, European Software Eng. Conf. and ACM SIGSOFT Symp. on the Foundations of Software Eng., Sept. 2005, Lisbon V. Govindu and C. Shekhar. Alignment using distributions of local geometric properties. IEEE Transactions on Pattern Analysis and Machine Intelligence, 21(10): 1031–1043, October 1999. Harter, S. (1998). The development of self-representations . In N. Eisenberg (Ed.), Handbook of child psychology (Vol. 3, pp. 1017-1095 ). New York: Wiley. David Basin and Harald Ganzinger. Complexity Analysis Based on Ordered Resolution. In Eleventh Annual IEEE Symposium on Logic in Computer Science, pages 456--465, New Brunswick, New Jersey, USA, July 27--30, 1996. IEEE Computer Society Press. J.P. Singh, W.-D. Weber, and A. Gupta. SPLASH: Stanford parallel applications for shared-memory. Technical Report CSL-TR-91-469, Stanford University, April 1991. Loic Prylli, Bernard Tourancheau, and Roland Westrelin. The design for a high performance MPI implementation on the Myrinet network. In EuroPVM/MPI, pages 223–230, 1999. K. Kennedy, K. S. McKinley, and C. Tseng. Analysis and transformation in an interactive parallel programming tool. Concurrency: Practice & Experience, 5(7): 575--602, October 1993. McNamee, D. and Armstrong, K. Extending the Mach External Pager Interface to Accommodate User-Level Page Replacement Policies. In Proceedings of the USENIX Mach Symposium, pages 17--29, Burlington, VT, October 1990. S.N. Patnaik and R.H. Gallagher, Gradients of Behaviour Constraints and Reanalysis via the Integrated Force Method, Int. J. Numer. Meth. Engrg., 23, 2205–2212 (Dec. 1986). D. E. Whitney, “Force feedback control of manipulator fine motions,” ASME J. Dyn. Syst. Meas. Contr., vol. 99, no. 2, pp. 91–97, 1977. M. H. Chen, A. P. Mathur, and V. J. Rego, "Effect of testing techniques on software reliability estimates obtained using time-domain models," IEEE transactions on reliability, 44(1), March 1995. Li, Y., Gong, S., and Liddell, H. 2000a. Recognising the dynamics of faces across multiple views. In British Machine Vision Conference, Bristol, UK, pp. 242–251. G. Banavar, J. Beck, E. Gluzberg, J. Munson, J. Sussman and D. Zukowski, Challenges: An application model for pervasive computing, in: Proc. 6th Annual International Conference on Mobile Computing and Networking (MobiCom2000), Boston, MA (August 2000) pp. 266–274. Ginsberg, M. L. (1993). Dynamic backtracking, Journal of Artificial Intelligence Research 1, 25-46. Selinger, P.G. 1993. `Predictions and challenges for database systems in the year 2000'. In Proc. Nineteenth International Conference on Very Large Databases, Dublin, Ireland. Morgan Kaufmann, Palo Alto, CA. 667-675. M. Grossglauser and D. Tse Analysis, Modeling and Generation of Self-Similar VBR Video Traffic., Proc. ACM SIGCOMM '97, pages 237-248, 1997 Watkins, C. J. C. H. (1989). Learning from delayed rewards. PhD thesis, Cambridge University, Cambridge, England. P. Golle, J. Staddon, and B. Waters. Secure conjunctive keyword search over encrypted data. In Proceedings of ACNS, pages 31–45. Springer-Verlag; Lecture Notes in Computer Science 3089, 2004. R. Seifert. The Switch Book. The complete Guide to LAN Switching Technology. Jonh Wiley & Sons, Inc., 2000. Jacobson, I.; Griss, M.; Jonsson. P.; Software Reuse: Architecture, Process and Organisation for Business Success; ACM Press Addison Wesley Longman; 1997. Ashenfelter, O. and C. Rouse. 2000. Schooling, intelligence and income in America. In K. Arrow, S. Bowles, and S. Durlauf, eds. Meritocracy and economic inequality. Princeton: Princeton University Press. S. Schmitt, R. Bergmann. Product Customization in an Electronic Commerce Environment using Adaptation Operators. 1999. Proceedings of the 7th German Workshop on Case-Based Reasoning, GWCBR'99, in Wrzburg, March 3-5, 1999. RB Doorenbos, O Etzioni, and DS Weld. A scalable comparison-shopping agent for the World-Wide Web. In Proceedings of the First International Conference on Autonomous Agents, pages 39–48, 1997. P. Gardenfors and D. Makinson, `Revision of knowledge systems using epistemic entrenchment', in Proc. TARK-88, Asilomar, CA, (1988). M. Yang and L. M. Ni, "Incremental design of scalable interconnection networks using basic building blocks," Symposium of Parallel and Distributed Processing, pp. 252 -- 259, Oct. 1995. Bacon J, Moody K, Bates J, Hayton R, Ma C, McNeil A, Seidel O, Spiteri M: ‘Generic support for distributed applications’, IEEE Computer, pp 68–76 (March 2000) URL: http://www.cl.cam.ac.uk/Research/SRG/opera/publications/pre-2002.html#2000 C. Jay, M. Cole, M. Sekanina, and P. Steckler. A monadic calculus for parallel costing of a functional language of arrays. In C. Lengauer, M. Griebl, and S. Gorlatch, editors, Euro-Par'97 Parallel Processing, volume 1300 of LNCS, pages 650-661. Springer-Verlag, 1997. R. H. W. Hoppe and B. Wohlmuth, Adaptive mixed hybrid and macro-hybrid finite element methods. In: Proc. Conf. ALGORITHMY'97 Zuberec, West Tatra Mountains, September 1-5, 1995 (Eds. J. Kacur and K. Mikula), 1998 (to appear). Spreitzer, G.M., 1996. "Social Structural Characteristics of Psychological Empowerment", Academy of Management Journal, Vol. 39, pp.483—504. D. H. Ping, K. Hono, H. Kanekiyo, and S. Hirosawa, Mechanism of grain size refinement of Fe 3B/Nd 2Fe 14B nanocomposite permanent magnet by Cu addition, J. Appl. Phys. (1999), in press.