Advances in intensive care have improved the survival rate of patients with severe acute brain injury, but diagnostic errors for patients with disorders of consciousness are still high. Accurate diagnosis of these pat...
详细信息
the proceedings contain 33 papers. the special focus in this conference is on Program Verification and Testing. the topics include: Reasoning about separation using abstraction and reification;an interface theory for ...
ISBN:
(纸本)9783319229683
the proceedings contain 33 papers. the special focus in this conference is on Program Verification and Testing. the topics include: Reasoning about separation using abstraction and reification;an interface theory for the internet of things;learning assertions to verify linked-list programs;verifying protocol implementations by augmenting existing cryptographic libraries with specifications;specification and verification of atomic operations in GPGPU programs;history-based verification of functional behaviour of concurrent programs;investigating instrumentation techniques for ESB runtime verification;efficient testing of different loop paths;on the testability of properties patterns;speed up configurable certificate validation by certificate reduction and partitioning;formal analysis of proactive, distributed routing;certification of distributed algorithms solving problems with optimal substructure;from failure to proof;formalizing a secure foreign function interface;a formal study of backward compatible dynamic software updates;memory management test-case generation of c programs using bounded model checking;from natural language requirements to test cases based on CSP;task planning of cyber-human systems;generating none-plans in order to find plans;interactions modeling language (and interpreter) for twitter;from featured transition systems to modal transition systems with variability constraints and an extensible operational semantics for UML activity diagrams.
the proceedings contain 41 papers. the topics discussed include: towards a signal calculus for event-based synchronous languages;reasoning about programs using a scientific method;context-based behavioral equivalence ...
ISBN:
(纸本)9783642245589
the proceedings contain 41 papers. the topics discussed include: towards a signal calculus for event-based synchronous languages;reasoning about programs using a scientific method;context-based behavioral equivalence of components in self-adaptive systems;the safety-critical Java mission model: a formal account;verification of orchestration systems using compositional partial order reduction;domain-driven probabilistic analysis of programmable logic controllers;statistical model checking for distributed probabilistic-control hybrid automata with smart grid applications;on fitting a formal method into practice;a formal engineering approach to high-level design of situation analysis decision support systems;conformance checking of dynamic access control policies;a knowledge-based verification method for dynamic access control policies;and distributed theorem proving for distributed hybrid systems.
the proceedings contain 14 papers. the special focus in this conference is on European Dependable Computing. the topics include: the Impact of Rare Container Restarts on Uninterrupted Kubernetes Operations;EA Blueprin...
ISBN:
(纸本)9783030865061
the proceedings contain 14 papers. the special focus in this conference is on European Dependable Computing. the topics include: the Impact of Rare Container Restarts on Uninterrupted Kubernetes Operations;EA Blueprint: An Architectural Pattern for Resilient Digital Twin of the Organization;assisting Developers in Preventing Permissions Related Security Issues in Android Applications;design of a Trustworthy and Resilient Data Sharing Platform for Healthcare Provision;service-Oriented Reconfiguration in Systems of Systems Assured by Dynamic Modular Safety Cases;behavior Prediction of Cyber-Physical Systems for Dynamic Risk Assessment;autonomic Service Operation for Cloud Applications: Safe Actuation and Risk Management;An ICT System to Assist Earth Fault Localization;Power Loss Reduction in Low-Voltage Distribution Grids via Coordinated Reactive Power Management of PV Inverters;enabling a Zero Trust Architecture in Smart Grids through a Digital Twin;field Test Validation of Low Voltage Grid Applications in a Danish Setting;Increased Renewable Hosting Capacity of a Real Low-Voltage Grid Based on Continuous Measurements – Results from an Actual PV Connection Request.
Imagined speech is gaining attention as a next-generation paradigm for brain-computer interfaces in terms of its intuitiveness in communication. Many studies have focused on classifying imagined words as the basis of ...
详细信息
ISBN:
(数字)9798331521929
ISBN:
(纸本)9798331521936
Imagined speech is gaining attention as a next-generation paradigm for brain-computer interfaces in terms of its intuitiveness in communication. Many studies have focused on classifying imagined words as the basis of communication, but some studies on phoneme classification based on imagined speech have begun to be conducted in terms of the fact that combinations of phonemes can further expand sound images. In addition, explainability is a major issue in classification results in machine learning, but there have been few studies that analyzed the explainability of imagined speech classification. In this study, we examined explainability using SHAP for phoneme classification based on imagined speech. FEIS dataset was used, and 16 phonemes were classified using the XGBoost classifier. In 21 subjects, the average accuracy was 40.36 %, the average precision was 41.7%, the average recall was 40.34%, and the average F1-score was 40.7%. In addition, when looking at Sub 04, which had the highest performance, the SHAP values were high in AF3 and F7 channels, which correspond to Wernicke's area related to speech. In this regard, we could observe the feature importance of this area. these results prove that Wernicke's area actually plays an important role in classifying phoneme units in imagined speech, and can provide important insights to improve the performance of imagined speech for intuitive communication based on brain-computer interface in the future.
the proceedings contain 25 papers. the special focus in this conference is on ATSE 2015 and HOFM 2015. the topics include: Learning-based testing of distributed microservice architectures;the synergy between user expe...
ISBN:
(纸本)9783662492239
the proceedings contain 25 papers. the special focus in this conference is on ATSE 2015 and HOFM 2015. the topics include: Learning-based testing of distributed microservice architectures;the synergy between user experience design and software testing;combining time and concurrency in model-based statistical testing of embedded real-time systems;towards supporting agile combinatorial test design;behavioral types for component-based development of cyber-physical systems;refactoring proofs with tactician;exploring the role of logic and formal methods in information systems education;type-based enforcement of programming guidelines;clustering formulation using constraint optimization;towards a boosted route planner using individual mobility models;design of a business-to-government information sharing architecture using business rules;beyond the domain of business process management;on integrating social and sensor networks for emergency management;quantitative modelling of residential smart grids;attributed probabilistic p systems and their application to the modelling of social interactions in primates;probabilistic modelling and analysis of a fish population;a tool for the modelling and simulation of ecological systems based on grid systems;distributed coordinated adaptation of cloud-based applications;fuzzy description logics for component selection in software design;towards adapting choreography-based service compositions through enterprise integration patterns;an experimental evaluation on runtime verification of self-adaptive systems in the presence of uncertain transition probabilities;towards automatic decision support for bike-sharing system design and automated synthesis of protocol converters with BALM-II.
Myocardial infarction is one of the leading causes of death worldwide, and early detection is crucial for improving patient outcomes. However, while standard 12-lead electrocardiogram are effective for diagnosis, thei...
详细信息
ISBN:
(数字)9798331521929
ISBN:
(纸本)9798331521936
Myocardial infarction is one of the leading causes of death worldwide, and early detection is crucial for improving patient outcomes. However, while standard 12-lead electrocardiogram are effective for diagnosis, their complexity and extensive electrode setup can limit their practicality in certain clinical settings. To overcome these limitations, this study utilizes 3-lead ECG data collected from leads V1, V3, and V5. Building upon this, we propose a deep learning model that combines temporal convolutional networks with an encoder-decoder convolutional neural network featuring skip connections to classify myocardial infarction. Specifically, each lead is independently processed through dedicated temporal convolutional network blocks to capture temporal patterns, followed by an encoder-decoder convolutional neural network for spatial feature learning. When evaluated on the Physikalisch-Technische Bundesanstalt diagnostic electrocardiogram database, our model demonstrated high performance, achieving an F1-score of 0.955 and a sensitivity of 0.978, yielding results that are comparable to or exceed those of models based on 6 or 12-lead ECG configurations. By reducing the number of leads, this approach simplifies data acquisition and improves convenience for both patients and medical professionals, while also enhancing suitability for portable and wearable devices.
暂无评论