| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910783914203321 |
|
|
Titolo |
Categorical structures and their applications [[electronic resource] ] : proceedings of the North-West European Category Seminar, Berlin, Germany, 28-29 March 2003 / / edited by W. Gähler and G. Preuss |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Singapore ; ; Hackensack, NJ, : World Scientific, c2004 |
|
|
|
|
|
|
|
ISBN |
|
1-281-89846-5 |
9786611898465 |
981-270-241-5 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (356 p.) |
|
|
|
|
|
|
Altri autori (Persone) |
|
GählerWerner |
PreussGerhard <1940-> |
HerrlichHorst |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Categories (Mathematics) |
Topological spaces |
Metric spaces |
Topology |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
"Dedicated to Horst Herrlich on the occasion of his 65th birthday"--P. [v]. |
|
|
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references. |
|
|
|
|
|
|
Nota di contenuto |
|
Contents; Preface; Introduction; Opening Ceremony of the North-West European Category Seminar 2003; On Boole's Booleanness B. Banaschewski; Homeomorphically Closed Nearness Spaces H. L. Bentley and John W. Carlson; The Tensor Product of Orthomodular Posets Reinhard Borger; On a Weak Form of the Blumberg Property Wing-Sum Cheung, Yu-Ting Lin, George E. Strecker and Shiojenn Tseng; Saturated Collections of Metrics E. Colebunders, R. Lowen and M. Sioen; A Uniform Space Proof of a Metrisation Theorem P. J. Collins |
Classification of Closure Operators for Categories of Topological Spaces Dikran Dikranjan, Walter Tholen and Stephen WatsonTopological Structures in Logics Werner Gahler; The Structure of Affine Algebraic Sets Eraldo Giuli; A Twisted Triple Category of Track Commutative Cubes K. A. Hardie and K. H. Kamps; Productivity of Coreflective Classes in Some Topological Structures; A Characterization of Co- |
|
|
|
|
|
|
|
|
|
|
|
Retracts of Functional Structures; Maximal (Sequentially) Compact Topologies Hans-Peter A. Kiinzi and Dominic van der Zypen; Supertopologies as Starting Points for Generalized Continuity Structures |
Introducing Lagois CorrespondencesOn (B,B)-Projectivity Helga Oltmanns, Valdis Laan, Ulrich Knauer; On Coalgebras which are Algebras; A Hyperspace Completion for Semiuniform Convergence Spaces and Related Hyperspace Structures; Convex Effect Algebras and Partially Ordered Positively Convex Modules; Fibrewise Sobriety; Two Applications of Elementary Submodels to Partitions of Topological Spaces; L-Valued Categories: Generalities and Examples Related to Algebra and Topology; Horst Herrlich's Publications; Bernhard Banaschewski: Two Poems |
|
|
|
|
|
|
Sommario/riassunto |
|
The book collects original research papers on applied categorical structures, most of which have been presented at the North-West European Category Seminar 2003 in Berlin. The spectrum of these mathematical results reflects the varied interests of Horst Herrlich - one of the leading category theorists of the world - to whom this volume is dedicated in view of his 65th birthday. The book contains applications of categorical methods in various branches of mathematics such as algebra, analysis, logic and topology, as well as fuzzy structures and computer science. At the end of the book the reader |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910734872803321 |
|
|
Titolo |
Advances in Practical Applications of Agents, Multi-Agent Systems, and Cognitive Mimetics. The PAAMS Collection : 21st International Conference, PAAMS 2023, Guimarães, Portugal, July 12–14, 2023, Proceedings / / edited by Philippe Mathieu, Frank Dignum, Paulo Novais, Fernando De la Prieta |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
|
|
Edizione |
[1st ed. 2023.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (449 pages) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Artificial Intelligence, , 2945-9141 ; ; 13955 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
|
|
Soggetti |
|
Artificial intelligence |
Data structures (Computer science) |
Information theory |
Software engineering |
Computer engineering |
Computer networks |
Artificial Intelligence |
Data Structures and Information Theory |
Software Engineering |
Computer Engineering and Networks |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
PAAMS 2023 - MAIN TRACK -- Brain waves classification using a single-channel dry EEG headset: an application for controlling an intelligent wheelchair -- AJAN: An Engineering Framework for Semantic Web-Enabled Agents and Multi-Agent Systems -- Adaptive consumption by continuous negotiation -- When Extrinsic Payoffs meet Intrinsic Expectations -- Multi-Agent Reinforcement Learning for Structured Symbolic Music Generation -- A multi-level density-based crowd simulation architecture -- Resolving the Dilemma of |
|
|
|
|
|
|
|
|
|
|
|
Responsibility in Multi-Agent Flow Networks -- Lessons Learned on the Design of a Predictive Agent for LoRaWAN Network Planning -- A solution concept with an exploration bias for repeated stochastic coalitional games -- Governing online forum interactions with multi-agent system: A Reddit use case with the JaCaMo platform -- Fuzzy Hyperplane based Twin-KSVC and Its Applications to Stock Price Movement Direction Prediction Based on News Articles -- Enhancing Safety Checking Coverage withMulti-swarm Particle Swarm Optimization -- A Decentralized Resource Allocation Protocol in Social Networks -- Multi-agent learning of causal networks in the Internet of Things -- Investigation of Integrating Solution Techniques for Lifelong MAPD Problem Considering Endpoints -- Towards Norm Entrepreneurship in Agent Societies -- Velluscinum: A Middleware for Using Digital Assets in Multi-Agent Systems -- Parking Problem with Multiple Gates -- UAV Swarm Control and Coordination Using Jason BDI Agents on top of ROS -- Traffic Assignment Optimization using Flow-based Multi-Maps -- A Monitoring Agent for Advancing Elderly Care through Mobile Health Technology -- Extrinsic Emotion Regulation by Intelligent Agents: A computational model based on Arousal-Valence dimensions -- Optimization of Complex Systems in Photonics by Multi-Agent Robotic Control -- GTG-CoL: A new Decentralized Federated Learning based on Consenssus for dynamic networks -- A novel framework for multi-agent knowledge-based federated learning systems -- Exploring Planner-Guided Swarms Running on Real Robots -- Integrating Policy Summaries with Reward Decomposition for Explaining Reinforcement Learning Agents -- A Multi-Agent Based Dynamic Network Slice Tarification Framework -- An IDE to Support the Development of Embedded Multi-Agent Systems. Bioinspired Artificial Cockroach Colony Strategy combined with 2-type Fuzzy Logic for the Priority-Based Sanitization of Railway Stations -- Embedding Autonomous Agents into Low-Power Wireless Sensor Networks -- Safe Autonomous Decision-Making with vGOAL -- PAAMS 2023 - DEMONSTRATIONS -- Towards Exception Handling in the SARL Agent Platform -- Multi-Agent Path Finding for Indoor Quadcopters -- Energy community integration of a smart home based on an open source multiagent system -- Cognitive Assistant for Enhanced eHealth Monitoring -- Extended Green Cloud - Modeling Cloud Infrastructure with Green Energy Sources. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the proceedings of the 21st International Conference on Practical Applications of Agents and Multi-Agent Systems, PAAMS 2023, held in Guimaraes, Portugal, in July 2023. The 32 full papers in this book were reviewed and selected from 70 submissions. 5 demonstration papers are also included in this volume. The papers deal with the application and validation of agent-based models, methods, and technologies in a number of key applications areas, including: advanced models and learning, agent-based programming, decision-making, education and social interactions, formal and theoretic models, health and safety, mobility and the city, swarms and task allocation. |
|
|
|
|
|
|
|
| |