Abstract:Black-box readmission scores hinder clinician trust even when discrimination metrics look strong. We train gradient-boosted ensembles on structured discharge features and couple them with SHAP summaries validated by ward physicians. Calibration plots and subgroup audits show stable performance across age bands while surfacing actionable drivers such as prior unplanned visits and incomplete medication reconciliation.
Abstract:Cargo-bike fleets promise quieter city logistics but planners must jointly minimize distance, elevation-driven energy use, and late deliveries. We formulate a multi-objective routing model with regenerative braking and grade-dependent consumption and solve it with evolutionary search warm-started from classical savings heuristics. Pareto sets reveal when adding micro-depots dominates simply enlarging battery packs on steep corridors.
Abstract:A/B tests of tutoring tips are rare when instructors fear withholding support from struggling students. We apply doubly robust estimators to observational clickstreams that record hint requests, compiler errors, and time-on-task across sections. Policies that delay solution reveals until after structured scaffolding raise assignment completion without increasing average weekly workload.
Abstract:Cloud inference latency and bandwidth costs hinder continuous monitoring of rotating equipment on factory floors. We distill transformer encoders into quantized edge models that score vibration windows on microcontroller-class boards. Online threshold adaptation using residual statistics maintains detection power under changing load regimes while staying within tight memory budgets.
Abstract:Homogeneous molecular graphs ignore assay context that chemists use when prioritizing follow-up compounds. We build heterogeneous graphs linking molecules, assays, and protein targets and train message-passing rankers against multi-source inhibition labels. Cross-kinase transfer experiments show improved early enrichment versus fingerprint-plus-gradient-boosting baselines on held-out target families.
Abstract:Pooling raw wearable streams across hospitals conflicts with patient data-protection rules yet coordinated phenotyping could flag arrhythmia risk earlier. We federate k-means style updates on derived heart-rate variability features with secure aggregation and differential privacy noise schedules. Cluster stability remains clinically interpretable while membership inference attacks against held-out participants stay near chance.
Abstract:Fixed-cycle plans degrade when peak demand shifts after construction or special events. We train multi-agent reinforcement controllers on microsimulation corridors with deliberate nonstationarity and transfer policies to hardware-in-the-loop tests. Reward shaping that balances queue length with pedestrian wait time reduces average vehicle delay without lengthening sidewalk clearance intervals beyond safety thresholds.
Abstract:Single-modality screening misses early microvascular change when illumination or media opacity degrade fundus photographs. We fuse paired optical coherence tomography volumes with color fundus images through cross-attention encoders trained on clinic-labeled cohorts. Calibrated risk scores improve sensitivity at fixed false-positive rates relative to fundus-only baselines while remaining deployable on mid-range GPUs used in regional eye clinics.
Abstract:Background: Sarcoidosis is a systemic and a chronic granulomatous disease of unknown etiology, characterized by the presence of non-caseating granulomas in various organs, mainly the lungs. Onset of sarcoidosis is presumed to be seasonal. while the data concerning seasonality is conflicting. Objectives: Our aim in this study was to determine the possible existence of a relevancy between disease onset and the influence of seasons among sarcoidosis patients of different age groups. Materials and methods: We retrospectively reviewed 473 patients with newly diagnosed symptomatic sarcoidosis between 1964 and 2023. Inclusion criteria included a physician's diagnosis supported by histopathological and radiological features of intrathoracic sarcoidosis, a clinical presentation consistent with the disease, and exclusion of other granulomatous diseases. Patients were evaluated according to the month and seasonal timing of the onset of the first symptom, as well as demographic characteristics. Results: Monthly onset was lowest in September (3.8%) but was found to have the highest frequency during May (13.1%). Distribution of disease onset according to seasons was paramount in spring (33.2%). Lowest seasonal onset of distribution was detected in winter (15.7%) months. When the seasonal distribution was examined according to gender, highest frequency of onset was during summer in men and spring in women. Lowest onset was during winter for both genders. Our findings show that sarcoidosis onset has a seasonal relevance with highest incidence being in spring and summer.
Abstract:Bootloader bugs brick devices in the field long after application code passes unit tests. We model flash programming state machines in Promela, encode hardware timeout constraints, and discharge refinement obligations against a trusted ROM stub with bounded model checking. Case studies on three open-source ARM bootloaders uncover unreachable error states and a race between erase and power-loss recovery that manual review missed in two of the projects.