Direkt zur Hauptnavigation springen Direkt zum Inhalt springen
info(at)avldigital.remove-this.de
Deutsch English
Filtern nach
Aktive Filter
Letzte Suchanfragen

Ergebnisse für *

Zeige Ergebnisse 26 bis 38 von 38.

  1. Formal methods and software engineering
    24th international conference on formal engineering methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023 : proceedings
    Beteiligt: Li, Yi (HerausgeberIn); Tahar, Sofiène (HerausgeberIn)
    Erschienen: [2023]; © 2023
    Verlag:  Springer, Singapore

    This book constitutes the proceedings of the 24th International Conference on Formal Methods and Software Engineering, ICFEM 2023, held in Brisbane, QLD, Australia, during November 21-24, 2023. The 13 full papers presented together with 8 doctoral... mehr

    Standort:
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    Signatur:
    RN 2835(14308)
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt

    Standort:
    Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Bibliothek
    Fernleihe:
    keine Fernleihe

     

    This book constitutes the proceedings of the 24th International Conference on Formal Methods and Software Engineering, ICFEM 2023, held in Brisbane, QLD, Australia, during November 21-24, 2023. The 13 full papers presented together with 8 doctoral symposium papers in this volume were carefully reviewed and selected from 34 submissions, the volume also contains one invited paper. The conference focuses on applying formal methods to practical applications and presents papers for research in all areas related to formal engineering methods

     
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Cover (lizenzpflichtig)
    Quelle: Verbundkataloge
    Beteiligt: Li, Yi (HerausgeberIn); Tahar, Sofiène (HerausgeberIn)
    Sprache: Englisch
    Medientyp: Konferenzschrift
    Format: Druck
    ISBN: 9789819975839
    Körperschaften/Kongresse: International Conference on Formal Engineering Methods, 24. (2023, Brisbane)
    Schriftenreihe: Lecture notes in computer science ; 14308
    Schlagworte: Angewandte Informatik; COMPUTERS / Computer Science; COMPUTERS / Data Processing / General; COMPUTERS / Data Processing / Speech & Audio Processing; COMPUTERS / Programming / General; COMPUTERS / Programming / Software Development; COMPUTERS / Programming Languages / General; Compiler und Übersetzer; Computer programming / software development; Computer science; Computerprogrammierung und Softwareentwicklung; Information technology: general issues; Natural language & machine translation; Natürliche Sprachen und maschinelle Übersetzung; Programming & scripting languages: general; Software Engineering; Software Engineering; Theoretische Informatik
    Umfang: xxviii, 300 Seiten, Diagramme
    Bemerkung(en):

    Literaturangaben

    Invited Talk: Verifying Compiler Optimisations.- Regular Papers: An Idealist's Approach for Smart Contract Correctness.- Active Inference of EFSMs Without Reset.- Learning Mealy Machines with Local Timers.- Compositional Vulnerability Detection with Insecurity Separation Logic.- Dynamic Extrapolation in Extended Timed Automata.- Formalizing Robustness against Character-level Perturbations for Neural Network Language Models.- Trace models of concurrent valuation algebras.- Branch and Bound for Sigmoid-like Neural Network Verification.- Certifying Sequential Consistency of Machine Learning Accelerators.- Guided Integration of Formal Verification in Assurance Cases.- Validation-Driven Development.- Incremental Property Directed Reachability.- Proving Local Invariants in ASTDs.- Doctoral Symposium Papers: Formal Verification of the Burn-to-Claim Blockchain Interoperable Protocol.- Early and systematic validation of formal models.- Verifying Neural Networks by Approximating Convex Hulls.- Eager to Stop: Efficient Falsification of Deep Neural Networks.- A Runtime Verification Framework For Cyber-physical Systems Based On Data Analytics And LTL Formula Learning.- Unified Verification of Neural Networks' Robustness and Privacy in Computer Vision.- IoT Software Vulnerability Detection Techniques through Large Language Model.- Vulnerability Detection via Typestate-Guided Code Representation Learning.
  2. Lesion segmentation in surgical and diagnostic applications
    MICCAI 2022 Challenges, CuRIOUS 2022, KiPA 2022 and MELA 2022, held in conjunction with MICCAI 2022, Singapore, September 18-22, 2022 : proceedings
    Beteiligt: Xiao, Yiming (HerausgeberIn); Yang, Guanyu (HerausgeberIn); Song, Shuang (HerausgeberIn)
    Erschienen: [2023]
    Verlag:  Springer, Cham

    This book constitutes three challenges that were held in conjunction with the 25th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2022, which took place in Singapore in September 2022. The peer-reviewed... mehr

    Standort:
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    Signatur:
    RN 2835(13648)
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt

    Standort:
    Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Bibliothek
    Fernleihe:
    keine Fernleihe

     

    This book constitutes three challenges that were held in conjunction with the 25th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2022, which took place in Singapore in September 2022. The peer-reviewed 10 papers included in this volume stem from the following three challenges: Kidney Parsing Challenge 2022: Multi-Structure Segmentation for Renal Cancer Treatment (KiPA 2022) The 2022 Correction of Brain Shift with Intra-Operative Ultrasound-Segmentation Challenge (CuRIOUS-SEG 2022) The 2022 Mediastinal Lesion Analysis Challenge (MELA 2022)

     
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Cover (lizenzpflichtig)
    Quelle: Verbundkataloge
    Beteiligt: Xiao, Yiming (HerausgeberIn); Yang, Guanyu (HerausgeberIn); Song, Shuang (HerausgeberIn)
    Sprache: Englisch
    Medientyp: Konferenzschrift
    Format: Druck
    ISBN: 9783031273230
    Körperschaften/Kongresse: International Conference on Medical Image Computing and Computer Assisted Intervention, 25. (2022, Singapur; Online)
    Schriftenreihe: Array ; 13648
    Schlagworte: Angewandte Informatik; Bildgebende Verfahren; COMPUTERS / Artificial Intelligence; COMPUTERS / Computer Vision & Pattern Recognition; COMPUTERS / Data Processing / General; COMPUTERS / Data Processing / Speech & Audio Processing; COMPUTERS / Programming / Software Development; Computer vision; Machine learning; Maschinelles Lernen; Maschinelles Sehen, Bildverstehen; Medical imaging; Natural language & machine translation; Natürliche Sprachen und maschinelle Übersetzung; Software Engineering; Software Engineering
    Umfang: xviii, 85 Seiten, Illustrationen
  3. Explainable artificial intelligence
    Part 1
    Beteiligt: Longo, Luca (HerausgeberIn)
    Erschienen: [2023]; © 2023
    Verlag:  Springer, Cham

    This three-volume set constitutes the refereed proceedings of the First World Conference on Explainable Artificial Intelligence, xAI 2023, held in Lisbon, Portugal, in July 2023. The 94 papers presented were thoroughly reviewed and selected from the... mehr

    Standort:
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    Signatur:
    RS 7445(1901)
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt

     

    This three-volume set constitutes the refereed proceedings of the First World Conference on Explainable Artificial Intelligence, xAI 2023, held in Lisbon, Portugal, in July 2023. The 94 papers presented were thoroughly reviewed and selected from the 220 qualified submissions. They are organized in the following topical sections: Part I: Interdisciplinary perspectives, approaches and strategies for xAI; Model-agnostic explanations, methods and techniques for xAI, Causality and Explainable AI; Explainable AI in Finance, cybersecurity, health-care and biomedicine. Part II: Surveys, benchmarks, visual representations and applications for xAI; xAI for decision-making and human-AI collaboration, for Machine Learning on Graphs with Ontologies and Graph Neural Networks; Actionable eXplainable AI, Semantics and explainability, and Explanations for Advice-Giving Systems. Part III: xAI for time series and Natural Language Processing; Human-centered explanations and xAI for Trustworthy and Responsible AI; Explainable and Interpretable AI with Argumentation, Representational Learning and concept extraction for xAI

     
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Cover (lizenzpflichtig)
    Quelle: Verbundkataloge
    Beteiligt: Longo, Luca (HerausgeberIn)
    Sprache: Englisch
    Medientyp: Konferenzschrift
    Format: Druck
    ISBN: 9783031440632
    Übergeordneter Titel: Explainable artificial intelligence - Alle Bände anzeigen
    Körperschaften/Kongresse: xAI, 1. (2023, Lissabon)
    Schriftenreihe: Communications in computer and information science ; 1901
    Moremedia
    Schlagworte: Angewandte Informatik; Artificial intelligence; COMPUTERS / Artificial Intelligence; COMPUTERS / Data Processing / General; COMPUTERS / Data Processing / Speech & Audio Processing; COMPUTERS / Hardware / Network Hardware; Information technology: general issues; Künstliche Intelligenz; Natural language & machine translation; Natürliche Sprachen und maschinelle Übersetzung; Network hardware; Netzwerk-Hardware
    Umfang: xxv, 692 Seiten, Illustrationen, Diagramme
    Bemerkung(en):

    Literaturangaben

    Interdisciplinary perspectives, approaches and strategies for xAI.- Model-agnostic explanations, methods and techniques for xAI, Causality and Explainable AI.- Explainable AI in Finance, cybersecurity, health-care and biomedicine.
  4. AI Chatbots
    The Good, The Bad, and The Ugly
    Autor*in: Crowder, James
    Erschienen: 2023
    Verlag:  Springer International Publishing AG, Cham

    This book explores the subject of artificial psychology from the standpoint of how online Chatbots have infiltrated and affected societies and the world in general. The book explores the psychological effects of depending on an online entity for our... mehr

     

    This book explores the subject of artificial psychology from the standpoint of how online Chatbots have infiltrated and affected societies and the world in general. The book explores the psychological effects of depending on an online entity for our needs - even if it's a reminder of scheduled events. The author provides insight into the notion of human-Chatbot exchanges, understanding, and false emotions both from the Chatbot and from the human. He goes on to investigate and discuss the dangers of too much reliance on technology that learns from a variety of sources and how some sources can negatively influence Chatbots, and by doing so, negatively affect people. The book also discusses human-Chatbot interactions and the natural language interface(s) required to respond adequately to humans. Lastly, the author explores the notion of ethical considerations for people, based on their interactions with Chatbots, including information based on cultural differences between different regions of the world

     
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Cover (lizenzpflichtig)
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 9783031455087
    Auflage/Ausgabe: 1st ed. 2024
    Schriftenreihe: Synthesis Lectures on Engineering, Science, and Technology
    Schlagworte: Angewandte Informatik; Artificial intelligence; BUSINESS & ECONOMICS / Management Science; Business & management; COMPUTERS / Data Processing / General; COMPUTERS / Data Processing / Speech & Audio Processing; COMPUTERS / User Interfaces; Information technology: general issues; Künstliche Intelligenz; Management: Innovation; Mensch-Computer-Interaktion; Natural language & machine translation; Natürliche Sprachen und maschinelle Übersetzung; TECHNOLOGY & ENGINEERING / Engineering (General); User interface design & usability
    Umfang: 165 Seiten
    Bemerkung(en):

    Introduction.- Section I: The Rise of the Chatbot.- What is a Chatbot.- Categories of Chatbots.- Chatbots and the need for connectivity.- Do They Fill a Need in Society.- Section II: Chatbots: The Good.- Chatbots like SIRI: Your Digital Assistant.- Chatbots for casual interactions.- Chatbots that analyze data and provide valuable information.- Section III: Chatbots: The Bad.- Microsoft's 2016 Chatbot - What Went Wrong.- Examples of Issues with Chatbots over the last Few Years.- When is human-AI interaction appropriate and when is it inappropriate.- Section IV: Chatbots: The Ugly.- Inherent Bias in Chatbots: Is it Possible to Create an AI Entity without any Bias.- What Happens when a Chatbot Gives Detrimental Advice: Who's Responsible.- Can we rely on Companies that Create Chatbots to act Responsibly.- Section IV: Future of Chatbots.- What does the Future of Chatbots Look Like.- Can Future AI Entities show Love and Compassion and Should They.- Conclusion.
  5. Intelligent systems and data science
    Part 1
    Beteiligt: Thai-Nghe, Nguyen (HerausgeberIn); Do, Thanh-Nghi (HerausgeberIn); Haddawy, Peter (HerausgeberIn)
    Erschienen: [2024]; © 2024
    Verlag:  Springer, Singapore

    This two-volume set constitutes the refereed proceedings of the First International Conference on Intelligent Systems and Data Science, ISDS 2023, held in Can Tho, Vietnam, in November 2023. The 35 full papers and 13 short papers presented were... mehr

    Standort:
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    Signatur:
    RS 7445(1949)
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt

     

    This two-volume set constitutes the refereed proceedings of the First International Conference on Intelligent Systems and Data Science, ISDS 2023, held in Can Tho, Vietnam, in November 2023. The 35 full papers and 13 short papers presented were thoroughly reviewed and selected from 123 submissions. They are organized in the following topical sections: applied intelligent systems and data science for agriculture, aquaculture, and biomedicine; big data, IoT, and cloud computing; deep learning and natural language processing; intelligent systems

     
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Cover (lizenzpflichtig)
    Quelle: Verbundkataloge
    Beteiligt: Thai-Nghe, Nguyen (HerausgeberIn); Do, Thanh-Nghi (HerausgeberIn); Haddawy, Peter (HerausgeberIn)
    Sprache: Englisch
    Medientyp: Konferenzschrift
    Format: Druck
    ISBN: 9789819976485
    Übergeordneter Titel: Intelligent systems and data science - Alle Bände anzeigen
    Körperschaften/Kongresse: ISDS, 1. (2023, Can Tho)
    Schriftenreihe: Communications in computer and information science ; 1949
    Schlagworte: Algorithms & data structures; Angewandte Informatik; Artificial intelligence; COMPUTERS / Artificial Intelligence; COMPUTERS / Data Processing / General; COMPUTERS / Data Processing / Speech & Audio Processing; COMPUTERS / Database Management / General; COMPUTERS / Information Theory; Databases; Datenbanken; Information technology: general issues; Künstliche Intelligenz; Machine learning; Maschinelles Lernen; Natural language & machine translation; Natürliche Sprachen und maschinelle Übersetzung
    Umfang: xvii, 311 Seiten, Illustrationen, Diagramme
    Bemerkung(en):

    Literaturangaben

    Applied Intelligent Systems and Data science for Agriculture, Aquaculture, and Biomedicine.- Big Data, IoT, and Cloud Computing.- Deep Learning and Natural Language Processing.- Intelligent Systems.
  6. Intelligent systems and data science
    Part 2
    Beteiligt: Thai-Nghe, Nguyen (HerausgeberIn); Do, Thanh-Nghi (HerausgeberIn); Haddawy, Peter (HerausgeberIn)
    Erschienen: [2024]; © 2024
    Verlag:  Springer, Singapore

    This two-volume set constitutes the refereed proceedings of the First International Conference on Intelligent Systems and Data Science, ISDS 2023, held in Can Tho, Vietnam, in November 2023. The 35 full papers and 13 short papers presented were... mehr

    Standort:
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    Signatur:
    RS 7445(1950)
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt

     

    This two-volume set constitutes the refereed proceedings of the First International Conference on Intelligent Systems and Data Science, ISDS 2023, held in Can Tho, Vietnam, in November 2023. The 35 full papers and 13 short papers presented were thoroughly reviewed and selected from 123 submissions. They are organized in the following topical sections: applied intelligent systems and data science for agriculture, aquaculture, and biomedicine; big data, IoT, and cloud computing; deep learning and natural language processing; intelligent systems

     
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Cover (lizenzpflichtig)
    Quelle: Verbundkataloge
    Beteiligt: Thai-Nghe, Nguyen (HerausgeberIn); Do, Thanh-Nghi (HerausgeberIn); Haddawy, Peter (HerausgeberIn)
    Sprache: Englisch
    Medientyp: Konferenzschrift
    Format: Druck
    ISBN: 9789819976652
    Übergeordneter Titel: Intelligent systems and data science - Alle Bände anzeigen
    Körperschaften/Kongresse: ISDS, 1. (2023, Can Tho)
    Schriftenreihe: Communications in computer and information science ; 1950
    Schlagworte: Algorithms & data structures; Angewandte Informatik; Artificial intelligence; COMPUTERS / Artificial Intelligence; COMPUTERS / Data Processing / General; COMPUTERS / Data Processing / Speech & Audio Processing; COMPUTERS / Database Management / General; COMPUTERS / Information Theory; Databases; Datenbanken; Information technology: general issues; Künstliche Intelligenz; Machine learning; Maschinelles Lernen; Natural language & machine translation; Natürliche Sprachen und maschinelle Übersetzung
    Umfang: xvii, 315 Seiten, Illustrationen, Diagramme
    Bemerkung(en):

    Literaturangaben

    Applied Intelligent Systems and Data science for Agriculture, Aquaculture, and Biomedicine.- Big Data, IoT, and Cloud Computing.- Deep Learning and Natural Language Processing.- Intelligent Systems.
  7. Requirements engineering: foundation for software quality
    30th International Working Conference, REFSQ 2024, Winterthur, Switzerland, April 8-11, 2024 : proceedings
    Beteiligt: Mendez, Daniel (HerausgeberIn); Moreira, Ana (HerausgeberIn)
    Erschienen: [2024]
    Verlag:  Springer, Cham

    This book constitutes the refereed proceedings of the 30th International Working Conference on Requirements Engineering: Foundation for Software Quality, REFSQ 2024, held in Winterthur, Switzerland, during April 8-12, 2024. The 14 full papers and 8... mehr

    Standort:
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    Signatur:
    RN 2835(14588)
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt

     

    This book constitutes the refereed proceedings of the 30th International Working Conference on Requirements Engineering: Foundation for Software Quality, REFSQ 2024, held in Winterthur, Switzerland, during April 8-12, 2024. The 14 full papers and 8 short papers included in this book were carefully reviewed and selected from 59 submissions. They are organized in topical sections as follows: quality models for requirements engineering; quality requirements; explainability with and in requirements engineering; artificial intelligence for requirements engineering; natural language processing for requirements engineering; requirements engineering for artificial intelligence; crowd-based requirements engineering; and emerging topics and challenges in requirements engineering

     
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Mendez, Daniel (HerausgeberIn); Moreira, Ana (HerausgeberIn)
    Sprache: Englisch
    Medientyp: Konferenzschrift
    Format: Druck
    ISBN: 9783031573262
    Körperschaften/Kongresse: International Working Conference on Requirements Engineering: Foundation for Software Quality, 30. (2024, Winterthur)
    Schriftenreihe: Lecture notes in computer science ; 14588
    Schlagworte: Angewandte Informatik; COMPUTERS / Artificial Intelligence; COMPUTERS / Data Processing / Speech & Audio Processing; COMPUTERS / Enterprise Applications; COMPUTERS / Programming / Software Development; EDUCATION / Computers & Technology; Educational equipment & technology, computer-aided learning (CAL); Information technology: general issues; Lehrmittel, Lerntechnologien, E-Learning; MATHEMATICS / Probability & Statistics / General; Machine learning; Maschinelles Lernen; Natural language & machine translation; Natürliche Sprachen und maschinelle Übersetzung; Software Engineering; Software Engineering
    Umfang: xvii, 356 Seiten, Diagramme
    Bemerkung(en):

    Literaturangaben

    Quality models for Requirements Engineering.- How Explainable is Your System? Towards a Quality Model for Explainability.- Identifying relevant Factors of Requirements Quality: an industrial Case Study.- Quality Requirements.- Assessing the Understandability of Attack-Defense Trees for Modelling Security Requirements: an Experimental Investigation.- Learning to Rank Privacy Design Patterns: A Semantic Approach to Meeting Privacy Requirements.- A New Usability Inspection Method: Experience-based Analysis.- Governance-focused Classification of Security and Privacy Requirements from Obligations in Software Engineering Contracts.- Explainability with and in Requirements Engineering.- What Impact do my Preferences Have? A Framework for Explanation-Based Elicitation of Quality Objectives for Robotic Mission Planning.- Candidate Solutions for Defining Explainability Requirements of AI Systems.- Artificial Intelligence for Requirements Engineering.- Opportunities and Limitations of AI in Human-Centered Design - A Research Preview.- A Tertiary Study on AI for Requirements Engineering.- Exploring LLMs' ability to detect variability in requirements.- Natural Language Processing for Requirements Engineering.- Designing NLP-based solutions for requirements variability management: experiences from a design science study at Visma.- Natural2CTL: A Dataset for Natural Language Requirements and their CTL Formal Equivalents.- Requirements Engineering for Artificial Intelligence.- Towards a Comprehensive Ontology for Requirements Engineering for AI-powered Systems.- Operationalizing Machine Learning Using Requirements-Grounded MLOps.- Crowd-based Requirements Engineering.- Unveiling Competition Dynamics in Mobile App Markets through User Reviews.- Exploring the Automatic Classification of Usage Information in Feedback.- Channeling the Voice of the Crowd: Applying Structured Queries in User Feedback Collection.- Emerging Topics and Challenges in Requirements Engineering.- Requirements Information in Backlog Items: Content Analysis.- Requirements Engineering for No-Code Development (RE4NCD): A Case Study of Rapid Application Development during War.- Behavior-Driven Specification in Practice: An Experience Report.- The Return of Formal Requirements Engineering in the Era of Large Language Models.
  8. Pan-African Conference on Artificial Intelligence
    Second Conference, PanAfriCon AI 2023, Addis Ababa, Ethiopia, October 5-6, 2023, Revised Selected Papers, Part I
    Beteiligt: Debelee, Taye Girma (HerausgeberIn); Ibenthal, Achim (HerausgeberIn); Megersa Ayano, Yehualashet (HerausgeberIn); Schwenker, Friedhelm (HerausgeberIn)
    Erschienen: 2024
    Verlag:  Springer International Publishing AG, Cham

    This two-volume set, CCIS 2068 and 2069, constitutes selected papers presented during the Second Pan-African Conference on Artificial Intelligence, PanAfriCon AI 2023, held in Addis Ababa, Ethiopia, in October 2023. The set goal of the conference is... mehr

     

    This two-volume set, CCIS 2068 and 2069, constitutes selected papers presented during the Second Pan-African Conference on Artificial Intelligence, PanAfriCon AI 2023, held in Addis Ababa, Ethiopia, in October 2023. The set goal of the conference is to exchange the best practices of joint Pan-African efforts to provide solutions for Africa's key 21st century challenges in the social, economic and ecologic domains. The 29 papers were thoroughly reviewed and selected from 134 submissions. The papers are organized in the following topical sections: Medical AI; Natural Language Processing, Text and Speech Processing; AI in Finance and Cyber Security; Autonomous Vehicles; AI Ethics and Life Sciences

     
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Debelee, Taye Girma (HerausgeberIn); Ibenthal, Achim (HerausgeberIn); Megersa Ayano, Yehualashet (HerausgeberIn); Schwenker, Friedhelm (HerausgeberIn)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 9783031576232
    Schriftenreihe: Communications in Computer and Information Science
    Schlagworte: Angewandte Informatik; Artificial intelligence; Bildverarbeitung; COMPUTERS / Artificial Intelligence; COMPUTERS / Computer Science; COMPUTERS / Data Processing / Optical Data Processing; COMPUTERS / Natural Language Processing; Image processing; Information technology: general issues; Künstliche Intelligenz; Natural language & machine translation; Natürliche Sprachen und maschinelle Übersetzung; Robotics; Robotik; TECHNOLOGY & ENGINEERING / Robotics
    Umfang: 282 Seiten
    Bemerkung(en):

    Machine learning based stroke segmentation and classification from CT-Scan: A survey.- Multitask Deep Convolutional Neural Network with Attention for Pulmonary Tuberculosis Detection and Weak Localization of Pathological Manifestations in Chest X-ray.- Automated Kidney Segmentation and Disease Classification Using CNN-based Models.- Generating Synthetic Brain Tumor Data using StyleGAN3 For Lower Class Enhancement.- Optimized Machine Learning models for hepatitis C prediction: Leveraging Optuna for Hyperparameter Tuning and Streamlit for Model deployment.- Explainable Rhythm-based Heart Disease Detection from ECG Signals.- Development of an Explainable Heart Failure Patients Survival Status Prediction Model Using Machine Learning Algorithms .- Natural Language Processing, Text and Speech Processing.- Transfer of models and resources for under-resourced languages Semantic Role Labeling.- Speaker Identification under Noisy Conditions using Hybrid Deep Learning Model.- State-of-the-Art Approaches to Word Sense Disambiguation: A Multilingual Investigation.- Ge'ez Syntax Error Detection Using Deep Learning Approaches.- Tigrinya End-to-End Speech Recognition: A Hybrid Connectionist Temporal Classification-Attention Approach.- DNN-based Supervised Spontaneous Court Hearing Transcription for Amharic.- Typewritten OCR Model for Ethiopic Characters.- Compressed Amharic Text: A Prediction by Partial Match Context-modeling Algorithm.- AI in Finance and Cyber Security.- Improving the Accuracy of Financial Bankruptcy Prediction using Ensemble Learning Techniques.- Deep Learning and Machine Learning Techniques for Credit Scoring: A Review.- MoMTSim Platform.- An Investigation and Analysis of Vulnerabilities Surrounding Cryptocurrencies and Blockchain Technology.- Towards a Supervised Machine Learning Algorithm for Cyberattacks Detectionand Prevention in a Smart Grid Cybersecurity System.- Classification of DGA-Based Malware Using Deep Hybrid Learning.- A Review and Analysis of Cybersecurity Threats and Vulnerabilities, by Development of a Fuzzy Rule-Based Expert System.- Autonomous Vehicles.- Neural Network Based Model Reference Adaptive Control of Quadrotor UAV for Precision Agriculture.- AI Ethics and Life Sciences.- Systems Thinking Application to Ethical and Privacy Considerations in AI-Enabled Syndromic Surveillance Systems: Requirements for Under-Resourced Countries in Southern Africa.- Fake vs. Real Face Discrimination Using Convolutional Neural Networks.- Hybrid of Ensemble Machine Learning and Nature-Inspired Algorithms.
  9. Pan-African Conference on Artificial Intelligence
    Second Conference, PanAfriCon AI 2023, Addis Ababa, Ethiopia, October 5-6, 2023, Revised Selected Papers, Part II
    Beteiligt: Debelee, Taye Girma (HerausgeberIn); Ibenthal, Achim (HerausgeberIn); Megersa Ayano, Yehualashet (HerausgeberIn); Schwenker, Friedhelm (HerausgeberIn)
    Erschienen: 2024
    Verlag:  Springer International Publishing AG, Cham

    This two-volume set, CCIS 2068 and 2069, constitutes selected papers presented during the Second Pan-African Conference on Artificial Intelligence, PanAfriCon AI 2023, held in Addis Ababa, Ethiopia, in October 2023. The set goal of the conference is... mehr

     

    This two-volume set, CCIS 2068 and 2069, constitutes selected papers presented during the Second Pan-African Conference on Artificial Intelligence, PanAfriCon AI 2023, held in Addis Ababa, Ethiopia, in October 2023. The set goal of the conference is to exchange the best practices of joint Pan-African efforts to provide solutions for Africa's key 21st century challenges in the social, economic and ecologic domains. The 29 papers were thoroughly reviewed and selected from 134 submissions. The papers are organized in the following topical sections: Medical AI; Natural Language Processing, Text and Speech Processing; AI in Finance and Cyber Security; Autonomous Vehicles; AI Ethics and Life Sciences

     
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Debelee, Taye Girma (HerausgeberIn); Ibenthal, Achim (HerausgeberIn); Megersa Ayano, Yehualashet (HerausgeberIn); Schwenker, Friedhelm (HerausgeberIn)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 9783031576386
    Schriftenreihe: Communications in Computer and Information Science
    Schlagworte: Angewandte Informatik; Artificial intelligence; Bildverarbeitung; COMPUTERS / Artificial Intelligence; COMPUTERS / Computer Science; COMPUTERS / Data Processing / Optical Data Processing; COMPUTERS / Natural Language Processing; Image processing; Information technology: general issues; Künstliche Intelligenz; Natural language & machine translation; Natürliche Sprachen und maschinelle Übersetzung; Robotics; Robotik; TECHNOLOGY & ENGINEERING / Robotics
    Umfang: 266 Seiten
    Bemerkung(en):

    Machine learning based stroke segmentation and classification from CT-Scan: A survey.- Multitask Deep Convolutional Neural Network with Attention for Pulmonary Tuberculosis Detection and Weak Localization of Pathological Manifestations in Chest X-ray.- Automated Kidney Segmentation and Disease Classification Using CNN-based Models.- Generating Synthetic Brain Tumor Data using StyleGAN3 For Lower Class Enhancement.- Optimized Machine Learning models for hepatitis C prediction: Leveraging Optuna for Hyperparameter Tuning and Streamlit for Model deployment.- Explainable Rhythm-based Heart Disease Detection from ECG Signals.- Development of an Explainable Heart Failure Patients Survival Status Prediction Model Using Machine Learning Algorithms .- Natural Language Processing, Text and Speech Processing.- Transfer of models and resources for under-resourced languages Semantic Role Labeling.- Speaker Identification under Noisy Conditions using Hybrid Deep Learning Model.- State-of-the-Art Approaches to Word Sense Disambiguation: A Multilingual Investigation.- Ge'ez Syntax Error Detection Using Deep Learning Approaches.- Tigrinya End-to-End Speech Recognition: A Hybrid Connectionist Temporal Classification-Attention Approach.- DNN-based Supervised Spontaneous Court Hearing Transcription for Amharic.- Typewritten OCR Model for Ethiopic Characters.- Compressed Amharic Text: A Prediction by Partial Match Context-modeling Algorithm.- AI in Finance and Cyber Security.- Improving the Accuracy of Financial Bankruptcy Prediction using Ensemble Learning Techniques.- Deep Learning and Machine Learning Techniques for Credit Scoring: A Review.- MoMTSim Platform.- An Investigation and Analysis of Vulnerabilities Surrounding Cryptocurrencies and Blockchain Technology.- Towards a Supervised Machine Learning Algorithm for Cyberattacks Detectionand Prevention in a Smart Grid Cybersecurity System.- Classification of DGA-Based Malware Using Deep Hybrid Learning.- A Review and Analysis of Cybersecurity Threats and Vulnerabilities, by Development of a Fuzzy Rule-Based Expert System.- Autonomous Vehicles.- Neural Network Based Model Reference Adaptive Control of Quadrotor UAV for Precision Agriculture.- AI Ethics and Life Sciences.- Systems Thinking Application to Ethical and Privacy Considerations in AI-Enabled Syndromic Surveillance Systems: Requirements for Under-Resourced Countries in Southern Africa.- Fake vs. Real Face Discrimination Using Convolutional Neural Networks.- Hybrid of Ensemble Machine Learning and Nature-Inspired Algorithms.
  10. Language, culture, computation
    essays dedicated to Yaacov Choueka on the occasion of his 75 birthday
    Beteiligt: Dershowitz, Nachum (Hrsg.); Choueka, Yaacov (Gefeierter)
    Verlag:  Springer, Heidelberg [u.a.]

    Standort:
    Universitätsbibliothek J. C. Senckenberg, Zentralbibliothek (ZB)
    Fernleihe:
    keine Fernleihe
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Dershowitz, Nachum (Hrsg.); Choueka, Yaacov (Gefeierter)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    DDC Klassifikation: Datenverarbeitung; Informatik (004); Sprache (400)
    Schriftenreihe: Lecture notes in computer science ; ...
    Schlagworte: Angewandte Informatik; Computerlinguistik; Digital Humanities
    Umfang: 24 cm
  11. Was ist eine Kopie?
    Autor*in: Bahr, Amrei
    Erschienen: [2022]; © 2022
    Verlag:  Meiner, Hamburg

    Kopieren ist Bestandteil unserer Alltagshandlungen: Die Übernahme von Textpassagen per Copy & Paste, das Versenden privater Fotos über Messenger-Dienste, das Teilen von Inhalten in den Sozialen Medien (etwa mittels der Retweet-Funktion bei Twitter),... mehr

    Standort:
    Universitätsbibliothek der RWTH Aachen
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe

    Standort:
    Universitätsbibliothek Bielefeld
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe

    Standort:
    Ruhr-Universität Bochum, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe

    Standort:
    Universitäts- und Landesbibliothek Bonn
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe

    Standort:
    Universitätsbibliothek Dortmund
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe

    Standort:
    Universitätsbibliothek Duisburg-Essen
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe

    Standort:
    Universitätsbibliothek der Fernuniversität
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe

    Standort:
    Universitäts- und Stadtbibliothek Köln, Hauptabteilung
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe

    Standort:
    Hochschule Niederrhein, Bibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe

    Standort:
    Universitäts- und Landesbibliothek Münster, Zentralbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe

    Standort:
    Universitätsbibliothek Siegen
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe

     

    Kopieren ist Bestandteil unserer Alltagshandlungen: Die Übernahme von Textpassagen per Copy & Paste, das Versenden privater Fotos über Messenger-Dienste, das Teilen von Inhalten in den Sozialen Medien (etwa mittels der Retweet-Funktion bei Twitter), aber auch das Duplizieren von Papierdokumenten mit Kopierern und Scannern – es vergeht kaum ein Tag, an dem wir nicht kopieren. Angesichts der vielen Vorteile des Kopierens ist dessen Omnipräsenz nicht verwunderlich: Kopieren ermöglicht die Teilhabe an Bildung und Kultur, es kann als Mittel der Selbstdarstellung und Identitätsfindung dienen oder als kommunikativer Akt. Als künstlerische Praktik trägt es maßgeblich zur Entstehung neuer Werke bei. Auch eine schnelle und mühelose Verbreitung von Informationen wird durch das Kopieren gewährleistet.Was aber zeichnet diejenigen Dinge eigentlich aus, die beim Kopieren entstehen – und welche Rolle spielt es für die moralische Bewertung von Kopierhandlungen, dass sie für die Urheber:innen der kopierten Gegenstände Nachteile mit sich bringen können?

     
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
  12. Deep learning theory and applications
    4th International Conference, DeLTA 2023, Rome, Italy, July 13-14, 2023, proceedings
    Beteiligt: Conte, Donatello (HerausgeberIn); Fred, Ana (HerausgeberIn); Gusikhin, Oleg (HerausgeberIn); Sansone, Carlo (HerausgeberIn)
    Erschienen: [2023]
    Verlag:  Springer, Cham

    This book consitiutes the refereed proceedings of the 4th International Conference on Deep Learning Theory and Applications, DeLTA 2023, held in Rome, Italy from 13 to 14 July 2023. The 9 full papers and 22 short papers presented were thoroughly... mehr

    Standort:
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    Signatur:
    RS 7445(1875)
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt

     

    This book consitiutes the refereed proceedings of the 4th International Conference on Deep Learning Theory and Applications, DeLTA 2023, held in Rome, Italy from 13 to 14 July 2023. The 9 full papers and 22 short papers presented were thoroughly reviewed and selected from the 42 qualified submissions. The scope of the conference includes such topics as models and algorithms; machine learning; big data analytics; computer vision applications; and natural language understanding

     
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Cover (lizenzpflichtig)
    Quelle: Verbundkataloge
    Beteiligt: Conte, Donatello (HerausgeberIn); Fred, Ana (HerausgeberIn); Gusikhin, Oleg (HerausgeberIn); Sansone, Carlo (HerausgeberIn)
    Sprache: Englisch
    Medientyp: Konferenzschrift
    Format: Druck
    ISBN: 9783031390586
    Körperschaften/Kongresse: DeLTA, 4. (2023, Rom)
    Schriftenreihe: Communications in computer and information science ; 1875
    Schlagworte: Angewandte Informatik; Artificial intelligence; COMPUTERS / Artificial Intelligence; COMPUTERS / Data Processing / General; COMPUTERS / Data Processing / Speech & Audio Processing; COMPUTERS / Database Management / Data Mining; COMPUTERS / Social Aspects / Human-Computer Interaction; Data Mining; Data mining; Information technology: general issues; Informationstechnik (IT), allgemeine Themen; Künstliche Intelligenz; Machine learning; Maschinelles Lernen; Natural language & machine translation; Natürliche Sprachen und maschinelle Übersetzung; Wissensbasierte Systeme, Expertensysteme
    Umfang: xvii, 482 Seiten, Illustrationen, Diagramme
    Bemerkung(en):

    Pervasive AI: (deep) Learning into the Wild.- Deep Reinforcement Learning to Improve Traditional Supervised Learning Methodologies.- Synthetic Network Traffic Data Generation and Classification of Advanced Persistent Threat Samples: A Case Study with GANs and XGBoost.- Improving Primate Sounds Classification Using Binary Presorting for Deep Learning.- Towards Exploring Adversarial Learning for Anomaly Detection in Complex Driving Scenes.- Dynamic Prediction of Survival Status in Patients Undergoing Cardiac Catheterization Using a Joint Modeling Approach.- A Machine Learning Framework for Shuttlecock Tracking and Player Service Fault Detection.- An Automated Dual-Module Pipeline for Stock Prediction: Integrating N-Perception Period Power Strategy and NLP-Driven.- Sentiment Analysis for Enhanced Forecasting Accuracy and Investor Insight.- Machine Learning Applied to Speech Recordings for Parkinson's Disease Recognition.- Vision Transformers for Galaxy Morphology Classification: Fine-Tuning Pre-Trained Networks vs. Training from Scratch.- A Study of Neural Collapse for Text Classification.- Research Data Reusability with Content-Based Recommender System.- MSDeepNet: A Novel Multi-Stream Deep Neural Network for Real-World Anomaly Detection in Surveillance Videos.- A Novel Probabilistic Approach for Detecting Concept Drift in Streaming Data.- Explaining Relation Classification Models with Semantic Extents.- Phoneme-Based Multi-Task Assessment of Affective Vocal Bursts.- Using Artificial Intelligence to Reduce the Risk of Transfusion Hemolytic Reactions.- ALE: A Simulation-Based Active Learning Evaluation Framework for the Parameter-Driven Comparison of Query Strategies for NLP.- Exploring ASR Models in Low-Resource Languages: Use-Case the Macedonian Language.- Facilitating Enterprise Model Classification via Embedding Symbolic Knowledge into Neural Network Models.- Explainable Abnormal Time Series Subsequence Detection Using Random Convolutional Kernels.- TaxoSBERT: Unsupervised Taxonomy Expansion Through Expressive Semantic Similarity.- Towards Equitable AI in HR: Designing a Fair, Reliable, and Transparent Human Resource Management Application.- An Explainable Approach for Early Parkinson Disease Detection Using Deep Learning.- UMLDesigner: An Automatic UML Diagram Design Tool.- Graph Neural Networks for Circuit Diagram Pattern Generation.- Generative Adversarial Networks for Domain Translation in Unpaired Breast DCE-MRI Datasets.- A Survey on Reinforcement Learning and Deep Reinforcement Learning for Recommender Systems.- GAN-Powered Model&Landmark-Free Reconstruction: A Versatile Approach for High-Quality 3D Facial and Object Recovery from Single Images.-GAN-Based LiDAR Intensity Simulation.- Evaluating Prototypes and Criticisms for Explaining Clustered Contributions in Digital Public Participation Processes.- FRLL-Beautified: A Dataset of Fun Selfie Filters with Facial Attributes.- CSR & Sentiment Analysis: A New Customized Dictionary.
  13. Analysis of images, social networks and texts
    11th international conference, AIST 2023, Yerevan, Armenia, September 28-30, 2023 : revised selected papers
    Beteiligt: Ignatov, Dmitrij I. (HerausgeberIn); Chačaj, Michail Ju. (HerausgeberIn); Kutuzov, Andrey (HerausgeberIn); Madoyan, Habet (HerausgeberIn); Makarov, Ilya (HerausgeberIn); Nikishina, Irina (HerausgeberIn); Panchenko, Alexander (HerausgeberIn); Panov, Maxim (HerausgeberIn); Pardalos, Panos M. (HerausgeberIn); Savčenko, Andrej Vladimirovič (HerausgeberIn); Tsymbalov, Evgenii (HerausgeberIn); Tutubalina, Elena (HerausgeberIn); Zagoruyko, Sergey (HerausgeberIn)
    Erschienen: [2024]; © 2024
    Verlag:  Springer, Cham

    This book constitutes revised selected papers from the thoroughly refereed proceedings of the 11th International Conference on Analysis of Images, Social Networks and Texts, AIST 2023, held in Yerevan, Armenia, during September 28-30, 2023. The 24... mehr

    Standort:
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    Signatur:
    RN 2835(14486)
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt

     

    This book constitutes revised selected papers from the thoroughly refereed proceedings of the 11th International Conference on Analysis of Images, Social Networks and Texts, AIST 2023, held in Yerevan, Armenia, during September 28-30, 2023. The 24 full papers included in this book were carefully reviewed and selected from 93 submissions. They were organized in topical sections as follows: natural language processing; computer vision; data analysis and machine learning; network analysis; and theoretical machine learning and optimization. The book also contains one invited talk in full paper length

     
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Ignatov, Dmitrij I. (HerausgeberIn); Chačaj, Michail Ju. (HerausgeberIn); Kutuzov, Andrey (HerausgeberIn); Madoyan, Habet (HerausgeberIn); Makarov, Ilya (HerausgeberIn); Nikishina, Irina (HerausgeberIn); Panchenko, Alexander (HerausgeberIn); Panov, Maxim (HerausgeberIn); Pardalos, Panos M. (HerausgeberIn); Savčenko, Andrej Vladimirovič (HerausgeberIn); Tsymbalov, Evgenii (HerausgeberIn); Tutubalina, Elena (HerausgeberIn); Zagoruyko, Sergey (HerausgeberIn)
    Sprache: Englisch
    Medientyp: Konferenzschrift
    Format: Druck
    ISBN: 9783031545337
    Körperschaften/Kongresse: AIST, 11. (2023, Jerewan)
    Schriftenreihe: Lecture notes in computer science ; 14486
    Schlagworte: Angewandte Informatik; COM094000; COMPUTERS / Computer Science; COMPUTERS / Data Processing / Storage & Retrieval; COMPUTERS / Database Management / Data Mining; COMPUTERS / Database Management / Data Warehousing; COMPUTERS / Expert Systems; COMPUTERS / Natural Language Processing; Data Mining; Data Warehousing; Data mining; Data warehousing; Expert systems / knowledge-based systems; Information retrieval; Information technology: general issues; Informationsrückgewinnung, Information Retrieval; Machine learning; Maschinelles Lernen; Natural language & machine translation; Natürliche Sprachen und maschinelle Übersetzung
    Umfang: xxvii, 364 Seiten, Diagramme
    Bemerkung(en):

    Literaturangaben

    Invited Paper: Threatening Expression and Target Identification in under-resource languages using NLP Techniques.- Natural Language Processing: Benchmarking Multi-Label Topic Classification in Kyrgyz Language.- Transformers compression: A study of matrix decomposition methods using Fisher information.- Leveraging Lexical Taxonomy Data in Large Language Models for Hyponymy Prediction.- Content selection in abstractive summarization with biased encoder mixtures.- RuCAM: Comparative Argumentative Machine for the Russian Language.- Paraphrasers and Classifiers: Controllable Text Generation for Text Style Transfer.- Less than Necessary or More than Su cient: Validating Probing Dataset Size.- Unsupervised Ultra-Fine Entity Typing with Distributionally Induced Word Senses.- Static, dynamic, or contextualized: what is the best approach for discovering semantic shifts in Russian media?.- Controllable Story Generation Based on Perplexity Minimization.- Automatic Detection of Dialectal Features of Pskov Dialects in the Speech of Native Speakers.- Needle in a Haystack: Finding Suitable Idioms Based on Text Descriptions.- Computer Vision: DeepLOC: Deep Learning-based Bone Pathology Localization and Classification in Wrist X-ray Images.- MiVOLO: Multi-input Transformer for Age and Gender Estimation.- Handwritten Text Recognition and Browsing in Archive of Prisoners' Letters from Smolensk Convict Prison.- Greedy Algorithm for Fast Finding Curvilinear Symmetry of Binary Raster Images.-Data Analysis and Machine Learning: Ensemble Clustering with Heterogeneous Transfer Learning.- Detecting design patterns in Android applications with CodeBERT embeddings and CK metrics.- Metamorphic testing for recommender systems.- Application of Dynamic Graph CNN_ and FICP for Detection and Research Archaeology Sites.- Network Analysis: Visualization-Driven Graph Sampling Strategy for Exploring Large-Scale Networks.- Limit Distributions of Friendship Index in Scale-Free Networks.- Theoretical Machine Learning and Optimization: The Problem of Finding Several Given Diameter Spanning Trees of Maximum Total Weight in a Complete Graph.- Is Canfield Right? On the Asymptotic Coe cients for the Maximum Antichain of Partitions and Related Counting Inequalitie.