Meituan open sources LongCat-2.0, the 1.6T, near-frontier agentic coding model that's been leading OpenRouter — trained entirely on Chinese chips

By registering the LongCat-2.0 repository under the open-source MIT License, Meituan positions the architecture with maximum ...
GitHub

A Tool for COntinuous Reachability Analysis.

The Continuous Reachability Analyzer (CORA) is a MATLAB-based toolbox designed for the formal verification of cyber-physical systems through reachability analysis. It offers a comprehensive suite of ...
GitHub

Nonlinear Model-Predictive Control Using Koopman Operator

This document provides a detailed explanation of the MATLAB code that demonstrates the application of the Koopman operator theory for controlling a nonlinear system using Model Predictive Control (MPC ...
University of Exeter

Towards the best-Known approximation to the true Pareto front

This webpage presents the best-known Pareto fronts of twelve benchmark design problems of Water Distribution Systems. These problems were collected from the literature and the Pareto fronts were ...
Princeton University

Chris Sims's Page

Some of the material on this web page is based upon work supported by the National Science Foundation under Grants SES-0350686, SES-0719055, and . Any opinions, findings and conclusions or ...
Frontiers

Experimental benchmark control problem for multi-axial real-time hybrid simulation

Advancing RTHS methods to readily handle multi-dimensional problems has great potential for enabling more advanced testing and synergistically using existing laboratory facilities that have the ...
Scientific Research Publishing

Computational Solution to the Problems of Projectile Motion under Significant Linear Drag Effect ()

1 Department of Physics, School of Mathematics and Physics, China University of Geosciences, Wuhan, China. 2 Department of Physics, Faculty of Natural Science, Abdulrahman Al-Sumait University (Sumait ...