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.
Application and Theory of Petri Nets and Concurrency [[electronic resource] ] : 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings / / edited by Fabrice Kordon, Daniel Moldt
| Application and Theory of Petri Nets and Concurrency [[electronic resource] ] : 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings / / edited by Fabrice Kordon, Daniel Moldt |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XVI, 345 p. 114 illus.) |
| Disciplina | 511.3 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Machine theory
Computer graphics Computer networks Formal Languages and Automata Theory Computer Graphics Computer Communication Networks |
| ISBN | 3-319-39086-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Distinguished Carl Adam Petri Lecture -- Petri Net Synthesis -- Tools -- Applications -- Conformance Checking -- Time and Stochastic Models -- Structural Methods. |
| Record Nr. | UNISA-996465712003316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Application and Theory of Petri Nets and Concurrency [[electronic resource] ] : 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings / / edited by Fabrice Kordon, Daniel Moldt
| Application and Theory of Petri Nets and Concurrency [[electronic resource] ] : 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings / / edited by Fabrice Kordon, Daniel Moldt |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XVI, 345 p. 114 illus.) |
| Disciplina | 511.3 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Machine theory
Computer graphics Computer networks Formal Languages and Automata Theory Computer Graphics Computer Communication Networks |
| ISBN | 3-319-39086-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Distinguished Carl Adam Petri Lecture -- Petri Net Synthesis -- Tools -- Applications -- Conformance Checking -- Time and Stochastic Models -- Structural Methods. |
| Record Nr. | UNINA-9910484823903321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Regulated Agent-Based Social Systems [[electronic resource] ] : First International Workshop, RASTA 2002, Bologna, Italy, July 16, 2002, Revised Selected and Invited Papers / / edited by Gabriela Lindemann, Daniel Moldt, Mario Paolucci
| Regulated Agent-Based Social Systems [[electronic resource] ] : First International Workshop, RASTA 2002, Bologna, Italy, July 16, 2002, Revised Selected and Invited Papers / / edited by Gabriela Lindemann, Daniel Moldt, Mario Paolucci |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (X, 302 p.) |
| Disciplina | 303.48/34 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer communication systems Computer simulation Application software Artificial Intelligence Computer Communication Networks Simulation and Modeling Computer Appl. in Social and Behavioral Sciences |
| ISBN |
1-280-30679-3
9786610306794 3-540-25867-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Paper -- How Formal Logic Can Fail to Be Useful for Modelling or Designing MAS -- Topic A: Social Theory for Agent Technology -- Communicational Patterns as Basis of Organizational Structures -- On How to Conduct Experimental Research with Self-Motivated Agents -- Cognitive Identity and Social Reflexivity of the Industrial District Firms. Going Beyond the “Complexity Effect” with Agent-Based Simulations -- The MAS-SOC Approach to Multi-agent Based Simulation -- Organisation Modelling for the Dynamics of Complex Biological Processes -- Communication without Agents? From Agent-Oriented to Communication-Oriented Modeling -- Modeling Product Awareness Rates and Market Shares -- Metanarratives and Believable Behavior of Autonomous Agents -- FORM – A Sociologically Founded Framework for Designing Self-Organization of Multiagent Systems -- Social Organization in a Software Agent Community with a Non-zero-Sum Game Interaction Model -- Emotion: Theoretical Investigations and Implications for Artificial Social Aggregates -- Topic B: Norms and Institutions in MAS -- What Is a Normative Goal? -- Searching for a Soulmate – Searching for Tag-Similar Partners Evolves and Supports Specialization in Groups -- Norms and Their Role in a Model of Electronic Institution -- A Model of Normative Multi-agent Systems and Dynamic Relationships -- Integration of Generic Motivations in Social Hybrid Agents. |
| Record Nr. | UNISA-996465925303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Regulated Agent-Based Social Systems [[electronic resource] ] : First International Workshop, RASTA 2002, Bologna, Italy, July 16, 2002, Revised Selected and Invited Papers / / edited by Gabriela Lindemann, Daniel Moldt, Mario Paolucci
| Regulated Agent-Based Social Systems [[electronic resource] ] : First International Workshop, RASTA 2002, Bologna, Italy, July 16, 2002, Revised Selected and Invited Papers / / edited by Gabriela Lindemann, Daniel Moldt, Mario Paolucci |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (X, 302 p.) |
| Disciplina | 303.48/34 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer networks Computer simulation Social sciences - Data processing Artificial Intelligence Computer Communication Networks Computer Modelling Computer Application in Social and Behavioral Sciences |
| ISBN |
1-280-30679-3
9786610306794 3-540-25867-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Paper -- How Formal Logic Can Fail to Be Useful for Modelling or Designing MAS -- Topic A: Social Theory for Agent Technology -- Communicational Patterns as Basis of Organizational Structures -- On How to Conduct Experimental Research with Self-Motivated Agents -- Cognitive Identity and Social Reflexivity of the Industrial District Firms. Going Beyond the “Complexity Effect” with Agent-Based Simulations -- The MAS-SOC Approach to Multi-agent Based Simulation -- Organisation Modelling for the Dynamics of Complex Biological Processes -- Communication without Agents? From Agent-Oriented to Communication-Oriented Modeling -- Modeling Product Awareness Rates and Market Shares -- Metanarratives and Believable Behavior of Autonomous Agents -- FORM – A Sociologically Founded Framework for Designing Self-Organization of Multiagent Systems -- Social Organization in a Software Agent Community with a Non-zero-Sum Game Interaction Model -- Emotion: Theoretical Investigations and Implications for Artificial Social Aggregates -- Topic B: Norms and Institutions in MAS -- What Is a Normative Goal? -- Searching for a Soulmate – Searching for Tag-Similar Partners Evolves and Supports Specialization in Groups -- Norms and Their Role in a Model of Electronic Institution -- A Model of Normative Multi-agent Systems and Dynamic Relationships -- Integration of Generic Motivations in Social Hybrid Agents. |
| Record Nr. | UNINA-9910768433903321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Transactions on petri nets and other models of concurrency XVI / / Maciej Koutny, Fabrice Kordon, and Daniel Moldt
| Transactions on petri nets and other models of concurrency XVI / / Maciej Koutny, Fabrice Kordon, and Daniel Moldt |
| Autore | Koutny Maciej <1958-> |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer, , [2022] |
| Descrizione fisica | 1 online resource (154 pages) |
| Disciplina | 511.3 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico | Petri nets |
| ISBN | 3-662-65303-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996472070003316 |
Koutny Maciej <1958->
|
||
| Berlin ; ; Heidelberg : , : Springer, , [2022] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Transactions on petri nets and other models of concurrency XVI / / Maciej Koutny, Fabrice Kordon, and Daniel Moldt
| Transactions on petri nets and other models of concurrency XVI / / Maciej Koutny, Fabrice Kordon, and Daniel Moldt |
| Autore | Koutny Maciej <1958-> |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer, , [2022] |
| Descrizione fisica | 1 online resource (154 pages) |
| Disciplina | 511.3 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico | Petri nets |
| ISBN | 3-662-65303-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910564700003321 |
|
Koutny Maciej <1958->
|
||
| Berlin ; ; Heidelberg : , : Springer, , [2022] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||