🧠 Generate formal proofs for Putnam 2025 problems using LaTeX inputs, leveraging the power of Aristotle for automated reasoning.
-
Updated
Oct 7, 2026 - Lean
🧠 Generate formal proofs for Putnam 2025 problems using LaTeX inputs, leveraging the power of Aristotle for automated reasoning.
KDDI — independent third-party profile of a public API surface, by API Evangelist. KDDI Corporation is a Japanese multinational telecommunications operator headquartered in Tokyo, providing mobile, fixed-line, broadband, and enterprise ICT services. KDDI markets its consumer mobile services under the au brand, alongside UQ mobile and povo, and serv
ETSI — independent third-party profile of a public API surface, by API Evangelist. ETSI, the European Telecommunications Standards Institute, is a not-for-profit standards development organisation headquartered in Sophia Antipolis, France, and one of only three bodies officially recognised by the European Union as a European Standards Organisation.
Open5GS 5GC & UERANSIM UE / RAN Sample Configuration - Framed Routing with OAI-CN5G-UPF
A 5G/6G-enabled smart campus platform for real-time energy monitoring, IoT telemetry, analytics, and AI-driven insights.
Edge applications that follow a moving vehicle between cells, driven by 5G core session events. SUCCESS-6G.
Open5GS 5GC & UERANSIM UE / RAN Sample Configuration - Framed Routing with Open5GS UPF
A Multi-access Edge Computing site on Kubernetes: kubeadm cluster, Prometheus observability spanning infrastructure, apps and the 5G radio network, ETSI OSM orchestration, and a REST API to drive it all
Helm chart deploying a complete Open5GS 5G SA core on Kubernetes, with distributed UPF placement across cloud and edge nodes, network slicing and Prometheus monitoring
Nexus is a cosmic-themed, authentic social discovery app to discover and connect with new people nearby in real-world moments. Unlike conventional swipe-card dating apps, Nexus emphasizes spontaneous, in-the-moment human connections across multiple social dimensions: whether you are looking for new friends, professional connections, or romance. ✨
Micro Expression Control
Cold-start-aware binary PSO for serverless task offloading in Mobile Edge Computing. Reduces mean latency by 19% and p95 by 29% vs cold-naive PSO. Training-free, 17 ms/slot. DCCN 2026.
Client and server to measure network latency
Measurement & analysis of MEC edge latency under user mobility on real 4G/5G networks — code, datasets and figures behind two published papers.
Can 5G C-V2X meet the latency & reliability budgets of Level 4/5 autonomous driving? A technology survey + EU cross-border field-trial case study (Computer Networks team project).
To associate your repository with the mec topic, visit your repo's landing page and select "manage topics."