The representation of the resistance to heat transfer in regenerators, due to the finite thermal conductivity and a significant thickness of the heat storing packing, has been a continuing theoretical problem. This paper discusses the evolution of this theory from its early beginnings in the 1920’s. In particular, the development of the pseudo-recuperator model in the first Melchett lecture by ...

In this paper, we propose a set of quality criteria of general theories of software engineering: The quality of a general theory of software engineering depends on (i) the universality and precision with which it predicts the influence of the software decision makers’ actions on the software development goals, (ii) its degree of corroboration, (iii) its degree of formalization, (iv) the unambig...

Kurt Mehlhorn’s foundational results in computational geometry provide not only a basis for practical geometry systems such as Leda and CGAL, they also, in the spirit of Euclid, provide a sound basis for geometric truth. This article shows how Mehlhorn’s ideas from computational geometry have influenced work on the logical basis for constructive geometry. In particular there is a sketch of new ...

December 30, 1999 · Research Article Russ Marion, Josh Bacon, Dr Kurt Richardson1 1 Emergent Publications Marion R, Bacon J, Richardson K. Organizational Extinction and Complex Systems. Emergence: Complexity and Organization. 1999 Dec 30 [last modified: 2014 Nov 15]. Edition 1. The Lost World, Michael Crichton’s sequel to the dinosaur adventure Jurassic Park, is structured around complexity the...

Kurt Gödel’s ontological argument for God’s existence has been formalized and automated on a computer with higher-order automated theorem provers. From Gödel’s premises, the computer proved: necessarily, there exists God. On the other hand, the theorem provers have also confirmed prominent criticism on Gödel’s ontological argument, and they found some new results about it. The background theory...

a. “Individual Preferences and Collective Decisions” by Brian Barry and Russell Hardin b. “ Axiomatic Social Choice Theory: An Overview and Interpretation” by Charles Plott c. “Current Developments in the Theory of Social Choice” by Kenneth Arrow d. “Social Choice and Individual Values” by I.M.D. Little e. Welfare and Preference” by Kurt Baier f. “Utility, Strategy, and Social Decision Rules” b...

Reasoning about Interaction: From Game Theory to Logic and Back (Dagstuhl Seminar 11101) Jürgen Dix, Wojtek Jamroga, and Dov Samet . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 Computational Geometry (Dagstuhl Seminar 11111) Pankaj Kumar Agarwal, Kurt Mehlhorn, and Monique Teillaud . . . . . . . . . . . . . . . . . . 19 Computational Complexity of Discrete Problems (...

Kurt G. Hofer, a radiation biologist and preeminent educator, unexpectedly but peacefully passed away on September 20, 2015, at the age of 76. Kurt was born in Feldkirchen in Kärnten, a town in the Austrian state of Carinthia, on March 2, 1939. He received his doctoral degree from the University of Vienna in 1965. In 1966, Kurt, accompanied by his wife Maria (Ridy) came to the United States to ...

1. Pohlers and The Problem. I first met Wolfram Pohlers at a workshop on proof theory organized by Walter Felscher that was held in Tübingen in early April, 1973. Among others at that workshop relevant to the work surveyed here were Kurt Schütte, Wolfram’s teacher in Munich, and Wolfram’s fellow student Wilfried Buchholz. This is not meant to slight in the least the many other fine logicians wh...

This document provides procedures for registering extensible elements of LDAP (Lightweight Directory Access Protocol). The document also provides guidelines to IANA (Internet Assigned Numbers Authority) describing conditions under which new values can be assigned. Zeilenga IANA Considerations for LDAP [Page 1] INTERNET-DRAFT draft-ietf-ldapbis-iana-05.txt 20 December 2001