Synthical
Your space
Profile
Activity
Favorites
Folders
Feeds
All articles
Claim page
Takafumi Kai
Follow
Activity
Upvotes
Folders
Articles
1
Remote Verification System for Mizar Integrated with Emwiki
28 October 2024 by
Toshiki Kai
and
others
Software Engineering
Stabilization of a twisted modulus on a mirror of rigid Calabi-Yau manifold
10 October 2024 by
Keiya Ishiguro
and
others
High Energy Physics
Real-time Perceptive Motion Control using Control Barrier Functions with Analytical Smoothing for Six-Wheeled-Telescopic-Legged Robot Tachyon 3
13 September 2024 by
Noriaki Takasugi
and
others
Robotics
Collective gradient sensing by swimming bacteria without clustering
10 September 2024 by
Takafumi Kai
and
others
at
Tohoku University
Biophysics
Upper bound on the Atiyah-Singer index from tadpole cancellation
31 January 2024 by
Keiya Ishiguro
and
others
High Energy Physics
This is an AI-generated summary
Key points
Topics
We have not analyzed this profile yet, please check back later
