Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Automata Studies. (AM-34), Volume 34 / / J. McCarthy, C. E. Shannon
| Automata Studies. (AM-34), Volume 34 / / J. McCarthy, C. E. Shannon |
| Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
| Descrizione fisica | 1 online resource (297 pages) : illustrations |
| Disciplina |
621.38
621.34* |
| Collana | Annals of Mathematics Studies |
| Soggetto topico |
Machine theory
Conscious automata |
| Soggetto non controllato |
A Mathematical Theory of Communication
Abstraction (software engineering) Accuracy and precision Algebraic theory Arithmetic Automaton Axiom Binary number Biophysics Bit Boolean algebra (structure) Calculation Chaos theory Circuit design Classical conditioning Combination lock Combination Computable number Computation Concepts (C++) Conditional probability Connectivity (graph theory) Correlation and dependence Counterexample Counting Decision problem Description number Detection Determinism Deterministic system (philosophy) Diagram (category theory) Diagram Entscheidungsproblem Enumeration Equation Estimation Exponentiation Finite-state machine First principle Fixed point (mathematics) Function (mathematics) Gödel numbering Hardware random number generator Heuristic argument Instance (computer science) Interlacing (bitmaps) Intuitionistic logic Lebesgue measure Logarithm Logic Logical disjunction Markov chain Mathematical analysis Mathematical induction Mathematical logic Mathematical notation Mathematical theory Mathematics Measure (mathematics) Metamathematics Modular arithmetic Moment (mathematics) Moore machine Notation Number theory OR gate Parameter (computer programming) Parity (mathematics) Permutation Pilot plant Polynomial Primitive recursive function Probability measure Probability Proportionality (mathematics) Propositional function Quantity Recursion (computer science) Recursive set Recursively enumerable set Result Schematic Sequence Series (mathematics) Set theory Sheffer stroke Sign (mathematics) Solver Special case Stochastic process String (computer science) Subsequence Subset Theorem Thermodynamic equilibrium Trial and error Turing machine Typewriter Universal Turing machine Variable (mathematics) |
| ISBN | 1-4008-8261-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Preface -- Contents -- Finite Automata -- Representation of Events in Nerve Nets and Finite Automata / Kleene, S. C. -- Probabilistic Logics and the Synthesis of Reliable Organisms From Unreliable Components / Neumann, J. von -- Some Uneconomical Robots / Culbertson, James T. -- Some Universal Elements for Finite Automata / Minsky, M. L. -- Gedanken-Experiments on Sequential Machines / Moore, Edward F. -- Turing Machines -- A Universal Turing Machine with Two Internal States / Shannon, Claude E. -- A Note on Universal Turing Machines / Davis, M. D. -- The Inversion of Functions Defined by Turing Machines / McCarthy, John -- Computability by Probabilistic Machines / Leeuw, K. de / Moore, E. F. / Shannon, C. E. / Shapiro, N. -- Synthesis of Automata -- Design for an Intelligence-Amplifier / Ashby, W. Ross -- The Epistemological Problem for Automata / MacKay, D. M. -- Conditional Probability Machines and Conditioned Reflexes / Uttley, Albert M. -- Temporal and Spatial Patterns in a Conditional Probability Machine / Uttley, Albert M. |
| Record Nr. | UNINA-9910154745703321 |
| Princeton, NJ : , : Princeton University Press, , [2016] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Statistical mechanics of nonequilbrium liquids / / Denis J. Evans, Gary P. Morris
| Statistical mechanics of nonequilbrium liquids / / Denis J. Evans, Gary P. Morris |
| Autore | Evans Denis J. |
| Pubbl/distr/stampa | Canberra, : ANU Press, 2007 |
| Descrizione fisica | 1 online resource (318 pages) |
| Disciplina | 530.13 |
| Soggetto topico | Science: general issues |
| Soggetto non controllato |
computer simulation
statistical mechanics liquids nonequilibrium fluids Cross-correlation matrix Equations of motion Phase space Strain rate Thermodynamic equilibrium Viscosity |
| ISBN |
9781921313233
9781921313226 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910141768303321 |
Evans Denis J.
|
||
| Canberra, : ANU Press, 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Thermodynamics [[electronic resource] ] : a dynamical systems approach / / Wassim M. Haddad, VijaySekhar Chellaboina, Sergey G. Nersesov
| Thermodynamics [[electronic resource] ] : a dynamical systems approach / / Wassim M. Haddad, VijaySekhar Chellaboina, Sergey G. Nersesov |
| Autore | Haddad Wassim M. <1961-> |
| Edizione | [Course Book] |
| Pubbl/distr/stampa | Princeton, : Princeton University Press, c2005 |
| Descrizione fisica | 1 online resource (199 p.) |
| Disciplina | 536/.7 |
| Altri autori (Persone) |
ChellaboinaVijaySekhar <1970->
NersesovSergey G. <1976-> |
| Collana | Princeton series in applied mathematics |
| Soggetto topico |
Thermodynamics - Mathematics
Differentiable dynamical systems |
| Soggetto non controllato |
Addition
Adiabatic process Applied mathematics Arthur Eddington Asymmetry Available energy (particle collision) Axiom Balance equation Banach space Boltzmann's entropy formula Brillouin scattering Carnot cycle Classical mechanics Clausius (crater) Compact space Conservation law Conservation of energy Constant of integration Continuous function (set theory) Continuous function Control theory Deformation (mechanics) Derivative Diathermal wall Diffeomorphism Differentiable function Diffusion process Dimension (vector space) Dimension Dissipation Dot product Dynamical system Emergence Energy density Energy level Energy storage Energy Entropy Equation Equations of motion Equilibrium point Equilibrium thermodynamics Equipartition theorem Existential quantification First law of thermodynamics Hamiltonian mechanics Heat capacity Heat death of the universe Heat flux Heat transfer Homeomorphism Hydrogen atom Ideal gas Inequality (mathematics) Infimum and supremum Infinitesimal Initial condition Instant Internal energy Irreversible process Isolated system Kinetic theory of gases Laws of thermodynamics Linear dynamical system Lipschitz continuity Local boundedness Lyapunov function Lyapunov stability Mathematical optimization Mathematics Molecule Non-equilibrium thermodynamics Operator norm Probability Quantity Reversible process (thermodynamics) Second law of thermodynamics Semi-infinite Smoothness State variable State-space representation Statistical mechanics Steady state Summation Supply (economics) Systems theory Temperature Theorem Theoretical physics Theory Thermal conduction Thermal equilibrium Thermodynamic equilibrium Thermodynamic process Thermodynamic state Thermodynamic system Thermodynamic temperature Thermodynamics Time evolution Zeroth law of thermodynamics |
| ISBN |
1-68015-904-6
1-282-15830-9 9786612158308 1-4008-2697-7 |
| Classificazione | UG 1000 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Contents -- Preface -- Chapter 1. Introduction -- Chapter 2. Dynamical System Theory -- Chapter 3. A Systems Foundation for Thermodynamics -- Chapter 4. Temperature Equipartition and the Kinetic Theory of Gases -- Chapter 5. Work, Heat, and the Carnot Cycle -- Chapter 6. Thermodynamic Systems with Linear Energy Exchange -- Chapter 7. Continuum Thermodynamics -- Chapter 8. Conclusion -- Bibliography -- Index |
| Record Nr. | UNINA-9910778220303321 |
|
Haddad Wassim M. <1961->
|
||
| Princeton, : Princeton University Press, c2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||