🧠 Generate formal proofs for Putnam 2025 problems using LaTeX inputs, leveraging the power of Aristotle for automated reasoning.
-
Updated
Mar 25, 2026 - Lean
🧠 Generate formal proofs for Putnam 2025 problems using LaTeX inputs, leveraging the power of Aristotle for automated reasoning.
📡 Demonstrate framed routing in 5G core networks using Open5GS, UERANSIM, and OAI-CN5G-UPF with straightforward sample configurations.
Open5GS 5GC & UERANSIM UE / RAN Sample Configuration - Framed Routing with OAI-CN5G-UPF(Simple Switch)
Open5GS 5GC & UERANSIM UE / RAN Sample Configuration - Framed Routing with Open5GS UPF
Lightweight modular framework for RPG Maker MZ. Provides safe async loading, optimization, and shared APIs.
The Official Website of TinkerHub MEC!
Reinforcement learning-based route optimization for autonomous vehicles using SUMO and MEC architecture (CPU, Raspberry Pi, FPGA).
nonlinear control system, non-linear system
A QoE-Oriented Computation Offloading Algorithm based on Deep Reinforcement Learning (DRL) for Mobile Edge Computing (MEC) | This algorithm captures the dynamics of the MEC environment by integrating the Dueling Double Deep Q-Network (D3QN) model with Long Short-Term Memory (LSTM) networks.
A class management system built using Next.js, Node.js and PostgreSQL
Add a description, image, and links to the mec topic page so that developers can more easily learn about it.
To associate your repository with the mec topic, visit your repo's landing page and select "manage topics."