ELISA seminar recap : Introduction to Requirements Engineering – Pete Brink, UL Solutions
elisa.tech·3d
📋Formal Verification
Flag this post
[D] Which programming languages have you used to ship ML/AI projects in the last 3 years?
💻programming languages
Flag this post
Vision Foundation Models in Agriculture: Toward Domain-Specific Adaptation for Weed Herbicide Trials Assessment
arxiv.org·2d
🕸️Algebraic Topology
Flag this post
Enhancing Fault-Tolerant Space Computing: Guidance Navigation and Control (GNC) and Landing Vision System (LVS) Implementations on Next-Gen Multi-Core Processor...
arxiv.org·2d
🧩RISC-V
Flag this post
Inferring multiple helper Dafny assertions with LLMs
arxiv.org·5d
🦀Rust Verification
Flag this post
EQ-Negotiator: Dynamic Emotional Personas Empower Small Language Models for Edge-Deployable Credit Negotiation
arxiv.org·3d
🧮SMT Solvers
Flag this post
Show HN: I'm making an Open-source Japanese learning App inspired by Monkeytype
🇯🇵Japanese Computing
Flag this post
Modeling Clinical Uncertainty in Radiology Reports: from Explicit Uncertainty Markers to Implicit Reasoning Pathways
arxiv.org·2d
🧮Kolmogorov Complexity
Flag this post
D2-UC: A Distributed-Distributed Quantum-Classical Framework for Unit Commitment
arxiv.org·3d
⚛️Quantum Compilers
Flag this post
Loading...Loading more...