| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910138864203321 |
|
|
Titolo |
Models and analysis in distributed systems [[electronic resource] /] / edited by Serge Haddad ... [et al.] |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
London, : ISTE |
|
Hoboken, N.J., : Wiley, 2011 |
|
|
|
|
|
|
|
|
|
ISBN |
|
1-118-60263-3 |
1-118-60268-4 |
1-118-60269-2 |
1-299-18771-4 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (358 p.) |
|
|
|
|
|
|
Collana |
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Distributed parameter systems - Simulation methods |
System analysis |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
pt. 1. Formal models for distributed systems -- pt. 2. Verification techniques for distributed systems. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
Nowadays, distributed systems are increasingly present, for public software applications as well as critical systems. software applications as well as critical systems. This title and Distributed Systems: Design and Algorithms - from the same editors - introduce the underlying concepts, the associated design techniques and the related security issues.The objective of this book is to describe the state of the art of the formal methods for the analysis of distributed systems. Numerous issues remain open and are the topics of major research projects. One current research trend consists of pro |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910747299203321 |
|
|
Titolo |
Rostrosferas de América latina : culturas, traducciones y mestizajes / editado por Silvia Barbotto, Cristina Voto, Massimo Leone |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Collana |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Locazione |
|
|
|
|
|
|
Collocazione |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910897987103321 |
|
|
Autore |
Gelepithis Petros A. M |
|
|
Titolo |
Unification of Artificial Intelligence and Psychology : Volume One - Foundations / / by Petros A. M. Gelepithis |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer Nature Switzerland : , : Imprint : Palgrave Macmillan, , 2024 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
|
|
Edizione |
[1st ed. 2024.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (310 pages) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Psychology |
Mass media |
Artificial intelligence |
Cognitive psychology |
Philosophy of mind |
Cyberpsychology |
Artificial Intelligence |
Media Psychology |
Cognitive Psychology |
Philosophy of Mind |
Theoretical Psychology |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
1.Introduction: The Approach -- 2. Nature of noémon systems: Human and Robot forms -- 3. Thinking and Meaning: Biological and artiNicial -- 4. The nature of communication: Understanding and systems of Primitives. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
Petros A. M. Gelepithis is an independent scientist/scholar, affiliated with the Brain & Mind Sciences Programme, School of Medicine, University of Crete, Greece. He has been the Grant holder for and Director of the first MSc course in AI in the UK and Principal Lecturer (tenured) at Kingston University London. He was also Visiting Professor at the Universities of Athens, Cyprus and Shizuoka (Japan) and |
|
|
|
|
|
|
|
|
|
|
Academic Visitor at the Faculty of Philosophy, University of Oxford, UK. This book —the first of a two-volume monograph— seeks to unify the hitherto perceived-as-disparate foundations of psychology and artificial intelligence. It does this by replacing their constitutive notions with a novel common one: noémon system. The ensued Theory of Noémon Systems is developed in terms of an interdisciplinary, language- based, axiomatic approach. The first volume details the development of the foundations of the theory and expounds ramifications for cognitive science and AI including novel solutions to the AGI debate and Darwin’s mental gap issue, while offering the first complete definition of AI. The book concurrently explores the similarities and differences between humans and AI/robot systems with respect to the evolution-dependent phenomena of representation, thinking, understanding and communication. The book is an extensive one; because of it’s extensiveness and broad ramifications, this book will appeal to scientists working on the interfaces of psychology, AI, philosophy of mind, neuroscience, and the humanities. The complicated and extensive unification of the fields of Artificial Intelligence and psychology is continued in the second volume that breaks further new ground for both disciplines, with thought-provoking and compelling implications for both. . |
|
|
|
|
|
| |