Air pollution is a significant threat to human health and the environment. Accurate air quality forecasting is essential for effective mitigation strategies, including public health advisories, emission control measur...
详细信息
Effective transmission line insulator defect detection is crucial for maintaining power grid reliability and safety. Traditional methods, which often rely on ground-based inspections or cloud-based computing, can be s...
详细信息
this research introduces the design and implementation of an advanced IoT-based home security system aimed at improving both convenience and safety for homeowners. the system integrates a smart doorbell with a mobile ...
详细信息
the proceedings contain 7 papers. the special focus in this conference is on Engineering Trustworthy Software systems. the topics include: From Logic to Programming;digital Twin Tutorial: the Incubator Case Study...
ISBN:
(纸本)9789819646555
the proceedings contain 7 papers. the special focus in this conference is on Engineering Trustworthy Software systems. the topics include: From Logic to Programming;digital Twin Tutorial: the Incubator Case Study;AI Components for High Integrity, Safety-Critical Human-Cyber-Physical systems: A Challenge for Formal Methods;Testing and Design of Uniform CNF Samplers: A Virtuous Cycle Enabled by Distribution Testing;software Engineering Experiences of an Optimist;Automating Component-Based Embedded Software Construction via Formal Synthesis and LLMs.
the following topics are dealt with: network performance evaluation;file allocation and consistency;network fault tolerance;concurrency control;distributed algorithms;performance evaluation of database systems;distrib...
详细信息
ISBN:
(纸本)0818606975
the following topics are dealt with: network performance evaluation;file allocation and consistency;network fault tolerance;concurrency control;distributed algorithms;performance evaluation of database systems;distributed architectures;operating system structures and data;performance evaluation of computer networks;distributed operating systems;tools for performance evaluation;resource allocation and scheduling;distributed systems;control techniques for distributed systems;protocol design issues;protocol analysis and verification;programming support;distributed name management;fault recovery;design issues;and, recovery support. 75 papers were presented, of which 74 are published in full in the present proceedings. Abstracts of individual papers can be found under the relevant classification codes in this or other issues.
this paper proposes a control strategy for hydrogen fuel cell ship hybrid powertrain, taking into account the equivalent hydrogen consumption. First, the simulation model of hydrogen fuel cell ship was built based on ...
详细信息
In this work, we introduce a novel methodology called Fusion Grad-CAM for generating attention maps in ensemble classification systemsthat utilize majority voting. Currently, there is no established technique for pro...
详细信息
the proceedings contain 12 papers. the special focus in this conference is on Imaging and Treatment Challenges and international Challenge on Ischemic Stroke Lesion Segmentation Challenge, Held in Conjunction with Med...
ISBN:
(纸本)9783031811005
the proceedings contain 12 papers. the special focus in this conference is on Imaging and Treatment Challenges and international Challenge on Ischemic Stroke Lesion Segmentation Challenge, Held in Conjunction with Medical Image computing and Computer Assisted Intervention. the topics include: Bayesian Uncertainty Estimation Improves nnU-Net Generalization to Unseen Sites for Stroke Lesion Segmentation;Usefulness of Monoenergetic Non-contrast CT and X-Map Images for Deep Learning-Based Stroke Lesion Segmentation;improved Stroke Lesion Segmentation via Cross-Model Knowledge Distillation;Virtual DSA for Learning Contrast Agent Dynamics in Projection Space;robust Feature Selection for Classifying Early Ischemic Changes in Posterior Stroke;ArterialGNet: Impossible Femoral Access Prediction in Stroke Mechanical thrombectomy with Vascular Centerline Graph Embeddings;Spatio-Temporal Deep Learning for Final Infarct Prediction Using Acute Stroke CT Perfusion Data;Utilizing Baseline Infarct and Penumbra Masks to Improve NCCT and CTA Based Final Infarct Prediction;final Stroke Infarct Segmentation Using Deep Neural Networks;A Multi-modal Deep Learning Framework for Final Infarct Prediction in Acute Ischemic Stroke: Combining CTA, NCCT, and Clinical Data.
Many leaf diseases that affect crop health cause severe mango farming concerns. this study employed deep learning techniques to analyze mango leaf disease categorization comprehensively. this study looks at the classi...
详细信息
the proceedings contain 48 papers. the topics discussed include: Chat Bankman-Fried: an exploration of LLM alignment in finance;GraphRAG analysis for financial narrative summarization and a framework for optimizing do...
ISBN:
(纸本)9798891762091
the proceedings contain 48 papers. the topics discussed include: Chat Bankman-Fried: an exploration of LLM alignment in finance;GraphRAG analysis for financial narrative summarization and a framework for optimizing domain adaptation;BuDDIE: a business document dataset for multi-task information extraction;FinMoE: a MoE-based large Chinese financial language model;bridging the gap: efficient cross-lingual NER in low-resource financial domain;evaluating financial literacy of large language models through domain specific languages for plain text accounting;synthetic data generation using large language models for financial question answering;training LayoutLM from scratch for efficient named-entity recognition in the insurance domain;and investigating the effectiveness of length based rewards in DPO for building conversational financial question answering systems.
暂无评论