SymbioticEDA/riscv-formal
RISC-V Formal Verification Framework (⭐ 624)
RISC-V Formal Verification Framework (⭐ 624)
The Less Formal CSS Framework (⭐ 4177)
Associative memories are devices storing information that can be fully retrieved given partial disclosure of it. We examine a toy model of associative memory and the ultimate limitations it is subjected to within the framework of general probabilisti...
A framework that structures the gravitational memory effects and which is consistent with gravitational electric-magnetic duality is presented. A correspondence is described between memory observables, particular subleading residual gauge transformat...
Storm surge is a major natural hazard in coastal regions, responsible both for significant property damage and loss of life. Accurate, efficient models of storm surge are needed both to assess long-term risk and to guide emergency management decision...
A Swift library that uses the Accelerate framework to provide high-performance functions for matrix math, digital signal processing, and image manipulation. (⭐ 5304)
Simplified Template Cross Sections (STXS) have been adopted by the LHC experiments as a common framework for Higgs measurements. Their purpose is to reduce the theoretical uncertainties that are directly folded into the measurements as much as possib...
The AI Browser Automation Framework (⭐ 21382)
The Cutest Deep Learning Framework which is also a wonderful Declarative Language (⭐ 150)
VasSonic is a lightweight and high-performance Hybrid framework developed by tencent VAS team, which is intended to speed up the first screen of websites working on Android and iOS platform. (⭐ 11883)
Rust language proof-carrying data framework (⭐ 34)
? Transformers: the model-definition framework for state-of-the-art machine learning models in text, vision, audio, and multimodal models, for both inference and training. (⭐ 157527)
Framework for Java learning (⭐ 0)
AlphaFold 3 represents a transformative advancement in computational biology, enhancing protein structure prediction through novel multi-scale transformer architectures, biologically informed cross-attention mechanisms, and geometry-aware optimizatio...
This technical report describes our submission to the 2021 SLT Children Speech Recognition Challenge (CSRC) Track 1. Our approach combines the use of a joint CTC-attention end-to-end (E2E) speech recognition framework, transfer learning, data augment...
This paper outlines the ethical implications of text simplification within the framework of assistive systems. We argue that a distinction should be made between the technologies that perform text simplification and the realisation of these in assist...
Full-duplex voice interaction is crucial for natural human computer interaction. We present a framework that decomposes complex dialogue into minimal conversational units, enabling the system to process each unit independently and predict when to tra...
On an equation associated with the contact Lie algebras/ Mikhail V. Saveliev/ In the framework of a Lie algebraic approach we study a nonlinear equation associated with the contact Lie algebra ${\bf K}K_m$, that seems to be relavant for some solvab...
A Forensic Framework for Skype (⭐ 65)
Framework for drawing and animating shaped views on iOS (⭐ 778)