数理論理学

Protected: Maximum flow and graph cut (1) Maximum volume and minimum s-t cut

Application of undermodular optimization, an optimization method for discrete information used in digital transformation, artificial intelligence, and machine learning tasks, to minimum cut and maximum flow problems for directed graphs

2022.04.28

Symbolic Logicグラフ理論スパースモデリング幾何学:Geometry推論技術:inference Technology数理論理学最適化:Optimization機械学習:Machine Learning確率・統計:Probability and Statistics関係データ学習

Protected: Maximization of submodular functions and application of the greedy method (2) Sensor placement problem and active learning problem

Application of submodular function maximization and greedy methods to sensor placement and active learning problems in submodular optimization, a method of optimization of discrete information used in digital transformation, artificial intelligence, and machine learning tasks.

2022.04.27

Symbolic Logicグラフ理論スパースモデリング幾何学:Geometry推論技術:inference Technology数理論理学最適化:Optimization機械学習:Machine Learning確率・統計:Probability and Statistics関係データ学習

Graph Structures for knowledge Representation and Reasoning

Graph Structures for knowledge Representation and Reasoning From Graph Structures for knowledge Representat...

2022.04.24

Symbolic Logicweb技術:web technologyグラフ理論セマンテックウェブ技術:Semantic web Technologyデータベース技術:DataBase Technologyユーザーインターフェース/データビジュアライゼーション推論技術:inference Technology数理論理学検索技術:Search Technology自然言語処理:Natural Language Processing

Inductive logic Programming 2019

Machine Learning Technology Artificial Intelligence Technology Natural Language Processing Technology Semantic Web Te...

2022.04.23

Symbolic Logicグラフ理論推論技術:inference Technology数理論理学最適化:Optimization機械学習:Machine Learning確率・統計:Probability and Statistics関係データ学習

Inductive logic Programming 2018

Machine Learning Technology Artificial Intelligence Technology Natural Language Processing Technology Semantic Web Te...

2022.04.16

Symbolic Logicグラフ理論推論技術:inference Technology数理論理学最適化:Optimization機械学習:Machine Learning確率・統計:Probability and Statistics関係データ学習

Protected: Fundamentals of Submodular Optimization (3)Algorithm for Submodular Function Minimization Problem Using the Minimum Norm Point of the Fundamental Polyhedron

Algorithm for a submodular function minimization problem using base polyhedral minimum norm points, one of the methods of optimization methods (submodular optimization) for discrete information used in digital transformation, artificial intelligence, and machine learning tasks.

2022.04.15

Symbolic Logicアルゴリズム:Algorithmsグラフ理論微分積分:Calculus推論技術:inference Technology数理論理学最適化:Optimization確率・統計:Probability and Statistics関係データ学習

Protected: Fundamentals of Submodular Optimization (2) Basic Properties of Submodular Functions

Three basic properties of submodular functions (normalized, non-negative, symmetric) as a basis for optimization algorithms (submodular optimization) of discrete information for digital transformation, artificial intelligence and machine learning tasks and their application to graph cut maximization and minimization problems

2022.04.14

Symbolic Logicグラフ理論推論技術:inference Technology数理論理学最適化:Optimization機械学習:Machine Learning確率・統計:Probability and Statistics関係データ学習

Protected: Fundamentals of Submodular Optimization (1) Definition and Examples of Submodular Functions

Submodular functions (cover functions, graph cut functions, concave functions) and optimization as a basis for discrete information optimization algorithms for digital transformation, artificial intelligence, and machine learning tasks

2022.04.13

Symbolic Logicアルゴリズム:Algorithmsグラフ理論推論技術:inference Technology数理論理学最適化:Optimization機械学習:Machine Learning確率・統計:Probability and Statistics関係データ学習

C/C++ language and Rust

About C/C++ language and various machine learning algorithms The C/C++ language is a programming language used ...

2022.04.09

C/C++アルゴリズム:Algorithmsグラフ理論数理論理学最適化:Optimization

Inductive logic Programming 2017 Papers

Machine Learning Technology Artificial Intelligence Technology Natural Language Processing Technology Semantic Web Te...

2022.04.09

Symbolic Logicグラフ理論推論技術:inference Technology数理論理学最適化:Optimization機械学習:Machine Learning確率・統計:Probability and Statistics