-
最近の投稿
- SOUS VIDE: Cooking Visual Drone Navigation Policies in a Gaussian Splatting Vacuum
- Clarke Transform and Encoder-Decoder Architecture for Arbitrary Joints Locations in Displacement-Actuated Continuum Robots
- Using Clarke Transform to Create a Framework on the Manifold: From Sampling via Trajectory Generation to Control
- Safe Dynamic Motion Generation in Configuration Space Using Differentiable Distance Fields
- BODex: Scalable and Efficient Robotic Dexterous Grasp Synthesis Using Bilevel Optimization
-
最近のコメント
表示できるコメントはありません。 cs.AI (31383) cs.CL (23735) cs.CR (2434) cs.CV (37739) cs.LG (36254) cs.RO (18349) cs.SY (2813) eess.IV (4535) eess.SY (2807) stat.ML (4810)
「cs.MS」カテゴリーアーカイブ
BlackJAX: Composable Bayesian inference in JAX
要約 BlackJAX は、ベイジアン計算で一般的に使用されるサンプリングおよび … 続きを読む
TopoX: A Suite of Python Packages for Machine Learning on Topological Domains
要約 ハイパーグラフ、シンプリシアル、セルラー、パス、および組み合わせ複素数など … 続きを読む
Symbolic Equation Solving via Reinforcement Learning
要約 機械学習手法は、社会、経済、科学のさまざまな状況で徐々に採用されていますが … 続きを読む
The Locus Story of a Rocking Camel in a Medical Center in the City of Freistadt
要約 無料ソフトウェア パッケージ GeoGebra Discovery を使用 … 続きを読む
Automated Completion of Statements and Proofs in Synthetic Geometry: an Approach based on Constraint Solving
要約 推測と定理の証明は数学的実践の中心となる活動であり、分離するのは困難です。 … 続きを読む
Showing Proofs, Assessing Difficulty with GeoGebra Discovery
要約 私たちの寄稿では、GeoGebra Discovery で開発された自動推 … 続きを読む
Solving with GeoGebra Discovery an Austrian Mathematics Olympiad problem: Lessons Learned
要約 私たちは、GeoGebra Discovery の自動推論ツールを通じて、 … 続きを読む
Proceedings 14th International Conference on Automated Deduction in Geometry
要約 ADG は、アイデアや意見を交換し、研究結果と進捗状況を発表し、幾何学と自 … 続きを読む
Smoothing Methods for Automatic Differentiation Across Conditional Branches
要約 条件分岐などの制御フロー構造によって導入される不連続性を含むプログラムは、 … 続きを読む
Architecture Singularity Distance Computations for Linear Pentapods
要約 運動学/ロボットのコミュニティは、特定のロボット構成が次の特異なロボット構 … 続きを読む