MultiLogBench shows that LLM performance on automated logging varies substantially across programming languages, demonstrating that single-language evidence is insufficient for general claims about model behavior or tool design.
Digital twins in health care: ethical implications of an emerging engineering paradigm
7 Pith papers cite this work. Polarity classification is still indexing.
7
Pith papers citing it
citation-role summary
background 3
citation-polarity summary
verdicts
UNVERDICTED 7roles
background 3polarities
background 3representative citing papers
A sound and complete deductive system for relative trace equality based on relative bisimulation is introduced, formalized in Rocq, and demonstrated on two contract satisfaction proofs.
Duet is a manycore-eFPGA architecture with cache-coherent integration that supports fine-grained acceleration and hardware augmentation, shown in RTL evaluation to cut communication latency by up to 82% and deliver 1.5-24.9x speedups on seven benchmarks.
A neural network predicts optimal frame rate and resolution pairs for bandwidth-constrained streaming of rendered content to boost perceptual quality.
An auto-generating digital twin system for particle accelerators cascades lattice information from a ground source of truth to create a virtual control system that updates simulations and provides feedback to virtual diagnostics, tested on CLARA, ISIS injector, and proposed UK XFEL.
The paper introduces Multi-Existence Identity (MEI) as a socio-technical framework for replicating human cognitive and emotional attributes across AI-enabled embodiments to enable parallel multi-location existence.
A simulation-driven digital twin framework is shown to generate interpretable diabetes trajectories for decision-aware analysis by combining benchmark data with controlled synthetic scenarios.
citing papers explorer
-
Single-Language Evidence Is Insufficient for Automated Logging: A Multilingual Benchmark and Empirical Study with LLMs
MultiLogBench shows that LLM performance on automated logging varies substantially across programming languages, demonstrating that single-language evidence is insufficient for general claims about model behavior or tool design.
-
A Deductive System for Contract Satisfaction Proofs
A sound and complete deductive system for relative trace equality based on relative bisimulation is introduced, formalized in Rocq, and demonstrated on two contract satisfaction proofs.
-
Duet: Creating Harmony between Processors and Embedded FPGAs
Duet is a manycore-eFPGA architecture with cache-coherent integration that supports fine-grained acceleration and hardware augmentation, shown in RTL evaluation to cut communication latency by up to 82% and deliver 1.5-24.9x speedups on seven benchmarks.
-
Streaming of rendered content with adaptive frame rate and resolution
A neural network predicts optimal frame rate and resolution pairs for bandwidth-constrained streaming of rendered content to boost perceptual quality.
-
Closing the Loop: Deploying Auto-Generating Digital Twins for Particle Accelerators
An auto-generating digital twin system for particle accelerators cascades lattice information from a ground source of truth to create a virtual control system that updates simulations and provides feedback to virtual diagnostics, tested on CLARA, ISIS injector, and proposed UK XFEL.
-
Distributed Human Identity: AI-Enabled Multi-Existence Through Cognitive Replication and Robotic Embodiments
The paper introduces Multi-Existence Identity (MEI) as a socio-technical framework for replicating human cognitive and emotional attributes across AI-enabled embodiments to enable parallel multi-location existence.
-
A Proof-of-Concept Simulation-Driven Digital Twin Framework for Decision-Aware Diabetes Modeling
A simulation-driven digital twin framework is shown to generate interpretable diabetes trajectories for decision-aware analysis by combining benchmark data with controlled synthetic scenarios.