Search alternatives:
"theory of computation" » "theory of competition" (Expand Search), "theory of compilation" (Expand Search)
Showing 21 - 40 results of 96 for search '"theory of computation"', query time: 0.21s Refine Results
  1. 21

    Beyond the molecular frontier : challenges for chemistry and chemical engineering / Committee on Challenges for the Chemical Sciences in the 21st Century, Board on Chemical Sciences and Technology, National Research Council of the National Academies.

    Published 2003
    Table of Contents: “…Isolating, identifying, imaging, and measuring substances and structures -- 6. Chemical theory and computer modeling from computational chemistry to process systems engineering -- 7. …”
    Full text (Emerson users only)
    Electronic eBook
  2. 22
  3. 23

    Proofs and Computations. by Schwichtenberg, Helmut

    Published 2011
    Table of Contents: “…Notes -- Chapter 7: EXTRACTING COMPUTATIONAL CONTENT FROM PROOFS -- 7.1. A theory of computable functionals -- 7.1.1. Brouwer-Heyting-Kolmogorov and Gödel. -- 7.1.2. …”
    Full text (Emerson users only)
    Electronic eBook
  4. 24

    Reviews in Computational Chemistry, 26. by Lipkowitz, Kenneth B.

    Published 2008
    Table of Contents: “…Excited States from Time-Dependent Density Functional Theory; 4. Computing Quantum Phase Transitions; 5. Real-Space and Multigrid Methods in Computational Chemistry; 6. …”
    Full text (Emerson users only)
    Electronic eBook
  5. 25

    Advances in Chemical Physics, Liquid Polymorphism. by Stanley, H. E.

    Published 2013
    Full text (Emerson users only)
    Electronic eBook
  6. 26
  7. 27

    Low-Frequency Electromagnetic Modeling for Electrical and Biological Systems Using MATLAB. by Makarov, Sergey N.

    Published 2015
    Table of Contents: “…4.3 SUMMARY OF MATLAB® MODULES -- REFERENCES -- 5 THEORY AND COMPUTATION OF CAPACITANCE. CONDUCTING OBJECTS IN EXTERNAL ELECTRIC FIELD -- INTRODUCTION -- 5.1 CAPACITANCE DEFINITIONS: SELF-CAPACITANCE -- PROBLEMS -- 5.2 CAPACITANCE OF TWO CONDUCTING OBJECTS -- PROBLEMS -- 5.3 SYSTEMS OF THREE CONDUCTING OBJECTS -- PROBLEMS -- 5.4 ISOLATED CONDUCTING OBJECT IN AN EXTERNAL ELECTRIC FIELD -- PROBLEMS -- 5.5 SUMMARY OF MATLAB® MODULES -- REFERENCES -- 6 ELECTROSTATICS OF DIELECTRICS AND CONDUCTORS -- INTRODUCTION -- 6.1 DIELECTRIC OBJECT IN AN EXTERNAL ELECTRIC FIELD -- PROBLEMS…”
    Full text (Emerson users only)
    eBook
  8. 28

    Mathematical Logic in Asia : Proceedings of the 9th Asian Logic Conference. by Goncharov, S. S.

    Published 2006
    Table of Contents: “…Another Characterization of the Deduction-Detachment Theorem (S V Babyonyshev); On Behavior of 2-Formulas in Weakly o-Minimal Theories (B S Baizhanov & B Sh Kulpeshov); Arithmetic Turing Degrees and Categorical Theories of Computable Models (E Fokina); Negative Data in Learning Languages (S Jain & E Kinber); Effective Cardinals in the Nonstandard Universe (V Kanovei & M Reeken); Model-Theoretic Methods of Analysis of Computer Arithmetic (S P Kovalyov); The Functional Completeness of Le niewski's Systems (F Lepage); Hierarchies of Randomness Tests (J Reimann & F Stephan); Intransitive Linear Temporal Logic Based on Integer Numbers, Decidability, Admissible Logical Consecutions (V V Rybakov); The Logic of Prediction (E Vityaev); Conceptual Semantic Systems Theory and Applications (K E Wolff); Complexity Results on Minimal Unsatisfiable Formulas (X Zhao); and other papers.…”
    Full text (Emerson users only)
    Electronic eBook
  9. 29

    Managing Enterprise in the 21st Century. by Singh, Sanjay

    Published 2017
    Table of Contents: “…Transformational leadership and psychological empowerment Burnout during early career:lived experiences of the knowledge workers in India ; Impact of ICT-based innovations on organizational performance ; The changing landscape of ISproject failure: an examination of the key factors ; Dynamic service capabilities enabling agile services ; Towards a design theory of computer-supported organizational participation…”
    Full text (Emerson users only)
    Electronic eBook
  10. 30
  11. 31

    Thinking Like a Computer : An Introduction to Digital Reality. by Towner, George

    Published 2020
    Table of Contents: “…Digital Reality Theory -- Understanding the World -- Constructing Digital Realities -- DR Theory Trade-Offs -- DR Theory and Computing -- Verifying DR Theory -- 2. Understanding Existence -- Types of Understanding -- Time, Space, Pattern -- Using Ideals -- Sets and Digitization -- 3. …”
    Full text (Emerson users only)
    eBook
  12. 32

    Theory review for cylindrical shells and parametric study of chimneys and tanks / Jeroen Hoefakker. by Hoefakker, Jeroen

    Published 2010
    Table of Contents: “…Acknowledgement; Table of Contents; List of Appendices; Summary; Samenvatting; List of symbols; 1 Introduction; 2 General part on shell theory; 3 Computational method and analysis method; 4 Circular cylindrical shells; 5 Chimney -- Numerical results and parametric study; 6 Tank -- Numerical study; 7 Conclusions; Appendices; Appendix A Results from differential geometry of a surface; Appendix B Kinematical relation in orthogonal curvilinear coordinates; Appendix C Equilibrium equations in curvilinear coordinates; Appendix D Strain energy and Laplace- Beltrami operator.…”
    Full text (Emerson users only)
    Electronic eBook
  13. 33

    A chemist's guide to valence bond theory / Sason Shaik, Philippe C. Hiberty. by Shaik, Sason S., 1943-

    Published 2008
    Table of Contents: “…; 6 Valence Bond Diagrams for Chemical Reactivity; 7 Using Valence Bond Theory to Compute and Conceptualize Excited States.…”
    Full text (Emerson users only)
    Electronic eBook
  14. 34

    Harry Markowitz : selected works / edited by Harry M. Markowitz. by Markowitz, Harry M., 1927-2023

    Published 2008
    Table of Contents: “…Foundations of portfolio theory. Fast computation of mean-variance efficient sets using historical covariances. …”
    Full text (Emerson users only)
    Electronic eBook
  15. 35

    Mathematical Programming : Theory and Methods. by Sinha, S. M.

    Published 2006
    Table of Contents: “…Simplex Method: Theory and Computation; 11.1. Introduction…”
    Full text (Emerson users only)
    Electronic eBook
  16. 36
  17. 37

    Controlling the quantum world : the science of atoms, molecules, and photons / Committee on AMO 2010, Board on Physics and Astronomy, Division on Engineering and Physical Sciences.

    Published 2006
    Table of Contents: “…-- AMO Science and National Policies: Conclusions and Recommendations, -- 2 AMO Science and the Basic Laws of Nature -- Spin Science -- Energy Levels, Time, and Atomic Clocks -- Measuring Distance and Motion Using Interferometers -- AMO Physics in the Study of the Distant Universe -- AMO Theory and Computation Connections to Astrophysics and Elementary Particle Physics -- 3 Toward Absolute Zero -- The Promise of Ultracold Science -- Condensed Matter Physics in Dilute Atomic Systems -- Molecules and Chemistry -- Atom Optics -- Reaching Out: Plasmas, Nuclear Physics, and More -- The Synergy Between Experiment and Theory -- 4 Extreme Light -- Extreme X-Ray Laser Light -- Tabletop Sources of X Rays -- Extreme X-Ray Light Sources and the World's First X-Ray Laser Facility -- Ultraintense Lasers: Using Light Sources to Harness Extreme States of Matter -- 5 Exploring and Controlling the Inner Workings of a Molecule -- Which Timescales Are Important? …”
    Full text (Emerson users only)
    Electronic eBook
  18. 38
  19. 39

    Po.ex : essays from Portugal on cyberliterature & intermedia / by Pedro Barbosa, Ana Hatherly, and E.M. de Melo e Castro ; edited by Rui Torres and Sandy Baldwin. by Barbosa, Pedro, Hatherly, Ana, Castro, Ernesto Manuel de Melo e

    Published 2014
    Table of Contents: “…""An Intersemiotic Network -- E.M. de Melo e Castro""""Perspectives and Virtualities of the Virtual Text -- Pedro Barbosa""; ""Towards a Theory of Computer Generated Texts -- Pedro Barbosa""; ""The Machine or the Inside of a Void Thought -- Pedro Barbosa""; ""Generative Aesthetics and Standard Models for Computer Generated Texts -- Pedro Barbosa""; ""A New Concept of Work -- Pedro Barbosa""; """"The dead must be killed once again"": Plagiotropia as Critical Literary Practice -- Rui Torres""; ""Portuguese Experimental Poetryâ€?…”
    Full text (Emerson users only)
    Electronic eBook
  20. 40

    Mathematics and computation in imaging science and information processing / editors Say Song Goh, Amos Ron, Zuowei Shen.

    Published 2007
    Table of Contents: “…Concluding Remarks; References; Theory and Computation of Variational Image Deblurring Tony F. …”
    Full text (Emerson users only)
    Electronic eBook