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.
Advances in Computational Intelligence Techniques / / edited by Shruti Jain, Meenakshi Sood, Sudip Paul
| Advances in Computational Intelligence Techniques / / edited by Shruti Jain, Meenakshi Sood, Sudip Paul |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Singapore : , : Springer Singapore : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (xiv, 266 pages) : illustrations |
| Disciplina | 006.3 |
| Collana | Algorithms for Intelligent Systems |
| Soggetto topico |
Computational intelligence
Machine learning Artificial intelligence Computer logic Computational Intelligence Machine Learning Logic in AI |
| ISBN | 981-15-2620-6 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Accent Classification of the Three Major Nigerian Indigenous Languages Using 1D CNN LSTM Network Model -- Automatic Glaucoma Diagnosis in Digital Fundus images using Deep CNNs -- Deep Learning based Diabetic Retinopathy Prediction of Colored Fundus Images with Parameter Tuning -- Fractal Analysis of Heart Dynamics during Attention Task -- Assessment of Health Care Techniques in IoT -- English Numerals Recognition System using Novel Curve Coding -- Clustering and Employability Profiling of Engineering Students -- Universal Approach for Detection of Spot Diseases in Plants -- Stereo Camera and LIDAR Sensor Fusion based Collision Warning System for Autonomous Vehicles. |
| Record Nr. | UNINA-9910484883403321 |
| Singapore : , : Springer Singapore : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Algorithmic Discrimination and Ethical Perspective of Artificial Intelligence / / edited by Muharrem Kılıç, Sezer Bozkuş Kahyaoğlu
| Algorithmic Discrimination and Ethical Perspective of Artificial Intelligence / / edited by Muharrem Kılıç, Sezer Bozkuş Kahyaoğlu |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (231 pages) |
| Disciplina | 006.3 |
| Collana | Accounting, Finance, Sustainability, Governance & Fraud: Theory and Application |
| Soggetto topico |
Business - Data processing
Human rights Logic programming Machine learning Business Analytics Human Rights Logic in AI Machine Learning |
| ISBN | 981-9963-27-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Socio-Political Analysis Of AI-Based Discrimination In The Meta-Surveillance Universe -- Rethinking Non-Discrimination Law In The Age Of Artificial Intelligence -- Data Protection Legislation, Artificial Intelligence and Discrimination -- Can The Right To Explanation Right In GDPR Be A Remedy For Algoritmic Discrimination? -- Sufficency Of Struglling With The Current Criminal Law Rules on the Use Of Artificial Intelligence in CrimePrevention of Discrimination in the Practices of Predictive Policing -- Issues That May Arise From Usage Of Artificial Intelligence Technologies In Criminal Justice and Law Enforcement -- Artificial Intelligence And Prohibition of Discrimination From The Perspective of Private Law -- Legal Challenges of Artificial Intelligence In Healthcare -- The Impact Of Artificial Intelligence On Social Rights -- An Investigation On The Detection Of Discrimination and Hate Speech Shared On Social Media Platforms Using Artificial Intelligence Methods -- The New Era: Transforming Healthcare -- Quality With Artificial Intelligence -- Managing Artificial Intelligence Algorithmic Discrimination: The Internal Audit Function Role. |
| Record Nr. | UNINA-9910760296803321 |
| Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Applications of Machine Learning / / edited by Prashant Johri, Jitendra Kumar Verma, Sudip Paul
| Applications of Machine Learning / / edited by Prashant Johri, Jitendra Kumar Verma, Sudip Paul |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Singapore : , : Springer Singapore : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (404 pages) |
| Disciplina | 006.31 |
| Collana | Algorithms for Intelligent Systems |
| Soggetto topico |
Applied mathematics
Engineering mathematics Signal processing Image processing Speech processing systems Machine learning Optical data processing Artificial intelligence Computer logic Mathematical statistics Mathematical and Computational Engineering Signal, Image and Speech Processing Machine Learning Image Processing and Computer Vision Logic in AI Probability and Statistics in Computer Science |
| ISBN | 981-15-3357-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Statistical Learning Process for the Reduction of Sample Collection Assuring a Desired Level of Confidence -- Sentiment Analysis on Google Play Store Data using Deep Learning -- Managing the Data Meaning in the Data Stream Processing: A Systematic Literature Mapping -- Tracking an Object using Traditional MS (Mean Shift) and CBWH MS (Mean Shift) Algorithm with Kalman Filter -- Transfer Learning and Domain Adaptation for Named Entity Recognition -- Knowledge Graph from Informal Text: Architecture, Components, Algorithms and Applications -- Neighborhood-based Collaborative Recommendations: An Introduction -- Classification of Arabic Texts Using Singular Value Decomposition and Fuzzy C-Means Algorithms -- Echo State Network Based Nonlinear Channel Equalization in Wireless Communication System -- Melody Extraction from Music: A Comprehensive Study -- Comparative Analysis of Combined Gas Turbine-Steam Turbine Power Cycle Performance by Using Entropy Generation and Statistical Methodology -- Data Mining - A Tool for Handling Huge Voluminous Data -- Improved Training Pattern in Back Propagation Neural Networks Using Holt-Winters' Seasonal Method and Gradient Boosting Model -- Ensemble of Multi-headed Machine Learning Architectures for Time-series Forecasting of Healthcare Expenditures -- Applying Soft Computing Approaches To Investigate Software Fault Proneness in Agile Software Development Environment. |
| Record Nr. | UNINA-9910403764103321 |
| Singapore : , : Springer Singapore : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy [[electronic resource] ] : Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday / / edited by Mário S. Alvim, Kostas Chatzikokolakis, Carlos Olarte, Frank Valencia
| The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy [[electronic resource] ] : Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday / / edited by Mário S. Alvim, Kostas Chatzikokolakis, Carlos Olarte, Frank Valencia |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XXXIV, 461 p. 1292 illus., 45 illus. in color.) |
| Disciplina | 005.13 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Software engineering Logic programming Computer science - Mathematics Mathematical statistics Data protection Theory of Computation Software Engineering Logic in AI Probability and Statistics in Computer Science Data and Information Security |
| ISBN | 3-030-31175-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Concurrency -- Variations of the Itai-Rodeh Algorithm for Computing Anonymous Ring Size -- Axiomatizing Team Equivalence for Finite-State Machines -- Asynchronous pi-calculus at work: the call-by-need strategy -- Deadlock Analysis of Wait-Notify Coordination -- Enhancing reaction systems: a process algebraic approach -- Checking the Expressivity of Firewall Languages -- Polymorphic Session Processes as Morphisms -- Guess Who's Coming: Runtime Inclusion of Participants in Choreographies -- A Complete Axiomatizion of Branching Bisimulation for a Simple Process Language with Probabilistic Choice -- Walking Through the Semantics of Exclusive and Event-Based Gateways in BPMN Choreographies -- Stronger Validity Criteria for Encoding Synchrony -- Confluence of the Chinese Monoid -- Logic and Constraint Programming -- A coalgebraic approach to unification semantics of logic programming -- Polyadic Soft Constraints -- Security and Privacy -- Core-concavity, Gain Functions and Axioms for Information Leakage -- Formalisation of Probabilistic Testing Semantics in Coq -- Fully Syntactic Uniform Continuity Formats for Bisimulation Metrics -- Fooling the Parallel Or Tester with Probability 8/27 -- Categorical information flow -- Statistical Epistemic Logic -- Approximate model counting, sparse XOR constraints and minimum distance -- Verification and Control of Turn-Based Probabilistic Real-Time Games -- Refinement Metrics for Quantitative Information Flow -- Models and Puzzles -- Toward a Formal Model for Group Polarization in Social Networks -- Make Puzzles Great Again. |
| Record Nr. | UNISA-996466338303316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy : Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday / / edited by Mário S. Alvim, Kostas Chatzikokolakis, Carlos Olarte, Frank Valencia
| The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy : Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday / / edited by Mário S. Alvim, Kostas Chatzikokolakis, Carlos Olarte, Frank Valencia |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XXXIV, 461 p. 1292 illus., 45 illus. in color.) |
| Disciplina | 005.13 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Software engineering Logic programming Computer science - Mathematics Mathematical statistics Data protection Theory of Computation Software Engineering Logic in AI Probability and Statistics in Computer Science Data and Information Security |
| ISBN | 3-030-31175-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Concurrency -- Variations of the Itai-Rodeh Algorithm for Computing Anonymous Ring Size -- Axiomatizing Team Equivalence for Finite-State Machines -- Asynchronous pi-calculus at work: the call-by-need strategy -- Deadlock Analysis of Wait-Notify Coordination -- Enhancing reaction systems: a process algebraic approach -- Checking the Expressivity of Firewall Languages -- Polymorphic Session Processes as Morphisms -- Guess Who's Coming: Runtime Inclusion of Participants in Choreographies -- A Complete Axiomatizion of Branching Bisimulation for a Simple Process Language with Probabilistic Choice -- Walking Through the Semantics of Exclusive and Event-Based Gateways in BPMN Choreographies -- Stronger Validity Criteria for Encoding Synchrony -- Confluence of the Chinese Monoid -- Logic and Constraint Programming -- A coalgebraic approach to unification semantics of logic programming -- Polyadic Soft Constraints -- Security and Privacy -- Core-concavity, Gain Functions and Axioms for Information Leakage -- Formalisation of Probabilistic Testing Semantics in Coq -- Fully Syntactic Uniform Continuity Formats for Bisimulation Metrics -- Fooling the Parallel Or Tester with Probability 8/27 -- Categorical information flow -- Statistical Epistemic Logic -- Approximate model counting, sparse XOR constraints and minimum distance -- Verification and Control of Turn-Based Probabilistic Real-Time Games -- Refinement Metrics for Quantitative Information Flow -- Models and Puzzles -- Toward a Formal Model for Group Polarization in Social Networks -- Make Puzzles Great Again. |
| Record Nr. | UNINA-9910357851903321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Chatbot Research and Design [[electronic resource] ] : 7th International Workshop, CONVERSATIONS 2023, Oslo, Norway, November 22–23, 2023, Revised Selected Papers / / edited by Asbjørn Følstad, Theo Araujo, Symeon Papadopoulos, Effie L.-C. Law, Ewa Luger, Morten Goodwin, Sebastian Hobert, Petter Bae Brandtzaeg
| Chatbot Research and Design [[electronic resource] ] : 7th International Workshop, CONVERSATIONS 2023, Oslo, Norway, November 22–23, 2023, Revised Selected Papers / / edited by Asbjørn Følstad, Theo Araujo, Symeon Papadopoulos, Effie L.-C. Law, Ewa Luger, Morten Goodwin, Sebastian Hobert, Petter Bae Brandtzaeg |
| Autore | Følstad Asbjø |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (226 pages) |
| Disciplina | 006.35 |
| Altri autori (Persone) |
AraujoTheo
PapadopoulosSymeon LawEffie L. -C LugerEwa GoodwinMorten HobertSebastian BrandtzaegPetter Bae |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Natural language processing (Computer science)
Logic programming User interfaces (Computer systems) Human-computer interaction Computer networks Information storage and retrieval systems Computer programming Natural Language Processing (NLP) Logic in AI User Interfaces and Human Computer Interaction Computer Communication Networks Information Storage and Retrieval Programming Techniques |
| ISBN | 3-031-54975-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996589546403316 |
Følstad Asbjø
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Chatbot Research and Design : 7th International Workshop, CONVERSATIONS 2023, Oslo, Norway, November 22–23, 2023, Revised Selected Papers / / edited by Asbjørn Følstad, Theo Araujo, Symeon Papadopoulos, Effie L.-C. Law, Ewa Luger, Morten Goodwin, Sebastian Hobert, Petter Bae Brandtzaeg
| Chatbot Research and Design : 7th International Workshop, CONVERSATIONS 2023, Oslo, Norway, November 22–23, 2023, Revised Selected Papers / / edited by Asbjørn Følstad, Theo Araujo, Symeon Papadopoulos, Effie L.-C. Law, Ewa Luger, Morten Goodwin, Sebastian Hobert, Petter Bae Brandtzaeg |
| Autore | Følstad Asbjø |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (226 pages) |
| Disciplina | 006.35 |
| Altri autori (Persone) |
AraujoTheo
PapadopoulosSymeon LawEffie L. -C LugerEwa GoodwinMorten HobertSebastian BrandtzaegPetter Bae |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Natural language processing (Computer science)
Logic programming User interfaces (Computer systems) Human-computer interaction Computer networks Information storage and retrieval systems Computer programming Natural Language Processing (NLP) Logic in AI User Interfaces and Human Computer Interaction Computer Communication Networks Information Storage and Retrieval Programming Techniques |
| ISBN | 3-031-54975-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910845095403321 |
|
Følstad Asbjø
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Chatbot Research and Design [[electronic resource] ] : Third International Workshop, CONVERSATIONS 2019, Amsterdam, The Netherlands, November 19–20, 2019, Revised Selected Papers / / edited by Asbjørn Følstad, Theo Araujo, Symeon Papadopoulos, Effie Lai-Chong Law, Ole-Christoffer Granmo, Ewa Luger, Petter Bae Brandtzaeg
| Chatbot Research and Design [[electronic resource] ] : Third International Workshop, CONVERSATIONS 2019, Amsterdam, The Netherlands, November 19–20, 2019, Revised Selected Papers / / edited by Asbjørn Følstad, Theo Araujo, Symeon Papadopoulos, Effie Lai-Chong Law, Ole-Christoffer Granmo, Ewa Luger, Petter Bae Brandtzaeg |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XII, 273 p. 52 illus., 22 illus. in color.) |
| Disciplina | 004.678 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Natural language processing (Computer science)
Computers Computer programming Artificial intelligence Computer logic Programming languages (Electronic computers) Natural Language Processing (NLP) Information Systems and Communication Service Theory of Computation Programming Techniques Logic in AI Programming Languages, Compilers, Interpreters |
| ISBN | 3-030-39540-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Conversational Agents in Healthcare: Using QCA to Explain Patients’ Resistance to Chatbots for Medication -- An Approach for Ex-Post-Facto Analysis of Knowledge Graph-Driven Chatbots – the DBpedia Chatbot -- Privacy Concerns in Chatbot Interactions -- Creating Humanlike Chatbots: What Chatbot Developers Could Learn from Webcare Employees in Adopting a Conversational Human Voice -- The Conversational Agent “Emoty” Perceived by People with Neurodevelopmental Disorders: Is It a Human or a Machine -- Gender Bias in Chatbot Design -- Conversational Web Interaction: Proposal of a Dialog-Based Natural Language Interaction Paradigm for the Web -- Designing Chatbots for Guiding Online Peer Support Conversations for Adults with ADHD -- Towards Chatbots to Support Bibliotherapy Preparation and Delivery -- CivicBots – Chatbots for Supporting Youth in Societal Participation -- Using Theory of Mind to Assess Users’ Sense of Agency in Social Chatbots -- Exploring Age Differences in Motivations for and Acceptance of Chatbot Communication in a Customer Service Context -- Improving Conversations: Lessons Learnt from Manual Analysis of Chatbot Dialogues -- Conversational Repair in Chatbots for Customer Service: The Effect of Expressing Uncertainty and Suggesting Alternatives -- Working Together with Conversational Agents: The Relationship of Perceived Cooperation with Service Performance Evaluation -- Chatbots for the Information Acquisition at Universities – A Student’s View on the Application Area -- A Configurable Agent to Advance Peers’ Productive Dialogue in MOOCs -- Small Talk Conversations and the Long-Term Use of Chatbots in Educational Settings – Experiences from a Field Study. |
| Record Nr. | UNISA-996418216803316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Chatbot Research and Design : Third International Workshop, CONVERSATIONS 2019, Amsterdam, The Netherlands, November 19–20, 2019, Revised Selected Papers / / edited by Asbjørn Følstad, Theo Araujo, Symeon Papadopoulos, Effie Lai-Chong Law, Ole-Christoffer Granmo, Ewa Luger, Petter Bae Brandtzaeg
| Chatbot Research and Design : Third International Workshop, CONVERSATIONS 2019, Amsterdam, The Netherlands, November 19–20, 2019, Revised Selected Papers / / edited by Asbjørn Følstad, Theo Araujo, Symeon Papadopoulos, Effie Lai-Chong Law, Ole-Christoffer Granmo, Ewa Luger, Petter Bae Brandtzaeg |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XII, 273 p. 52 illus., 22 illus. in color.) |
| Disciplina | 004.678 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Natural language processing (Computer science)
Computers Computer programming Artificial intelligence Computer logic Programming languages (Electronic computers) Natural Language Processing (NLP) Information Systems and Communication Service Theory of Computation Programming Techniques Logic in AI Programming Languages, Compilers, Interpreters |
| ISBN | 3-030-39540-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Conversational Agents in Healthcare: Using QCA to Explain Patients’ Resistance to Chatbots for Medication -- An Approach for Ex-Post-Facto Analysis of Knowledge Graph-Driven Chatbots – the DBpedia Chatbot -- Privacy Concerns in Chatbot Interactions -- Creating Humanlike Chatbots: What Chatbot Developers Could Learn from Webcare Employees in Adopting a Conversational Human Voice -- The Conversational Agent “Emoty” Perceived by People with Neurodevelopmental Disorders: Is It a Human or a Machine -- Gender Bias in Chatbot Design -- Conversational Web Interaction: Proposal of a Dialog-Based Natural Language Interaction Paradigm for the Web -- Designing Chatbots for Guiding Online Peer Support Conversations for Adults with ADHD -- Towards Chatbots to Support Bibliotherapy Preparation and Delivery -- CivicBots – Chatbots for Supporting Youth in Societal Participation -- Using Theory of Mind to Assess Users’ Sense of Agency in Social Chatbots -- Exploring Age Differences in Motivations for and Acceptance of Chatbot Communication in a Customer Service Context -- Improving Conversations: Lessons Learnt from Manual Analysis of Chatbot Dialogues -- Conversational Repair in Chatbots for Customer Service: The Effect of Expressing Uncertainty and Suggesting Alternatives -- Working Together with Conversational Agents: The Relationship of Perceived Cooperation with Service Performance Evaluation -- Chatbots for the Information Acquisition at Universities – A Student’s View on the Application Area -- A Configurable Agent to Advance Peers’ Productive Dialogue in MOOCs -- Small Talk Conversations and the Long-Term Use of Chatbots in Educational Settings – Experiences from a Field Study. |
| Record Nr. | UNINA-9910373927903321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Coalgebraic Methods in Computer Science : 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Proceedings / / edited by Barbara König, Henning Urbat
| Coalgebraic Methods in Computer Science : 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Proceedings / / edited by Barbara König, Henning Urbat |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (226 pages) |
| Disciplina | 004.0151 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Mathematical logic
Machine theory Logic programming Computer science - Mathematics Mathematical Logic and Foundations Formal Languages and Automata Theory Logic in AI Mathematics of Computing |
| ISBN | 3-031-66438-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Coalgebraic CTL: Fixpoint Characterization and Polynomial-time Model Checking -- A Categorical Approach to Coalgebraic Fixpoint Logic -- Preorder-Constrained Simulations for Program Refinement with Effects -- Automata and Coalgebras in Categories of Species -- Automata in W-Toposes, and General Myhill-Nerode Theorems -- Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras -- Explicit Hopcroft’s Trick in Categorical Partition Refinement -- Proving Behavioural Apartness -- A Compositional Approach to Petri Nets -- Correspondence between Composite Theories and Distributive Laws. |
| Record Nr. | UNINA-9910878048303321 |
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Soggetto topico
-
Logic in AI
(116)
- Logic programming (94)
- Computer science (61)
- Software engineering (52)
- Software Engineering (48)