yusuke1997/dblp-id-title huggingface dataset:
Retrieval-Based Chest X-Ray Report Generation Using a Pre-trained Contrastive Language-Image Model
On the Importance of Step-wise Embeddings for Heterogeneous Clinical Time-Series
Identifying Heterogeneous Treatment Effects in Multiple Outcomes using Joint Confidence Intervals
Barttender: An approachable & interpretable way to compare medical imaging and non-imaging data
Extend and Explain: Interpreting Very Long Language Models
DNAMite: Interpretable Calibrated Survival Analysis with Discretized Additive Models
An Extensive Data Processing Pipeline for MIMIC-IV
Robust semi-supervised segmentation with timestep ensembling diffusion models
Machine Learning for Health, ML4H@NeurIPS 2023, 10 December 2023, New Orleans, Louisiana, USA
Deep Kernel Learning with Temporal Gaussian Processes for Clinical Variable Prediction in Alzheimer's Disease
Evaluating Safety of Large Language Models for Patient-facing Medical Question Answering
Eigen: Expert-Informed Joint Learning Aggregation for High-Fidelity Information Extraction from Document Images
MAIRA-Seg: Enhancing Radiology Report Generation with Segmentation-Aware Multimodal Large Language Models
Domain-guided Self-supervision of EEG Data Improves Downstream Classification Performance and Generalizability
GANcMRI: Cardiac magnetic resonance video generation and physiologic guidance using latent space prompting
Machine and Deep Learning Methods for Predicting Immune Checkpoint Blockade Response
Development of Machine Learning Classifiers for Blood-based Diagnosis and Prognosis of Suspected Acute Infections and Sepsis
Early Exit Ensembles for Uncertainty Quantification
Predicting attrition patterns from pediatric weight management programs
Fundus Image-based Visual Acuity Assessment with PAC-Guarantees
HeartMAE: Advancing Cardiac MRI Analysis through Optical Flow Guided Masked Autoencoding
Neurodevelopmental Phenotype Prediction: A State-of-the-Art Deep Learning Model
Pragmatic Radiology Report Generation
Supervised Electrocardiogram(ECG) Features Outperform Knowledge-based And Unsupervised Features In Individualized Survival Prediction
Topological Machine Learning for Low Data Medical Imaging
Robust Real-Time Mortality Prediction in the Intensive Care Unit using Temporal Difference Learning
Uncertainty Quantification for Conditional Treatment Effect Estimation under Dynamic Treatment Regimes
Meta-Analysis with Untrusted Data
Counterfactual and Factual Reasoning over Hypergraphs for Interpretable Clinical Predictions on EHR
Machine Learning for Health (ML4H) 2024
mmVAE: multimorbidity clustering using Relaxed Bernoulli β-Variational Autoencoders
EHRMamba: Towards Generalizable and Scalable Foundation Models for Electronic Health Records
Automating Feedback Analysis in Surgical Training: Detection, Categorization, and Assessment
The Human Values Project
End-to-End Sequential Sampling and Reconstruction for MRI
Multimodal Classification of Alzheimer's Disease by Combining Facial and Eye-Tracking Data
Improving Sepsis Prediction Model Generalization With Optimal Transport
Imputation Strategies Under Clinical Presence: Impact on Algorithmic Fairness
Dynamic Interpretable Change Point Detection for Physiological Data Analysis
RespLLM: Unifying Audio and Text with Multimodal LLMs for Generalized Respiratory Health Prediction
LLMs Accelerate Annotation for Medical Information Extraction
U-Fair: Uncertainty-based Multimodal Multitask Learning for Fairer Depression Detection
MIK: Modified Isolation Kernel for Biological Sequence Visualization, Classification, and Clustering
DILA: Dictionary Label Attention for Mechanistic Interpretability in High-dimensional Multi-label Medical Coding Prediction
Prognosticating Colorectal Cancer Recurrence using an Interpretable Deep Multi-view Network
Rethinking RGB-D Fusion for Semantic Segmentation in Surgical Datasets
Instability in clinical risk stratification models using deep learning
Are Clinical T5 Models Better for Clinical Text?
REMEDI: REinforcement learning-driven adaptive MEtabolism modeling of primary sclerosing cholangitis DIsease progression
A for-loop is all you need. For solving the inverse problem in the case of personalized tumor growth modeling
RESIST: Remapping EIT Signals Using Implicit Spatially-Aware Transformer
Uncovering Judgment Biases in Emergency Triage: A Public Health Approach Based on Large Language Models
Curriculum Self-Supervised Learning for 3D CT Cardiac Image Segmentation
Labrador: Exploring the limits of masked language modeling for laboratory data
How Should We Represent History in Interpretable Models of Clinical Policies?
BulkRNABert: Cancer prognosis from bulk RNA-seq based language models
Designing and evaluating an online reinforcement learning agent for physical exercise recommendations in N-of-1 trials
Mapping Three-Dimensional Tumor Heterogeneity through Deep Learning Inference of Spatial Transcriptomics from Routine Histopathology: A Proof-of-Concept Comparative Study
Machine Learning for Health (ML4H) 2022
Towards Preventing Intimate Partner Violence by Detecting Disagreements in SMS Communications
How Transferable are Self-supervised Features in Medical Image Classification Tasks?
Attention Distillation for Detection Transformers: Application to Real-Time Video Object Detection in Ultrasound
Query-Guided Self-Supervised Summarization of Nursing Notes
How Fair are Medical Imaging Foundation Models?
NoteContrast: Contrastive Language-Diagnostic Pretraining for Medical Text
Estimating Counterfactual Distributions under Interference
Deep Multimodal Fusion for Surgical Feedback Classification
From Isolation to Collaboration: Federated Class-Heterogeneous Learning for Chest X-Ray Classification
Analysing the effectiveness of a generative model for semi-supervised medical image segmentation
Improving Radiology Report Generation Systems by Removing Hallucinated References to Non-existent Priors
CEHR-BERT: Incorporating temporal information from structured EHR data to improve prediction tasks
Continuity Contrastive Representations of ECG for Heart Block Detection from Only Lead-I
ST2S-rPPG: A Spatiotemporal Two-Stage Learning Approach for Pulse Estimation Using Video
Multi-modal Graph Learning over UMLS Knowledge Graphs
Interpretable Survival Analysis for Heart Failure Risk Prediction
Adapting Pre-trained Vision Transformers from 2D to 3D through Weight Inflation Improves Medical Image Segmentation
HIST-AID: Leveraging Historical Patient Reports for Enhanced Multi-Modal Automatic Diagnosis
Temporal Supervised Contrastive Learning for Modeling Patient Risk Progression
SmartTriage: A system for personalized patient data capture, documentation generation, and decision support
Longitudinal patient stratification of electronic health records with flexible adjustment for clinical outcomes
Learning Generalized Medical Image Representations Through Image-Graph Contrastive Pretraining
3KG: Contrastive Learning of 12-Lead Electrocardiograms using Physiologically-Inspired Augmentations
Question Answering for Complex Electronic Health Records Database using Unified Encoder-Decoder Architecture
Detecting sensitive medical responses in general purpose large language models
DynamITE: Optimal time-sensitive organ offers using ITE
MEDCOD: A Medically-Accurate, Emotive, Diverse, and Controllable Dialog System
CoRE-BOLD: Cross-Domain Robust and Equitable Ensemble for BOLD Signal Analysis
Streamlining Clinical Trial Recruitment: A Two-Stage Zero-Shot LLM Approach with Advanced Prompting
MULTIPAR: Supervised Irregular Tensor Factorization with Multi-task Learning for Computational Phenotyping
Uncertainty-Aware Personalized Federated Learning for Realistic Healthcare Applications
Uncertainty Estimation in Large Vision Language Models for Automated Radiology Report Generation
Transfer Learning for Pediatric Glucose Forecasting
Zero-Shot ECG Diagnosis with Large Language Models and Retrieval-Augmented Generation
wav2sleep: A Unified Multi-Modal Approach to Sleep Stage Classification from Physiological Signals
Modeling Clinical Decision Variability in Explainable Multimodal Seizure Detection
Enhancing 3D Cardiac CT Segmentation with Latent Diffusion Model and Self-Supervised Learning
Gradient-Map-Guided Adaptive Domain Generalization for Cross Modality MRI Segmentation
Reducing Poisson error can offset classification error: a technique to meet clinical performance requirements
Learning Explainable Treatment Policies with Clinician-Informed Representations: A Practical Approach
Describing Early Security Requirements Using Use Case Maps
Paprika: Rapid UI Development of Scientific Dataset Editors for High Performance Computing
A Model-Based Formalization of the Textual Notation for SDL-UML
Priority Scheduling in SDL
From timed scenarios to SDL: specification, implementation and testing of real-time systems
Significantly Increasing the Usability of Model Analysis Tools through Visual Feedback
Code generation using GEODE: A case study
Non-deterministic Constructs in OCL - What Does any() Mean
Validation of SIP/H.323 Interworking Using SDL/MSC
Design for testability of communication protocols based on SDL language
HyperMSCs with Connectors for Advanced Visual System Modelling and Testing
PMG-Pro: A Model-Driven Development Method of Service-Based Applications
Integrating RT-CORBA in SDL
Model-Driven Construction of Embedded Applications Based on Reusable Building Blocks - An Example
Three scenarios for combining UML and SDL'96
Semantics of Message Sequence Charts
Using declarative mapping for automatic code generation from SDL and ASN.1
Service Discovery and Component Reuse with Semantic Interfaces
An Execution Semantics for MSC-2000
Applying Mutation Analysis to SDL Specifications
Development of Distributed Systems with SDL by Means of Formalized APIs
Industrial strength code generation from SDL
Combining object-oriented and real-time programming from an OMT and SDL design
SPEET SDL performance evaluation tool
Model-Driven Development of Reactive Systems with SDL
Deriving Message Sequence Charts from Use Case Maps Scenario Specifications
OpenComRTOS: An Ultra-Small Network Centric Embedded RTOS Designed Using Formal Modeling
Network Element Testing Using TTCN-3: Benefits and Comparison
Synthesizing Components with Sessions from Collaboration-Oriented Service Specifications
Specifying Input Port Bounds in SDL
Experiences with ISDN validation models in SDL and proposal for new SDL features
SDL and MSC based test generation for distributed test architectures
Application of SDL metric suite through development phases
Modelling and Evaluation of a Network on Chip Architecture Using SDL
Automatic Formal Model Generation and Analysis of SDL
Synthesizing SDL from Use Case Maps: An Experiment
An annotational extension of message sequence charts to support performance engineering
Model-Based Regression Testing of Autonomous Robots
Formal Verification of Use Case Maps with Real Time Extensions
SDL-based modelling and design of IN/UMTS handover functionality
MSC and data: dynamic variables
Compositional Semantics for UML 2.0 Sequence Diagrams Using Petri Nets
Separation of Concerns with Transactional Regions
On the Reuse of Goal Models
The Challenges of Using SDL for the Development of Wireless Sensor Networks
MSC'96 and beyond - a critical look
A General Approach for the Specification of Real-Time Systems with SDL
Model-Driven Engineering for Trusted Embedded Systems Based on Security and Dependability Patterns
The Winning Entry of the SAM 2002 Design Contest:
IF: An intermediate representation for SDL and its applications
RMTP2: Validating the Interval Timed Extension for SDL with an Industrial-Size Multicast Protocol
Modeling Early Availability Requirements Using Aspect-Oriented Use Case Maps
SCADE: A Comprehensive Framework for Critical System and Software Engineering
SDL 2013: Model-Driven Dependability Engineering - 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings
OSPF Efficient LSA Refreshment Function in SDL
Using Projections for the Detection of Anomalous Behaviors
A simulation model for message sequence charts
A Model-Driven Framework for Component-Based Development
Using TTCN for Radio Conformance Test Systems
Name Resolution of SDL Revisited: Drawbacks and Possible Enhancements
Consistency of UML/SPT Models
SDL Versus C Equivalence Checking
FTG+PM: An Integrated Framework for Investigating Model Transformation Chains
Looking for Better Integration of Design and Performance Engineering
Intelligent Resilience in the IoT
Traceability Links in Model Transformations between Software and Performance Models
Towards Model Based Development of Managed Networked Embedded Systems
Model Driven Development and Code Generation: An Automotive Case Study
An IMS DSL Developed at Ericsson
Cinderella SLIPPER: An SDL to C-Code Generator
Refactorings in Language Development with Asymmetric Bidirectional Model Transformations
Early performance prediction of SDL/MSC specified systems by automated synthetic code generation
Consistency of Task Trees Generated from Website Usage Traces
Applying SDL to Formal Analysis of Security Systems
Switching software test environment using MSC
Integrating schedulability analysis and SDL in an object-oriented methodology for embedded real-time systems
Testing UML2.0 Models Using TTCN-3 and the UML2.0 Testing Profile
Towards the Generation of AMF Configurations from Use Case Maps Based Availability Requirements
An MSC Based Representation of DiCons
Data Flow Testing in TTCN-3 with a Relational Database Schema
Using SDL for Modeling Behavior Composition
Verifiable Coverage Criteria for Automated Testing
Simulation of IP mobility support: An experiment in mobile protocol specification with SDL
Insertion Modeling and Symbolic Verification of Large Systems
Automated Generation of Marshaling Code from High-Level Specifications
SDL '99 The Next Millennium, 9th International SDL Forum, Montréal, Québec, Canada, 21-25 June, 1999, Proceedings
Towards a harmonization of UML-sequence diagrams and MSC
TASTE: A Real-Time Software Engineering Tool-Chain Overview, Status, and Future
Component Development: MDA Based Transformation from eODL to CIDL
MDE4HPC: An Approach for Using Model-Driven Engineering in High-Performance Computing
An SDL-based platform for the simulation of communication networks using dynamic block instantiations
Interconnecting the ObjectGeode and Caesar-Alderbaran toolsets
The SDL specification of the sliding window protocol revisited
An Automated Change Impact Analysis Approach to GRL Models
Adding a Textual Syntax to an Existing Graphical Modeling Language: Experience Report with GRL
A Real-Time Profile for UML and How to Adapt It to SDL
SDL/Virtual Prototype Co-design for Rapid Architectural Exploration of a Mobile Phone Platform
Standardizing Variability - Challenges and Solutions
External communication with SDL systems
Generating Performance Test Model from Conformance Test Logs
Refining Timed MSCs
Introducing SDL in the development of CORBA-compliant applications
SDL - The IoT Language
Optimal String Edit Distance Based Test Suite Reduction for SDL Specifications
From MSC-2000 to UML 2.0 - The Future of Sequence Diagrams
A New Approach in Model-Based Testing: Designing Test Models in TTCN-3
Model-Driven Development of Time-Critical Protocols with SDL-MDD
AUTOSAR vs. MARTE for Enabling Timing Analysis of Automotive Applications
The unification of OMT, SDL and IDL for service creation
Experiences in Deploying Model-Driven Engineering
Modelling interfaces in SDL with gate types
COCOS - A configurable SDL compiler for generating efficient protocol implementations
SDL framework for prototyping and validation of IN services
SDL enhancements and application for the design of distributed services
Experiences in Using SDL to Support the Design and Implementation of a Logical Link Layer Protocol
Automated iteration between OMT and SDL
Towards a Model Based Approach for Integration Testing
Verifying Large SDL-Specifications Using Model Checking
Model-Based Performance Analysis of Service-Oriented Systems - (Invited Talk)
IN Service prototyping using SDL models and animation
Derivation of efficient implementations from SDL specifications employing data referencing, integrated packet framing and activity threads
SDL and Layered Systems: Proposed Extensions to SDL to Better Support the Design of Layered Systems
Generating Software Documentation in Use Case Maps from Filtered Execution Traces
Extending the User Requirements Notation with Aspect-Oriented Concepts
Towards the Generation of Tests in the Test Description Language from Use Case Map Models
Applying SDL Specifications and Tools to the Verification of Procedures
SDL Design of OSPF Protocol for the Wireless Private Network
UCM-Driven Testing of Web Applications
Definition of Virtual Reality Simulation Models Using Specification and Description Language Diagrams
Synthesizing State-Machine Behaviour from UML Collaborations and Use Case Maps
Static Analysis Techniques to Verify Mutual Exclusion Situations within SysML Models
Tuning development of distributed real-time systems with SDL: Current experience and future issues
Dynamic scenario-based approach to re-engineering of legacy telecommunication software
Specifying the steam-boiler case study with SDL
SDL 2011: Integrating System and Software Modeling - 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers
SDL 2005: Model Driven, 12th International SDL Forum, Grimstad, Norway, June 20-23, 2005, Proceedings
Generating Configurations for System Testing with Common Variability Language
Performance analysis of TCP's flow control mechanisms using queueing SDL
A Model-Based Framework for SLA Management and Dynamic Reconfiguration
Session Initiation as a Service
The MSC-96 distillery
An Ontology-Based Approach for IoT Data Processing Using Semantic Rules
New results on deriving SDL specifications from MSCs
Using UML for Implementation Design of SDL Systems
Testing Business Processes Using TTCN-3
Exploring Early Availability Requirements Using Use Case Maps
A UML Profile for Goal-Oriented Modeling
Some Implications of MSC, SDL and TTCN Time Extensions for Computer-Aided Test Generation
MSC Connectors - The Chamber of Secrets
Collaboration-Based Design of SDL Systems
ns+SDL - The Network Simulator for SDL Systems
Using Message Sequence Charts to Accelerate Maintenance of Existing Systems
SDL 2007: Design for Dependable Systems, 13th International SDL Forum, Paris, France, September 18-21, 2007, Proceedings
SDL 2001: Meeting UML, 10th International SDL Forum Copenhagen, Denmark, June 27-29, 2001, Proceedings
Combining SDL and C
An Experiment to Introduce Interrupts in SDL
The ARC Programming Model
Industrial Application of the SDL-Pattern Approach in UMTS Call Processing Development - Experience and Quantitative Assessment
Deployment of SDL Systems Using UML
Translatable Finite State Time Machine
An Access Control Language for Dynamic Systems - Model-Driven Development and Verification
Using SDL in a Stateless Environment
Deriving an SDL specification with a given architecture from a set of MSCs
Graphical Test Specification - The Graphical Format of TTCN-3
Towards an Integrated Quality Assessment and Improvement Approach for UML Models
Modeling LTE Protocol for Mobile Terminals Using a Formal Description Technique
Property Verification with MSC
Model-Based Product Line Testing: Sampling Configurations for Optimal Fault Detection
Early Schedulability Analysis with Timed Use Case Maps
Evaluating an SDL framework for AXE development
Distributed Systems: From Models to Components
Combining SDL with Synchronous Data Flow Modelling for Distributed Control Systems
Test generation for the SSCOP-ATM networks protocol
Specification and Simulation of Real Time Concurrent Systems Using Standard SDL Tools
SDL 2009: Design for Motes and Mobiles, 14th International SDL Forum, Bochum, Germany, September 22-24, 2009, Proceedings
Scenario-Based Performance Engineering with UCMNAV
A UML-Compatible Formal Language for System Architecture Description
Using metapatterns with SDL
Methods and methodology for an incremental test generation from SDL specifications
Automated test generation from SDL specifications
Automated Generation of Micro Protocol Descriptions from SDL Design Specifications
Comparing TorX, Autolink, TGV and UIO Test Algorithms
Synthesizing Software Models: Generating Train Station Models Automatically
Modeling IETF Session Initiation Protocol and Its Services in SDL
A Model-Based Standard for SDL
A practical experience on validating GDMO-based information models with SDL'88 and SDL'92
ASN.1 Is Reaching Out!
PerfSDL: Interface to protocol performance analysis by means of simulation
Verification of Quantitative Temporal Properties of SDL Specifications
Modelling a Debugger for an Imperative Voice Control Language
Formalizing Graphical Service Descriptions Using SDL
SDL-2010: Background, Rationale, and Survey
SDL '97 Time for Testing, SDL, MSC and Trends - 8th International SDL Forum, Evry, France, 23-29 September 1997, Proceedings
Automated Tooling for the Evolving SDL Standard: From Metamodels to UML Profiles
Integration of SDL Models into a SystemC Project for Network Simulation
SDL 2017: Model-Driven Engineering for Future Internet - 18th International SDL Forum, Budapest, Hungary, October 9-11, 2017, Proceedings
Some Pathological Message Sequence Charts, and How to Detect Them
Towards the industrial use of validation techniques and automatic test generation methods for SDL specifications
Interactive Visualization of Software
SDL Real-Time Tasks - Concept, Implementation, and Evaluation
Towards a new formal SDL semantics - outline of an abstract state machines
Static Syntax Validation for Code Generation with String Templates
ASM and SDL Models of Geographic Routing in Mobile Ad Hoc Networks
An SDL Implementation Framework for Third Generation Mobile Communications System
ULF-Ware - An Open Framework for Integrated Tools for ITU-T Languages
Generating a Compiler for SDL from the Formal Language Definition
Using design metrics to identify error-prone components of SDL designs
Automatic synthesis of SDL models in use case methodology
SDL and MSC in international organizations: ITU-T
Automatic Generation of Compatible Interfaces from Partitioned UML Activities
SDL Code Generation for Open Systems
Designing a multi-user software environment for development and analysis using a combination of OMT and SDL92
Using Probabilist Models for Studying Realistic Systems: A Case Study of Pastry
SDL Design and Performance Evaluation of a Mobility Management Technique for 3GPP LTE Systems
On the Semantic Transparency of Visual Notations: Experiments with UML
Is open-EDI a potential area for use of SDL?
SDL 2015: Model-Driven Engineering for Smart Cities - 17th International SDL Forum, Berlin, Germany, October 12-14, 2015, Proceedings
High-level message sequence charts
Model-Driven Engineering of an OpenCypher Engine: Using Graph Queries to Compile Graph Queries
Simulating Distributed Systems with SDL and Hardware-in-the-Loop
SDL 2003: System Design, 11th International SDL Forum, Stuttgart, Germany, July 1-4, 2003. Proceedings
Efficient Development of Domain-Specific Simulation Modelling Languages and Tools
Timed Extensions for SDL
A Compositional Approach to Service Validation
Experiences in Using the SOMT Method to Support the Design and Implementation of a Network Simulator
ETSI Testing Activities and the Use of TTCN-3
SDL-based specification and testing strategy for communication network protocols
MSCs at Siemens A/S - towards the usage of MSC-96
Telephone feature verification: Translating SDL to TLA+
Specification, validation and implementation of ATM UNI signaling protocols in SDL
Modeling Component Erroneous Behavior and Error Propagation for Dependability Analysis
A test case generation tool for conformance testing of SDL systems
Modeling, Verifying and Testing Mobility Protocol from SDL Language
Real-Time Signaling in SDL
On the Impact of the SDL Forum Society Conferences on Academic Research
Event Pattern Mining for Smart Environments
Configuring communication protocols using SDL patterns
A Model-Driven Process Enactment Approach for Network Service Design
Automating the process of test derivation from SDL specifications