Aspects of complexity [[electronic resource] ] : minicourses in algorithmics, complexity and computational algebra : mathematics workshop, Kaikoura, January 7-15, 2000 / / editors Rod Downey, Denis Hirschfeldt |
Edizione | [Reprint 2010] |
Pubbl/distr/stampa | Berlin ; ; New York, : Walter de Gruyter, 2001 |
Descrizione fisica | 1 online resource (180 p.) |
Disciplina | 511.3 |
Altri autori (Persone) |
DowneyR. G (Rod G.)
HirschfeldtDenis Roman |
Collana | De Gruyter series in logic and its applications |
Soggetto topico |
Computational complexity
Machine theory |
Soggetto genere / forma | Electronic books. |
ISBN | 3-11-088917-X |
Classificazione | SD 2000 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Front matter -- Basic complexity / Allender, Eric / McCartin, Catherine -- Three lectures on real computation / Cucker, Felipe -- Parameterized complexity: new developments and research frontiers / Fellows, Michael R. -- Kolmogorov complexity / Fortnow, Lance -- Complexity and computation in matrix groups / Niemeyer, Alice C. / Praeger, Cheryl E. -- The complexity of counting problems / Welsh, Dominic / Gale, Amy -- The Ω conjecture / Woodin, W. Hugh -- List of contributors |
Record Nr. | UNINA-9910461999603321 |
Berlin ; ; New York, : Walter de Gruyter, 2001 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Aspects of complexity [[electronic resource] ] : minicourses in algorithmics, complexity and computational algebra : mathematics workshop, Kaikoura, January 7-15, 2000 / / editors Rod Downey, Denis Hirschfeldt |
Edizione | [Reprint 2010] |
Pubbl/distr/stampa | Berlin ; ; New York, : Walter de Gruyter, 2001 |
Descrizione fisica | 1 online resource (180 p.) |
Disciplina | 511.3 |
Altri autori (Persone) |
DowneyR. G (Rod G.)
HirschfeldtDenis Roman |
Collana | De Gruyter series in logic and its applications |
Soggetto topico |
Computational complexity
Machine theory |
ISBN | 3-11-088917-X |
Classificazione | SD 2000 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Front matter -- Basic complexity / Allender, Eric / McCartin, Catherine -- Three lectures on real computation / Cucker, Felipe -- Parameterized complexity: new developments and research frontiers / Fellows, Michael R. -- Kolmogorov complexity / Fortnow, Lance -- Complexity and computation in matrix groups / Niemeyer, Alice C. / Praeger, Cheryl E. -- The complexity of counting problems / Welsh, Dominic / Gale, Amy -- The Ω conjecture / Woodin, W. Hugh -- List of contributors |
Record Nr. | UNINA-9910785819303321 |
Berlin ; ; New York, : Walter de Gruyter, 2001 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Aspects of complexity : minicourses in algorithmics, complexity and computational algebra : mathematics workshop, Kaikoura, January 7-15, 2000 / / editors Rod Downey, Denis Hirschfeldt |
Edizione | [Reprint 2010] |
Pubbl/distr/stampa | Berlin ; ; New York, : Walter de Gruyter, 2001 |
Descrizione fisica | 1 online resource (180 p.) |
Disciplina | 511.3 |
Altri autori (Persone) |
DowneyR. G (Rod G.)
HirschfeldtDenis Roman |
Collana | De Gruyter series in logic and its applications |
Soggetto topico |
Computational complexity
Machine theory |
ISBN | 3-11-088917-X |
Classificazione | SD 2000 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Front matter -- Basic complexity / Allender, Eric / McCartin, Catherine -- Three lectures on real computation / Cucker, Felipe -- Parameterized complexity: new developments and research frontiers / Fellows, Michael R. -- Kolmogorov complexity / Fortnow, Lance -- Complexity and computation in matrix groups / Niemeyer, Alice C. / Praeger, Cheryl E. -- The complexity of counting problems / Welsh, Dominic / Gale, Amy -- The Ω conjecture / Woodin, W. Hugh -- List of contributors |
Record Nr. | UNINA-9910815066103321 |
Berlin ; ; New York, : Walter de Gruyter, 2001 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Attracted to Conflict: Dynamic Foundations of Destructive Social Relations / / by Robin R. Vallacher, Peter T. Coleman, Andrzej Nowak, Lan Bui-Wrzosinska, Larry Liebovitch, Katharina Kugler, Andrea Bartoli |
Autore | Vallacher Robin R |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (250 p.) |
Disciplina | 303.6 |
Collana | Peace Psychology Book Series |
Soggetto topico |
Social sciences
Computational complexity Psychology Statistical physics Dynamical systems Methodology of the Social Sciences Complexity Psychology, general Complex Systems Statistical Physics and Dynamical Systems |
ISBN | 3-642-35280-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Overview: Conflict in Human Experience -- Origins: The Promise of Dynamical Systems Theory -- Foundations: The Dynamical Perspective on Social Processes -- Patterns: Trajectories of Conflict -- Traps: Intractable Conflict as a Dynamical System -- Escape: How Intractable Conflicts Can Be Transformed -- Sustainability: The Dynamics of Enduring Peace -- Epilogue: Conflict in the 21st Century -- Design for Workshops on the Application of Dynamical Systems to Intractable Conflict -- Simulation of Attractor Dynamics -- References -- Author Index -- Subject Index. |
Record Nr. | UNINA-9910437963203321 |
Vallacher Robin R | ||
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Automated Modeling of Physical Systems [[electronic resource] /] / by P. Pandurang Nayak |
Autore | Nayak P. Pandurang |
Edizione | [1st ed. 1995.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1995 |
Descrizione fisica | 1 online resource (XXII, 238 p.) |
Disciplina | 003/.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Computer simulation
Physics Artificial intelligence Computers Computational complexity Electronics Microelectronics Simulation and Modeling Physics, general Artificial Intelligence Computation by Abstract Devices Complexity Electronics and Microelectronics, Instrumentation |
ISBN | 3-540-48520-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Models and model fragments -- Adequate models -- Complexity of model selection -- Causal approximations -- Differential equations -- Order of magnitude reasoning -- Model selection program and results -- Related work -- Conclusions. |
Record Nr. | UNISA-996465481303316 |
Nayak P. Pandurang | ||
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1995 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Automation of Finite Element Methods / / by Jože Korelc, Peter Wriggers |
Autore | Korelc Jože |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (XXVIII, 346 p. 46 illus., 10 illus. in color.) |
Disciplina | 620 |
Soggetto topico |
Vibration
Dynamical systems Dynamics Mechanics Mechanics, Applied Computational complexity Vibration, Dynamical Systems, Control Solid Mechanics Complexity Classical Mechanics |
ISBN | 3-319-39005-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Notation.- Introduction.- Basic Equations of Continuum Mechanics.- Automation of Research in Computational Modeling.- Automation of Primal Analysis.- Automation of Discretization Techniques -- Materials.- Continuum Elements.- Structural Elements -- Automation of Sensitivity Analysis. |
Record Nr. | UNINA-9910254233803321 |
Korelc Jože | ||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Axiomatic Design in Large Systems : Complex Products, Buildings and Manufacturing Systems / / edited by Amro M. Farid, Nam P. Suh |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (XXI, 322 p. 99 illus., 40 illus. in color.) |
Disciplina | 620.0042 |
Soggetto topico |
Engineering design
Buildings—Design and construction Building Construction Engineering, Architectural Computational complexity Manufactures Engineering Design Building Construction and Design Complexity Manufacturing, Machines, Tools, Processes |
ISBN | 3-319-32388-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | An Engineering Systems Introduction to Axiomatic Design -- Mathematical Exposition of the Design Axioms -- New developments to guide strategic product design and systematic innovation -- A Different Consideration on Information and Complexity in Axiomatic Design -- A Novel Approach for Axiomatic-Based Design for the Environment -- Application of Axiomatic Design to the Design of the Built Environment: a Literature Review -- Applying Axiomatic Design to Prefabricated Building Design in the Housing Industry: a Case Studies Analysis -- An Application of Quality Function Deployment and Axiomatic Design to the Conceptual Design of Temporary Housing -- Design and Implementation Approach for Distributed Manufacturing Networks using Axiomatic Design -- Axiomatic Design of Production Systems for Performance Improvement: a Project Identification and Prioritization model -- Challenges in Designing and Implementing Large Systems (Overcoming Cost Over-Runs and Missed Project Schedules) -- Appendix A: Axioms, Corollaries and Theorems in Axiomatic Design. |
Record Nr. | UNINA-9910254216103321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Bayes linear statistics [[electronic resource] ] : theory and methods / / Michael Goldstein and David Wooff |
Autore | Goldstein Michael <1949-> |
Pubbl/distr/stampa | Chichester, England ; ; Hoboken, NJ, : John Wiley, c2007 |
Descrizione fisica | 1 online resource (538 p.) |
Disciplina |
519.5
519.542 |
Altri autori (Persone) | WooffDavid |
Collana | Wiley series in probability and statistics |
Soggetto topico |
Bayesian statistical decision theory
Linear systems Computational complexity |
Soggetto genere / forma | Electronic books. |
ISBN |
1-280-85495-2
9786610854950 0-470-06566-4 0-470-06567-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Bayes Linear Statistics; Contents; Preface; 1 The Bayes linear approach; 1.1 Combining beliefs with data; 1.2 The Bayesian approach; 1.3 Features of the Bayes linear approach; 1.4 Example; 1.4.1 Expectation, variance, and standardization; 1.4.2 Prior inputs; 1.4.3 Adjusted expectations; 1.4.4 Adjusted versions; 1.4.5 Adjusted variances; 1.4.6 Checking data inputs; 1.4.7 Observed adjusted expectations; 1.4.8 Diagnostics for adjusted beliefs; 1.4.9 Further diagnostics for the adjusted versions; 1.4.10 Summary of basic adjustment; 1.4.11 Diagnostics for collections
1.4.12 Exploring collections of beliefs via canonical structure1.4.13 Modifying the original specifications; 1.4.14 Repeating the analysis for the revised model; 1.4.15 Global analysis of collections of observations; 1.4.16 Partial adjustments; 1.4.17 Partial diagnostics; 1.4.18 Summary; 1.5 Overview; 2 Expectation; 2.1 Expectation as a primitive; 2.2 Discussion: expectation as a primitive; 2.3 Quantifying collections of uncertainties; 2.4 Specifying prior beliefs; 2.4.1 Example: oral glucose tolerance test; 2.5 Qualitative and quantitative prior specification 2.6 Example: qualitative representation of uncertainty2.6.1 Identifying the quantities of interest; 2.6.2 Identifying relevant prior information; 2.6.3 Sources of variation; 2.6.4 Representing population variation; 2.6.5 The qualitative representation; 2.6.6 Graphical models; 2.7 Example: quantifying uncertainty; 2.7.1 Prior expectations; 2.7.2 Prior variances; 2.7.3 Prior covariances; 2.7.4 Summary of belief specifications; 2.8 Discussion: on the various methods for assigning expectations; 3 Adjusting beliefs; 3.1 Adjusted expectation; 3.2 Properties of adjusted expectation 3.3 Adjusted variance3.4 Interpretations of belief adjustment; 3.5 Foundational issues concerning belief adjustment; 3.6 Example: one-dimensional problem; 3.7 Collections of adjusted beliefs; 3.8 Examples; 3.8.1 Algebraic example; 3.8.2 Oral glucose tolerance test; 3.8.3 Many oral glucose tolerance tests; 3.9 Canonical analysis for a belief adjustment; 3.9.1 Canonical directions for the adjustment; 3.9.2 The resolution transform; 3.9.3 Partitioning the resolution; 3.9.4 The reverse adjustment; 3.9.5 Minimal linear sufficiency; 3.9.6 The adjusted belief transform matrix 3.10 The geometric interpretation of belief adjustment3.11 Examples; 3.11.1 Simple one-dimensional problem; 3.11.2 Algebraic example; 3.11.3 Oral glucose tolerance test; 3.12 Further reading; 4 The observed adjustment; 4.1 Discrepancy; 4.1.1 Discrepancy for a collection; 4.1.2 Evaluating discrepancy over a basis; 4.1.3 Discrepancy for quantities with variance zero; 4.2 Properties of discrepancy measures; 4.2.1 Evaluating the discrepancy vector over a basis; 4.3 Examples; 4.3.1 Simple one-dimensional problem; 4.3.2 Detecting degeneracy; 4.3.3 Oral glucose tolerance test 4.4 The observed adjustment |
Record Nr. | UNINA-9910143714703321 |
Goldstein Michael <1949-> | ||
Chichester, England ; ; Hoboken, NJ, : John Wiley, c2007 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Bayes linear statistics [[electronic resource] ] : theory and methods / / Michael Goldstein and David Wooff |
Autore | Goldstein Michael <1949-> |
Pubbl/distr/stampa | Chichester, England ; ; Hoboken, NJ, : John Wiley, c2007 |
Descrizione fisica | 1 online resource (538 p.) |
Disciplina |
519.5
519.542 |
Altri autori (Persone) | WooffDavid |
Collana | Wiley series in probability and statistics |
Soggetto topico |
Bayesian statistical decision theory
Linear systems Computational complexity |
ISBN |
1-280-85495-2
9786610854950 0-470-06566-4 0-470-06567-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Bayes Linear Statistics; Contents; Preface; 1 The Bayes linear approach; 1.1 Combining beliefs with data; 1.2 The Bayesian approach; 1.3 Features of the Bayes linear approach; 1.4 Example; 1.4.1 Expectation, variance, and standardization; 1.4.2 Prior inputs; 1.4.3 Adjusted expectations; 1.4.4 Adjusted versions; 1.4.5 Adjusted variances; 1.4.6 Checking data inputs; 1.4.7 Observed adjusted expectations; 1.4.8 Diagnostics for adjusted beliefs; 1.4.9 Further diagnostics for the adjusted versions; 1.4.10 Summary of basic adjustment; 1.4.11 Diagnostics for collections
1.4.12 Exploring collections of beliefs via canonical structure1.4.13 Modifying the original specifications; 1.4.14 Repeating the analysis for the revised model; 1.4.15 Global analysis of collections of observations; 1.4.16 Partial adjustments; 1.4.17 Partial diagnostics; 1.4.18 Summary; 1.5 Overview; 2 Expectation; 2.1 Expectation as a primitive; 2.2 Discussion: expectation as a primitive; 2.3 Quantifying collections of uncertainties; 2.4 Specifying prior beliefs; 2.4.1 Example: oral glucose tolerance test; 2.5 Qualitative and quantitative prior specification 2.6 Example: qualitative representation of uncertainty2.6.1 Identifying the quantities of interest; 2.6.2 Identifying relevant prior information; 2.6.3 Sources of variation; 2.6.4 Representing population variation; 2.6.5 The qualitative representation; 2.6.6 Graphical models; 2.7 Example: quantifying uncertainty; 2.7.1 Prior expectations; 2.7.2 Prior variances; 2.7.3 Prior covariances; 2.7.4 Summary of belief specifications; 2.8 Discussion: on the various methods for assigning expectations; 3 Adjusting beliefs; 3.1 Adjusted expectation; 3.2 Properties of adjusted expectation 3.3 Adjusted variance3.4 Interpretations of belief adjustment; 3.5 Foundational issues concerning belief adjustment; 3.6 Example: one-dimensional problem; 3.7 Collections of adjusted beliefs; 3.8 Examples; 3.8.1 Algebraic example; 3.8.2 Oral glucose tolerance test; 3.8.3 Many oral glucose tolerance tests; 3.9 Canonical analysis for a belief adjustment; 3.9.1 Canonical directions for the adjustment; 3.9.2 The resolution transform; 3.9.3 Partitioning the resolution; 3.9.4 The reverse adjustment; 3.9.5 Minimal linear sufficiency; 3.9.6 The adjusted belief transform matrix 3.10 The geometric interpretation of belief adjustment3.11 Examples; 3.11.1 Simple one-dimensional problem; 3.11.2 Algebraic example; 3.11.3 Oral glucose tolerance test; 3.12 Further reading; 4 The observed adjustment; 4.1 Discrepancy; 4.1.1 Discrepancy for a collection; 4.1.2 Evaluating discrepancy over a basis; 4.1.3 Discrepancy for quantities with variance zero; 4.2 Properties of discrepancy measures; 4.2.1 Evaluating the discrepancy vector over a basis; 4.3 Examples; 4.3.1 Simple one-dimensional problem; 4.3.2 Detecting degeneracy; 4.3.3 Oral glucose tolerance test 4.4 The observed adjustment |
Record Nr. | UNINA-9910830430903321 |
Goldstein Michael <1949-> | ||
Chichester, England ; ; Hoboken, NJ, : John Wiley, c2007 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Bayes linear statistics [[electronic resource] ] : theory and methods / / Michael Goldstein and David Wooff |
Autore | Goldstein Michael <1949-> |
Pubbl/distr/stampa | Chichester, England ; ; Hoboken, NJ, : John Wiley, c2007 |
Descrizione fisica | 1 online resource (538 p.) |
Disciplina |
519.5
519.542 |
Altri autori (Persone) | WooffDavid |
Collana | Wiley series in probability and statistics |
Soggetto topico |
Bayesian statistical decision theory
Linear systems Computational complexity |
ISBN |
1-280-85495-2
9786610854950 0-470-06566-4 0-470-06567-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Bayes Linear Statistics; Contents; Preface; 1 The Bayes linear approach; 1.1 Combining beliefs with data; 1.2 The Bayesian approach; 1.3 Features of the Bayes linear approach; 1.4 Example; 1.4.1 Expectation, variance, and standardization; 1.4.2 Prior inputs; 1.4.3 Adjusted expectations; 1.4.4 Adjusted versions; 1.4.5 Adjusted variances; 1.4.6 Checking data inputs; 1.4.7 Observed adjusted expectations; 1.4.8 Diagnostics for adjusted beliefs; 1.4.9 Further diagnostics for the adjusted versions; 1.4.10 Summary of basic adjustment; 1.4.11 Diagnostics for collections
1.4.12 Exploring collections of beliefs via canonical structure1.4.13 Modifying the original specifications; 1.4.14 Repeating the analysis for the revised model; 1.4.15 Global analysis of collections of observations; 1.4.16 Partial adjustments; 1.4.17 Partial diagnostics; 1.4.18 Summary; 1.5 Overview; 2 Expectation; 2.1 Expectation as a primitive; 2.2 Discussion: expectation as a primitive; 2.3 Quantifying collections of uncertainties; 2.4 Specifying prior beliefs; 2.4.1 Example: oral glucose tolerance test; 2.5 Qualitative and quantitative prior specification 2.6 Example: qualitative representation of uncertainty2.6.1 Identifying the quantities of interest; 2.6.2 Identifying relevant prior information; 2.6.3 Sources of variation; 2.6.4 Representing population variation; 2.6.5 The qualitative representation; 2.6.6 Graphical models; 2.7 Example: quantifying uncertainty; 2.7.1 Prior expectations; 2.7.2 Prior variances; 2.7.3 Prior covariances; 2.7.4 Summary of belief specifications; 2.8 Discussion: on the various methods for assigning expectations; 3 Adjusting beliefs; 3.1 Adjusted expectation; 3.2 Properties of adjusted expectation 3.3 Adjusted variance3.4 Interpretations of belief adjustment; 3.5 Foundational issues concerning belief adjustment; 3.6 Example: one-dimensional problem; 3.7 Collections of adjusted beliefs; 3.8 Examples; 3.8.1 Algebraic example; 3.8.2 Oral glucose tolerance test; 3.8.3 Many oral glucose tolerance tests; 3.9 Canonical analysis for a belief adjustment; 3.9.1 Canonical directions for the adjustment; 3.9.2 The resolution transform; 3.9.3 Partitioning the resolution; 3.9.4 The reverse adjustment; 3.9.5 Minimal linear sufficiency; 3.9.6 The adjusted belief transform matrix 3.10 The geometric interpretation of belief adjustment3.11 Examples; 3.11.1 Simple one-dimensional problem; 3.11.2 Algebraic example; 3.11.3 Oral glucose tolerance test; 3.12 Further reading; 4 The observed adjustment; 4.1 Discrepancy; 4.1.1 Discrepancy for a collection; 4.1.2 Evaluating discrepancy over a basis; 4.1.3 Discrepancy for quantities with variance zero; 4.2 Properties of discrepancy measures; 4.2.1 Evaluating the discrepancy vector over a basis; 4.3 Examples; 4.3.1 Simple one-dimensional problem; 4.3.2 Detecting degeneracy; 4.3.3 Oral glucose tolerance test 4.4 The observed adjustment |
Record Nr. | UNINA-9910840609503321 |
Goldstein Michael <1949-> | ||
Chichester, England ; ; Hoboken, NJ, : John Wiley, c2007 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|