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.
Advanced topics on cellular self-organizing nets and chaotic nonlinear dynamics to model and control complex systems [[electronic resource] /] / edited by Riccardo Caponetto, Luigi Fortuna, Mattia Frasca
| Advanced topics on cellular self-organizing nets and chaotic nonlinear dynamics to model and control complex systems [[electronic resource] /] / edited by Riccardo Caponetto, Luigi Fortuna, Mattia Frasca |
| Pubbl/distr/stampa | Hackensakc, NJ, : World Scientific, c2008 |
| Descrizione fisica | 1 online resource (200 p.) |
| Disciplina | 511.3/52 |
| Altri autori (Persone) |
CaponettoR <1966-> (Riccardo)
FortunaL <1953-> (Luigi) FrascaMattia |
| Collana | World Scientific series on nonlinear science |
| Soggetto topico |
Computational complexity
Nonlinear systems - Mathematical models Self-organizing maps System theory - Mathematical models |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-281-96803-X
9786611968038 981-281-405-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Preface; Contributors; List of People Involved in the FIRB Project; Contents; 1. The CNN Paradigm for Complexity; 1.1 Introduction; 1.2 The 3D-CNN Model; 1.3 E3: An Universal Emulator for Complex Systems; 1.4 Emergence of Forms in 3D-CNNs; 1.4.1 Initial conditions; 1.4.2 3D waves in homogeneous and unhomogeneous media; 1.4.3 Chua's circuit; 1.4.4 Lorenz system; 1.4.5 Rössler system; 1.4.6 FitzHugh-Nagumo neuron model; 1.4.7 Hindmarsh-Rose neuron model; 1.4.8 Inferior-Olive neuronmodel; 1.4.9 Izhikevich neuronmodel; 1.4.10 Neuron model exhibiting homoclinic chaos; 1.5 Conclusions
2. Emergent Phenomena in Neuroscience2.1 Introductory Material: Neurons and Models; 2.1.1 Models of excitability; 2.1.2 The Hodgkin-Huxley model; 2.1.3 The FitzHugh-Nagumo model; 2.1.4 Class I and class II excitability; 2.1.5 Other neuronmodels; 2.2 Electronic Implementation of NeuronModels; 2.2.1 Implementation of single cell neuron dynamics; 2.2.2 Implementation of systems with many neurons; 2.3 Local Activity Theory for Systems of IO Neurons; 2.3.1 The theory of local activity for one-port and two-port systems 2.3.2 The local activity and the edge of chaos regions of the inferior olive neuron2.4 Simulation of IO Systems: Emerging Results; 2.4.1 The paradigm of local active wave computation for image processing; 2.4.2 Local active wave computation based paradigm: 3D-shape processing; 2.5 Networks of HR Neurons; 2.5.1 The neural model; 2.5.2 Parameters for dynamical analysis; 2.5.3 Dynamical effects of topology on synchronization; 2.6 Neurons in Presence of Noise; 2.7 Conclusions; 3. Frequency Analysis and Identification in Atomic Force Microscopy; 3.1 Introduction; 3.2 AFM Modeling 3.2.1 Piecewise interaction force3.2.2 Lennard Jones-like interaction force; 3.3 Frequency Analysis via Harmonic Balance; 3.3.1 Piecewise interaction model analysis; 3.3.2 Lennard Jones-like hysteretic model analysis; 3.4 Identification of the Tip-Sample Force Model; 3.4.1 Identification method; 3.4.2 Experimental results; 3.5 Conclusions; References; 4. Control and Parameter Estimation of Systems with Low-Dimensional Chaos - The Role of Peak-to-Peak Dynamics; 4.1 Introduction; 4.2 Peak-to-Peak Dynamics; 4.3 Control System Design; 4.3.1 PPD modeling and control 4.3.2 The impact of noise and sampling frequency4.3.3 PPD reconstruction; 4.4 Parameter Estimation; 4.4.1 Derivation of the "empirical PPP"; 4.4.2 Interpolation of the "empirical PPP"; 4.4.3 Optimization; 4.4.4 Example of application; 4.5 Concluding Remarks; References; 5. Synchronization of Complex Networks; 5.1 Introduction; 5.2 Synchronization of Interacting Oscillators; 5.3 From Local to Long-Range Connections; 5.4 The Master Stability Function; 5.4.1 The case of continuous time systems; 5.4.2 The Master stability function for coupled maps 5.5 Key Elements for the Assessing of Synchronizability |
| Record Nr. | UNINA-9910453334503321 |
| Hackensakc, NJ, : World Scientific, c2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advanced topics on cellular self-organizing nets and chaotic nonlinear dynamics to model and control complex systems [[electronic resource] /] / edited by Riccardo Caponetto, Luigi Fortuna, Mattia Frasca
| Advanced topics on cellular self-organizing nets and chaotic nonlinear dynamics to model and control complex systems [[electronic resource] /] / edited by Riccardo Caponetto, Luigi Fortuna, Mattia Frasca |
| Pubbl/distr/stampa | Hackensakc, NJ, : World Scientific, c2008 |
| Descrizione fisica | 1 online resource (200 p.) |
| Disciplina | 511.3/52 |
| Altri autori (Persone) |
CaponettoR <1966-> (Riccardo)
FortunaL <1953-> (Luigi) FrascaMattia |
| Collana | World Scientific series on nonlinear science |
| Soggetto topico |
Computational complexity
Nonlinear systems - Mathematical models Self-organizing maps System theory - Mathematical models |
| ISBN |
1-281-96803-X
9786611968038 981-281-405-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Preface; Contributors; List of People Involved in the FIRB Project; Contents; 1. The CNN Paradigm for Complexity; 1.1 Introduction; 1.2 The 3D-CNN Model; 1.3 E3: An Universal Emulator for Complex Systems; 1.4 Emergence of Forms in 3D-CNNs; 1.4.1 Initial conditions; 1.4.2 3D waves in homogeneous and unhomogeneous media; 1.4.3 Chua's circuit; 1.4.4 Lorenz system; 1.4.5 Rössler system; 1.4.6 FitzHugh-Nagumo neuron model; 1.4.7 Hindmarsh-Rose neuron model; 1.4.8 Inferior-Olive neuronmodel; 1.4.9 Izhikevich neuronmodel; 1.4.10 Neuron model exhibiting homoclinic chaos; 1.5 Conclusions
2. Emergent Phenomena in Neuroscience2.1 Introductory Material: Neurons and Models; 2.1.1 Models of excitability; 2.1.2 The Hodgkin-Huxley model; 2.1.3 The FitzHugh-Nagumo model; 2.1.4 Class I and class II excitability; 2.1.5 Other neuronmodels; 2.2 Electronic Implementation of NeuronModels; 2.2.1 Implementation of single cell neuron dynamics; 2.2.2 Implementation of systems with many neurons; 2.3 Local Activity Theory for Systems of IO Neurons; 2.3.1 The theory of local activity for one-port and two-port systems 2.3.2 The local activity and the edge of chaos regions of the inferior olive neuron2.4 Simulation of IO Systems: Emerging Results; 2.4.1 The paradigm of local active wave computation for image processing; 2.4.2 Local active wave computation based paradigm: 3D-shape processing; 2.5 Networks of HR Neurons; 2.5.1 The neural model; 2.5.2 Parameters for dynamical analysis; 2.5.3 Dynamical effects of topology on synchronization; 2.6 Neurons in Presence of Noise; 2.7 Conclusions; 3. Frequency Analysis and Identification in Atomic Force Microscopy; 3.1 Introduction; 3.2 AFM Modeling 3.2.1 Piecewise interaction force3.2.2 Lennard Jones-like interaction force; 3.3 Frequency Analysis via Harmonic Balance; 3.3.1 Piecewise interaction model analysis; 3.3.2 Lennard Jones-like hysteretic model analysis; 3.4 Identification of the Tip-Sample Force Model; 3.4.1 Identification method; 3.4.2 Experimental results; 3.5 Conclusions; References; 4. Control and Parameter Estimation of Systems with Low-Dimensional Chaos - The Role of Peak-to-Peak Dynamics; 4.1 Introduction; 4.2 Peak-to-Peak Dynamics; 4.3 Control System Design; 4.3.1 PPD modeling and control 4.3.2 The impact of noise and sampling frequency4.3.3 PPD reconstruction; 4.4 Parameter Estimation; 4.4.1 Derivation of the "empirical PPP"; 4.4.2 Interpolation of the "empirical PPP"; 4.4.3 Optimization; 4.4.4 Example of application; 4.5 Concluding Remarks; References; 5. Synchronization of Complex Networks; 5.1 Introduction; 5.2 Synchronization of Interacting Oscillators; 5.3 From Local to Long-Range Connections; 5.4 The Master Stability Function; 5.4.1 The case of continuous time systems; 5.4.2 The Master stability function for coupled maps 5.5 Key Elements for the Assessing of Synchronizability |
| Record Nr. | UNINA-9910782591603321 |
| Hackensakc, NJ, : World Scientific, c2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advanced topics on cellular self-organizing nets and chaotic nonlinear dynamics to model and control complex systems / / edited by Riccardo Caponetto, Luigi Fortuna, Mattia Frasca
| Advanced topics on cellular self-organizing nets and chaotic nonlinear dynamics to model and control complex systems / / edited by Riccardo Caponetto, Luigi Fortuna, Mattia Frasca |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Hackensakc, NJ, : World Scientific, c2008 |
| Descrizione fisica | 1 online resource (200 p.) |
| Disciplina | 511.3/52 |
| Altri autori (Persone) |
CaponettoR <1966-> (Riccardo)
FortunaL <1953-> (Luigi) FrascaMattia |
| Collana | World Scientific series on nonlinear science |
| Soggetto topico |
Computational complexity
Nonlinear systems - Mathematical models Self-organizing maps System theory - Mathematical models |
| ISBN |
1-281-96803-X
9786611968038 981-281-405-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Preface; Contributors; List of People Involved in the FIRB Project; Contents; 1. The CNN Paradigm for Complexity; 1.1 Introduction; 1.2 The 3D-CNN Model; 1.3 E3: An Universal Emulator for Complex Systems; 1.4 Emergence of Forms in 3D-CNNs; 1.4.1 Initial conditions; 1.4.2 3D waves in homogeneous and unhomogeneous media; 1.4.3 Chua's circuit; 1.4.4 Lorenz system; 1.4.5 Rössler system; 1.4.6 FitzHugh-Nagumo neuron model; 1.4.7 Hindmarsh-Rose neuron model; 1.4.8 Inferior-Olive neuronmodel; 1.4.9 Izhikevich neuronmodel; 1.4.10 Neuron model exhibiting homoclinic chaos; 1.5 Conclusions
2. Emergent Phenomena in Neuroscience2.1 Introductory Material: Neurons and Models; 2.1.1 Models of excitability; 2.1.2 The Hodgkin-Huxley model; 2.1.3 The FitzHugh-Nagumo model; 2.1.4 Class I and class II excitability; 2.1.5 Other neuronmodels; 2.2 Electronic Implementation of NeuronModels; 2.2.1 Implementation of single cell neuron dynamics; 2.2.2 Implementation of systems with many neurons; 2.3 Local Activity Theory for Systems of IO Neurons; 2.3.1 The theory of local activity for one-port and two-port systems 2.3.2 The local activity and the edge of chaos regions of the inferior olive neuron2.4 Simulation of IO Systems: Emerging Results; 2.4.1 The paradigm of local active wave computation for image processing; 2.4.2 Local active wave computation based paradigm: 3D-shape processing; 2.5 Networks of HR Neurons; 2.5.1 The neural model; 2.5.2 Parameters for dynamical analysis; 2.5.3 Dynamical effects of topology on synchronization; 2.6 Neurons in Presence of Noise; 2.7 Conclusions; 3. Frequency Analysis and Identification in Atomic Force Microscopy; 3.1 Introduction; 3.2 AFM Modeling 3.2.1 Piecewise interaction force3.2.2 Lennard Jones-like interaction force; 3.3 Frequency Analysis via Harmonic Balance; 3.3.1 Piecewise interaction model analysis; 3.3.2 Lennard Jones-like hysteretic model analysis; 3.4 Identification of the Tip-Sample Force Model; 3.4.1 Identification method; 3.4.2 Experimental results; 3.5 Conclusions; References; 4. Control and Parameter Estimation of Systems with Low-Dimensional Chaos - The Role of Peak-to-Peak Dynamics; 4.1 Introduction; 4.2 Peak-to-Peak Dynamics; 4.3 Control System Design; 4.3.1 PPD modeling and control 4.3.2 The impact of noise and sampling frequency4.3.3 PPD reconstruction; 4.4 Parameter Estimation; 4.4.1 Derivation of the "empirical PPP"; 4.4.2 Interpolation of the "empirical PPP"; 4.4.3 Optimization; 4.4.4 Example of application; 4.5 Concluding Remarks; References; 5. Synchronization of Complex Networks; 5.1 Introduction; 5.2 Synchronization of Interacting Oscillators; 5.3 From Local to Long-Range Connections; 5.4 The Master Stability Function; 5.4.1 The case of continuous time systems; 5.4.2 The Master stability function for coupled maps 5.5 Key Elements for the Assessing of Synchronizability |
| Record Nr. | UNINA-9910825960903321 |
| Hackensakc, NJ, : World Scientific, c2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Mathematical methods in modern complexity science / / Dimitri Volchenkov and J. A. Tenreiro Machado, editors
| Mathematical methods in modern complexity science / / Dimitri Volchenkov and J. A. Tenreiro Machado, editors |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2022] |
| Descrizione fisica | 1 online resource (202 pages) |
| Disciplina | 003 |
| Collana | Nonlinear systems and complexity |
| Soggetto topico |
System theory - Mathematical models
Dynamics System theory |
| ISBN | 3-030-79412-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466839203316 |
| Cham, Switzerland : , : Springer, , [2022] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Mathematical methods in modern complexity science / / Dimitri Volchenkov and J. A. Tenreiro Machado, editors
| Mathematical methods in modern complexity science / / Dimitri Volchenkov and J. A. Tenreiro Machado, editors |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2022] |
| Descrizione fisica | 1 online resource (202 pages) |
| Disciplina | 003 |
| Collana | Nonlinear systems and complexity |
| Soggetto topico |
System theory - Mathematical models
Dynamics System theory |
| ISBN | 3-030-79412-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910552731103321 |
| Cham, Switzerland : , : Springer, , [2022] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Modeling and visualization of complex systems and enterprises : explorations of physical, human, economic, and social phenomena / / William B. Rouse
| Modeling and visualization of complex systems and enterprises : explorations of physical, human, economic, and social phenomena / / William B. Rouse |
| Autore | Rouse William B. |
| Edizione | [1st edition] |
| Pubbl/distr/stampa | Hoboken, New Jersey : , : Wiley Blackwell, , 2015 |
| Descrizione fisica | 1 online resource (294 p.) |
| Disciplina | 003 |
| Collana | Stevens Institute Series on Complex Systems and Enterprises |
| Soggetto topico |
System theory - Mathematical models
System analysis System theory - Philosophy |
| ISBN |
1-118-95964-7
1-118-95963-9 1-118-98274-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Cover; Title Page; Copyright; Contents; Preface; Chapter 1 Introduction and Overview; Systems Perspectives; Systems Movement; Philosophical Background; Seminal Concepts - Systems Science; Seminal Concepts - Economics/Cognition; Seminal Concepts - Operations Research; Seminal Concepts - Sociology; Complexity and Complex Systems; Complex Versus Complicated Systems; Systems Practice; Phenomena as the Starting Point; Overview of Book; Chapter 1: Introduction and Overview; Chapter 2: Overall Methodology; Chapter 3: Perspectives on Phenomena; Chapter 4: Physical Phenomena; Chapter 5: Human Phenomena
Chapter 6: Economic Phenomena Chapter 7: Social Phenomena; Chapter 8: Visualization of Phenomena; Chapter 9: Computational Methods and Tools; Chapter 10: Perspectives on Problem Solving; References; Chapter 2 Overall Methodology; Introduction; Problem Archetypes; Deterring or Identifying Counterfeit Parts; Financial Systems and Bursting Bubbles; Human Responses and Urban Resilience; Traffic Control via Congestion Pricing; Impacts of Investments in Healthcare Delivery; Human Biology and Cancer; Comparison of Problems; Methodology; Summary; An Example; Supporting the Methodology; Conclusions References Chapter 3 Perspectives on Phenomena; Introduction; Definitions; Historical Perspectives; Steam to Steamboats; Wind to Wings; Electricity to Electric Lights; Macro and Micro Physics; Probability and Utility; Contemporary Perspectives; Four Fundamental Forces; Computational Fluid Dynamics; Integrated Circuit Design; Supply Chain Management; Summary; Taxonomy of Phenomena; Behavioral and Social Systems; Problems versus Phenomena; Visualizing Phenomena; Conclusions; References; Chapter 4 Physical Phenomena; Introduction; Natural Phenomena; Example - Human Biology Example - Urban Oceanography Designed Phenomena; Example - Vehicle Powertrain; Example - Manufacturing Processes; Deterring or Identifying Counterfeit Parts; Conclusions; References; Chapter 5 Human Phenomena; Descriptive Versus Prescriptive Approaches; Models of Human Behavior and Performance; Example - Manual Control; Example - Problem Solving; Example - Multitask Decision Making; Traffic Control Via Congestion Pricing; Mental Models; Team Mental Models; Performing Arts Teams; Fundamental Limits; Conclusions; References; Chapter 6 Economic Phenomena; Introduction; Microeconomics Theory of the Firm Theory of the Market; Example - Optimal Pricing; Example - Investing in People; Summary; Macroeconomics; Tax Rates, Interest Rates, and Inflation; Macroeconomic Models; Summary; Behavioral Economics; Prospect Theory; Risk Perception; Attribution Errors; Management Decision Making; Human Intuition; Intuition versus Analysis; Summary; Economics of Healthcare Delivery; Conclusions; References; Chapter 7 Social Phenomena; Introduction; Emergent versus Designed Organizational Phenomena; Direct versus Representative Political Phenomena; Modeling Complex Social Systems Example - Earth as a System |
| Record Nr. | UNINA-9910131541703321 |
Rouse William B.
|
||
| Hoboken, New Jersey : , : Wiley Blackwell, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Modeling and visualization of complex systems and enterprises : explorations of physical, human, economic, and social phenomena / / William B. Rouse
| Modeling and visualization of complex systems and enterprises : explorations of physical, human, economic, and social phenomena / / William B. Rouse |
| Autore | Rouse William B. |
| Edizione | [1st edition] |
| Pubbl/distr/stampa | Hoboken, New Jersey : , : Wiley Blackwell, , 2015 |
| Descrizione fisica | 1 online resource (294 p.) |
| Disciplina | 003 |
| Collana | Stevens Institute Series on Complex Systems and Enterprises |
| Soggetto topico |
System theory - Mathematical models
System analysis System theory - Philosophy |
| ISBN |
1-118-95964-7
1-118-95963-9 1-118-98274-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Cover; Title Page; Copyright; Contents; Preface; Chapter 1 Introduction and Overview; Systems Perspectives; Systems Movement; Philosophical Background; Seminal Concepts - Systems Science; Seminal Concepts - Economics/Cognition; Seminal Concepts - Operations Research; Seminal Concepts - Sociology; Complexity and Complex Systems; Complex Versus Complicated Systems; Systems Practice; Phenomena as the Starting Point; Overview of Book; Chapter 1: Introduction and Overview; Chapter 2: Overall Methodology; Chapter 3: Perspectives on Phenomena; Chapter 4: Physical Phenomena; Chapter 5: Human Phenomena
Chapter 6: Economic Phenomena Chapter 7: Social Phenomena; Chapter 8: Visualization of Phenomena; Chapter 9: Computational Methods and Tools; Chapter 10: Perspectives on Problem Solving; References; Chapter 2 Overall Methodology; Introduction; Problem Archetypes; Deterring or Identifying Counterfeit Parts; Financial Systems and Bursting Bubbles; Human Responses and Urban Resilience; Traffic Control via Congestion Pricing; Impacts of Investments in Healthcare Delivery; Human Biology and Cancer; Comparison of Problems; Methodology; Summary; An Example; Supporting the Methodology; Conclusions References Chapter 3 Perspectives on Phenomena; Introduction; Definitions; Historical Perspectives; Steam to Steamboats; Wind to Wings; Electricity to Electric Lights; Macro and Micro Physics; Probability and Utility; Contemporary Perspectives; Four Fundamental Forces; Computational Fluid Dynamics; Integrated Circuit Design; Supply Chain Management; Summary; Taxonomy of Phenomena; Behavioral and Social Systems; Problems versus Phenomena; Visualizing Phenomena; Conclusions; References; Chapter 4 Physical Phenomena; Introduction; Natural Phenomena; Example - Human Biology Example - Urban Oceanography Designed Phenomena; Example - Vehicle Powertrain; Example - Manufacturing Processes; Deterring or Identifying Counterfeit Parts; Conclusions; References; Chapter 5 Human Phenomena; Descriptive Versus Prescriptive Approaches; Models of Human Behavior and Performance; Example - Manual Control; Example - Problem Solving; Example - Multitask Decision Making; Traffic Control Via Congestion Pricing; Mental Models; Team Mental Models; Performing Arts Teams; Fundamental Limits; Conclusions; References; Chapter 6 Economic Phenomena; Introduction; Microeconomics Theory of the Firm Theory of the Market; Example - Optimal Pricing; Example - Investing in People; Summary; Macroeconomics; Tax Rates, Interest Rates, and Inflation; Macroeconomic Models; Summary; Behavioral Economics; Prospect Theory; Risk Perception; Attribution Errors; Management Decision Making; Human Intuition; Intuition versus Analysis; Summary; Economics of Healthcare Delivery; Conclusions; References; Chapter 7 Social Phenomena; Introduction; Emergent versus Designed Organizational Phenomena; Direct versus Representative Political Phenomena; Modeling Complex Social Systems Example - Earth as a System |
| Record Nr. | UNINA-9910812982703321 |
|
Rouse William B.
|
||
| Hoboken, New Jersey : , : Wiley Blackwell, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Universities as complex enterprises : how academia works, why it works these ways, and where the university enterprise is headed / / William B. Rouse
| Universities as complex enterprises : how academia works, why it works these ways, and where the university enterprise is headed / / William B. Rouse |
| Autore | Rouse William B. |
| Pubbl/distr/stampa | Hoboken, New Jersey : , : Wiley, , 2016 |
| Descrizione fisica | 1 online resource (218 p.) |
| Disciplina | 378.101 |
| Collana | Stevens Institute Series on Complex Systems and Enterprises |
| Soggetto topico |
Universities and colleges - Administration
Universities and colleges - Business management System theory - Mathematical models |
| ISBN |
1-119-24588-5
1-119-24536-2 1-119-24587-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | STEM CHALLENGES |
| Record Nr. | UNINA-9910135030303321 |
|
Rouse William B.
|
||
| Hoboken, New Jersey : , : Wiley, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Universities as complex enterprises : how academia works, why it works these ways, and where the university enterprise is headed / / William B. Rouse
| Universities as complex enterprises : how academia works, why it works these ways, and where the university enterprise is headed / / William B. Rouse |
| Autore | Rouse William B. |
| Pubbl/distr/stampa | Hoboken, New Jersey : , : Wiley, , 2016 |
| Descrizione fisica | 1 online resource (218 p.) |
| Disciplina | 378.101 |
| Collana | Stevens Institute Series on Complex Systems and Enterprises |
| Soggetto topico |
Universities and colleges - Administration
Universities and colleges - Business management System theory - Mathematical models |
| ISBN |
1-119-24588-5
1-119-24536-2 1-119-24587-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | STEM CHALLENGES |
| Record Nr. | UNINA-9910817039003321 |
|
Rouse William B.
|
||
| Hoboken, New Jersey : , : Wiley, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Verification of infinite-state systems with applications to security [[electronic resource] /] / edited by Edmund Clarke, Marius Minea and Ferucio Laurenţiu Ţiplea
| Verification of infinite-state systems with applications to security [[electronic resource] /] / edited by Edmund Clarke, Marius Minea and Ferucio Laurenţiu Ţiplea |
| Pubbl/distr/stampa | Amsterdam ; ; Washington, D.C., : IOS Press, c2006 |
| Descrizione fisica | 1 online resource (244 p.) |
| Disciplina | 005.8 |
| Altri autori (Persone) |
ClarkeEdmund
MineaMarius ŢipleaFerucio Laurenţiu |
| Collana | NATO security through science series. D, Information and communication security |
| Soggetto topico |
System theory - Mathematical models
System theory - Security measures Computer security Computer software - Verification |
| Soggetto genere / forma | Electronic books. |
| ISBN |
6610505101
1-280-50510-9 9786610505104 1-4237-9742-6 1-60750-147-3 600-00-0603-9 1-60129-127-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Title page; Preface; Committees; Contents; Number-Set Representations for Infinite-State Verification; Regular Model Checking for Programs with Dynamic Memory; Automatic Verification of Security Properties Based on Abstractions; Grand Challenge: Model Check Software; A Class of Automata for Computing Reachability Relations in Timed Systems; Practical Infinite-State Verification with Temporal Reasoning; Quantum States and Quantum Measurements; Automatic Test Generation and Monitoring of Infinite States Systems; Cryptographic Primitives Can Be Fragile
From Temporal Logic Queries to Vacuity DetectionProbability and Time in Measuring Security; Decidability and Complexity Results for Security Protocols; Dealing with Communication for Dynamic Multithreaded Recursive Programs; Scenario Graphs Applied to Security (Extended Abstract); Author Index |
| Record Nr. | UNINA-9910451002003321 |
| Amsterdam ; ; Washington, D.C., : IOS Press, c2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
