The Blackwell companion to natural theology [[electronic resource] /] / edited by William Lane Craig and J.P. Moreland

• Record Nr.: UNINA9910146401703321
• Pubbl/distr/stampa: Chichester, West Sussex ; ; Malden, MA, : Wiley-Blackwell, 2009
• ISBN: 1-4443-4542-7; 1-282-11639-8; 9786612116391; 1-4051-9791-9; 1-4443-0833-5; 1-4443-0834-3
• Descrizione fisica: 1 online resource (699 p.)
• Altri autori (Persone): CraigWilliam Lane; MorelandJames Porter <1948->
• Disciplina: 212.1; 212/.1
• Soggetti: Natural theology; Religion; Electronic books.
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Description based upon print version of record.
• Nota di bibliografia: Includes bibliographical references and index.
• Nota di contenuto: THE BLACKWELL COMPANION TO NATURAL THEOLOGY; Contents; List of Figures; Notes on Contributors; Introduction; 1: The Project of Natural Theology; 2: The Leibnizian Cosmological Argument; 3: The Kalam Cosmological Argument; 4: The Teleological Argument: An Exploration of the Fine-Tuning of the Universe; 5: The Argument from Consciousness; 6: The Argument from Reason; 7: The Moral Argument; 8: The Argument from Evil; 9: The Argument from Religious Experience; 10: The Ontological Argument; 11: The Argument from Miracles: A Cumulative Case for the Resurrection of Jesus of Nazareth; Index
• Sommario/riassunto: With the help of in-depth essays from some of the world's leading philosophers, The Blackwell Companion to Natural Theology explores the nature and existence of God through human reason and evidence from the natural world. Provides in-depth and cutting-edge treatment ; of natural theology's main argumentsIncludes contributions from first-rate philosophers well known for their work on the relevant topicsUpdates relevant arguments in light of the most current, state-of-the-art philosophical and scientific discussionsStands in use

Differential geometry [[electronic resource] /] / [by] J. J. Stoker

• Record Nr.: UNINA9910139601203321
• Autore: Stoker J. J (James Johnston), <1905->
• Pubbl/distr/stampa: New York, : Wiley-Interscience, 1989, c1969
• ISBN: 1-283-27398-5; 9786613273987; 1-118-16546-2; 1-118-16547-0
• Descrizione fisica: 1 online resource (428 p.)
• Collana: Pure and applied mathematics, v. 20
• Disciplina: 516; 516.7
• Soggetti: Geometry, Differential; Manifolds (Mathematics)
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: "Wiley classics edition published in 1989."
• Nota di bibliografia: Includes bibliographical references (p. 396-399) and index.
• Nota di contenuto: Differential Geometry; CONTENTS; Chapter I Operations with Vectors; 1. The vector notation; 2. Addition of vectors; 3. Multiplication by scalars; 4. Representation of a vector by means of linearly independent vectors; 5. Scalar product; 6. Vector product; 7. Scalar triple product; 8. Invariance under orthogonal transformations; 9. Vector calculus; Chapter II Plane Curves; 1. Introduction; 2. Regular curves; 3. Change of parameters; 4. Invariance under changes of parameter; 5. Tangent lines and tangent vectors of a curve; 6. Orientation of a curve; 7. Length of a curve; 1. Regular curves2. Length of a curve; 3. Curvature of space curves; 4. Principal normal and osculating plane; 5. Binormal vector; 6. Torsion τ of a space curve; 7. The Frenet equations for space curves; 8. Rigid body motions and the rotation vector; 9. The Darboux vector; 10. ; Formulas for κ and τ; 11. The sign of τ; 12. Canonical representation of a curve; 13. Existence and uniqueness of a space curve for given κ (S), τ (S); 14. What about κ = 0?; 15. Another way to define space curves; 16. Some special curves; Chapter IV The Basic Elements of Surface Theory; 1. Regular surfaces in Euclidean space2. Change of parameters; 3. Curvilinear coordinate curves on a surface; 4. Tangent plane and normal vector; 5. Length of curves and first fundamental form; 6. Invariance of the first fundamental form; 7. Angle measurement on surfaces; 8. Area of a surface; 9. A few examples; 10. Second fundamental form of a surface; 11. Osculating paraboloid; 12. Curvature of curves on a surface; 13. Principal directions and principal curvatures; 14. Mean curvature H and Gaussian curvature K; 15. Another definition of the Gaussian curvature K; 16. Lines of curvature; 17. Third fundamental form18. Characterization of the sphere as a locus of umbilical points; 19. Asymptotic lines; 20. Torsion of asymptotic lines; 21. Introduction of special parameter curves; 22. Asymptotic lines and lines of curvature as parameter curves; 23. Embedding a given arc in a system of parameter curves; 24. Analogues of polar coordinates on a surface; Chapter V Some Special Surfaces; 1. Surfaces of revolution; 2. Developable surfaces in the small made up of parabolic points; 3. Edge of regression of a developable; 4. Why the name developable?; 5. Developable surfaces in the large1
• Sommario/riassunto: This classic work is now available in an unabridged paperback edition. Stoker makes this fertile branch of mathematics accessible to the nonspecialist by the use of three different notations: vector algebra and calculus, tensor calculus, and the notation devised by Cartan, which employs invariant differential forms as elements in an algebra due to Grassman, combined with an operation called exterior differentiation. Assumed are a passing acquaintance with linear algebra and the basic elements of analysis.

