Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
Type of Medium
Language
Region
Access
  • 1
    Online Resource
    Online Resource
    Cheltenham :Edward Elgar Pub. Ltd.,
    UID:
    almahu_9947914923302882
    Format: 1 online resource (1 v.) ; , cm.
    ISBN: 9781784712716 (e-book)
    Series Statement: Elgar research reviews in economics
    Content: Computable economics is a growing field of research which has been given much attention by scholars in recent decades. In this authoritative collection, the editors successfully bring together the seminal papers of computable economics from the last sixty years and encompass the works of some of the most influential researchers in this area. Topics covered in this timely volume include the foundations of computable economics, classics of computable choice theory, computable macroeconomics and computable and social choice theory. The book is enhanced with a comprehensive introduction by the editors and will serve as an essential source of reference for students and researchers in the field.
    Note: The recommended readings are available in the print version, or may be available via the link to your library's holdings. , Recommended readings (Machine generated): Aberth, Oliver (1980), Computable Analysis, McGraw-Hill International Book Company, New York. -- Aberth, Oliver (2001), Computable Calculus, Academic Press, San Diego, CA. -- Abraham, Ralph (1985), Is There Chaos Without Noise, in Chaos, Fractals, and Dynamics edited by P. Fischer and William R. Smith, chapter 7, pp. 117-121, Marcel Dekker, Inc., New York and Basel. -- Amman, Hans M., David A. Kendrick and John Rust (1996; Editors), Handbook of Computational Economics, Vol. 1, North-Holland, Amsterdam. -- Arrow, Kenneth J. (1986), Rationality of Self and Others in an Economic System, Journal of Business, Vol. 59 (Pt. 2), October, pp. S385-S398. -- Arrow, Kenneth J. and Gerard Debreu (1954), Existence of an Equilibrium for a Competitive Economy, Econometrica, Vol. 22, pp. 265-290. -- Arrow, Kenneth J, Samuel Karlin and Herbert Scarf (1958), The Nature and Structure of Inventory Problems, Chapter 2, pp. 16-36, in: Studies in the Mathematical Theory of Inventory and Production, edited by Kenneth J. Arrow, Samuel Karlin and Herbert Scarf, Stanford University Press, Stanford, CA. -- Avigad, Jeremy (2009), The Metamathematics of Ergodic Theory, Annals of Pure and Applied Logic, Vol. 157 (2009), pp. 64-65. -- Beckett, Samuel (1931 [1965]), Proust and Three Dialogues with Georges Duthuit, John Calder Publishers, London. -- Beinhocker, Eric D. (2006), The Origin of Wealth: The Radical Remaking of Economics and What It Means for Business and Society, Harvard Business School Press, Boston, MA. -- Berlekamp, Elwyn R., John H. Conway and Richard K. Guy (1982), Winning Ways for your Mathematical Plays - Volume 2: Games in Particular, Academic Press, London. -- Bishop, Errett A. (1967), Foundations of Constructive Analysis, McGraw-Hill Book Company, New York. -- Bishop, Errett A. (1985), Schizophrenia in Contemporary Mathematics, in: Errett Bishop: Reflections on Him and His Research, edited by Murray Rosenblatt, Contemporary Mathematics, Volume 39, American Mathematical Society, Providence, RI. -- Blum, Lenore, Felipe Cucker, Michael Shub and Steve Smale (1998), Complexity and Real Computation, Springer Verlag, New York. -- Brainard, William C. and Herbert E. Scarf (2005), How to Compute Equilibrium Prices in 1891, in: Celebrating Irving Fisher - The Legacy of a Great Economist, edited by Robert W. Dimand and John Geanakoplos, Blackwell Publishing Ltd., Oxford. -- Bridges, Douglas and Fred Richman (1987), Varieties of Constructive Mathematics, Cambridge University Press, Cambridge. -- Brouwer, Luitzen E.J. (1907 [1975]), Over de grondslagen der wiskunde [On the Foundations of Mathematics], Academic Thesis, pp. 11-104, in: L.E.J. Brouwer Collected Works: Vol. 1 - Philosophy and Foundations of Mathematics, edited by Arend Heyting; North-Holland/American Elsevier, Amsterdam and New York. -- Brouwer, Lutizen E.J. (1908A; 1975), Over de grondslagen der wiskunde, [On the Foundations of Mathematics], pp. 105-6, in: L.E.J. Brouwer Collected Works: Vol. 1 - Philosophy and Foundations of Mathematics, edited by Arend Heyting; North-Holland/American Elsevier, Amsterdam and New York. -- Brouwer, Lutizen E.J. (1908B; 1975), De onbetrouwbaarheid der logische principes [The unreliability of the logical principles], pp. 197-211, in: L.E.J. Brouwer Collected Works: Vol. 1 - Philosophy and Foundations of Mathematics, edited by Arend Heyting; North-Holland/American Elsevier, Amsterdam and New York. , Brouwer, Luitzen. E.J. (1910), Über eineindeutige, stetige Transformationen von Flächen in sich, Mathematische Annalen, Vol. 69, pp. 176-180. -- Brouwer, Luitzen E.J. (1952), An Intuitionist Correction of the Fixed-Point Theorem on the Sphere, Proceedings of the Royal Society London, Vol. 213 (5 June), pp. 1-2. -- Burks, Arthur W. (1970; Editor), Essays on Cellular Automata, University of Illinois Press, Urbana. -- Camerer, Colin F., George Loewenstein and Matthew Rabin (eds) (2004), Advances in Behavioral Economics, Princeton University Press, Princeton, New Jersey. -- Cheng, Harrison H.C. (1991), Asset Market Equilibrium in Infinite Dimensional Complete Markets, Journal of Mathematical Economics, Vol. 20(1), pp. 137-152. -- Clower, Robert W. and Peter W. Howitt (1978), The Transaction Theory of the Demand for Money: A Reconsideration, Journal of Political Economy, Vol. 86(3), June, pp. 449-466. -- Cohen, Daniel I.A. (1991), The Superfluous Paradigm, in: The Mathematical Revolution Inspired by Computing edited by J.H. Johnson and M.J. Loomes, Oxford University Press, Oxford, pp. 323-329. -- Cooley, Thomas F. and Edward C. Prescott (1995), Economic Growth and Business Cycles, in: Frontiers of Business Cycle Research, edited by Thomas F. Cooley, Princeton University Press, Princeton, NJ. -- Cooper, S. Barry (2004), Computability Theory, Chapman and Hall/CRC, Boca Raton, Florida. -- Cornwall, Richard R. (1984), Introduction to the Use of General Equilibrium Analysis, North-Holland, Amsterdam. -- Davis, Martin (1978), What is a Computation?, in: Mathematics Today: Twelve Informal Essays, edited by Lynn Arthur Steen, Springer-Verlag, New York, pp. 241-267. -- Debreu, Gerard (1982), Existence of Competitive Equilibrium, in: Handbook of Mathematical Economics, Volume II, edited by Kenneth J. Arrow and Michael D. Intrilligator, North-Holland Publishing Company, Amsterdam, pp. 697-743. -- Delli Gatti, Domenico, Edoardo Gaffeo, Mauro Gallegati, Gianfranco Giulioni and Antonio Palestrini (2008), Emergent Macroeconomics - An Agent-Based Approach to Business Fluctuations, Springer-Verlag Italia, Milan. -- Denning, Peter J. (2010), The Great Principles of Computing, American Scientist, Vol. 98(5), September-October, pp. 369-372. -- Dervis, Kemal, Jaime de Melo and Sherman Robinson (1982), General Equilibrium Models for Development Policy, Cambridge University Press, Cambridge. -- Dixon, Peter B. and B.R. Parmenter (1996), Computable General Equilibrium Modelling for Policy Analysis and Forecasting, in: Handbook of Computational Economics, Volume 1, edited by Hans M. Amman, David A. Kendrick and John Rust, North-Holland, Amsterdam, pp. 3-85. -- Dummett, Michael (1977), Elements of Intuitionism, Clarendon Press, Oxford. -- Edwards, Ward (1954), The Theory of Decision Making, Psychological Bulletin, Vol. 51(4), pp. 380-417. -- Edwards, Ward (1961), Behavioural Decision Theory, Annual Review of Psychology, Vol. 12, pp. 473-498. , Edwards, Ward, Harold Lindman and Leonard J. Savage (1963), Bayesian Statistical Inference for Psychological Research, Psychological Research, Vol. 70(3), May, pp. 193-242. -- Euwe, Max (1929), Mengentheoretische Betrachtungen über das Schachspiel, Communicated by Prof. R. Weizenböck (May, 25, 1929), Proc. Koninklijke Nederlandse Akademie Van Wetenschappen, (Amsterdam) 32(5), pp. 633-642. -- Feferman, Solomon (2009), Gödel, Nagel, Minds, and Machines, The Journal of Philosophy, Vol. 106(4), pp. 201-219. -- Feynman, Richard P. (1996), Feynman Lectures on Computation, edited by Anthony J.G. Hey and Robin W. Allen, Addison-Wesley Publishing Company, Inc., Reading, MA. -- Fisher, Irving (1892; 1991), Mathematical Investigations in the Theory of Value and Prices, Augustus M. Kelley Publishers, Fairfield, NJ. -- Fermi, Enrico, John Pasta and Stanislaw Ulam (1955), Studies of Non Linear Problems, Los Alamos Preprint, LA-1940. -- Gács, Péter, John T. Tromp and Paul Vitányi (2001), Algorithmic Statistics, IEEE Transactions on Information Theory, Vol. 47(6), September, pp. 2443-2463. -- Gandy, Robin O. (1980), Church's Thesis and Principles for Mechanisms, in: The Kleene Symposium, edited by J. Barwise, H.J. Keisler and K. Kunen, North-Holland, Amsterdam. -- Gandy, Robin (1995), The Confluence of Ideas in 1936, The Universal Turing Machine - A Half-century Survey (Second Edition), edited by Rolf Herken, Springer-Verlag, Wien and New York, 1995, pp. 51-102. -- Giocoli, Nicola (2003), Fixing the Point: The Contribution of Early Game Theory to the Tool-Box of Modern Economics, Journal of Economic Methodology, Vol. 10(1), pp. 1-39. -- Gödel, Kurt (1946 [1965]), Remarks Before the Princeton Bicentennial Conference on Problems in Mathematics, in: The Undecidable - Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions, edited by Martin Davis, Raven Press, New York, pp. 84-88. -- Gödel, Kurt (1951 [1995]), Some Basic Theorems on the Foundations of Mathematics and Their Implications, in: Kurt Gödel - Collected Works, Volume III, Unpublished Essays and Lectures, edited by Solomon Feferman, John W. Dawson, Jr., Warren Goldfarb, Charles Parsons and Robert N. Solovay, Oxford University Press, Oxford. pp. 304-323. -- Goodstein, Reuben L. (1944), On the Restricted Ordinal Theorem, Journal of Symbolic Logic, Vol. 9(2), June, pp. 33-41. -- Goodwin, Richard M. (1947), Dynamical Coupling with Especial Reference to Markets Having Production Lags, Econometrica, Vol. 15(3), July, pp. 181-204. -- Goodwin, Richard M. (1953), Static and Dynamic Linear General Equilibrium Models, in: Input-Output Relations, edited by The Netherlands Economic Institute, H.E. Stenfort Kroese, N.V., Leiden. -- Guckenheimer, John (1996), Phase Portraits of Planar Vector Fields: Computer Proofs, Experimental Mathematics, Vol. 4(2), pp. 153-165. -- [55] Hahn, Frank Horace (1994), An Intellectual Retrospect, Banca Nazionale del Lavoro - Quarterly Review, Vol. XLVIII(190), September, pp. 245-258. -- Hayek, F.A. von (ed.) (1935), Collectivist Economic Planning - Critical Studies on the Possibilities of Socialism, Routledge & Kegan Paul, Ltd., London. , Hayek, F.A. von (1940), Socialist Calculation: The Competitive 'Solution', Economica, Vol. 7(26), May, pp. 125-149. -- Hayes, Brian (2003), A Lucid Interval, American Scientist, Vol. 91(6), November-December, pp. 484-488. -- Hilbert, David (1927 [1983]), On the Infinite, in: Philosophy of Mathematics - Selected Readings, Second Edition, edited by Paul Benacerraf and Hilary Putnam, Cambridge University Press, Cambridge, pp. 183-201. -- Humphreys, Paul (2009), Computational Economics, in: The Oxford Handbook of Philosophy of Economics, edited by Harold Kincaid and Don Ross, Oxford University Press, Oxford. -- Ishihara, Hajime (1989), On the Constructive Hahn-Banach Theorem, Bulletin of the London Mathematical Society, Vol. 21, pp. 79-81. -- Johansen, Leif (1960; 1974), A Multi-Sectoral Study of Economic Growth, Second Enlarged Edition, North-Holland Publishing Company, Amsterdam. -- Judd, Kenneth L. (2005), Solving Dynamic Stochastic Competitive General Equilibrium Models, in: Frontiers in Applied General Equilibrium Modelling: In Honour of Herbert Scarf, edited by Timothy J. Kehoe, T.N. Srinivasan and John Whalley, Cambridge University Press, Cambridge, pp. 45-66. -- Kakutani, Shizuo (1941), A Generalization of Brouwer's Fixed Point Theorem, Duke Mathematical Journal, Vol. 8(3), pp. 457-459. -- Kehoe, Timothy J., T.N. Srinivasan and John Whalley (eds) (2005), Frontiers in Applied General Equilibrium Modelling: In Honour of Herbert Scarf, Cambridge University Press, Cambridge. -- Kelley, John L. (1955), General Topology, Springer-Verlag, New York and Heidelberg. -- Kirby, Laurie and Jeff Paris (1982), Accessible Independence Results for Peano Arithmetic, Bulletin of the London Mathematical Society, Vol. 14, pp. 285-293. -- Knaster, Bronislaw, Kazimerz Kuratowski and Stefan Mazurkiewicz (1929), Ein Beweis des Fixpunktsatzes für n-dimensionale Simplexe, Fundamenta Mathematicae, Vol. 14, 132-137. -- [70] Kleene, Stephen Cole (1952), Introduction to Metamathematics, North-Holland Publishing Company, Amsterdam. -- Knuth, Donald E. (1973), The Art of Computer Programming: Volume 1 / Fundamental Algorithms, Second Edition, Addison-Wesley Publishing Company, Reading, MA. -- Knuth, Donald E. (1981), Algorithms in Modern Mathematics and Computer Science, in: Algorithms in Modern Mathematics and Computer Science, edited by A.P. Ershov and Donald E. Knuth, pp. 82-99, Springer-Verlag, Berlin. -- Kreisel, Georg (1974), A Notion of Mechanistic Theory, Synthese, Vol. 29, pp. 11-26. -- Kreisel, Georg (1982), Review of 'A Computable Ordinary Differential Equation which Posseses no Computable Solution; the Wave Equation with Computable Initial Data Such that its Unique Solution is not Computable', The Journal of Symbolic Logic, Vol. 47(4), December, pp. 900-902. -- Krugman, Paul (1996), The Self-Organizing Economy, Blackwell Publishers, Oxford. -- Kydland, Finn E. and Edward C. Prescott (1996), The Computational Experiment: An Econometric Tool, The Journal of Economic Perspectives, Vol. 10(1), Winter, pp. 69-85. , Lange, Oskar (1967), The Computer and the Market, in: Socialism, Capitalism & Economic Growth - Essays presented to Maurice Dobb, edited by C.H. Feinstein, Cambridge University Press, Cambridge, pp. 158-161. -- Lange, Oskar (1970), Introduction to Economic Cybernetics, Pergamon Press, London. -- Langley, Pat, Herbert A. Simon, Gary L. Bradshaw and Jan M. Zytkow (1987), Scientific Discovery: Computational Explorations of the Creative Process, The MIT Press, Cambridge, MA. -- Lawvere, F. William and Stephen H. Schanuel (1997), Conceptual Mathematics: A First Introduction to Categories, Cambridge University Press, Cambridge. -- Lewis, Alain A. (1986), Structure and Complexity: The Use of Recursion Theory in the Foundations of Neoclassical Mathematical Economics and Game Theory, Manuscript/Monograph, Department of Mathematics, Cornell University, Ithaca, NY. -- Lewis, Alain A. (1991), Some Aspects of Effectively Constructive Mathematics that are Relevant to the Foundations of Neoclassical Mathematical Economics and the Theory of Games, Unpublished Manuscript, Department of Philosophy and the School of Social Sciences, University of California at Irvine, Irvine, CA. -- Ljungqvist, Lars and Thomas J. Sargent (2000), Recursive Macroeconomic Theory, The MIT Press, Cambridge, MA. -- [84] Maietti, Maria Emilia and Giovanni Sambin (2005), Toward a Minimalist Foundation for Constructive Mathematics, in: From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics, Clarendon Press, Oxford, pp. 91-114. -- Markov, A.A. (1954 [1961]), Theory of Algorithms, Academy of Sciences of the USSR, Moscow and Leningrad, translated by Jacques J. Schorr-Kon and PST Staff and published for The National Science Foundation, Washington, D.C., and The Department of Commerce, USA, by The Israel Program for Scientific Translations, Jerusalem. -- Matiyasevich, Yuri M. (1993), Hilbert's Tenth Problem, The MIT Press, Cambridge, MA. -- McCulloch, Warren S. (1961 [1965]), What is a Number, that a Man May Know It, and a Man, that He May Know a Number?, the Ninth Alfred Korzybski Memorial Lecture, reprinted in: Embodiments of Mind, by Warren S. McCulloch, The M.I.T Press, Cambridge, MA, pp. 1-18. -- Mercenier, Jean and T.N. Srinivasan (eds) (1994), Applied General Equilibrium and Economic Development, The University of Michigan Press, Ann Arbor, MI. -- Moore, Ramon E. (1966), Interval Analysis, Prentice-Hall, Englewood Cliffs, NJ. -- Moschovakis, Yiannis N. (1998), On Founding the Theory of Algorithms, in: Truth in Mathematics, edited by H.G. Dales and G. Oliveri, Clarendon Press, Oxford, pp. 71-104. -- Moschovakis, Yiannis N. (2001), What is an Algorithm?, in: Mathematics Unlimited - 2001 and Beyond, Springer-Verlag, Berlin and Heidelberg, pp. 919-936. -- Moschoavakis, Yiannis N. and Vasilis Paschalis (2008), Elementary Algorithms and Their Implementations, in: New Computational Paradigms: Changing Conceptions of What is Computable, edited by S. Barry Cooper, Benedikt Löwe and Andrea Sorbi, Springer Science + Business Media LLC, New York, pp. 87-118. -- Mycielski, Jan (1964), On the Axiom of Determinateness, Fundamenta Mathematicae, Vol. 53, pp. 205-224. -- Narici, Lawrence and Edward Beckenstein (1997), The Hahn-Banach Theorem, Topology and its Applications, Vol. 77, pp. 193-211. -- Negishi, Takashi (1960), Welfare Economics and Existence of Equilibrium for a Competitive Economy, Metroeconomics, Vol. XII, pp. 92-97. , Negishi, Takashi (1961), Monopolistic Competition and General Equilibrium, Review of Economic Studies, Vol. 28(3), June, pp. 196-201. -- Negishi, Takashi (1994), General Equilibrium Theory - The Collected Essays of Takashi Negishi, Volume 1, Edward Elgar, Aldershot, Hampshire. -- Negishi, Takashi (2008), Unnoticed Predecessors of the Early Negishi Theorems, International Journal of Economic Theory, Vol. 4(2), June, pp. 167-173. -- Nerode, Anil, George Metakides and Robert Constable, (1985), Recursive Limits on the Hahn-Banach Theorem, in: Errett Bishop - Reflections on Him and His Research, pp. 85-91, edited by Murray Rosenblatt, Contemporary Mathematics, Vol. 39, American Mathematical Society, Providence, Rhode Island. -- Newell, Allen and Herbert A. Simon (1972), Human Problem Solving, Prentice-Hall Inc., Englewood Cliffs, NJ. -- Ok, Efe A. (2007), Real Analysis with Economic Applications, Princeton University Press, Princeton, NJ. -- Osborne, Maury (1977), The Stock Market and Finance from a Physicist's Viewpoint, Crossgar Press, Minneapolis. -- Osborne, Martin J. and Ariel Rubinstein (1994), A Course in Game Theory, The MIT Press, Cambridge, MA. -- Pareto, Vilfredo [1927 (1971)], Manual of Political Economy, translated from the French Edition of 1927 by Ann S. Schwier and edited by Ann S. Schwier and Alfred N. Page, Macmillan, London. -- Paris, Jeff and Reza Tavakol (1993), Goodstein Algorithm as a Super-Transient Dynamical System, Physics Letters A, Vol. 180(1-2), pp. 83-86. -- Park, Sehie (2000), The Knaster-Kuratowski-Mazurkiewicz Theorem and Almost Fixed Points, Topological Methods in Nonlinear Analysis, Vol. 16, pp. 195-200. -- Penrose, Roger (1989) The Emperor's New Mind: Concerning Computers, Mind, and the Laws of Physics, Oxford: Oxford University Press. -- Péter, Rózsa (1967), Recursive Functions (Third Revised Edition), translated from the German by István Földes, Academic Press, New York. -- Polanyi, Michael (1966), The Tacit Dimension, Doubleday, New York. -- Pour-El, Marian Boykan and Ian Richards (1979), A Computable Ordinary Differential Equation which Possesses no Computable Solution, Annals of Mathematical Logic, Vol. 17, pp. 61-90. -- Rabin, Michael O. (1957), Effective Computability of Winning Strategies, in: Annals of Mathematics Studies, No. 39: Contributions to the Theory of Games, Vol. III, edited by M. Dresher, A.W. Tucker and P. Wolfe, Princeton University Press, Princeton, NJ, pp. 147-157. -- [112] Ramsey, Frank Plumpton (1930), On a Problem in Formal Logic, Proceedings of the London Mathematical Society, Vol. 30(1), pp. 264-286. -- Richman, Fred (1990), Intuitionism as Generalization, Philosophia Mathematica, Vol. 14, pp. 124-128. -- Rosser, J. Barkley (1978), Logic for Mathematicians (Second Edition), Chelsea Publishing Company, New York. , Russell, Bertrand (1919), Introduction to Mathematical Philosophy, George Allen and Unwin, London. -- Samuelson, Paul Anthony (1947), Foundations of Economic Analysis, Harvard University Press, Cambridge, MA. -- Samuelson, Paul Anthony (1971), Maximum Principles in Analytical Economics, in: Les Prix Nobel en 1970, The Nobel Foundation, Stockholm, pp. 273-288. -- Scarf, Herbert E. (1967), On the Computation of Equilibrium Prices, in: Ten Economic Studies in the Tradition of Irving Fisher, John Wiley & Sons, New York. -- Scarf, Herbert E. (1973), The Computation of Economic Equilibria, Yale University Press, New Haven and London. -- Scarf, Herbert E. (1982), The Computation of Equilibrium Prices: An Exposition, in: Handbook of Mathematical Economics, Volume II, edited by Kenneth J. Arrow and Michael D. Intrilligator, North-Holland Publishing Company, Amsterdam, pp. 1007-1061. -- Scarf, Herbert E. and John B. Shoven (eds) (1984), Applied General Equilibrium Analysis, Cambridge University Press, Cambridge. -- Schechter, Eric (1997), Handbook of Analysis and Its Foundations, Academic Press, London. -- Serény, György (2011), How do we Know that the Gödel Sentence of a Consistent Theory is True, Philosophia Mathematica, Vol. 19, p. 48. -- Shafer, Glenn and Vladimir Vovk (2001), Probability and Finance: It's Only a Game, John Wiley and Sons, New York. -- Shepherdson, John C. and H.E. Sturgis (1963), Computability of Recursive Functions, Journal of the Association of Computing Machinery, Vol. 10(2), April, pp. 217-255. -- Shoven, John B. and John Whalley (1992), Applying General Equilibrium, Cambridge University Press, Cambridge. -- Sieg, Wilfried (1997), Step by Recursive Step: Church's Analysis of Effective Calculability, Journal of Symbolic Logic, Vol. 3(2), June, pp. 154-180. -- Simon, Herbert A. (1947), Administrative Behavior, The Free Press, New York. -- Simon, Herbert A. (1952), The Architecture of Complexity, Proceedings of the American Philosophical Society, Vol. 106(6), Dec 12, pp. 467-482. -- Simon, Herbert A. (1955), A Behavioural Model of Rational Choice, Quarterly Journal of Economics, Vol. 69(1), February, pp. 99-118. -- Simon, Herbert A. (1956), Rational Choice and the Structure of the Environment, Psychological Review, Vol. 63, pp. 129-138. -- Simon, Herbert A. (1977), Models of Discovery - and Other Topics in the Methods of Science, D. Reidel Publishing Company, Dordrecht. -- Simon, Herbert A. (1979), Models of Thought: Volume I, Yale University Press, New Haven. , Simon, Herbert A. (1983), Reason in Human Affairs, Basil Blackwell, Oxford. -- Simon, Herbert A. (1986), Rationality in Psychology and Economics, The Journal of Business, Vol. 59(4, Pt. 2), October, pp. S209-S224. -- Simon, Herbert A. (1989), Models of Thought: Volume II, Yale University Press, New Haven. -- Simon, Herbert A. (1996), Machine as Mind, in: Machines and Thought - The Legacy of Alan Turing, Volume 1, edited by Peter Macmillan and Andy Clark, Oxford University Press, Oxford, pp. 81-101. -- Simon, Herbert A. (1997), Satisficing, in: Models of Bounded Rationality, Vol. 3 - Empirically Grounded Economic Reason, The MIT Press, Cambridge, MA, pp. 295-298. -- Simon, Herbert A. (2000), Letter to Velupillai, 25 May. -- Simon, Herbert A., Allen Newell and J.C. Shaw (1958), Elements of a Theory of Problem Solving, Psychological Review, Vol. 65(3), 151-166. -- Slater, Morton (1950), Lagrange Multipliers Revisited, Cowles Commission Discussion Paper, Mathematics 403, 7 November. -- Smale, Steve (1976), Dynamics in General Equilibrium Theory, American Economic Review, Vol. 66(2), May, pp. 288-294. -- Smale, Steve (1981), Global Analysis and Economics, in: Handbook of Mathematical Economics, Vol. 1, edited by Kenneth J. Arrow and Michael D. Intrilligator, North-Holland Publishing Company, Amsterdam, pp. 331-370. -- Smale, Steve (1998), Mathematical Problems for the Next Century, The Mathematical Intelligencer, Vol. 20(2), Spring, pp. 7-15. -- Specker, Ernst (1949), Nicht Konstruktive beweisbare Sätze der Analysis, Journal of Symbolic Logic, Vol. 14, pp. 145-158. -- Starr, Ross M. (1977), General Equilibrium Theory: An Introduction, Cambridge University Press, Cambridge. -- Steinhaus, H. (1965), Games, An Informal Talk, The American Mathematical Monthly, Vol. 72(5), May, pp. 457-468. -- Stein, P.R. and Stanislaw M. Ulam (1964), Nonlinear Transformation Studies, Rozprawy Matematyczne, Institute of Mathematics of the Polish Academy, Warsaw, pp. 3-20. -- Stone, Richard and Alan Brown (1962), Foreword, in: A Computable Model of Economic Growth, Department of Applied Economics, University of Cambridge, Chapman and Hall; A Programme for Growth 1, July. -- Strotz, R.H., J.F. Calvert and N.F. Morehouse (1951), Analogue Computing Techniques Applied to Economics, AIEE Transactions, Vol. 70(1), pp. 557-563. -- Strotz, R.H., J.C. McAnulty and J.B. Naines, Jr. (1953), Goodwin's Non-linear Theory of the Business Cycle: An Electro-Analog Solution, Econometrica, Vol. 21(3), July, pp. 390-411. -- Takeuti, Gaisi (2003), Memoirs of a Proof Theorist: Gödel and other Logicians, translated by Mariko Yasugi and Nicholas Passell, World Scientific, New Jersey and Singapore. , Tesfatsion, Leigh and Kenneth L. Judd (eds) (2006), Handbook of Computational Economics - Agent-Based Computational Economics, Vol. 2, North-Holland, Amsterdam. -- Thaler, Richard (1980), Toward a Positive Theory of Consumer Choice, Journal of Economic Behavior and Organization, Vol. 1(1), pp. 39-60. -- Tompkins, Charles B. (1964), Sperner's Lemma and Some Extensions, in: Applied Combinatorial Mathematics edited by E.F. Beckenbach, John Wiley & Sons. Ltd., New York, pp. 416-55. -- Tsuji, Marcelo N., C.A Da Costa and Francisco A. Doria (1998), The Incompleteness of Theories of Games, Journal of Philosophical Logic, Vol. 27(6), pp. 553-568. -- Turing, Alan M. (1936-7), On Computable Numbers, with an Application to the Entscheidungsproblem, Proceedings of the London Mathematical Society, Series 2, Vol. 42-43, pp. 230-65, pp. 544-546. -- Turing, Alan M. (1952), The Chemical Basis of Morphogenesis, Philosophical Transactions of he Royal Society of London, Series B, Biological Sciences, Vol. 237(641) (14 August), pp. 37-72. -- Tustin, Arnold (1953), The Mechanism of Economic Systems: An Approach to the Problem of Economic Stabilisation from the Point of View of Control-System Engineering, Harvard University Press, Cambridge, MA. -- Uzawa, Hirofumi (1962), Walras' Existence Theorem and Brouwer's Fixed Point Theorem, The Economic Studies Quarterly, Vol. 8(1), pp. 59-62. -- van Dalen, Dirk (2005), Mystic, Geometer, and Intuitionist: The Life of L.E.J. Brouwer - Volume 2: Hope and Disillusion, Clarendon Press, Oxford. -- van Lambalgen, Michiel (1987), Random Sequences, Doctoral Dissertation, University of Amsterdam, 16 September. -- Velupillai, Kumaraswamy (ed.) (1990), Nonlinear and Multisectoral Macrodynamic Essays in Honour of Richard Goodwin, Macmillan, Basingstoke. -- Velupillai, K. Vela (1997), Expository Notes on Computability and Complexity in (Arithmetical) Games, Journal of Economic Dynamics and Control, Vol. 21(6), pp. 955-979. -- Velupillai, Kumaraswamy (2000), Computable Economics, Oxford University Press, Oxford. -- Velupillai, K. Vela (2006), The Algorithmic Foundations of Computable General Equilibrium Theory, Applied Mathematics and Computation, Vol. 179(1), August, pp. 360-369. -- Velupillai, K. Vela (2009), Uncomputability and Undecidability in Economic Theory, Applied Mathematics and Computation, Vol. 215(4), 15 October, pp. 1404-1416. -- Velupillai, K. Vela (2009a), A Computable Economist's Perspective on Computational Complexity, in: The Handbook of Complexity Research, edited by: J. Barkley Rosser, Jr., Edward Elgar Publishing Ltd. Cheltenham, UK and Northampton, MA, USA, pp. 36-83. -- Velupillai, K. Vela (2009b), The Algorithmic Revolution in the Social Sciences: Mathematical Economics, Game Theory and Statistics, invited Lecture, presented at the Workshop on Information Theoretic Methods in Science and Engineering, Tampere, Finland, 17-19 August, published in the Proceedings of WITMSE. -- Velupillai, K. Vela (2010), Computable Foundations for Economics, Routledge, London. -- Velupillai, K. Vela (2010), Foundations of Boundedly Rational Choice and Satisfying Decision, Advances in Decision Sciences, April. , Velupillai, K. Vela (2011), Towards an Algorithmic Revolution in Economic Theory, Journal of Economic Surveys, Vol. 25(3), July, pp. 401-430. -- [172]Velupillai, K. Vela (2012), Reflections on Mathematical Economics in the Algorithmic Mode, New Mathematics and Natural Computation, Vol. 6, March (forthcoming). -- [173]Velupillai, K. Vela and Ying Fang Kao (2011), Models of Simon, Routledge, London (forthcoming). -- von Neumann, John (1928), Zur Theorie der Gesellsschaftsspiele by J. von Neumann, Mathematische Annalen, Vol. 100, pp. 295-320. -- von Neumann, John (1937 [1945-6]), A Model of General Economic Equilibrium, The Review of Economic Studies, Vol. 13(1), pp. 1-9. -- von Neumann, John (1966), Theory of Self-Reproducing Automata, edited and completed by Arthur W. Burks, University of Illinois Press, Urbana. -- von Neumann, John and Oskar Morgenstern (1953), Theory of Games and Economic Behavior (Third Edition), Princeton University Press, Princeton, NJ. -- Weissert, Thomas P. (1997), The Genesis of Simulation in Dynamics: Pursuing the Fermi-Pasta-Ulam Problem, Springer-Verlag, New York, NY. -- Wittgenstein, Ludwig (1939 [1975]), Wittgenstein's Lectures on the Foundations of Mathematics - Cambridge, 1939, From the Notes of R.G. Bosanquet, Norman Malcolm, Rush Rhees, and Yorick Smuthies, edited by Cora Diamond, The University of Chicago Press, Chicago. -- Wolfram, Stephen (1985), Undecidability and Intractability in Theoretical Physics, Physical Review Letters, Vol. 54(8), 25 February, pp. 735-738. -- Young, Warren (2008), Negishi's Contributions to the Development of Economic Analysis: Research Programs and Outcomes, International Journal of Economic Theory, Vol. 4(2), June, pp. 151-165. -- Zambelli, Stefano (2010), Flexible Accelerator Economic Systems as Coupled Oscillators, Journal of Economic Surveys, Vol. XXV(3), pp. 608-633. -- Zermelo, Ernst (1913), Über ein Anwendung der Mengenlehre auf die Theorie des Schachspiels, in: Proceedings of the Fifth International Congress of Mathematicians, Cambridge, 11-28 August 1912, edited by E.W. Hobson and A.E.H. Love, Vol. 2, Cambridge University Press, Cambridge, pp. 501-504. -- Stephen C. Kleene (1981), 'Origins of Recursive Function Theory', Annals of the History of Computing, 3 (1), January, 52-67 -- A.M. Turing (1954), 'Solvable and Unsolvable Problems', Science News, 31, 7-23 -- L.E.J. Brouwer (1952), 'An Intuitionist Correction of the Fixed-Point Theorem on the Sphere', Proceedings of the Royal Society of London, Series A, 213 (1112), June, 1-2 -- Allen Newell, J.C. Shaw and Herbert A. Simon (1958), 'Elements of a Theory of Human Problem Solving', Psychological Review, 65 (3), 151-66 -- Ronald Harrop (1961), 'On The Recursivity of Finite Sets', Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 7 (2), 136-40 -- H. Steinhaus (1965), 'Games, An Informal Talk', American Mathematical Monthly, 72 (5), May, 457-68 , Hilary Putnam ([1967] 1975), 'The Mental Life of Some Machines', in H. Castaneda (ed.), Intentionality, Minds and Perception, reprinted in Hilary Putnam (ed.), Mind, Language and Reality: Philosophical Papers, Volume 2, Chapter 20, Cambridge, UK; Cambridge University Press, 408-28, references -- Douglas S. Bridges (1999), 'Constructive Methods in Mathematical Economics', Journal of Economics, Supplement 8, 1-21 -- Douglas S. Bridges (1982), 'Preference and Utility: A Constructive Development', Journal of Mathematical Economics, 9, 165-85 -- Alain A. Lewis (1985), 'On Effectively Computable Realizations of Choice Functions', Mathematical Social Sciences, 10 (1), August, 43-80 -- Alain A. Lewis (1985), 'The Minimum Degree of Recursively Representable Choice Functions', Mathematical Social Sciences, 10 (2), October, 179-88 -- Berc Rustem and Kumaraswamy Velupillai (1990), 'Rationality, Computability, and Complexity', Journal of Economic Dynamics and Control, 14 (2), May, 419-32 -- Gregory Lilly (1993), 'Recursiveness and Preference Orderings', Journal of Economic Dynamics and Control, 17 (5-6), September-November, 865-76 -- Michael O. Rabin (1957), 'Effective Computability of Winning Strategies', Annals of Mathematics Studies, 39, 147-57 -- Luca Anderlini (1990), 'Some Notes on Church's Thesis and the Theory of Games', Theory and Decision, 29 (1), 19-52 -- Kislaya Prasad (1991), 'Computability and Randomness of Nash Equilibrium in Infinite Games', Journal of Mathematical Economics, 20 (5), 429-42 -- David Canning (1992), 'Rationality, Computability, and Nash Equilibrium', Econometrica, 60 (4), July, 877-88 -- Kislaya Prasad (1997), 'On the Computability of Nash Equilibria', Journal of Economic Dynamics and Control, 21 (6), June, 943-53 -- K. (Vela) Velupillai (1997), 'Expository Notes on Computability and Complexity in (Arithmetical) Games', Journal of Economic Dynamics and Control, 21 (6), June, 955-79 -- Marcelo Tsuji, Newton C.A. Da Costa and Francisco A. Doria (1998), 'The Incompleteness of Theories of Games', Journal of Philosophical Logic, 27 (6), December, 553-68 -- Rolf Ricardo Mantel (1968), 'Toward a Constructive Proof of the Existence of Equilibrium in a Competitive Economy', Yale Economic Essays, 8 (1), Spring, 155-96 -- Hirofumi Uzawa (1962), 'Walras' Existence Theorem and Brouwer's Fixed-Point Theorem', Economic Studies Quarterly, 8 (1), 59-62 -- Herbert E. Scarf (1984), 'The Computation of Equilibrium Prices', in Herbert E. Scarf and John B. Shoven (eds), Applied General Equilibrium Analysis, Chapter 1, Cambridge, UK: Cambridge University Press, 1-49 -- K. Vela Velupillai (2006), 'Algorithmic Foundations of Computable General Equilibrium Theory', Applied Mathematics and Computation, 179 (1), 360-69 -- Yasuhito Tanaka (2008), 'Undecidability of Uzawa Equivalence Theorem and LLPO (Lesser Limited Principle of Omniscience)', Applied Mathematics and Computation, 201 (1-2), July, 378-83 , Stephen E. Spear (1989), 'Learning Rational Expectations Under Computability Constraints', Econometrica, 57 (4), July, 889-910 -- Francesco Luna (1997), 'Learning in a Computable Setting. Applications of Gold's Inductive Inference Model', in Hans Amman, Berc Rustem and Andrew Whinston (eds), Computational Approaches to Economic Problems, Dordrecht, The Netherlands: Kluwer Academic Publishers, 271-88 -- Stefano Zambelli (2004), 'Production of Ideas by Means of Ideas: A Turing Machine Metaphor', Metroeconomica, 55 (2&3), 155-79 -- K. Vela Velupillai (2007), 'The Impossibility of an Effective Theory of Policy in a Complex Economy', in Massimo Salzano and David Colander (eds), Complexity Hints for Economic Policy, Berlin, Germany and New York, NY: Springer-Verlag, 273-90 -- Alain A. Lewis (1991), 'On the Effective Content of Asymptotic Verifications of Edgeworth's Conjecture', Mathematical Social Sciences, 22 (3), December, 275-324 -- Marcel K. Richter and Kam-Chau Wong (1999), 'Non-Computability of Competitive Equilibrium', Economic Theory, 14 (1), July, 1-27 -- K. Vela Velupillai (2009), 'Uncomputability and Undecidability in Economic Theory', Applied Mathematics and Computation, 215 (4), October, 1404-16 -- Alain A. Lewis (1988), 'An Infinite Version of Arrow's Theorem in the Effective Setting', Mathematical Social Sciences, 16 (1), August, 41-8 -- Jerry S. Kelly (1988), 'Social Choice and Computational Complexity', Journal of Mathematical Economics, 17 (1), 1-8 -- H. Reiju Mihara (1997), 'Arrow's Theorem and Turing Computability', Economic Theory, 10 (2), August, 257-76 -- A.R.D. Mathias (1992), 'The Ignorance of Bourbaki', Mathematical Intelligencer, 14 (3), 4-13 -- Luca Anderlini and Leonardo Felli (1994), 'Incomplete Written Contracts: Undescribable States of Nature', Quarterly Journal of Economics, 109 (4), November, 1085-124 -- K. Vela Velupillai (2005), 'The Unreasonable Ineffectiveness of Mathematics in Economics', Cambridge Journal of Economics, 29 (6), November, 849-72
    Language: English
    Keywords: Electronic books. ; Electronic books ; Electronic books
    URL: FULL  (Click to View (Currently Only Available on Campus))
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 2
    Online Resource
    Online Resource
    Rochester, N.Y. :Camden House,
    UID:
    almafu_9960997343602883
    Format: 1 online resource (vi, 305 pages) : , digital, PDF file(s).
    ISBN: 1-280-48874-3 , 9786613583970 , 1-57113-782-3
    Series Statement: Studies in German literature, linguistics, and culture
    Content: New essays employing a multitude of approaches to the works of Kleist, in the process shedding light on our present modernity. Modernity, according to some views, poses the problem of homo politicus -- the problem of how to act in a moral universe without a "master narrative," without a final foundation. From this angle, the oeuvre of Heinrich vonKleist -- novellas, dramas, and essays -- addresses problems emerging from a new universe of Kantian provenance, in many ways the same universe we inhabit today. This volume of new essays investigates Kleist's position in ourever-changing conception of modernity, employing aesthetic, narrative, philosophical, biographical, political, economic, anthropological, psychological, and cultural approaches and wrestling with the difficulties of historicizingKleist's life and work. Central questions are: To what extent can the multitude of breaking points and turning points, endgames and pre-games, ruptures and departures that permeate Kleist's work and biography be conceptually bundled together and linked to the emerging paradigm of modernity? And to what extent does such an approach to Kleist not only advance understanding of this major German writer and his work, but also shed light on the nature of our present modernity? Contributors: Seán Allan, Peter Barton, Hilda Meldrum Brown, David Chisholm, Andreas Gailus, Bernhard Greiner, Jeffrey L. High, Anette Horn, Peter Horn, Wolf Kittler, Jonathan W. Marshall, Christian Moser, Dorothea von Mücke, Nancy Nobile, David Pan, Ricarda Schmidt, Helmut J. Schneider. Bernd Fischer is Professor of German at the Ohio State University. Tim Mehigan is Professor of German in the Department of Languagesand Cultures at the University of Otago, New Zealand.
    Note: Title from publisher's bibliographic system (viewed on 14 Feb 2023). , Zu Ende schreiben : Ultimative Strategien im Schaffen Kleists / Bernhard Greiner -- "Sein Nahen ist ein Wehen aus der Ferne" : Ottokar's leap in Die Familie Schroffenstein / Nancy Nobile -- The fragmented picture and Kleist's Zerbrochner Krug / Dorothea von Mucke -- "So glaubst du jetzt, da? ich dir Wahrheit gab?" : gender, power and the performance of justice in Kleist's Der zerbrochne Krug / Sean Allan -- Recht als Krieg. moderne Staatlichkeit und die Aporien legalistischer Herrschaft bei Heinrich von Kleist / Christian Moser -- Representing the nation in Heinrich von Kleist's Prinz Friedrich von Homburg / David Pan -- Herrschaftsgenealogie und Staatsgemeinschaft : zu Kleists Dramaturgie der Moderne im Prinzen von Homburg / Helmut Schneider -- Changing perceptions of modernity in nineteenth-century German theater from Goethe to Wagner, with reference to Kleist's Prinz Friedrich von Homburg / Hilda Meldrum Brown -- Weiblicher Sadismus, Wutwelt des Liebes-Urwalds, Geschlechtskampf, absolutes Gefuhl : die Penthesilea-Rezeption in der Moderne / Ricarda Schmidt -- Prosodic and dramatic tension in the blank verse dramas of Heinrich von Kleist / David Chisholm -- Crisis, denial, and outrage : Kleist (Schiller, Kant) and the path to the German novella(s) of modernity / Jeffrey High -- Das Gespenst der Armut : "Das Bettelweib von Locarno"--zwischen traditioneller christlicher, kantisch aufgeklarter und moderner marxistischer Auffassung / Peter Horn -- The problem of knowledge and the discourse of the hysteric : exploring a Lacanian interpretation of "Die Marquise von O-- " / Peter Barton -- Religion nach der Aufklarung : Die Heilige Cacilie--Identitat, Religion und Moderne / Anette Horn -- Breaking skulls : Kleist, Hegel, and the force of assertion / Andreas Gailus -- Kleist's "Ubermarionette" and Schrenck-Notzing's "Traumtanzerin" : nervous mechanics and hypnotic performance under modernism / Jonathan Marshall -- Falling after the fall : the analysis of the infinite in Kleist's marionette theater / Wolf Kittler. , English
    Additional Edition: ISBN 1-57113-506-5
    Language: English
    Subjects: German Studies
    RVK:
    Keywords: Electronic books
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 3
    Online Resource
    Online Resource
    Cambridge :Cambridge University Press,
    UID:
    almafu_9960117277202883
    Format: 1 online resource (xviii, 515 pages) : , digital, PDF file(s).
    ISBN: 1-316-43039-1 , 1-316-43536-9 , 1-316-33777-4
    Content: Over the past three decades there has been a total revolution in the classic branch of mathematics called 3-dimensional topology, namely the discovery that most solid 3-dimensional shapes are hyperbolic 3-manifolds. This book introduces and explains hyperbolic geometry and hyperbolic 3- and 2-dimensional manifolds in the first two chapters and then goes on to develop the subject. The author discusses the profound discoveries of the astonishing features of these 3-manifolds, helping the reader to understand them without going into long, detailed formal proofs. The book is heavily illustrated with pictures, mostly in color, that help explain the manifold properties described in the text. Each chapter ends with a set of exercises and explorations that both challenge the reader to prove assertions made in the text, and suggest further topics to explore that bring additional insight. There is an extensive index and bibliography.
    Note: Title from publisher's bibliographic system (viewed on 05 Jan 2016). , Cover -- Half-title page -- Frontis piece -- Title page -- Copyright page -- Dedication -- Contents -- List of Illustrations -- Preface -- 1 Hyperbolic space and its isometries -- 1.1 Möbius transformations -- 1.2 Hyperbolic geometry -- 1.2.1 The hyperbolic plane -- 1.2.2 Hyperbolic space -- 1.3 The circle or sphere at infinity -- 1.4 Gaussian curvature -- 1.5 Further properties of Möbius transformations -- 1.5.1 Commutativity -- 1.5.2 Isometric circles and planes -- 1.5.3 Trace identities -- 1.6 Exercises and explorations -- 2 Discrete groups -- 2.1 Convergence of Möbius transformations -- 2.1.1 Some group terminology -- 2.2 Discreteness -- 2.3 Elementary discrete groups -- 2.4 Kleinian groups -- 2.4.1 The limit set Λ (G) -- 2.4.2 The ordinary (regular, discontinuity) set Ω (G) -- 2.5 Quotient manifolds and orbifolds -- 2.5.1 Covering surfaces and manifolds -- 2.5.2 Orbifolds -- 2.5.3 The conformal boundary -- 2.6 Two fundamental algebraic theorems -- 2.7 Introduction to Riemann surfaces and their uniformization -- 2.8 Fuchsian and Schottky groups -- 2.8.1 Handlebodies -- 2.9 Riemannian metrics and quasiconformal mappings -- 2.10 Teichmüller spaces of Riemann surfaces -- 2.10.1 Teichmüller mappings -- 2.11 The mapping class group MCG(R) -- 2.11.1 Dehn twists -- 2.11.2 The action of MCG(R) on R and Teich(R) -- 2.11.3 The complex structure of Teich(R) -- 2.12 Exercises and explorations -- 2.12.1 Summary of group properties -- 3 Properties of hyperbolic manifolds -- 3.1 The Ahlfors Finiteness Theorem -- 3.2 Tubes and horoballs -- 3.3 Universal properties in hyperbolic 3-manifolds and orbifolds -- 3.4 The thick/thin decomposition of a manifold -- 3.5 Fundamental polyhedra -- 3.5.1 The Ford fundamental region and polyhedron -- 3.5.2 Poincaré's Theorem -- 3.5.3 The Cayley graph dual to tessellation -- 3.6 Geometric finiteness -- 3.6.1 Finite volume. , 3.7 Three-manifold surgery -- 3.7.1 Compressible and incompressible boundary -- 3.7.2 Extensions ∂M→M -- 3.8 Quasifuchsian groups -- 3.8.1 Simultaneous uniformization -- 3.9 Geodesic and measured geodesic laminations -- 3.9.1 Geodesic laminations -- 3.9.2 Measured geodesic laminations -- 3.9.3 Geometric intersection numbers -- 3.9.4 Length of measured laminations -- 3.10 The convex hull of the limit set -- 3.10.1 The bending measure -- 3.10.2 Pleated surfaces -- 3.11 The convex core -- 3.11.1 Length estimates for the convex core boundary -- 3.11.2 Bending measures on convex core boundary -- 3.12 The compact and relative compact core -- 3.13 Rigidity of hyperbolic 3-manifolds -- 3.14 Exercises and explorations -- 4 Algebraic and geometric convergence -- 4.1 Algebraic convergence -- 4.2 Geometric convergence -- 4.3 Polyhedral convergence -- 4.4 The geometric limit -- 4.5 Sequences of limit sets and regions of discontinuity -- 4.5.1 Hausdorff and Carathéodory convergence -- 4.5.2 Convergence of groups and regular sets -- 4.6 New parabolics -- 4.7 Acylindrical manifolds -- 4.8 Dehn filling and Dehn surgery -- 4.9 The prototypical example -- 4.10 Manifolds of finite volume -- 4.10.1 The Dehn Surgery Theorem -- 4.10.2 Sequences of volumes -- 4.10.3 Well ordering of volumes -- 4.10.4 Minimum volumes -- 4.11 Exercises and explorations -- 5 Deformation spaces and the ends of manifolds -- 5.1 The representation variety -- 5.1.1 The discreteness locus -- 5.1.2 The quasiconformal deformation space T(G) -- 5.2 Homotopy equivalence -- 5.2.1 Components of the discreteness locus -- 5.3 The quasiconformal deformation space boundary -- 5.3.1 Bumping and self-bumping -- 5.4 The three conjectures for geometrically infinite manifolds -- 5.5 Ends of hyperbolic manifolds -- 5.6 Tame manifolds -- 5.7 The Ending Lamination Theorem -- 5.8 The Double Limit Theorem. , 5.9 The Density Theorem -- 5.10 Bers slices -- 5.11 The quasifuchsian space boundary -- 5.11.1 The Bers (analytic) boundary -- 5.11.2 The Thurston (geometric) boundary -- 5.12 Examples of geometric limits at the Bers boundary -- 5.13 Classification of the geometric limits -- 5.14 Cannon-Thurston mappings -- 5.14.1 The Cannon-Thurston Theorem -- 5.14.2 Cannon-Thurston mappings and local connectivity -- 5.15 Exercises and explorations -- 6 Hyperbolization -- 6.1 Hyperbolic manifolds that fiber over a circle -- 6.1.1 Automorphisms of surfaces -- 6.1.2 Pseudo-Anosov mappings -- 6.1.3 The space of hyperbolic metrics -- 6.1.4 Fibering -- 6.2 Hyperbolic gluing boundary components -- 6.2.1 Skinning a bordered manifold -- 6.2.2 Totally geodesic boundary -- 6.2.3 Gluing boundary components -- 6.2.4 The Bounded Image Theorem -- 6.3 Hyperbolization of 3-manifolds -- 6.3.1 Review of definitions in 3-manifold topology -- 6.3.2 Hyperbolization -- 6.4 The three big conjectures, now theorems, for closed manifolds -- 6.4.1 Surface subgroups of π[sub(1)](M(G)) =G -- 6.4.2 Remarks on the proof of VHT and VFT: Cubulation -- 6.4.3 Prior computational evidence -- 6.5 Geometrization -- 6.6 Hyperbolic knots and links -- 6.6.1 Knot complements -- 6.6.2 Link complements -- 6.7 Computation of hyperbolic manifolds -- 6.8 The Orbifold Theorem -- 6.9 Exercises and explorations -- 7 Line geometry -- 7.1 Half-rotations -- 7.2 The Lie product -- 7.3 Square roots -- 7.4 Complex distance -- 7.5 Complex distance and line geometry -- 7.6 Exercises and explorations -- 8 Right hexagons and hyperbolic trigonometry -- 8.1 Generic right hexagons -- 8.2 The sine and cosine laws -- 8.3 Degenerate right hexagons -- 8.4 Formulas for triangles, quadrilaterals, and pentagons -- 8.5 Exercises and explorations -- Bibliography -- Index. , English
    Additional Edition: ISBN 1-107-11674-0
    Language: English
    URL: Volltext  (URL des Erstveröffentlichers)
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 4
    UID:
    almahu_9947367831502882
    Format: 1 online resource (503 p.)
    ISBN: 1-281-78829-5 , 9786611788292 , 0-08-087221-2
    Series Statement: North-Holland mathematics studies ; 110
    Content: Trends in the theory and practice of non-linear analysis
    Note: Description based upon print version of record. , Front Cover; Trends in the Theory and Practice of Non-Linear Analysis; Copyright Page; Table of Contents; Preface; On the Solutions of Third Order Non-Linear Boundary Value Problems; Recent Results on Multipoint Boundary Value Problems for Higher Order Differential Equations; A Theory of Nonlinear Evolution Equations; Asymptotic Analysis of a Functional-Integral Equation Related to Cell Population Kinetics; On the B-Convergence of the 0-Method Over Infinite Time for Time Stepping for Evolution Equations; Filter Stability in Flows , Containment of Solutions to Strongly Coupled Parabolic SystemsDevelopments in Fixed Point Theory for Nonexpansive Mappings; Hopf Bifurcation with a General Transversality Condition; Stability Regions of Certain Linear Second Order Periodic Differential Equations; Well-Posedness of Functional Differential Equations with Nonatomic D Operators; Periodicity in Linear Volterra Equations; A Nonlinear Diffusion Epidemic System with Boundary Feedback; Applications of Admissibility for Volterra Integral Equations; Multiple Solutions for a Dirichlet Problem with Jumping Nonlinearities , Some Estimates for a System of Multiple ReactionsQualitative Problems for Some Hyperbolic Equations; Viscosity Solutions of Hamilton-Jacobi Equations in Banach Spaces; Maximal Regularity for Abstract Differential Equations and Applications to the Existence of Periodic Solutions; A Finite Element Error Estimate for Regularized Compressible Flow; Some Results on Non-Resonant Non-Linear Delay Differential Equations; Asymptotics of Numerical Methods for Nonlinear Evolution Equations; Exponential Dichotomy of Nonlinear Systems of Ordinary Differential Equations; A Flow Associated with a Semiflow , A Method of Finding Critical Points of Nonlinear FunctionalsAsymptotic Behavior of Nonlinear Functional Evolution Equations in Fading Memory Spaces; Friendly Spaces for Functional Differential Equations with Infinite Delay; The First Boundary Value Problem for Nonlinear Diffusion; An Asymptotic Analysis of a Reaction-Diffusion System; On a Nonlinear Hyperbolic Integrodifferential Equation with a Singular Kernel; Boundary Trajectories of Generalized Control Systems; Isolation of the Zeros of a Complex Polynomial by Exploring Function Structure Uniqueness of the Solution Set Established , Distal, Equicontinuous, Zero Characteristic, and Recurrent Dynamical SystemsOn the Asymptotic Behavior of Solutions to Nonlinear Volterra Equations; Random Difference Inequalities; Singularly Perturbed Stochastic Differential Systems; Systems of First Order Partial Differential Equations and Monotone Iterative Technique; Improved a Posteriori Error Bounds for Quasilinear Boundary-Value Problems by the Method of Pseudolinear Equations; Periodic or Unbounded Solutions for a Class of Three-Dimensional ODE Systems with Biological Applications; The Phenomenon of Quenching: A Survey , Interpolation Between Spaces of Continuous Functions , English
    Additional Edition: ISBN 0-444-87704-5
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 5
    UID:
    almahu_9949858963402882
    Format: 1 online resource (597 pages)
    Edition: 1st ed. 2024.
    ISBN: 3-031-65633-4
    Series Statement: Lecture Notes in Computer Science, 14683
    Content: This open access 3-volume set constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July 24–27, 2024. The primary focus of CAV is to extend the frontiers of verification techniques by expanding to new domains such as security, quantum computing, and machine learning.
    Note: Intro -- Preface -- Organization -- Invited Talks -- How to Solve Math Problems Without Talent -- Bridging Formal Mathematics and Software Verification -- The Art of SMT Solving -- Contents - Part III -- Synthesis and Repair -- Syntax-Guided Automated Program Repair for Hyperproperties -- 1 Introduction -- 2 Preliminaries -- 3 Program Repair by Symbolic Execution -- 3.1 Symbolic Execution -- 3.2 Symbolic Paths and Safety Automata -- 3.3 Encoding for HyperLTL -- 3.4 Program Repair Using SyGuS -- 4 Transparent Repair -- 4.1 Transparency -- 4.2 Encoding for Transparent Repair -- 5 Iterative Repair -- 5.1 Encoding for Iterative Repair -- 5.2 Iterative Repair Loop -- 6 Implementation and Evaluation -- 6.1 Iterative Repair for Hyperproperties -- 6.2 Scalability in Solution Size -- 6.3 Evaluation on k-Safety Instances -- 6.4 Evaluation on Functional Properties -- 7 Related Work -- 8 Conclusion -- References -- The SemGuS Toolkit -- 1 Introduction -- 2 The SemGuS Format 1.0 -- 3 A Baseline SemGuS Solver -- 3.1 Verifying Candidate Solutions -- 3.2 Baseline Enumerative Solvers -- 3.3 Extensibility -- 4 Benchmarks and Performance of Baseline Solvers -- 5 Related Work -- References -- Relational Synthesis of Recursive Programs via Constraint Annotated Tree Automata -- 1 Introduction -- 2 Motivating Example -- 3 Preliminaries -- 4 Constraint Annotated Tree Automata -- 4.1 CATA Operations for Synthesis -- 5 Synthesis Algorithm -- 5.1 Problem Statement -- 5.2 Basic Synthesis Algorithm -- 5.3 Lazy Synthesis Algorithm -- 6 Implementation -- 7 Evaluation -- 8 Related Work -- 9 Conclusion -- References -- Information Flow Guided Synthesis with Unbounded Communication -- 1 Introduction -- 2 Running Example: Sequence Transmission -- 3 Preliminaries -- 4 Prefix Information Flow -- 5 Unbounded Communication in Distributed Systems -- 5.1 Receiving Information. , 5.2 Transmitting Information -- 5.3 Safety Hyper Implementations -- 6 Synthesis with Prefix Information Flow Assumptions -- 6.1 Automata for Assume and Guarantee Specifications -- 6.2 Compositional Synthesis -- 7 Experiments -- 8 Related Work -- 9 Conclusion -- References -- Synthesis of Temporal Causality -- 1 Introduction -- 1.1 Temporal Causality -- 1.2 Contributions and Structure -- 2 Preliminaries -- 3 Overview: The Topology of Causality -- 3.1 Actual Causes as Downward Closed Sets of Traces -- 3.2 Causality Without the Limit Assumption -- 4 Generalized Temporal Causality -- 4.1 Similarity Relations and the Limit Assumption -- 4.2 A General Definition of Temporal Causality -- 4.3 Proving Generalization -- 5 Cause Synthesis -- 5.1 Proving Our Characterization -- 5.2 Cause-Synthesis Algorithm for -Regular Effects -- 6 Implementation and Evaluation -- 6.1 Cause Synthesis -- 6.2 Cause Checking -- 7 Related Work -- 8 Conclusion -- References -- Dynamic Programming for Symbolic Boolean Realizability and Synthesis -- 1 Introduction -- 2 Preliminary Definitions -- 2.1 Boolean Formula and Synthesis Concepts -- 2.2 Dynamic Programming Concepts - Project-Join Trees -- 3 Realizability CheckingProofs for All Lemmas and Theorems Can Be Found in the Appendix A. -- 3.1 Theoretical Basis and Valuations in Trees -- 3.2 Determining Nullary, Partial and Full Realizability -- 4 Synthesis of Witness Functions -- 4.1 Monolithic Approach -- 4.2 Synthesis Using Graded Project-Join Trees -- 5 Experimental Evaluation -- 5.1 Realizability-Checking Phase -- 5.2 Synthesis -- 5.3 Tree Widths and Realizability -- 5.4 Comparison with Non-BDD-Based Synthesis -- 6 Concluding Remarks -- References -- Localized Attractor Computations for Infinite-State Games -- 1 Introduction -- 2 Preliminaries -- 3 Attractor Computation with Caching -- 4 Abstract Template-Based Cache Generation. , 4.1 Generating Attractor Caches from Sub-Games -- 4.2 Constructing Sub-games from Abstract Strategy Templates -- 5 Game Solving with Abstract Template-Based Caching -- 6 Experimental Evaluation -- 7 Related Work -- 8 Conclusion -- References -- Learning -- Bisimulation Learning -- 1 Introduction -- 2 Illustrative Example -- 3 Stutter-Insensitive Bisimulations of Deterministic Transition Systems -- 3.1 Model Checking -- 4 Counterexample-Guided Bisimulation Learning -- 4.1 Learner-Verifier Framework for Bisimulation Learning -- 4.2 Binary Decision Tree Partition Templates -- 5 Experimental Evaluation -- 5.1 Discrete-Time Clock Synchronization -- 5.2 Conditional Termination -- 6 Conclusion -- References -- Regular Reinforcement Learning -- 1 Introduction -- 2 Related Work -- 3 Preliminaries -- 3.1 Regular Languages -- 3.2 Rational Transductions -- 3.3 Markov Decision Processes -- 4 Regular Markov Decision Processes -- 4.1 Undecidability of Values -- 4.2 Discounted Optimization -- 4.3 Finiteness Conditions -- 4.4 Q-Learning in RMDPs -- 5 Deep Regular Reinforcement Learning -- 5.1 Token Passing -- 5.2 Duplicating Pebbles -- 5.3 Shunting Yard Algorithm -- 5.4 Modified Tangrams -- 6 Conclusion -- References -- LTL Learning on GPUs -- 1 Introduction -- 2 Formal Preliminaries -- 3 High-Level Structure of the Algorithm -- 4 In-Memory Representation of Search Space -- 5 Correctness and Complexity of the Branch-Free Implementation of Temporal Operators -- 6 Relaxed Uniqueness Checks -- 7 Divide & -- Conquer -- 8 Evaluation of Algorithm Performance -- 9 Conclusion -- References -- Safe Exploration in Reinforcement Learning by Reachability Analysis over Learned Models -- 1 Introduction -- 2 Problem Setup -- 3 Verified Exploration Through Learned Models -- 3.1 Symbolic Environment Models -- 3.2 Shielding for Verified Safe Exploration. , 3.3 Neural Controller Approximation -- 4 Experiments -- 5 Related Work -- 6 Conclusion -- References -- Cyberphysical and Hybrid Systems -- Using Four-Valued Signal Temporal Logic for Incremental Verification of Hybrid Systems -- 1 Introduction -- 1.1 Related Work -- 1.2 Contributions -- 2 Preliminaries and Problem Statement -- 2.1 Intervals -- 2.2 Truth Values -- 2.3 Signals -- 2.4 Reachability Analysis of Hybrid Systems -- 2.5 Signal Temporal Logic with Boolean Semantics -- 2.6 Problem Statement -- 3 Basic Idea and Solution Concept -- 4 Four-Valued Signal Temporal Logic -- 4.1 Computing Boolean Satisfaction Signals -- 4.2 Computing Three-Valued Satisfaction Signals -- 4.3 Computing Four-Valued Satisfaction Signals -- 5 Incremental Verification of Hybrid Systems -- 5.1 Incremental Verification Algorithm -- 5.2 Refinement via Branching the Reachability Analysis -- 6 Evaluation -- 6.1 Bouncing Ball -- 6.2 Autonomous Driving -- 6.3 Genetic Oscillator -- 7 Conclusion -- References -- Optimization-Based Model Checking and Trace Synthesis for Complex STL Specifications -- 1 Introduction -- 2 Preliminaries -- 2.1 Signal Temporal Logic -- 2.2 Finite Variability -- 3 Problem Formulation -- 4 Variable-Interval Encoding of STL to MILP -- 4.1 -Stable Partitions -- 4.2 Variable-Interval MILP Encoding -- 5 System Models and Their MILP Encoding -- 5.1 HAs with Closed-Form Solutions -- 5.2 HAs with Double Integrator Dynamics -- 6 Implementation and Experiments -- References -- Inner-Approximate Reachability Computation via Zonotopic Boundary Analysis -- 1 Introduction -- 2 Preliminaries -- 2.1 Notation -- 2.2 Problem Statement -- 3 Methodology -- 3.1 Inner-Approximation Computation Framework -- 3.2 Extraction of Zonotopes' Boundaries -- 3.3 Zonotopal Tiling and Boundary Refinement -- 3.4 Contracting Computed Outer-Approximation -- 4 Experiments. , 4.1 Advantage in Efficiency and Precision -- 4.2 Advantage in Long Time Horizons -- 4.3 Advantage in Big Initial Sets -- 5 Conclusion -- References -- Scenario-Based Flexible Modeling and Scalable Falsification for Reconfigurable CPSs -- 1 Introduction -- 2 Background -- 2.1 Preliminaries -- 2.2 Motivating Example: A Multi-UAV System -- 3 Scenario-Based Formalism for Reconfigurable Systems -- 3.1 Scenario-Based System Modeling -- 3.2 Specifying System Requirements in Topology-Aware STL -- 4 Path-Oriented Optimization-Based System Falsification -- 4.1 Falsification Framework -- 4.2 Path Generation for Hierarchical Scenario Tasks -- 4.3 Optimization-Based Falsification for Paths -- 5 Implementation and Evaluation -- 5.1 Implementation and Research Questions -- 5.2 Experimental Evaluation and Analysis -- 5.3 Threats to Validity -- 6 Related Work -- 7 Conclusion and Future Work -- References -- Probabilistic Systems -- Playing Games with Your PET: Extending the Partial Exploration Tool to Stochastic Games -- 1 Introduction -- 2 Preliminaries -- 3 Complete-Exploration Algorithm for Solving SGs -- 4 Partial-Exploration Algorithm for Solving SGs -- 5 Tool Description -- 6 Experimental Evaluation -- 6.1 Experimental Setup -- 6.2 Results -- 7 Conclusion -- References -- What Should Be Observed for Optimal Reward in POMDPs? -- 1 Introduction -- 2 Preliminaries -- 2.1 Markov Decision Processes (MDPs) -- 2.2 Partially Observable Markov Decision Processes -- 3 The Optimal Observability Problem -- 3.1 Problem Statement -- 3.2 Undecidability -- 4 Optimal Observability for Positional Strategies -- 4.1 Positional and Deterministic Strategies -- 4.2 Positional Randomized Strategies -- 5 Implementation and Experimental Evaluation -- 5.1 Solving Optimal Observability Problems with Parameter Synthesis Tools -- 5.2 Implementation and Setup -- 5.3 Experimental Results. , 6 Conclusion and Future Work.
    Additional Edition: ISBN 3-031-65632-6
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 6
    Online Resource
    Online Resource
    Cambridge, MA ; : Gulf Professional Publishing, An imprint of Elsevier,
    UID:
    almahu_9948389020602882
    Format: 1 online resource (864 pages)
    Edition: Fourth edition.
    ISBN: 0-12-815878-6
    Note: Front Cover -- Handbook of Natural Gas Transmission and Processing -- Handbook of Natural Gas Transmission and Processing: Principles and Practices -- Copyright -- Disclaimer -- Dedication -- Contents -- With Contribution by -- About the Authors -- Preface to the Fourth Edition -- Endorsements for the Fourth Edition -- 1 - NATURAL GAS FUNDAMENTALS -- 1.1 INTRODUCTION -- 1.2 NATURAL GAS HISTORY -- 1.3 NATURAL GAS ORIGIN AND SOURCES -- 1.3.1 CONVENTIONAL GAS -- 1.3.2 UNCONVENTIONAL GAS -- 1.4 NATURAL GAS COMPOSITION AND CLASSIFICATION -- 1.5 NATURAL GAS PHASE BEHAVIOR -- 1.6 NATURAL GAS PROPERTIES -- 1.6.1 CHEMICAL AND PHYSICAL PROPERTIES -- 1.6.1.1 Gas Specific Gravity -- 1.6.1.2 Gas Compressibility Factor -- 1.6.1.3 Gas Formation Volume Factor -- 1.6.1.4 Gas Density -- 1.6.1.5 Isothermal Compressibility of Gases -- 1.6.1.6 Gas Viscosity -- 1.6.2 THERMODYNAMIC PROPERTIES -- 1.6.2.1 Specific Heat -- 1.6.2.2 Joule-Thomson Coefficient -- 1.7 NATURAL GAS RESERVES -- 1.8 NATURAL GAS EXPLORATION AND PRODUCTION -- 1.8.1 CONVENTIONAL GAS -- 1.8.1.1 Exploration -- 1.8.1.2 Drilling -- 1.8.1.3 Completion -- 1.8.1.4 Production -- 1.8.2 UNCONVENTIONAL GAS -- 1.8.2.1 Exploration -- 1.8.2.2 Drilling -- 1.8.2.3 Completion -- 1.8.2.4 Production -- 1.8.3 WELL DELIVERABILITY -- 1.9 NATURAL GAS GATHERING -- 1.10 NATURAL GAS TRANSPORTATION -- 1.10.1 PIPELINES -- 1.10.2 LIQUEFIED NATURAL GAS -- 1.10.3 COMPRESSED NATURAL GAS -- 1.10.4 GAS-TO-LIQUIDS -- 1.10.5 GAS-TO-SOLID -- 1.10.6 GAS-TO-WIRE -- 1.10.7 COMPARISON BETWEEN VARIOUS METHODS -- 1.11 NATURAL GAS PROCESSING -- 1.12 SALES GAS TRANSMISSION -- 1.13 UNDERGROUND GAS STORAGE -- 1.13.1 DEPLETED RESERVOIRS -- 1.13.2 AQUIFERS -- 1.13.3 SALT CAVERNS -- REFERENCES -- 2 - PHASE BEHAVIOR OF NATURAL GAS SYSTEMS -- 2.1 INTRODUCTION -- 2.2 FUNDAMENTALS OF NATURAL GAS PHASE BEHAVIOR -- 2.2.1 SINGLE-COMPONENT SYSTEMS. , 2.2.2 BINARY SYSTEMS -- 2.2.3 PHASE ENVELOPES (OR ISOPLETHS) OF BINARY SYSTEMS -- 2.2.4 PHASE ENVELOPES OF PETROLEUM FLUIDS -- 2.2.5 CALCULATION OF VAPOR-LIQUID EQUILIBRIA IN NATURAL GAS SYSTEMS -- 2.2.5.1 Introduction: Phase Variables Versus Global Variables -- 2.2.5.2 The 2-Phase Equilibrium Condition -- 2.2.5.3 Models for Calculating Vapor-Liquid Equilibria in Natural Gas Systems -- 2.2.5.4 Expression of the Equilibrium Condition When Using Pressure-Explicit EoS to Model Fluid Properties -- 2.2.5.5 Gibbs Phase Rule -- 2.2.5.6 Calculation Principle of a Phase Envelope -- 2.2.5.7 Calculation Principle of a PT Flash -- 2.3 NATURAL GASES PHASE BEHAVIOR MODELING WITH CUBIC EOS -- 2.3.1 SOME WORDS ABOUT CUBIC EQUATIONS OF STATE HISTORY -- 2.3.2 GENERAL PRESENTATION OF CUBIC EQUATIONS OF STATE -- 2.3.2.1 Presentation of Some Alpha Functions Usable With Cubic Equations of State -- 2.3.3 DISCUSSION ABOUT THE MIXING RULES TO BE USED TO MODEL THE PHASE BEHAVIOR AND ENTHALPIES OF NATURAL GASES WITH CUBIC EQUATIONS OF STATE -- 2.3.3.1 Correlations to Estimate the Binary Interaction Parameters -- 2.3.3.2 GCMs to Estimate the Binary Interaction Parameters -- 2.3.3.2.1 The Abdoul-Rauzy-Péneloux Model -- 2.3.3.2.2 The PPR78 Model -- 2.3.3.2.2.1 Presentation -- 2.3.3.2.2.2 On the Temperature Dependence of the kij Parameter -- 2.3.3.2.3 Soave's GCM -- 2.3.3.3 kij(T) Values: How to Switch From a Cubic EoS to Another One? -- 2.3.3.4 Other Mixing Rules -- 2.3.3.4.1 The Infinite Pressure Reference -- 2.3.3.4.1.1 The Huron-Vidal Mixing Rules -- 2.3.3.4.1.2 The Van der Waals One-Fluid (VdW1f) Mixing Rules -- 2.3.3.4.1.3 The Wong-Sandler Mixing Rules -- 2.3.3.4.2 The Zero-Pressure Reference -- 2.3.3.4.2.1 The MHV-1 Mixing Rule -- 2.3.3.4.2.2 The PSRK Model -- 2.3.3.4.2.3 The Universal Mixing Rule of Peng-Robinson and Volume-Translated Peng-Robinson Models. , 2.3.3.4.2.4 The LCVM Model -- 2.3.3.4.2.5 The MHV-2 Mixing Rule -- 2.3.4 ENERGETIC ASPECTS: ESTIMATION OF ENTHALPIES FROM CUBIC EOS -- 2.3.4.1 Calculation of Pure-Component Enthalpies -- 2.3.4.2 Calculation of the Enthalpy Change on Mixing -- 2.3.4.3 Practical Use of Enthalpies of Mixing and Illustration With the PPR78 Model -- 2.4 NATURAL GASES PHASE BEHAVIOR MODELING WITH SAFT-TYPE EOS -- 2.4.1 THE ORIGINAL SAFT EOS -- 2.4.2 MODIFICATIONS OF THE SAFT EQUATION -- 2.5 NATURAL GASES PHASE BEHAVIOR MODELING WITH THE GERG-2008 EOS -- 2.6 DEW POINT PRESSURES PREDICTION OF NATURAL GASES -- 2.7 EFFECT OF THE HEAVY-END CHARACTERIZATION ON THE HYDROCARBON DEW POINT CURVE CALCULATION -- 2.8 CONCLUSION -- REFERENCES -- 3 - RAW GAS TRANSMISSION -- 3.1 INTRODUCTION -- 3.2 MULTIPHASE FLOW TERMINOLOGY -- 3.2.1 SUPERFICIAL VELOCITY -- 3.2.2 MIXTURE VELOCITY -- 3.2.3 HOLDUP -- 3.2.4 PHASE VELOCITY -- 3.2.5 SLIP -- 3.2.6 MIXTURE DENSITY -- 3.2.7 MIXTURE VISCOSITY -- 3.2.8 MIXTURE PRESSURE DROP -- 3.2.9 MIXTURE ENTHALPY -- 3.3 MULTIPHASE FLOW REGIMES -- 3.3.1 TWO-PHASE FLOW REGIMES -- 3.3.1.1 Horizontal Flow Regimes -- 3.3.1.1.1 Dispersed Bubble Flow -- 3.3.1.1.2 Plug (Elongated Bubble) Flow -- 3.3.1.1.3 Stratified (Smooth and Wavy) Flow -- 3.3.1.1.4 Slug Flow -- 3.3.1.1.5 Annular Flow -- 3.3.1.2 Vertical Flow Regimes -- 3.3.1.2.1 Bubble Flow -- 3.3.1.2.2 Slug Flow -- 3.3.1.2.3 Churn (Transition) Flow -- 3.3.1.2.4 Annular Flow -- 3.3.1.3 Inclined Flow Regimes -- 3.3.1.4 Flow Pattern Maps -- 3.3.2 THREE-PHASE FLOW REGIMES -- 3.3.3 GAS-CONDENSATE FLOW REGIMES -- 3.4 DETERMINING MULTIPHASE FLOW DESIGN PARAMETERS -- 3.4.1 STEADY-STATE TWO-PHASE FLOW -- 3.4.1.1 Single-Phase Flow Approaches -- 3.4.1.2 Homogeneous Flow Approaches -- 3.4.1.2.1 Lockhart and Martinelli Method -- 3.4.1.2.2 Beggs and Brill Method -- 3.4.1.3 Mechanistic Models. , 3.4.2 STEADY-STATE THREE-PHASE FLOW -- 3.4.3 TRANSIENT MULTIPHASE FLOW -- 3.4.3.1 Two Fluid Model -- 3.4.3.2 Drift Flux Model -- 3.4.4 MULTIPHASE GAS AND CONDENSATE FLOW -- 3.5 PREDICTING TEMPERATURE PROFILE OF A MULTIPHASE PIPELINE -- 3.6 VELOCITY CRITERIA FOR SIZING MULTIPHASE PIPELINES -- 3.7 MULTIPHASE PIPELINE OPERATIONS -- 3.7.1 LEAK DETECTION -- 3.7.2 PIPELINE DEPRESSURIZATION -- 3.7.3 PIGGING -- 3.8 MULTIPHASE FLOW ASSURANCE -- 3.8.1 GAS HYDRATES -- 3.8.1.1 Hydrate Locus for Natural Gas Components -- 3.8.1.2 Prediction of Hydrate Formation Conditions -- 3.8.1.2.1 K-Factor Method -- 3.8.1.2.2 Baillie and Wichert Method -- 3.8.1.2.3 Gas Gravity Method -- 3.8.1.2.4 Commercial Software Programs -- 3.8.1.3 Hydrate Prevention Techniques -- 3.8.1.3.1 Thermal Methods -- 3.8.1.3.2 Chemical Inhibition -- 3.8.1.3.2.1 Types of Inhibitors -- 3.8.1.3.2.2 Prediction of Inhibitor Requirements -- 3.8.1.3.2.3 Design of Injection Systems -- 3.8.2 CORROSION -- 3.8.2.1 Choice of Corrosion-Resistant Metals -- 3.8.2.2 Corrosion Inhibitors -- 3.8.2.3 Cathodic Protection -- 3.8.2.4 Protective Coatings -- 3.8.2.5 Corrosion Monitoring -- 3.8.3 WAX -- 3.8.3.1 Wax Deposition -- 3.8.3.1.1 Wax Deposition Envelope -- 3.8.3.1.2 Gas-Condensate Wax Deposition Envelope -- 3.8.3.2 Wax Formation in Multiphase Gas-Condensate Pipelines -- 3.8.3.2.1 Identification of Wax Deposition Problems -- 3.8.3.2.2 Wax Deposition Inhibition/Prevention -- 3.8.3.2.3 Wax Deposit Remediation -- 3.8.3.2.4 Controlled Production of Wax Deposits -- 3.8.4 SLUGGING -- 3.8.4.1 Hydrodynamic Slugging -- 3.8.4.2 Terrain Induced Slugging -- 3.8.4.3 Riser Induced (Severe) Slugging -- 3.8.4.3.1 Severe Slugging Mechanism -- 3.8.4.3.2 Stability Analysis -- 3.8.4.3.3 Prevention and Control of Severe Slugging -- 3.8.4.3.3.1 Riser Base Gas Injection -- 3.8.4.3.3.2 Topside Choking -- 3.8.4.3.3.3 Control Methods. , 3.8.4.4 Operationally Induced Slugging -- 3.8.5 FLOW ASSURANCE RISK MANAGEMENT -- 3.8.5.1 Phase I: Assessing Flow Assurance Risks -- 3.8.5.2 Phase II: Defining Flow Assurance Mitigation Strategies -- 3.8.5.3 Phase III: Defining Flow Operability -- 3.8.5.4 Phase IV: Finalizing the Pipeline Operating Procedures -- 3.8.5.5 Phase V: Optimizing System Performance -- 3.8.5.6 Phase VI: Real Time Flow Assurance Monitoring -- REFERENCES -- 4 - BASIC CONCEPTS OF NATURAL GAS PROCESSING -- 4.1 INTRODUCTION -- 4.2 NATURAL GAS PROCESSING OBJECTIVES -- 4.3 GAS PROCESSING PLANT CONFIGURATIONS -- 4.3.1 GAS PLANT WITH HYDROCARBON DEW POINT CONTROLLING -- 4.3.1.1 Inlet Separation -- 4.3.1.2 Condensate Stabilization -- 4.3.1.3 Acid Gas Removal -- 4.3.1.4 Sulfur Recovery and Handling -- 4.3.1.5 Gas Dehydration -- 4.3.1.6 Mercaptans Removal -- 4.3.1.7 Hydrocarbon Dew Point Controlling -- 4.3.1.8 Nitrogen Rejection and Helium Recovery -- 4.3.1.9 Sales Gas Compression, Transmission, and Measurement -- 4.3.2 GAS PLANT FOR NATURAL GAS LIQUID PRODUCTION -- 4.3.2.1 Deep CO2 Removal -- 4.3.2.2 Deep Dehydration -- 4.3.2.3 Mercury Removal -- 4.3.2.4 Natural Gas Liquid Recovery and Fractionation -- 4.4 FINDING THE BEST GAS PROCESSING ROUTE -- 4.5 SUPPORT SYSTEMS -- 4.5.1 UTILITY AND OFF-SITE -- 4.5.2 PROCESS CONTROL -- 4.5.3 SAFETY SYSTEMS -- 4.6 CONTRACTUAL AGREEMENTS -- 4.6.1 KEEP WHOLE CONTRACTS -- 4.6.2 FLAT FEE CONTRACTS -- 4.6.3 PERCENTAGE OF PROCEEDS CONTRACTS -- 4.6.4 PROCESSING FEE CONTRACTS -- REFERENCES -- 5 - PHASE SEPARATION -- 5.1 INTRODUCTION -- 5.2 GRAVITY SEPARATORS -- 5.2.1 GENERAL DESCRIPTION -- 5.2.2 SEPARATORS SELECTION -- 5.2.2.1 Horizontal Separators -- 5.2.2.2 Vertical Separators -- 5.2.3 GRAVITY SEPARATION THEORY -- 5.2.4 DESIGN CONSIDERATIONS -- 5.3 MULTISTAGE SEPARATION -- 5.4 CENTRIFUGAL SEPARATORS -- 5.5 TWISTER SUPERSONIC SEPARATOR -- 5.6 SLUG CATCHERS. , 5.7 HIGH-EFFICIENCY LIQUID-GAS COALESCERS.
    Additional Edition: ISBN 0-12-815817-4
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 7
    UID:
    almahu_9948025807402882
    Format: 1 online resource (437 p.)
    Edition: 1st ed.
    ISBN: 1-280-64104-5 , 9786610641048 , 0-08-046134-4
    Series Statement: Handbook of geophysical exploration. Seismic exploration ; v.36
    Content: This book examines different classical and modern aspects of geophysical data processing and inversion with emphasis on the processing of seismic records in applied seismology. Chapter 1 introduces basic concepts including: probability theory (expectation operator and ensemble statistics), elementary principles of parameter estimation, Fourier and z-transform essentials, and issues of orthogonality. In Chapter 2, the linear treatment of time series is provided. Particular attention is paid to Wold decomposition theorem and time series models (AR, MA, and ARMA) and their connection t
    Note: Description based upon print version of record. , Cover; Contents; Some Basic Concepts; Introduction; Probability Distributions, Stationarity & Ensemble Statistics; Essentials of Probability Distributions; Ensembles, Expectations etc; The Ergodic Hypothesis; The Chebychev Inequality; Time Averages and Ergodidty; Properties of Estimators; Bias of an Estimator; An Example; Variance of an Estimator; An Example; Mean Square Error of an Estimator; Orthogonality; Orthogonal Functions and Vectors; Orthogonal Vector Space; Gram-Schmidt Orthogonalization; Remarks; Orthogonality and Correlation; Orthogonality and Eigenvectors; Fourier Analysis , IntroductionOrthogonal Functions; Fourier Series; The Fourier Transform; Properties of the Fourier Transform; The FT of Some Functions; Truncation in Time; Symmetries; Living in a Discrete World; Aliasing and the Poisson Sum Formula; Some Theoretical Details; Limits of Infinite Scries; Remarks; The z Transform; Relationship Between z and Fourier Transforms; Discrete Fourier Transform; Inverse DFT; Zero Padding; The Fast Fourier Transform (FFT); Linearity and Time Invariance; Causal Systems; Discrete Convolution; Convolution and the z Transform; Dcconvolution; Dipole Filters , Invertibility of Dipole FiltersProperties of Polynomial Filters; Some Toy Examples for Clarity; Least Squares Inversion of Minimum Phase Dipoles; Inversion of Minimum Phase Sequences; Inversion of Nonminimum Phase Wavelets: Optimum Lag SpikingFilters; Discrete Convolution and Circulant Matrices; Discrete and Circular Convolution; Matrix Notation for Circular Convolution; Diagonalization of the Circulant Matrix; Applications of the Circulant; Convolution; Deconvolution; Efficient Computation of Large Problems; Polynomial and FT Wavelet Inversion; Expectations etc.,; The Covariance Matrix , Lagrange MultipliersLinear Time Series Modelling; Introduction; The Wold Decomposition Theorem; The Moving Average. MA, Model; Determining the Coefficients of the MA Model; Computing the Minimum Phase Wavelet via the FFT; The Autoregressive, AR, Model; Autocovariance of the AR Process; Estimating the AR Parameters; The Levinson Recursion; Initialization; The Prediction Error Operator, PEO; Phase Properties of the PEO; Proof of the Minimum Delay Property of the PEO; The Autoregressive Moving Average, ARMA, Model; A Very Special ARMA Process , MA, AR and ARMA Models in Seismic Modelling and ProcessingExtended AR Models and Applications; A Little Predictive Deconvolution Theory; The Output of Predictive Deconvolution; Remarks; Summary; A Few Words About Nonlinear Time Series; The Principle of Embedding; Summary; Levinson's Recursion and Reflection Coefficients; Theoretical Summary; Summary and Remarks; Minimum Phase Property of the PEO; PROOF I; Eigenvectors of Doubly Symmetric Matrices; Spectral decomposition; Minimum phase property; PROOF II; Discussion; Information Theory and Relevant Issues; Introduction , Entropy in Time Series Analysis , English
    Additional Edition: ISBN 0-08-044721-X
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 8
    Online Resource
    Online Resource
    Amsterdam, Netherlands :Elsevier Inc.,
    UID:
    almahu_9949591365902882
    Format: 1 online resource (448 pages)
    Edition: First edition.
    ISBN: 0-443-22137-5
    Content: Dual Frequency Induced Polarization Method: An Effective Approach for Mineral Exploration provides the first English-language text on the successful but little-known dual frequency induced polarization method. Engineers and technicians in geophysical exploration will appreciate learning about this enhanced method in sections that comprehensively explain the basic principle, method, technology and application of the dual frequency induced polarization method. Chapters cover the mathematical basis, observation parameters, instrument principle, application essentials, field work methods, technology, interference factors and their overcoming methods, ore prospecting and engineering application examples, and more.
    Note: Intro -- Dual Frequency Induced Polarization Method: An Effective Approach for Mineral Exploration -- Copyright -- Contents -- Biography -- About the author -- Preface -- Chapter 1: Principles of dual frequency induced polarization method -- 1.1. Introduction -- 1.1.1. Time domain induced polarization -- 1.1.2. From time domain to frequency domain -- 1.1.3. From variable frequency IP to DFIP -- 1.2. Physical and chemical interpretation of IP phenomenon -- 1.2.1. Induced polarization of electronic conductor -- 1.2.2. IP of ionic conductor -- 1.3. IP characteristics of various ores and rocks -- 1.4. Frequency characteristics and measurements of induced polarization -- 1.4.1. Frequency characteristics of induced polarization -- 1.4.2. Testing method for frequency characteristics of rocks and ores -- 1.5. IP characteristics of rocks (ores) in frequency domain and affecting factors -- 1.5.1. Concept of mutual impedance and transfer function -- 1.5.2. Frequency characteristics of several common rocks and ores -- 1.5.3. Cole-Cole model -- 1.5.4. Factors affecting frequency characteristics of rocks (ores) -- Chapter 2: Equivalence principles and parameters in induced polarization measurements -- 2.1. Macroscopic approaches for studying IP and LTI systems -- 2.1.1. Macroscopic approaches for studying IP -- 2.1.2. Linear and time-invariant IP system -- 2.1.3. Basic characteristics of linear time-invariant (LTI) IP system -- 2.1.3.1. Property one: Additivity and homogeneity of IP excitation and response -- 2.1.3.2. Property two: Time-invariability of an IP system -- 2.1.3.3. Property three: Causality between IP excitation and response -- 2.1.3.4. Property four: Differential and integral characteristics of IP excitation and response -- 2.1.4. Basic approaches for IP system analysis -- 2.1.5. Characteristics of the IP causal system function. , 2.2. Equivalence principles of induced polarization -- 2.2.1. Equivalence between time domain and frequency domain -- 2.2.2. Equivalence between the frequency domain parameters -- 2.2.3. Equivalence between charging/discharging characteristics in time domain -- 2.3. Measurement parameters in frequency domain IP methods -- 2.3.1. Comparison of measurement parameters -- 2.3.2. Basic parameters of amplitude-frequency survey -- 2.3.3. Deduced parameters in frequency domain IP -- Chapter 3: Measurement methods and characteristics of DFIP -- 3.1. Measurement plan of DFIP -- 3.1.1. Variable frequency measurement scheme -- 3.1.2. Odd order harmonic wave scheme -- 3.1.3. Dual frequency scheme -- 3.1.4. Pseudorandom signal scheme -- 3.2. Waveforms of dual frequency currents -- 3.2.1. DF current waveform -- 3.2.2. DF current variation -- 3.3. Anomalies in DFIP -- 3.3.1. Theoretical calculations -- 3.3.2. Comparison between simulations and field measurements -- 3.4. Anti-interference ability of DFIP -- 3.5. Characteristics of DFIP -- 3.5.1. Frequency difference -- 3.5.2. Excitation current variation -- 3.5.3. High anti-interference ability of DFIP -- 3.5.4. Portable instruments in DFIP -- 3.5.5. High efficiency and portability -- 3.5.6. High stability and accuracy -- 3.5.7. High ability in suppressing electromagnetic coupling -- 3.5.8. Characteristics of nonlinear effect in DF frequency spectrum IP -- Chapter 4: DFIP instrumentation -- 4.1. Parameters and performance characteristics of DFIP instruments -- 4.1.1. Selection of frequency pairs -- 4.1.2. Power supplement -- 4.1.3. Is it compulsory to measure the phase? -- 4.1.4. Self-calibration system of measured DFIP parameters -- 4.1.5. Main characteristics and functions of a DFIP instrument -- 4.2. Work principles of SQ-3C portable IP instrument -- 4.2.1. Main technical specifications. , 4.2.2. Fundamental working principles of SQ-3C DF portable microcomputer IP instrument transmitter -- 4.2.3. Basic working principle of SQ-3C DF portable IP receiver -- 4.3. Structure of DFIP instruments -- 4.3.1. Transmitter -- 4.3.2. Receiver -- 4.3.3. Charger -- 4.4. Maintenance and service -- 4.4.1. Troubleshooting -- 4.4.2. Attention for operation and application in field -- 4.4.3. Maintenance and service -- Chapter 5: Removal and utilization of electromagnetic induction coupling in IP measurements -- 5.1. Classification of EM induction couplings -- 5.2. Capacitance coupling and its representation in IP measurements -- 5.2.1. Time characteristics of capacitance coupling -- 5.2.2. Frequency characteristics of capacitance coupling -- 5.2.3. Methods for removing capacitance coupling -- 5.3. EM coupling and its time characteristics in IP measurements -- 5.3.1. EM coupling of an electric dipole -- 5.3.2. EM coupling of arbitrary electrode array -- 5.3.3. EM coupling due to infinite long straight wire power supply -- 5.4. Principles of chopping wave decoupling and selection of the width of chopping wave -- 5.4.1. Principles of chopping wave decoupling -- 5.4.2. Principle for selection of width of chopping wave -- 5.5. Chopping wave effects on DF wave distortion and EM decoupling -- 5.5.1. Distortion of DF wave due to chopping wave -- 5.5.2. Decoupling effect of chopping wave -- 5.5.3. IP information lost due to chopping wave -- 5.6. Direct, simultaneous, and respective extractions of IP and EM effects -- 5.6.1. Principles of square wave coherence -- 5.6.2. Feasibility study of square wave coherence -- 5.6.3. Plan for extracting IP and EM effects -- 5.6.4. Model experimental results -- Chapter 6: Special performance of nonlinear effect in dual frequency spectrum induced polarization -- 6.1. Electrochemical mechanism of nonlinear effect of IP effect. , 6.1.1. Electrode process on the surface of electrically conductive minerals -- 6.1.2. Equivalent surface admittance of electrode process -- 6.2. Equivalent circuit at interface between mineral and solution -- 6.3. Overpotential response of equivalent circuit -- 6.4. Theoretical calculations and model experimental results of IP frequency spectrum curves of cathode and anode -- 6.4.1. Theoretical calculation of polarization spectrum curve of cathode and anode -- 6.4.2. Results of experiments on polarization curves of cathode and anode -- 6.5. Nonlinear effect of DFIP spectrum -- 6.5.1. Theoretical spectrum curve -- 6.5.2. Experimental frequency spectrum curves -- 6.5.3. Three-dimensional simulation experiments using middle gradient array in water channel -- Chapter 7: Spatial distribution characteristics of DFIP anomaly -- 7.1. Surface polarization field of a buried sphere in a homogeneous alternating current field -- 7.1.1. Amplitude frequency and phase frequency characteristics of field -- 7.1.2. Spatial distribution characteristics of IP field of a surface polarized sphere in a homogeneous alternating curren ... -- 7.2. IP anomaly of a sphere with impregnated spherical shell in a homogeneous electric field -- 7.3. Vein ore body in a homogeneous alternating electric field -- 7.3.1. A vertical copper plate -- 7.3.2. Inclined copper plate (45degrees) -- 7.3.3. A horizontal copper plate -- 7.4. Surface-polarized spherical body in a point-source field -- 7.4.1. A surface polarized spherical body in point-source field -- 7.4.2. A surface polarized spherical body in an alternating dipole field -- 7.4.3. The spatial distributions of Fs, ρs, and Phi of an IP spherical body in an alternating dipole field -- 7.4.4. A surface polarized spherical body with other arrays -- 7.5. IP field of a surface polarized infinitely long cylinder. , 7.5.1. Frequency domain IP field of a surface polarized infinitely long cylinder in a homogeneous electric field -- 7.5.2. A surface polarized horizontal infinitely long cylinder in a point-source field -- 7.6. Experimental dipole profiling curves of several IP bodies with regular shape -- 7.6.1. A horizontal tabular body -- 7.6.2. A vertical tabular body -- 7.6.3. An inclined tabular body -- 7.6.4. A horizontal cylinder -- 7.6.5. A high resistivity horizontal tabular body -- 7.7. Comparison of several profiling arrays -- 7.8. Anomaly characteristics of IP sounding -- 7.8.1. IP sounding curves of a surface polarized spherical body -- 7.8.2. IP sounding curve of a plate-shaped body -- 7.8.3. IP sounding curve over a horizontal IP layer -- Chapter 8: Field working -- 8.1. Electrode arrays -- 8.1.1. Central gradient array -- 8.1.2. A dipole-dipole array -- 8.1.3. Symmetrical quadrupole profile and symmetrical quadrupole sounding -- 8.1.4. Three-pole array and composite profiling array -- 8.1.5. Near field source induced polarization (bipolar array) -- 8.2. Selection of observation frequencies -- 8.3. Power supply system -- 8.3.1. Transmitter -- 8.3.2. High-voltage power supply -- 8.3.3. Power supply wires -- 8.3.4. Power supply electrode -- 8.3.5. Intensity of power supply current -- 8.4. Measurement circuit -- 8.4.1. Receiver -- 8.4.2. Wire -- 8.4.3. Electrode -- 8.5. Electrode effects and EM coupling in IP measurement -- 8.5.1. Electrode effect -- 8.5.2. EM coupling effect -- 8.6. Interference and their removal in IP measurements -- 8.6.1. Natural interference -- 8.6.2. Human interference -- 8.6.3. Geological interference -- 8.6.4. Accidental and human interference -- 8.7. Evaluation of measurement accuracy in IP measurement -- 8.8. Measurements of rock electrical parameters F and ρ -- 8.8.1. Sample determination method -- 8.8.2. Outcrop method. , 8.9. The illustrations of observation result.
    Additional Edition: Print version: He, Jishan Dual Frequency Induced Polarization Method San Diego : Elsevier,c2023 ISBN 9780443221385
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 9
    Online Resource
    Online Resource
    Amsterdam, Netherlands ; : Elsevier,
    UID:
    almahu_9949225815002882
    Format: 1 online resource (646 pages)
    Edition: 2nd ed.
    ISBN: 0-323-85811-2
    Note: Includes index. , Front cover -- Half Title -- Title -- Copyright -- Contents -- Dedication -- Acknowledgment -- About the Author -- Forward -- Introduction: Anniversary of the half century development and formation of a new field of thermal analysis -- Historical prologue -- Eastern stream of thermoanalytical progression and the foundation of Journal of Thermal Analysis -- The Western course of thermal analysis advancement and foundation of Thermochimica Acta -- Word in Conclusion -- Glossary of terms, definitions and symbols -- Chapter 1 Thermophysical examinations, experimental set-ups, sample and temperature control -- 1.1 Exploring the environment and scale dimensions -- 1.2 Thermal measurements, modes of assessment and thermal methods grouping -- 1.3 Temperature control -- 1.4 Characterisation of experimental curves -- 1.5 Comments on the thermoanalytical sample -- 1.6 Particularities of further temperature modulation -- Chapter 2 Understanding of temperature, heat, gradients and related thermodynamics -- 2.1 A historical look at the development of the temperature concept -- 2.2 What is temperature, its scope and how to specify its thermodynamic description: concept of tempericity -- 2.3 Varying temperature depending on the measurement procedure used and the related new view of the phase diagram kinetics -- 2.4 Heat transfer, Newton cooling law and sample heat inertia -- 2.5 Thermal inertia values calculated for temperature measurement -- 2.6 Illustrative approach to temperature fields developed inside an inert infinite cylinder -- 2.7 Response differential curves for temperature sensor location in temperature gradients -- 2.8 Discussion on temperature and its physical and operational use -- 2.9Appendix: A generalised view on temperature from the cosmic macro-dimension to the quantum micro-world. , Chapter 3 Phenomenological approach to the caloric theory of heat: An alternative thermodynamics -- 3.1 Fire as a manufacturing tool and its non-matter disposition as caloric -- 3.2 Classical thermodynamics subsist in a phenomenological theory -- 3.3 Heat alike entropy: introduction of caloric theory -- 3.4 Constitutive relations and fundamental laws of thermodynamics within caloric theory -- 3.5 Resolution and determination of caloric -- 3.6 Efficiency of heat engines, dynamic and caloric theory -- Chapter 4 Textbook thermodynamics as thermostatics -- 4.1 Introduction to basic logic of textbook thermodynamics -- 4.2 Force field and measurable deformations -- 4.3 Principles of thermodynamic alternation reaching measurable quantities -- 4.4 Chemical reactions -- 4.5 Heterogeneous systems and the effect of surface energy -- 4.6 Equilibria and impact of Clapeyron equations -- 4.7 Ideal and real solid solutions, phase diagrams -- Chapter 5 Equilibrium background and its importance for temperature and particle size -- 5.1 Some historical facts about the theory of phase transformations -- 5.2 Equilibrium background as a basis for thermal analysis, type of processes and impact of heating -- 5.3 Ehrenfest equations derived for gradual transitions in binary systems -- 5.4 Equilibrium background due to the change in particle curvature -- 5.5 Appendix: A bottom-up inverse approach illustrated by the construction on the atomic level using assembled spheres in a cubic structure -- Chapter 6 Thermodynamics: processes dynamics under constant heating -- 6.1 The validity of thermodynamic laws when ensuring the effect of constant temperature changes -- 6.2 Fourier's heat transfer and the Laws of Fick and Ohm in a historical overview -- 6.3 Phase transitions, their order and concept of broadened transformations. , 6.4 Kinetic degree of transformation and the Holba-Sestak equation -- 6.5 Interpretation of phase diagrams using the new kinetic approach -- 6.6 T-T-T and C-T diagrams -- 6.7 Thermodynamics applied to non-equilibrium glass transition -- 6.8 Influence of fluctuations and some features of rational approach -- Chapter 7 Thermotics-theoretical thermal analysis, thermometry and calorimetry -- 7.1 Heat determination by thermometry and calorimetry -- 7.2 Some remarks on the origins of modern thermal analysis -- 7.3 Measurements of thermal diffusivity -- 7.4 Classification of thermoanalytical methods-heat balance -- 7.5 DSC and DTA as quantitative instruments -- 7.6 DTA calibration and the use of defined electrical pulses -- 7.7 Practical cases of applications -- 7.7.1 Phase diagrams -- 7.7.2 Heat capacity -- 7.7.3 Impurity measurements -- 7.8 Temperature-modulated mode -- 7.9 Fast scanning calorimetry -- Chapter 8 Rationality of creating kinetic models: How to mold a reaction path in solid-state -- 8.1 Some philosophical thoughts on a general exercise towards mathematical models -- 8.2 Portrayal roots applied in modelling solid-state reaction pathway -- 8.3 Rate constant function-Arrhenius and non-Arrhenius expressions -- 8.4 Rate constant functions two: reaction models f(α) based on simple geometrical bodies -- 8.5 Idealised models contrary to the real process mechanisms and morphologies -- Chapter 9 Facilitated reaction kinetics by thermal analysis -- 9.1 Inserted retrospective historical view of early non-isothermal kinetics from the point of view of own experience -- 9.1.1 Supplementary references valid only for the above historical section -- 9.2 Constitutive equations applied in non-isothermal chemical kinetics -- 9.3 Once discussed ill-defined kinetic concept of derivates misuse. , 9.4 Fundamental aspects of kinetic evaluations under non-isothermal conditions -- 9.5 Integral and differential methods of kinetic data evaluation -- 9.6 Non-integral power exponents, formal kinetic models and the role of an accommodation function -- 9.7 Practicality and peculiarity of non-isothermal approach -- 9.7.1 Apparent values of activation energies -- 9.7.2 An alternative view on the kinetics: non-parametric approach -- 9.7.3 Non-isothermal studies performed close to equilibrium -- 9.8 Optimal kinetic evaluation procedures of experimental data -- 9.8.1 Málek's master plot -- 9.8.2 Koga's approach to overlapping reactions -- 9.8.3 Evaluation based on polynomial regression: Netzsch software by Moukina -- 9.8.4 Overlapping models, including uncertainty and distort activation energy -- 9.8.5 Special cases of CRTA and temperature oscillation modes -- 9.9 Kinetic compensation effect -- Chapter 10 Thermokinetics in DTA experiments -- 10.1 On the historical outline of differential methods -- 10.2 DTA equation and its testing by rectangular heat pulse -- 10.3 What exactly is the DTA curve and what is its scope and responsibility? -- 10.4 A continuous model of phase transition and temperature profiles within a simple case of cylinder -- 10.5 Temperature profile, temperature modulation and revised DTA equation -- Chapter 11 Physical thermokinetics of reversible thermal decomposition by thermogravimetry -- 11.1 Some notes on the historical thermogravimetry -- 11.2 Specific case of TG study of calcium carbonate decomposition -- 11.3 How are thermo-gravimetric results usable in practice? -- 11.3.1 Micro-kinetics -- 11.3.2 Macro-kinetics -- 11.4 How is the thermodynamic-equilibrium temperature represented in TG curves? -- 11.5 Practical consequences -- 11.6 Yet further accompaniments. , Chapter 12 Exploiting fractals, tackle thermal processes and truer non-isothermal kinetics -- 12.1 Introduction to fractal analysis -- 12.2 Heat capacity by means of fractal structures -- 12.3 Nucleation-induced crystallisation within fractal scrutiny -- 12.4 Heterogeneity, fractals and solid-state reaction kinetics -- 12.5 All-purpose use of yet atypical fractal geometry -- 12.6 Mathematical instigation and impact of logistic models -- 12.7 Origin of the Šesták-Berggren (SB) equation and the impact of logistic tactic -- 12.8 How we are doing and our other prospects and effects -- Chapter 13 Constrained states of glasses, exploitation of transition temperatures, glass-forming coefficients and concepts of fragility -- 13.1 Introduction-a brief look at the glass history -- 13.2 Enthalpy temperature dependence diagrams for a better understanding of the processes taking place in the glasses -- 13.3 GFA and GS -- 13.4 Expressing the Hrubý parameter using temperature relations: r = Tc/Tg and m = Tm/Tg -- 13.5 Relative changes of GS parameters -- 13.6 Modified Angell plot of viscous flow and fragility concept -- 13.7 Reduced glass transition temperature and fragility as parameters for estimating GFA -- 13.8 Stretching exponent against configurational entropy: which factor has greater contribution to kinetic liquid fragility? -- 13.9 The function of temperature dependence of configurational entropy -- Chapter 14 Explanation of crystallisation kinetics both during glass heating and melt cooling, while the incorrectness of the Kissinger method is indicated -- 14.1 Introduction: glass crystallisation and use of DTA -- 14.2 Reminding simple kinetic method proposed by Kissinger -- 14.3 Choice of reaction mechanism, iso-thermal and non-iso-thermal degree of conversion and equilibrium background. , 14.4 The point of maximum temperature deviation at DTA peak is not the point of maximum reaction rate.
    Additional Edition: ISBN 0-323-85537-7
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 10
    Online Resource
    Online Resource
    Cheltenham : Edward Elgar Pub. Ltd
    UID:
    b3kat_BV047923957
    Format: 1 Online-Ressource (1 v)
    ISBN: 9781784712952
    Note: The recommended readings are available in the print version, or may be available via the link to your library's holdings , Recommended readings (Machine generated): Richard A. Musgrave (1976), 'ET, OT and SBT', Journal of Public Economics, 6 (1/2), July-August, 3-16 -- H. Peyton Young (1990), 'Progressive Taxation and Equal Sacrifice', American Economic Review, 80 (1), March, 253-66 -- Louis Kaplow (1989), 'Horizontal Equity: Measures in Search of a Principle', National Tax Journal, XLII (2), 139-54 -- Charles E. McLure, Jr (1975), 'General Equilibrium Incidence Analysis: The Harberger Model After Ten Years', Journal of Public Economics, 4 (2), February, 125-61 -- Michael L. Katz and Harvey S. Rosen (1985), 'Tax Analysis in an Oligopoly Model', Public Finance Quarterly, 13 (1), January, 3-19 -- Lawrence H. Summers (1983), 'The Asset Price Approach to the Analysis of Capital Income Taxation', National Tax Association/Tax Institute of America, Proceedings of the Seventy-Sixth Annual Conference on Taxation, 112-20 -- , James Davies, France St-Hilaire and John Whalley (1984), 'Some Calculations of Lifetime Tax Incidence', American Economic Review, 74 (4), September, 633-49 -- Timothy J. Besley and Harvey S. Rosen (1999), 'Sales Taxes and Prices: An Empirical Analysis', National Tax Journal, LII (3), 157-78 -- John B. Shoven (1976), 'The Incidence and Efficiency Effects of Taxes on Income from Capital', Journal of Political Economy, 84 (6), December, 1261-83 -- David M. Cutler (1988), 'Tax Reform and the Stock Market: An Asset Price Approach', American Economic Review, 78 (5), December, 1107-17 -- Arnold C. Harberger (1964), 'The Measurement of Waste', American Economic Review, 54 (3), May, 58-76 -- Jerry A. Hausman (1981), 'Exact Consumer's Surplus and Deadweight Loss', American Economic Review, 71 (4), September, 662-76 -- Edgar K. Browning (1987), 'On the Marginal Welfare Cost of Taxation', American Economic Review, 77 (1), March, 11-23 -- , Charles L. Ballard, John B. Shoven and John Whalley (1985), 'The Total Welfare Cost of the United States Tax System: A General Equilibrium Approach', National Tax Journal, XXXVIII (2), 125-40 -- Don Fullerton (1982), 'On the Possibility of an Inverse Relationship Between Tax Rates and Government Revenues', Journal of Public Economics, 19 (1), 3-22 -- Larry E. Jones, Rodolfo E. Manuelli and Peter E. Rossi (1993), 'Optimal Taxation in Models of Endogenous Growth', Journal of Political Economy, 101 (3), June, 485-517 -- Kevin W.S. Roberts (1977), 'Voting Over Income Tax Schedules', Journal of Public Economics, 8 (3), December, 329-40 -- Walter Hettich and Stanley L. Winer (1988), 'Economic and Political Foundations of Tax Structure', American Economic Review, 78 (4), September, 701-12 -- Peter A. Diamond and James A. Mirrlees (1971), 'Optimal Taxation and Public Production II: Tax Rules', American Economic Review, 61 (3, Part 1), June, 261-78 , P.A. Diamond (1975), 'A Many-Person Ramsey Tax Rule', Journal of Public Economics, 4 (4), November, 335-42 -- J.A. Mirrlees (1971), 'An Exploration in the Theory of Optimum Income Taxation', Review of Economic Studies, 38 (2), April, 175-208 -- Peter A. Diamond (1998), 'Optimal Income Taxation: An Example with a U-Shaped Pattern of Optimal Marginal Tax Rates', American Economic Review, 88 (1), March, 83-95 -- A.B. Atkinson and J.E. Stiglitz (1976), 'The Design of Tax Structure: Direct Versus Indirect Taxation', Journal of Public Economics, 6 (1-2), 55-75 -- N.H. Stern (1976), 'On the Specification of Models of Optimum Income Taxation', Journal of Public Economics, 6 (1-2), 123-62 -- Emmanuel Saez (2001), 'Using Elasticities to Derive Optimal Income Tax Rates', Review of Economic Studies, 68 (1), January, 205-29 -- Joel Slemrod (1990), 'Optimal Taxation and Optimal Tax Systems', Journal of Economic Perspectives, 4 (1), Winter, 157-78 -- , Martin Feldstein (1976), 'On the Theory of Tax Reform', Journal of Public Economics, 6 (1-2), July-August, 77-104 -- Alan J. Auerbach, Laurence J. Kotlikoff and Jonathan Skinner (1983), 'The Efficiency Gains from Dynamic Tax Reform', International Economic Review, 24 (1), February, 81-100 -- David Altig, Alan J. Auerbach, Laurence J. Kotlikoff, Kent A. Smetters and Jan Walliser (2001), 'Simulating Fundamental Tax Reform in the United States', American Economic Review, 91 (3), June, 574-95 -- Joel Slemrod (2001), 'A General Model of the Behavioral Response to Taxation', International Tax and Public Finance, 8 (2), 119-28 -- Jerry A. Hausman (1981), 'Labor Supply', in Henry J. Aaron and Joseph A. Pechman (eds), How Taxes Affect Economic Behaviour, Washington, D.C.: The Brookings Institution, 27-83 -- James P. Ziliak and Thomas J. Kniesner (1999), 'Estimating Life Cycle Labor Supply Tax Effects', Journal of Political Economy, 107 (2), 326-59 -- , Lawrence H. Summers (1981), 'Capital Taxation and Accumulation in a Life Cycle Growth Model', American Economic Review, 71 (4), September, 533-44 -- William G. Gale and John Karl Scholz (1994), 'IRAs and Household Saving', American Economic Review, 84 (5), December, 1233-60 -- James M. Poterba, Steven F. Venti and David A. Wise (1995), 'Do 401(k) Contributions Crowd Out Other Personal Saving?', Journal of Public Economics, 58 (1), September, 1-32 -- J. E. Stiglitz (1969), 'The Effects of Income, Wealth, and Capital Gains Taxation on Risk-Taking', Quarterly Journal of Economics, 83 (2), May, 263-83 -- James M. Poterba and Andrew A. Samwick (2003), 'Taxation and Household Portfolio Composition: US Evidence from the 1980s and 1990s', Journal of Public Economics, 87 (1), January, 5-38 -- , Martin Feldstein, Joel Slemrod and Shlomo Yitzhaki (1980), 'The Effects of Taxation on the Selling of Corporate Stock and the Realization of Capital Gains', Quarterly Journal of Economics, 94 (4), June, 777-91 , Leonard E. Burman and William C. Randolph (1994), 'Measuring Permanent Responses to Capital-Gains Tax Changes in Panel Data', American Economic Review, 84 (4), September, 794-809 -- James Poterba (2001), 'Estate and Gift Taxes and Incentives for Inter Vivos Giving in the US', Journal of Public Economics, 79 (1), January, 237-64 -- Michael G. Allingham and Agnar Sandmo (1972), 'Income Tax Evasion: A Theoretical Analysis', Journal of Public Economics, 1, 323-38 -- Charles T. Clotfelter (1983), 'Tax Evasion and Tax Rates: An Analysis of Individual Returns', Review of Economics and Statistics, LXV (3), August, 363-73 -- James Alm, Gary H. McClelland and William D. Schulze (1992), 'Why Do People Pay Taxes?', Journal of Public Economics, 48, 21-38 -- Martin Feldstein (1995), 'The Effect of Marginal Tax Rates on Taxable Income: A Panel Study of the 1986 Tax Reform Act', Journal of Political Economy, 103 (3), June, 551-72 -- , Jon Gruber and Emmanuel Saez (2002), 'The Elasticity of Taxable Income: Evidence and Implications', Journal of Public Economics, 84, 1-32 -- Alan J. Auerbach (1983), 'Taxation, Corporate Financial Policy and the Cost of Capital', Journal of Economic Literature, XXI (3), September, 905-40 -- Joseph E. Stiglitz (1976), 'The Corporation Tax', Journal of Public Economics, 5, 303-11 -- Christophe Chamley (1986), 'Optimal Taxation of Capital Income in General Equilibrium with Infinite Lives', Econometrica, 54 (3), May, 607-22 -- Robert E. Hall and Dale W. Jorgenson (1967), 'Tax Policy and Investment Behavior', American Economic Review, 57 (3), June, 391-414 -- Robin W. Boadway (1987), 'The Theory and Measurement of Effective Tax Rates', in Jack M. Mintz and Douglas D. Purvis (eds), The Impact of Taxation on Business Activity, Kingston, Canada: John Deutsch Institute for the Study of Economic Policy, 60-98 -- , Alan J. Auerbach and Kevin Hassett (1992), 'Tax Policy and Business Fixed Investment in the United States', Journal of Public Economics, 47 (2), March, 141-70 -- George R. Zodrow (1991), 'On the "Traditional " and "New " Views of Dividend Taxation', National Tax Journal, XLIV (4 Part 2), December, 497-509 -- B. Douglas Bernheim (1991), 'Tax Policy and the Dividend Puzzle', RAND Journal of Economics, 22 (4), Winter, 455-76 -- Raj Chetty and Emmanuel Saez (2005), 'Dividend Taxes and Corporate Behavior: Evidence from the 2003 Dividend Tax Cut', Quarterly Journal of Economics, CXX (3), August, 791-833 -- Jeffrey K. MacKie-Mason (1990), 'Do Taxes Affect Corporate Financing Decisions?', Journal of Finance, XLV (5), December, 1471-93William M. Gentry (1994), 'Taxes, Financial Decisions and Organizational Form: Evidence from Publicly Traded Partnerships', Journal of Public Economics, 53, 223-44 , This authoritative two-volume set brings together the most important classic and contemporary papers on taxation and tax policy, written by the world's leading scholars and practitioners of taxation. Volume I reviews the effects of taxation, optimal taxation and tax reform. Volume II presents the latest theoretical and empirical work on how taxes affect individual decisions across a range of areas, concluding with studies of the effects of taxes on firm investment and financial structure decisions. The volumes will interest those teaching upper-level and graduate level courses in taxation and tax policy, and individuals who want to be informed on the latest research in taxation
    Language: English
    Keywords: Electronic books
    URL: Volltext  (URL des Erstveröffentlichers)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages