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.
Blind identification of structured dynamic systems : a deterministic perspective / / Chengpu Yu [and three others]
| Blind identification of structured dynamic systems : a deterministic perspective / / Chengpu Yu [and three others] |
| Autore | Yu Chengpu |
| Pubbl/distr/stampa | Singapore : , : Springer, , [2022] |
| Descrizione fisica | 1 online resource (273 pages) |
| Disciplina | 003 |
| Soggetto topico | System identification |
| ISBN |
981-16-7574-0
981-16-7573-2 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910743395703321 |
Yu Chengpu
|
||
| Singapore : , : Springer, , [2022] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Branch and bound : eine einfuhrung / herausgegeben von F. Weinberg
| Branch and bound : eine einfuhrung / herausgegeben von F. Weinberg |
| Autore | Weinberg, Franz |
| Edizione | [2te, geanderte Aufl] |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, 1973 |
| Descrizione fisica | 174 p. ; 25 cm. |
| Disciplina | 003 |
| Collana | Lecture notes in economics and mathematical systems, 0075-8442 ; 4 |
| Soggetto topico | Operations research |
| Classificazione | AMS 90B |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ger |
| Record Nr. | UNISALENTO-991000722819707536 |
|
Weinberg, Franz
|
||
| Berlin : Springer-Verlag, 1973 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Business and scientific workflows [[electronic resource] ] : a web service-oriented approach / / Wei Tan, MengChu Zhou
| Business and scientific workflows [[electronic resource] ] : a web service-oriented approach / / Wei Tan, MengChu Zhou |
| Autore | Tan Wei |
| Pubbl/distr/stampa | Hoboken, N.J., : Wiley, 2013 |
| Descrizione fisica | 1 online resource (272 p.) |
| Disciplina |
003
658.4038011 |
| Altri autori (Persone) | ZhouMengChu |
| Collana | IEEE Press series on systems science and engineering |
| Soggetto topico |
Workflow
Business - Data processing Information technology Industrial management |
| ISBN |
1-299-27728-4
1-118-55465-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Business and Scientific Workflows: A Web Service-Oriented Approach; Contents; Foreword; Preface; 1. Introduction; 1.1 Background and Motivations; 1.1.1 Web Service and Service-Oriented Architecture; 1.1.2 Workflow Technology; 1.2 Overview of Standards; 1.2.1 Web Service-Related Standards; 1.2.2 Workflow-Related Standards; 1.3 Workflow Design: State of the Art; 1.3.1 Automatic Service Composition; 1.3.2 Mediation-Aided Service Composition; 1.3.3 Verification of Service-Based Workflows; 1.3.4 Decentralized Execution of Workflows; 1.3.5 Scientific Workflow Systems; 1.4 Contributions
2. Petri Net Formalism2.1 Basic Petri Nets; 2.2 Workflow Nets; 2.3 Colored Petri Nets; 3. Data-Driven Service Composition; 3.1 Problem Statement; 3.1.1 Domains and Data Relations; 3.1.2 Problem Formulation; 3.2 Data-Driven Composition Rules; 3.2.1 Sequential Composition Rule; 3.2.2 Parallel Composition Rule; 3.2.3 Choice Composition Rule; 3.3 Data-Driven Service Composition; 3.3.1 Basic Definitions; 3.3.2 Derive AWSP from Service Net; 3.4 Effectiveness and Efficiency of the Data-Driven Approach; 3.4.1 Solution Effectiveness; 3.4.2 Complexity Analysis; 3.5 Case Study; 3.6 Discussion 3.7 Summary3.8 Bibliographic Notes; 4. Analysis and Composition of Partially-Compatible Web Services; 4.1 Problem Definition and Motivating Scenario; 4.1.1 A Motivating Scenario; 4.2 Petri Net Formalism for BPEL Service, Mediation, and Compatibility; 4.2.1 CPN Formalism for BPEL Process; 4.2.2 CPN Formalism for Service Composition; 4.2.3 Mediator and Mediation-Aided Service Composition; 4.3 Compatibility Analysis via Petri Net Models; 4.3.1 Transforming Abstract BPEL Process to SWF-net; 4.3.2 Specifying Data Mapping; 4.3.3 Mediator Existence Checking; 4.3.4 Proof of Theorem 4.1 4.4 Mediator Generation Approach4.4.1 Types of Mediation; 4.4.2 Guided Mediator Generation; 4.5 Bibliographic Notes; 4.5.1 Web Service Composition; 4.5.2 Business Process Integration; 4.5.3 Web Service Configuration; 4.5.4 Petri Net Model of BPEL Processes; 4.5.5 Component/Web Service Mediation; 5. Web Service Configuration with Multiple Quality-of-Service Attributes; 5.1 Introduction; 5.2 Quality-of-Service Measurements; 5.2.1 QoS Attributes; 5.2.2 Aggregation; 5.2.3 Computation of QoS; 5.3 Assembly Petri Nets and Their Properties; 5.3.1 Assembly and Disassembly Petri Nets 5.3.2 Definition of Incidence Matrix and State-Shift Equation5.3.3 Definition of Subgraphs and Solutions; 5.4 Optimal Web Service Configuration; 5.4.1 Web Service Configuration under Single QoS Objective; 5.4.2 Web Service Configuration under Multiple QoS Objectives; 5.4.3 Experiments and Performance Analysis; 5.5 Implementation; 5.6 Summary; 5.7 Bibliographic Notes; 6. A Web Service-Based Public-Oriented Personalized Health Care Platform; 6.1 Background and Motivation; 6.2 System Architecture; 6.2.1 The System Architecture of PHISP; 6.2.2 Services Encapsulated in PHISP 6.2.3 Composite Service Specifications |
| Record Nr. | UNINA-9910139234303321 |
|
Tan Wei
|
||
| Hoboken, N.J., : Wiley, 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Business and scientific workflows [[electronic resource] ] : a web service-oriented approach / / Wei Tan, MengChu Zhou
| Business and scientific workflows [[electronic resource] ] : a web service-oriented approach / / Wei Tan, MengChu Zhou |
| Autore | Tan Wei |
| Pubbl/distr/stampa | Hoboken, N.J., : Wiley, 2013 |
| Descrizione fisica | 1 online resource (272 p.) |
| Disciplina |
003
658.4038011 |
| Altri autori (Persone) | ZhouMengChu |
| Collana | IEEE Press series on systems science and engineering |
| Soggetto topico |
Workflow
Business - Data processing Information technology Industrial management |
| ISBN |
1-299-27728-4
1-118-55465-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Business and Scientific Workflows: A Web Service-Oriented Approach; Contents; Foreword; Preface; 1. Introduction; 1.1 Background and Motivations; 1.1.1 Web Service and Service-Oriented Architecture; 1.1.2 Workflow Technology; 1.2 Overview of Standards; 1.2.1 Web Service-Related Standards; 1.2.2 Workflow-Related Standards; 1.3 Workflow Design: State of the Art; 1.3.1 Automatic Service Composition; 1.3.2 Mediation-Aided Service Composition; 1.3.3 Verification of Service-Based Workflows; 1.3.4 Decentralized Execution of Workflows; 1.3.5 Scientific Workflow Systems; 1.4 Contributions
2. Petri Net Formalism2.1 Basic Petri Nets; 2.2 Workflow Nets; 2.3 Colored Petri Nets; 3. Data-Driven Service Composition; 3.1 Problem Statement; 3.1.1 Domains and Data Relations; 3.1.2 Problem Formulation; 3.2 Data-Driven Composition Rules; 3.2.1 Sequential Composition Rule; 3.2.2 Parallel Composition Rule; 3.2.3 Choice Composition Rule; 3.3 Data-Driven Service Composition; 3.3.1 Basic Definitions; 3.3.2 Derive AWSP from Service Net; 3.4 Effectiveness and Efficiency of the Data-Driven Approach; 3.4.1 Solution Effectiveness; 3.4.2 Complexity Analysis; 3.5 Case Study; 3.6 Discussion 3.7 Summary3.8 Bibliographic Notes; 4. Analysis and Composition of Partially-Compatible Web Services; 4.1 Problem Definition and Motivating Scenario; 4.1.1 A Motivating Scenario; 4.2 Petri Net Formalism for BPEL Service, Mediation, and Compatibility; 4.2.1 CPN Formalism for BPEL Process; 4.2.2 CPN Formalism for Service Composition; 4.2.3 Mediator and Mediation-Aided Service Composition; 4.3 Compatibility Analysis via Petri Net Models; 4.3.1 Transforming Abstract BPEL Process to SWF-net; 4.3.2 Specifying Data Mapping; 4.3.3 Mediator Existence Checking; 4.3.4 Proof of Theorem 4.1 4.4 Mediator Generation Approach4.4.1 Types of Mediation; 4.4.2 Guided Mediator Generation; 4.5 Bibliographic Notes; 4.5.1 Web Service Composition; 4.5.2 Business Process Integration; 4.5.3 Web Service Configuration; 4.5.4 Petri Net Model of BPEL Processes; 4.5.5 Component/Web Service Mediation; 5. Web Service Configuration with Multiple Quality-of-Service Attributes; 5.1 Introduction; 5.2 Quality-of-Service Measurements; 5.2.1 QoS Attributes; 5.2.2 Aggregation; 5.2.3 Computation of QoS; 5.3 Assembly Petri Nets and Their Properties; 5.3.1 Assembly and Disassembly Petri Nets 5.3.2 Definition of Incidence Matrix and State-Shift Equation5.3.3 Definition of Subgraphs and Solutions; 5.4 Optimal Web Service Configuration; 5.4.1 Web Service Configuration under Single QoS Objective; 5.4.2 Web Service Configuration under Multiple QoS Objectives; 5.4.3 Experiments and Performance Analysis; 5.5 Implementation; 5.6 Summary; 5.7 Bibliographic Notes; 6. A Web Service-Based Public-Oriented Personalized Health Care Platform; 6.1 Background and Motivation; 6.2 System Architecture; 6.2.1 The System Architecture of PHISP; 6.2.2 Services Encapsulated in PHISP 6.2.3 Composite Service Specifications |
| Record Nr. | UNINA-9910830261003321 |
|
Tan Wei
|
||
| Hoboken, N.J., : Wiley, 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Business and scientific workflows : a web service-oriented approach / / Wei Tan, MengChu Zhou
| Business and scientific workflows : a web service-oriented approach / / Wei Tan, MengChu Zhou |
| Autore | Tan Wei |
| Pubbl/distr/stampa | Hoboken, N.J., : Wiley, 2013 |
| Descrizione fisica | 1 online resource (272 p.) |
| Disciplina |
003
658.4038011 |
| Altri autori (Persone) | ZhouMengChu |
| Collana | IEEE Press series on systems science and engineering |
| Soggetto topico |
Workflow
Business - Data processing Information technology Industrial management |
| ISBN |
1-299-27728-4
1-118-55465-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Business and Scientific Workflows: A Web Service-Oriented Approach; Contents; Foreword; Preface; 1. Introduction; 1.1 Background and Motivations; 1.1.1 Web Service and Service-Oriented Architecture; 1.1.2 Workflow Technology; 1.2 Overview of Standards; 1.2.1 Web Service-Related Standards; 1.2.2 Workflow-Related Standards; 1.3 Workflow Design: State of the Art; 1.3.1 Automatic Service Composition; 1.3.2 Mediation-Aided Service Composition; 1.3.3 Verification of Service-Based Workflows; 1.3.4 Decentralized Execution of Workflows; 1.3.5 Scientific Workflow Systems; 1.4 Contributions
2. Petri Net Formalism2.1 Basic Petri Nets; 2.2 Workflow Nets; 2.3 Colored Petri Nets; 3. Data-Driven Service Composition; 3.1 Problem Statement; 3.1.1 Domains and Data Relations; 3.1.2 Problem Formulation; 3.2 Data-Driven Composition Rules; 3.2.1 Sequential Composition Rule; 3.2.2 Parallel Composition Rule; 3.2.3 Choice Composition Rule; 3.3 Data-Driven Service Composition; 3.3.1 Basic Definitions; 3.3.2 Derive AWSP from Service Net; 3.4 Effectiveness and Efficiency of the Data-Driven Approach; 3.4.1 Solution Effectiveness; 3.4.2 Complexity Analysis; 3.5 Case Study; 3.6 Discussion 3.7 Summary3.8 Bibliographic Notes; 4. Analysis and Composition of Partially-Compatible Web Services; 4.1 Problem Definition and Motivating Scenario; 4.1.1 A Motivating Scenario; 4.2 Petri Net Formalism for BPEL Service, Mediation, and Compatibility; 4.2.1 CPN Formalism for BPEL Process; 4.2.2 CPN Formalism for Service Composition; 4.2.3 Mediator and Mediation-Aided Service Composition; 4.3 Compatibility Analysis via Petri Net Models; 4.3.1 Transforming Abstract BPEL Process to SWF-net; 4.3.2 Specifying Data Mapping; 4.3.3 Mediator Existence Checking; 4.3.4 Proof of Theorem 4.1 4.4 Mediator Generation Approach4.4.1 Types of Mediation; 4.4.2 Guided Mediator Generation; 4.5 Bibliographic Notes; 4.5.1 Web Service Composition; 4.5.2 Business Process Integration; 4.5.3 Web Service Configuration; 4.5.4 Petri Net Model of BPEL Processes; 4.5.5 Component/Web Service Mediation; 5. Web Service Configuration with Multiple Quality-of-Service Attributes; 5.1 Introduction; 5.2 Quality-of-Service Measurements; 5.2.1 QoS Attributes; 5.2.2 Aggregation; 5.2.3 Computation of QoS; 5.3 Assembly Petri Nets and Their Properties; 5.3.1 Assembly and Disassembly Petri Nets 5.3.2 Definition of Incidence Matrix and State-Shift Equation5.3.3 Definition of Subgraphs and Solutions; 5.4 Optimal Web Service Configuration; 5.4.1 Web Service Configuration under Single QoS Objective; 5.4.2 Web Service Configuration under Multiple QoS Objectives; 5.4.3 Experiments and Performance Analysis; 5.5 Implementation; 5.6 Summary; 5.7 Bibliographic Notes; 6. A Web Service-Based Public-Oriented Personalized Health Care Platform; 6.1 Background and Motivation; 6.2 System Architecture; 6.2.1 The System Architecture of PHISP; 6.2.2 Services Encapsulated in PHISP 6.2.3 Composite Service Specifications |
| Record Nr. | UNINA-9910877262903321 |
|
Tan Wei
|
||
| Hoboken, N.J., : Wiley, 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Calcul des probabilites : avec un appendice sur la theorie de l'information / Alfred Renyi
| Calcul des probabilites : avec un appendice sur la theorie de l'information / Alfred Renyi |
| Autore | Rényi, Alfréd <1921-1970> |
| Descrizione fisica | 620 col. : ill. ; 18x25 cm |
| Disciplina |
003
519.2 |
| Soggetto topico |
Calcolo delle probabilità
Teoria dell'informazione |
| ISBN | 2876470829 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | fre |
| Record Nr. | UNISANNIO-MIL0540913 |
|
Rényi, Alfréd <1921-1970>
|
||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Caos e complessità
| Caos e complessità |
| Pubbl/distr/stampa | Napoli, : CUEN, \1996! |
| Descrizione fisica | 135 p. ; 17 cm |
| Disciplina |
003
SAG-SIS-1 |
| Collana | Tessere |
| Soggetto non controllato | Sistemi complessi |
| ISBN | 88-7146-304-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-9910706101103321 |
| Napoli, : CUEN, \1996! | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Caos e frattali : matematica dei sistemi dinamici e applicazioni al calcolatore / Robert L. Devaney
| Caos e frattali : matematica dei sistemi dinamici e applicazioni al calcolatore / Robert L. Devaney |
| Autore | Devaney, Robert L. <1948- > |
| Edizione | [2. ed] |
| Pubbl/distr/stampa | Milano, : Addison-Wesley Masson, 1993 |
| Descrizione fisica | 202 p., \8! c. di tav. : ill ; 24 cm |
| Disciplina | 003 |
| Soggetto topico |
Frattali
Sistemi dinamici Matematica - Elaborazione dei dati |
| ISBN | 8871920554 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Titolo uniforme | |
| Record Nr. | UNICAS-CFI0302072 |
|
Devaney, Robert L. <1948- >
|
||
| Milano, : Addison-Wesley Masson, 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Cassino | ||
| ||
Central European journal of operations research
| Central European journal of operations research |
| Pubbl/distr/stampa | [Heidelberg], : Physica Verlag |
| Disciplina | 003 |
| Altri autori (Persone) |
LuptacikMikulas
Leopold-WildburgerUlrike |
| Soggetto topico |
Operations research
Economics, Mathematical |
| Soggetto genere / forma | Periodicals. |
| ISSN | 1613-9178 |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | CEJOR |
| Record Nr. | UNINA-9910140394603321 |
| [Heidelberg], : Physica Verlag | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Central European journal of operations research
| Central European journal of operations research |
| Pubbl/distr/stampa | [Heidelberg], : Physica Verlag |
| Disciplina | 003 |
| Altri autori (Persone) |
LuptacikMikulas
Leopold-WildburgerUlrike |
| Soggetto topico |
Operations research
Economics, Mathematical |
| Soggetto genere / forma | Periodicals. |
| ISSN | 1613-9178 |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | CEJOR |
| Record Nr. | UNISA-996213707503316 |
| [Heidelberg], : Physica Verlag | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
