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 | ||
| ||
Matrices, moments, and quadrature with applications [[electronic resource] /] / Gene H. Golub and Gerard Meurant
| Matrices, moments, and quadrature with applications [[electronic resource] /] / Gene H. Golub and Gerard Meurant |
| Autore | Golub Gene H (Gene Howard), <1932-2007.> |
| Edizione | [Course Book] |
| Pubbl/distr/stampa | Princeton, N.J., : Princeton University Press, c2010 |
| Descrizione fisica | 1 online resource (376 p.) |
| Disciplina | 512.9434 |
| Altri autori (Persone) | MeurantGérard A |
| Collana | Princeton series in applied mathematics |
| Soggetto topico |
Matrices
Numerical analysis |
| Soggetto non controllato |
Algorithm
Analysis of algorithms Analytic function Asymptotic analysis Basis (linear algebra) Basis function Biconjugate gradient method Bidiagonal matrix Bilinear form Calculation Characteristic polynomial Chebyshev polynomials Coefficient Complex number Computation Condition number Conjugate gradient method Conjugate transpose Cross-validation (statistics) Curve fitting Degeneracy (mathematics) Determinant Diagonal matrix Dimension (vector space) Eigenvalues and eigenvectors Equation Estimation Estimator Exponential function Factorization Function (mathematics) Function of a real variable Functional analysis Gaussian quadrature Hankel matrix Hermite interpolation Hessenberg matrix Hilbert matrix Holomorphic function Identity matrix Interlacing (bitmaps) Inverse iteration Inverse problem Invertible matrix Iteration Iterative method Jacobi matrix Krylov subspace Laguerre polynomials Lanczos algorithm Linear differential equation Linear regression Linear subspace Logarithm Machine epsilon Matrix function Matrix polynomial Maxima and minima Mean value theorem Meromorphic function Moment (mathematics) Moment matrix Moment problem Monic polynomial Monomial Monotonic function Newton's method Numerical analysis Numerical integration Numerical linear algebra Orthogonal basis Orthogonal matrix Orthogonal polynomials Orthogonal transformation Orthogonality Orthogonalization Orthonormal basis Partial fraction decomposition Polynomial Preconditioner QR algorithm QR decomposition Quadratic form Rate of convergence Recurrence relation Regularization (mathematics) Rotation matrix Singular value Square (algebra) Summation Symmetric matrix Theorem Tikhonov regularization Trace (linear algebra) Triangular matrix Tridiagonal matrix Upper and lower bounds Variable (mathematics) Vector space Weight function |
| ISBN |
1-282-45801-9
1-282-93607-7 9786612458019 1-4008-3388-4 |
| Classificazione | SK 915 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Contents -- Preface -- PART 1. Theory -- Chapter 1. Introduction -- Chapter 2. Orthogonal Polynomials -- Chapter 3. Properties of Tridiagonal Matrices -- Chapter 4. The Lanczos and Conjugate Gradient Algorithms -- Chapter 5. Computation of the Jacobi Matrices -- Chapter 6. Gauss Quadrature -- Chapter 7. Bounds for Bilinear Forms uTƒ(A)v -- Chapter 8. Extensions to Nonsymmetric Matrices -- Chapter 9. Solving Secular Equations -- PART 2. Applications -- Chapter 10. Examples of Gauss Quadrature Rules -- Chapter 11. Bounds and Estimates for Elements of Functions of Matrices -- Chapter 12. Estimates of Norms of Errors in the Conjugate Gradient Algorithm -- Chapter 13. Least Squares Problems -- Chapter 14. Total Least Squares -- Chapter 15. Discrete Ill-Posed Problems -- Bibliography -- Index |
| Record Nr. | UNINA-9910780861503321 |
Golub Gene H (Gene Howard), <1932-2007.>
|
||
| Princeton, N.J., : Princeton University Press, c2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||