Suggested Topics within your search.
Suggested Topics within your search.
- Data processing 9
- Mathematics 8
- History 6
- Electronic data processing 5
- Philosophy 4
- Research 4
- Artificial intelligence 3
- Chemistry 3
- Communication 3
- Computable functions 3
- Computational complexity 3
- Computer science 3
- Linguistics 3
- Logic, Symbolic and mathematical 3
- Machine theory 3
- Mathematical linguistics 3
- Misinformation 3
- Proof theory 3
- Social aspects 3
- computer science 3
- data processing 3
- linguistics 3
- Algebra, Abstract 2
- Cheminformatics 2
- Cognition 2
- Cognitive science 2
- Computational linguistics 2
- Computer arithmetic 2
- Computer arithmetic and logic units 2
- Engineering mathematics 2
Search alternatives:
"theory of computation" » "theory of competition" (Expand Search), "theory of compilation" (Expand Search)
"theory of computation" » "theory of competition" (Expand Search), "theory of compilation" (Expand Search)
-
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 2003Table 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 -
22
Turing's vision : the birth of computer science / Chris Bernhardt.
Published 2016Full text (Emerson users only)
Electronic eBook -
23
Proofs and Computations.
Published 2011Table 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 -
24
Reviews in Computational Chemistry, 26.
Published 2008Table 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 -
25
Advances in Chemical Physics, Liquid Polymorphism.
Published 2013Full text (Emerson users only)
Electronic eBook -
26
-
27
Low-Frequency Electromagnetic Modeling for Electrical and Biological Systems Using MATLAB.
Published 2015Table 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 -
28
Mathematical Logic in Asia : Proceedings of the 9th Asian Logic Conference.
Published 2006Table 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 -
29
Managing Enterprise in the 21st Century.
Published 2017Table 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 -
30
Fundamental concepts in computer science / editors, Erol Gelenbe, Jean-Pierre Kahane.
Published 2009Full text (Emerson users only)
Electronic eBook -
31
Thinking Like a Computer : An Introduction to Digital Reality.
Published 2020Table 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 -
32
Theory review for cylindrical shells and parametric study of chimneys and tanks / Jeroen Hoefakker.
Published 2010Table 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 -
33
A chemist's guide to valence bond theory / Sason Shaik, Philippe C. Hiberty.
Published 2008Table 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 -
34
Harry Markowitz : selected works / edited by Harry M. Markowitz.
Published 2008Table of Contents: “…Foundations of portfolio theory. Fast computation of mean-variance efficient sets using historical covariances. …”
Full text (Emerson users only)
Electronic eBook -
35
Mathematical Programming : Theory and Methods.
Published 2006Table of Contents: “…Simplex Method: Theory and Computation; 11.1. Introduction…”
Full text (Emerson users only)
Electronic eBook -
36
-
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 2006Table 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 -
38
Flow measurement by electromagnetic induction : theory and numerical methods / Xiao-Zhang Zhang.
Published 2020Full text (Emerson users only)
Electronic eBook -
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.
Published 2014Table 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 -
40
Mathematics and computation in imaging science and information processing / editors Say Song Goh, Amos Ron, Zuowei Shen.
Published 2007Table of Contents: “…Concluding Remarks; References; Theory and Computation of Variational Image Deblurring Tony F. …”
Full text (Emerson users only)
Electronic eBook