Abstract:Colocation incentives push operators toward denser racks but migration churn wastes joules when demand shifts hourly. We formulate placement as an online problem with penalties for pod rescheduling and apply a regularized follow-the-regularized-leader update on latent CPU-memory traces. Simulated cluster traces show reduced cumulative energy plus switching cost against greedy bin-packing heuristics during diurnal load swings.
Abstract:Campaign-style accounts exploit layered follow and retweet relationships that single-layer metrics miss. We construct a multiplex graph with lagged edges and mine recurring three-node temporal motifs whose burst rates diverge from organic baselines estimated via block bootstrap. The ranking improves precision at fixed review budget relative to volume-only anomaly scores on labeled incident snapshots.
Abstract:Cold nodes with few incident edges destabilize message-passing depth choices during automated tuning. We wrap a Gaussian-process expected-improvement loop with graph-aware candidate proposals that co-adjust hidden width, dropout, and propagation layers. On standard citation benchmarks with artificially masked neighborhoods, the procedure lowers variance in validation accuracy compared to random search under matched evaluation budgets.
Abstract:Field gateways often host user-supplied rule engines for local actuation. We describe a compact verification pipeline where typed intermediate languages emit checkable bounds certificates consumed by a microkernel-style monitor. Measurements on ARM Cortex-A53 boards show sub-millisecond verification overhead for typical rule bundles while blocking stack-depth and memory foot-print violations before execution.
Abstract:Emergency departments must cover peaks while limiting consecutive night burdens across staff cohorts. We formulate a two-stage model where first-stage rosters face sampled arrival trajectories and second-stage reassignments penalize overtime inequality. On anonymized admission data, trade-off surfaces between expected understaffing minutes and Gini-like night-shift dispersion help planners choose defensible staffing policies.
Abstract:Species labels from volunteer platforms are noisy and sparse while unlabeled bursts dominate field deployments. We train a temporal contrastive objective on short clips with background augmentation and evaluate linear probes against curated holdout nights. The learned embeddings cluster confusable mesopredators better than frame-wise ImageNet features when illumination shifts abruptly between dusk and dawn segments.
Abstract:Regulators increasingly ask for evidence that privacy budgets were not overspent across iterative analytics jobs. We propose a deterministic replay harness that materializes sanitized intermediate states from versioned noise seeds and query templates. Case studies on star-schema benchmarks show how drift in join fan-out can inflate sensitivity estimates unless cardinality sketches are co-versioned with each release.
Abstract:Low-bandwidth uplinks and uneven compute capacity cause persistent stragglers in cross-device federated optimization. We evaluate block-wise quantizers paired with memory-based error compensation across a trace-driven simulator calibrated on public mobile GPU telemetry. Compression ratios that preserve top-eigenstructure of local updates reduce wall-clock rounds relative to uniform sparsification without inflating test loss on skewed non-IID splits.
Abstract:Municipal portals invite residents to allocate slices of capital budgets, yet older users report confusion interpreting percentage sliders and compound project bundles. We ran think-aloud sessions in three towns comparing desktop and large-print tablet layouts. Participants succeeded more often when projects displayed absolute koruna impacts beside percentages and when tutorial videos mirrored local dialect examples. Library staff mediation remained essential for those without home internet. Recommendations include paired on-site kiosks during tax season and plain-language summaries audited by senior councils rather than relying on generic accessibility checklists alone.
Abstract:Export buyers increasingly request lot-level provenance. Three cooperatives tested a permissioned ledger recording fermentation batch weights, GPS-polygons, and QR links printed on sacks. Smartphone apps worked unevenly in humid drying sheds; offline-first queues synchronized nightly where LTE existed. Farmers valued tamper-evident records when disputes arose over weight deductions at collection points. Energy and subscription costs remained contentious without buyer premiums. We argue hybrid architectures that anchor minimal hashes on-chain while storing images off-chain fit cooperative IT capacity better than fully replicated smart contracts.