「cs.SC」カテゴリーアーカイブ

Showing Proofs, Assessing Difficulty with GeoGebra Discovery

投稿日: 2024年1月23日 作成者: jarxiv

要約 私たちの寄稿では、GeoGebra Discovery で開発された自動推 … 続きを読む →

カテゴリー: cs.AI, cs.CG, cs.MS, cs.SC | Showing Proofs, Assessing Difficulty with GeoGebra Discovery はコメントを受け付けていません

Solving with GeoGebra Discovery an Austrian Mathematics Olympiad problem: Lessons Learned

投稿日: 2024年1月23日 作成者: jarxiv

要約 私たちは、GeoGebra Discovery の自動推論ツールを通じて、 … 続きを読む →

カテゴリー: cs.AI, cs.CG, cs.MS, cs.SC | Solving with GeoGebra Discovery an Austrian Mathematics Olympiad problem: Lessons Learned はコメントを受け付けていません

EFO: the Emotion Frame Ontology

投稿日: 2024年1月22日 作成者: jarxiv

要約 感情はさまざまな分野で激しい議論の対象となっています。 理論や定義が急増し … 続きを読む →

カテゴリー: cs.AI, cs.CY, cs.SC | EFO: the Emotion Frame Ontology はコメントを受け付けていません

Learning for CasADi: Data-driven Models in Numerical Optimization

投稿日: 2023年12月12日 作成者: jarxiv

要約 現実世界の問題は分析的に分析するのが難しい場合が多いですが、ディープ ラー … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.RO, cs.SC, cs.SY, eess.SY | Learning for CasADi: Data-driven Models in Numerical Optimization はコメントを受け付けていません

Physical Symbolic Optimization

投稿日: 2023年12月7日 作成者: jarxiv

要約 方程式の自動逐次生成を構築によって次元解析の規則に従うように制約するための … 続きを読む →

カテゴリー: astro-ph.IM, cs.LG, cs.SC, physics.comp-ph, physics.data-an | Physical Symbolic Optimization はコメントを受け付けていません

Scene-Driven Multimodal Knowledge Graph Construction for Embodied AI

投稿日: 2023年11月8日 作成者: jarxiv

要約 身体化型 AI は、人工知能とロボット工学で最も人気のある研究の 1 つで … 続きを読む →

カテゴリー: cs.AI, cs.RO, cs.SC | Scene-Driven Multimodal Knowledge Graph Construction for Embodied AI はコメントを受け付けていません

Multi-Operational Mathematical Derivations in Latent Space

投稿日: 2023年11月3日 作成者: jarxiv

要約 この論文は、式導出のために潜在空間で複数の数学的演算を近似する可能性を調査 … 続きを読む →

カテゴリー: cs.AI, cs.LG, cs.SC | Multi-Operational Mathematical Derivations in Latent Space はコメントを受け付けていません

Dimensionally Homogeneous Jacobian using Extended Selection Matrix for Performance Evaluation and Optimization of Parallel Manipulators

投稿日: 2023年10月30日 作成者: jarxiv

要約 この論文では、混合自由度を持つ並列マニピュレータの性能評価と最適化を目的と … 続きを読む →

カテゴリー: cs.RO, cs.SC | Dimensionally Homogeneous Jacobian using Extended Selection Matrix for Performance Evaluation and Optimization of Parallel Manipulators はコメントを受け付けていません

Interpretable and Explainable Logical Policies via Neurally Guided Symbolic Abstraction

投稿日: 2023年10月26日 作成者: jarxiv

要約 ニューラル ネットワークに必要な事前確率は限られているため、強化学習 (R … 続きを読む →

カテゴリー: cs.AI, cs.CL, cs.LG, cs.LO, cs.SC | Interpretable and Explainable Logical Policies via Neurally Guided Symbolic Abstraction はコメントを受け付けていません

LogicMP: A Neuro-symbolic Approach for Encoding First-order Logic Constraints

投稿日: 2023年10月2日 作成者: jarxiv

要約 一次論理制約 (FOLC) とニューラル ネットワークの統合は、制約を満た … 続きを読む →

カテゴリー: cs.AI, cs.SC | LogicMP: A Neuro-symbolic Approach for Encoding First-order Logic Constraints はコメントを受け付けていません