Results 261 to 270 of about 281,980 (313)

DRIVE‐SAFE: Data‐Driven Robustness and Informed Validation for Evolving Specifications via Formal Evaluation

Advanced Robotics Research, EarlyView.
DRIVE‐SAFE evaluates learning‐based, black‐box autonomous driving policies against evolving temporal safety requirements using Signal Temporal Logic robustness metrics. It aggregates distributional robustness measures with domain‐informed weights to guide iterative retraining.
Kristy Sakano, Jianyu An, Dinesh Manocha, Huan Xu   +3 more
wiley   +1 more source

UTR-DynaPro: a CNN-transformer multimodal language model for decoding 5'UTR regulatory mechanisms. [PDF]

Sci Rep
Shen H, Liu S, Guo F, Zhu J, Meng J, Chen J.   +5 more
europepmc   +1 more source

Attention-guided and MIL-constrained CycleGAN for high-fidelity virtual p16 and Ki-67 staining. [PDF]

Front Med Technol
Lei X, Xie Y, Duan A, Wu Y, Liao L, Wang X.   +5 more
europepmc   +1 more source

AI foundation models for RNA biology. [PDF]

RNA Biol
Yu H, Ding Y.
europepmc   +1 more source

Lost in documentation: professional norms and the gaps in survey translation transparency. [PDF]

Res Integr Peer Rev
Sadeghzadeh M, Nouhi Jadesi N.
europepmc   +1 more source

Zero-shot English-Assamese neural machine translation via pivot-based cross-lingual embedding alignment and transfer learning. [PDF]

Sci Rep
Nath B, Gulzar Y.
europepmc   +1 more source

GAN-Based Cross-Modality Brain MRI Synthesis: Paired Versus Unpaired Training and Comparison with Diffusion and Transformer Models. [PDF]

Biomimetics (Basel)
Kiani Kalejahi B, Danishvar S, Rajabi MJ.   +2 more
europepmc   +1 more source

Training Functional Translators

Cadernos de Tradução, 2000
openaire   +2 more sources

The Role of Translation Theory in Translation Training

, 2006
openaire   +1 more source