Neural Information Processing [[electronic resource] ] : 16th International Conference, ICONIP 2009, Bangkok, Thailand, December 1-5, 2009, Proceedings, Part II / / edited by Chi-Sing Leung, Minho Lee, Jonathan H. Chan

• Record Nr.: UNISA996465915603316
• Pubbl/distr/stampa: Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009
• ISBN: 1-280-38335-6; 9786613561275; 3-642-10684-6
• Edizione: [1st ed. 2009.]
• Descrizione fisica: 1 online resource (XXXI, 888 p.)
• Collana: Theoretical Computer Science and General Issues, , 2512-2029 ; ; 5864
• Disciplina: 005.437; 4.019
• Soggetti: User interfaces (Computer systems); Human-computer interaction; Information storage and retrieval systems; Computer simulation; Computer science; Artificial intelligence; Pattern recognition systems; User Interfaces and Human Computer Interaction; Information Storage and Retrieval; Computer Modelling; Theory of Computation; Artificial Intelligence; Automated Pattern Recognition
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Bibliographic Level Mode of Issuance: Monograph
• Nota di bibliografia: Includes bibliographical references and index.
• Nota di contenuto: Computer Vision -- Control and Robotics -- Evolutionary Computation -- Other Emerging Computational Methods -- Signal, Data and Text Processing -- Artificial Spiking Neural Systems: Nonlinear Dynamics and Engineering Applications -- Towards Brain-Inspired Systems -- ; Computational Advances in Bioinformatics -- Data Mining for Cybersecurity -- Evolutionary Neural Networks: Theory and Practice -- Hybrid and Adaptive Systems for Computer Vision and Robot Control -- Intelligent Data Mining -- Neural Networks for Data Mining -- SOM and Related Subjects and Its Applications.
• Sommario/riassunto: The two volumes LNCS 5863 and 5864 constitute the proceedings of the 16th International Conference on Neural Information Processing, ICONIP 2009, held in Bangkok, Thailand, in December 2009. The 145 regular session papers and 53 special session papers presented were carefully reviewed and selected from 466 submissions. The papers are structured in topical sections on cognitive science and computational neuroscience, neurodynamics, mathematical modeling and analysis, kernel and related methods, learning algorithms, pattern analysis, face analysis and processing, image processing, financial applications, computer vision, control and robotics, evolutionary computation, other emerging computational methods, signal, data and text processing, artificial spiking neural systems: nonlinear dynamics and engineering applications, towards brain-inspired systems, computational advances in bioinformatics, data mining for cybersecurity, evolutionary neural networks: theory and practice, hybrid and adaptive systems for computer vision and robot control, intelligent data mining, neural networks for data mining, and SOM and related subjects and its applications.