Mathematical Methods in Computer Science [[electronic resource] ] : Essays in Memory of Thomas Beth / / edited by Jacques Calmet, Willi Geiselmann, Jörn Müller-Quade |
Edizione | [1st ed. 2008.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
Descrizione fisica | 1 online resource (XII, 191 p.) |
Disciplina | 004.0151 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Computer science—Mathematics Coding theory Information theory Artificial intelligence Data structures (Computer science) Cryptography Data encryption (Computer science) Theory of Computation Mathematics of Computing Coding and Information Theory Artificial Intelligence Data Structures and Information Theory Cryptology |
ISBN | 3-540-89994-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Cryptography I -- On the Security of Beth’s Identification Schemes against Active and Concurrent Adversaries -- Designs -- Steiner t-Designs for Large t -- New Spatial Configurations -- Construction of Large Constant Dimension Codes with a Prescribed Minimum Distance -- Quantum Computing -- Invited Talk: Embedding Classical into Quantum Computation -- A Criterion for Attaining the Welch Bounds with Applications for Mutually Unbiased Bases -- An Efficient Quantum Algorithm for the Hidden Subgroup Problem over Weyl-Heisenberg Groups -- Algorithms -- Computing Equiangular Lines in Complex Space -- Complexity of Comparing Monomials and Two Improvements of the Buchberger-Möller Algorithm -- Coding Theory -- Invited Talk: Decoding Cyclic Codes: The Cooper Philosophy -- Kernel Dimension for Some Families of Quaternary Reed-Muller Codes -- Cryptography II -- Coding-Based Oblivious Transfer -- Protection of Sensitive Security Parameters in Integrated Circuits -- On Reconstruction of RC4 Keys from Internal States. |
Record Nr. | UNINA-9910484141103321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Modern Information Technology and IT Education [[electronic resource] ] : 13th International Conference, SITITO 2018, Moscow, Russia, November 29 – December 2, 2018, Revised Selected Papers / / edited by Vladimir Sukhomlin, Elena Zubareva |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
Descrizione fisica | 1 online resource (xvi, 440 pages) : illustrations |
Disciplina | 004 |
Collana | Communications in Computer and Information Science |
Soggetto topico |
Application software
Computers Artificial intelligence Coding theory Information theory Software engineering Computer Applications Information Systems Applications (incl. Internet) Computing Milieux Artificial Intelligence Coding and Information Theory Software Engineering/Programming and Operating Systems |
ISBN | 3-030-46895-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | IT-Education: Methodology, Methodological Support -- E-learning and IT in Education -- Educational Resources and Best Practices of IT-Education -- Research and Development in the Field of New IT and their Applications -- Scientific Software in Education and Science -- School Education in Computer Science and ICT -- Economic Informatics. |
Record Nr. | UNINA-9910410042203321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Modern Information Technology and IT Education [[electronic resource] ] : 13th International Conference, SITITO 2018, Moscow, Russia, November 29 – December 2, 2018, Revised Selected Papers / / edited by Vladimir Sukhomlin, Elena Zubareva |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
Descrizione fisica | 1 online resource (xvi, 440 pages) : illustrations |
Disciplina | 004 |
Collana | Communications in Computer and Information Science |
Soggetto topico |
Application software
Computers Artificial intelligence Coding theory Information theory Software engineering Computer Applications Information Systems Applications (incl. Internet) Computing Milieux Artificial Intelligence Coding and Information Theory Software Engineering/Programming and Operating Systems |
ISBN | 3-030-46895-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | IT-Education: Methodology, Methodological Support -- E-learning and IT in Education -- Educational Resources and Best Practices of IT-Education -- Research and Development in the Field of New IT and their Applications -- Scientific Software in Education and Science -- School Education in Computer Science and ICT -- Economic Informatics. |
Record Nr. | UNISA-996465353403316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Morphological Intelligence [[electronic resource] ] : Measuring the Body’s Contribution to Intelligence / / by Keyan Ghazi-Zahedi |
Autore | Ghazi-Zahedi Keyan |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (XIII, 180 p. 70 illus., 40 illus. in color.) |
Disciplina | 006.3 |
Soggetto topico |
Artificial intelligence
Bioinformatics Biomechanics Coding theory Information theory Artificial Intelligence Computational Biology/Bioinformatics Coding and Information Theory |
ISBN | 3-030-20621-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | From Morphological Computation to Morphological Intelligence -- Information Theory – A Practical Primer -- A Theory of Morphological Intelligence -- Numerical Analysis of the Morphological Intelligence Quantifications -- Applications. . |
Record Nr. | UNINA-9910349284403321 |
Ghazi-Zahedi Keyan | ||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
The Multi-Agent Programming Contest 2018 [[electronic resource] ] : Agents Teaming Up in an Urban Environment / / edited by Tobias Ahlbrecht, Jürgen Dix, Niklas Fiekas |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (VII, 145 p. 31 illus., 21 illus. in color.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Computer communication systems Special purpose computers Application software Coding theory Information theory Software engineering Artificial Intelligence Computer Communication Networks Special Purpose and Application-Based Systems Information Systems Applications (incl. Internet) Coding and Information Theory Software Engineering/Programming and Operating Systems |
ISBN | 3-030-37959-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | The Contest -- The Multi-Agent Programming Contest 2018 - A third time in the city -- The Teams -- task-oriented architecture with priority queue for BDI agents applied to the Multi Agent Programming Contest scenario -- Multi-Agent Programming Contest 2018 - The Jason-DTU Team -- SMART-JaCaMo: an Organisation-Based Team for the Multi-Agent Programming Contest -- Distributed Decision-Making based on Shared Knowledge in the Multi-Agent Programming Contest -- ROS Hybrid Behaviour Planner: Behaviour Hierarchies and Self-Organisation in the Multi-Agent Programming Contest. |
Record Nr. | UNINA-9910370258603321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
The Multi-Agent Programming Contest 2018 [[electronic resource] ] : Agents Teaming Up in an Urban Environment / / edited by Tobias Ahlbrecht, Jürgen Dix, Niklas Fiekas |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (VII, 145 p. 31 illus., 21 illus. in color.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Computer communication systems Special purpose computers Application software Coding theory Information theory Software engineering Artificial Intelligence Computer Communication Networks Special Purpose and Application-Based Systems Information Systems Applications (incl. Internet) Coding and Information Theory Software Engineering/Programming and Operating Systems |
ISBN | 3-030-37959-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | The Contest -- The Multi-Agent Programming Contest 2018 - A third time in the city -- The Teams -- task-oriented architecture with priority queue for BDI agents applied to the Multi Agent Programming Contest scenario -- Multi-Agent Programming Contest 2018 - The Jason-DTU Team -- SMART-JaCaMo: an Organisation-Based Team for the Multi-Agent Programming Contest -- Distributed Decision-Making based on Shared Knowledge in the Multi-Agent Programming Contest -- ROS Hybrid Behaviour Planner: Behaviour Hierarchies and Self-Organisation in the Multi-Agent Programming Contest. |
Record Nr. | UNISA-996466211703316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Multi-Agent Systems [[electronic resource] ] : 20th European Conference, EUMAS 2023, Naples, Italy, September 14–15, 2023, Proceedings / / edited by Vadim Malvone, Aniello Murano |
Autore | Malvone Vadim |
Edizione | [1st ed. 2023.] |
Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
Descrizione fisica | 1 online resource (571 pages) |
Disciplina | 006.3 |
Altri autori (Persone) | MuranoAniello |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Coding theory Information theory Computer engineering Computer networks Information technology - Management Application software User interfaces (Computer systems) Human-computer interaction Artificial Intelligence Coding and Information Theory Computer Engineering and Networks Computer Application in Administrative Data Processing Computer and Information Systems Applications User Interfaces and Human Computer Interaction |
ISBN | 3-031-43264-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Multiple Attribute List Aggregation: Its Application to Democratic Playlist Editing -- On the Graph Theory of Majority Illusions -- Qualitative Uncertainty Reasoning in AgentSpeak -- JaKtA: BDI agent-oriented programming in pure Kotlin -- Integrating Ontologies and Cognitive Conversational Agents in On2Conv -- Exploiting Reward Machines with Deep Reinforcement Learning in Continuous Action Domains -- A Comprehensive Presentation of the Jadescript Agent-Oriented Programming Language -- Verifying Programs by Bounded Tree-width Behavior Graphs -- Behavioral QLTL -- Lorenzen-style strategies as proof-search strategies -- SHAPE: A Framework for Evaluating the Ethicality of Influence -- Modelling Group Performance in Educational Multiagent Systems: Introducing the CollabQuest Simulation Game -- Towards Developing an Agent-based Model of Price Competition in the European Pharmaceutical Parallel Trade Market -- Using a BDI Agent to Represent a Human on the Factory Floor of the ARIAC 2023 Industrial Automation Competition -- Symbolic LTLf Best-Effort Synthesis -- Robust Explanations for Human-Neural Multi-agent Systems with Formal Verification -- LTLf Synthesis Under Environment Specifications for Reachability and Safety Properties -- Logic-based approximations of preferences -- A Comparative Analysis of Multi-Agent Simulation Platforms for Energy and Mobility Management -- Observational Preorders for Alternating Transition Systems -- Synthesising Reward Machines for Cooperative Multi-Agent Reinforcement Learning -- Adaptive Cognitive Agents: Updating Action Descriptions and Plans -- Pretty Good Strategies and Where to Find Them -- A multi-agent Sudoku using the wave function collapse. . |
Record Nr. | UNINA-9910744509603321 |
Malvone Vadim | ||
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Multi-Agent Systems [[electronic resource] ] : 20th European Conference, EUMAS 2023, Naples, Italy, September 14–15, 2023, Proceedings / / edited by Vadim Malvone, Aniello Murano |
Autore | Malvone Vadim |
Edizione | [1st ed. 2023.] |
Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
Descrizione fisica | 1 online resource (571 pages) |
Disciplina | 006.3 |
Altri autori (Persone) | MuranoAniello |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Coding theory Information theory Computer engineering Computer networks Information technology - Management Application software User interfaces (Computer systems) Human-computer interaction Artificial Intelligence Coding and Information Theory Computer Engineering and Networks Computer Application in Administrative Data Processing Computer and Information Systems Applications User Interfaces and Human Computer Interaction |
ISBN | 3-031-43264-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Multiple Attribute List Aggregation: Its Application to Democratic Playlist Editing -- On the Graph Theory of Majority Illusions -- Qualitative Uncertainty Reasoning in AgentSpeak -- JaKtA: BDI agent-oriented programming in pure Kotlin -- Integrating Ontologies and Cognitive Conversational Agents in On2Conv -- Exploiting Reward Machines with Deep Reinforcement Learning in Continuous Action Domains -- A Comprehensive Presentation of the Jadescript Agent-Oriented Programming Language -- Verifying Programs by Bounded Tree-width Behavior Graphs -- Behavioral QLTL -- Lorenzen-style strategies as proof-search strategies -- SHAPE: A Framework for Evaluating the Ethicality of Influence -- Modelling Group Performance in Educational Multiagent Systems: Introducing the CollabQuest Simulation Game -- Towards Developing an Agent-based Model of Price Competition in the European Pharmaceutical Parallel Trade Market -- Using a BDI Agent to Represent a Human on the Factory Floor of the ARIAC 2023 Industrial Automation Competition -- Symbolic LTLf Best-Effort Synthesis -- Robust Explanations for Human-Neural Multi-agent Systems with Formal Verification -- LTLf Synthesis Under Environment Specifications for Reachability and Safety Properties -- Logic-based approximations of preferences -- A Comparative Analysis of Multi-Agent Simulation Platforms for Energy and Mobility Management -- Observational Preorders for Alternating Transition Systems -- Synthesising Reward Machines for Cooperative Multi-Agent Reinforcement Learning -- Adaptive Cognitive Agents: Updating Action Descriptions and Plans -- Pretty Good Strategies and Where to Find Them -- A multi-agent Sudoku using the wave function collapse. . |
Record Nr. | UNISA-996550560403316 |
Malvone Vadim | ||
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Reflections on artificial intelligence for humanity / / Bertrand Braunschweig and Malik Ghallab (editors) |
Edizione | [1st ed. 2021.] |
Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2021] |
Descrizione fisica | 1 online resource (XII, 267 p. 4 illus.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Coding theory
Application software Artificial intelligence |
ISBN | 3-030-69128-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Reflections on AI for Humanity: Introduction -- Trustworthy AI -- Democratising the digital revolution: the role of data governance -- Artificial Intelligence and the Future of Work -- Reflections on Decision-Making and Artificial Intelligence -- AI and Human values: inequalities, biases, fairness, nudge and feedback loops -- Next big challenges in core AI technology -- AI for Humanity: The Global Challenges -- AI and Constitutionalism: the challenges ahead -- Analyzing the Contributions of ethical charters to building the Future of Artificial Intelligence governance -- What does “Ethical by Design” Mean? -- AI for Digital Humanities and Computational Social Sciences -- Augmented Human and Human-Machine Co-Evolution: efficiency and ethics -- Democratizing AI for Humanity: A Common Goal -- A Framework for Global Cooperation on Artificial Intelligence and its Governance. |
Record Nr. | UNINA-9910483618903321 |
Cham, Switzerland : , : Springer, , [2021] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Reflections on artificial intelligence for humanity / / Bertrand Braunschweig and Malik Ghallab (editors) |
Edizione | [1st ed. 2021.] |
Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2021] |
Descrizione fisica | 1 online resource (XII, 267 p. 4 illus.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Coding theory
Application software Artificial intelligence |
ISBN | 3-030-69128-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Reflections on AI for Humanity: Introduction -- Trustworthy AI -- Democratising the digital revolution: the role of data governance -- Artificial Intelligence and the Future of Work -- Reflections on Decision-Making and Artificial Intelligence -- AI and Human values: inequalities, biases, fairness, nudge and feedback loops -- Next big challenges in core AI technology -- AI for Humanity: The Global Challenges -- AI and Constitutionalism: the challenges ahead -- Analyzing the Contributions of ethical charters to building the Future of Artificial Intelligence governance -- What does “Ethical by Design” Mean? -- AI for Digital Humanities and Computational Social Sciences -- Augmented Human and Human-Machine Co-Evolution: efficiency and ethics -- Democratizing AI for Humanity: A Common Goal -- A Framework for Global Cooperation on Artificial Intelligence and its Governance. |
Record Nr. | UNISA-996464485703316 |
Cham, Switzerland : , : Springer, , [2021] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|