Squash Types, Proposition Equality, Setoid Model, Type Theory
Propagating Bonjour/Rendezvous to Normal DNS
taoofmac.com·16h
Estimating Reliability of Electric Vehicle Charging Ecosystem using the Principle of Maximum Entropy
arxiv.org·2d
HyCodePolicy: Hybrid Language Controllers for Multimodal Monitoring and Decision in Embodied Agents
arxiv.org·2d
When Cars Have Stereotypes: Auditing Demographic Bias in Objects from Text-to-Image Models
arxiv.org·1d
Unveiling the Landscape of Clinical Depression Assessment: From Behavioral Signatures to Psychiatric Reasoning
arxiv.org·45m
Loading...Loading more...