人工知能:Artificial Intelligence

アルゴリズム:Algorithms

Protected: Optimality conditions for equality-constrained optimization problems in machine learning

Optimality conditions for equality-constrained optimization problems in machine learning utilized in digital transformation, artificial intelligence, and machine learning tasks (inequality constrained optimization problems, effective constraint method, Lagrange multipliers, first order independence, local optimal solutions, true convex functions, strong duality theorem, minimax theorem, strong duality, global optimal solutions, second order optimality conditions, Lagrange undetermined multiplier method, gradient vector, first order optimization problems)
アルゴリズム:Algorithms

Protected: Discriminant Conformal Losses in Multi-Valued Discriminant by Statistical Mathematics Theory and its Application to Various Loss Functions

Discriminant conformal loss of multi-valued discriminant and its application to various loss functions by statistical mathematics theory utilized in digital transformation, artificial intelligence, and machine learning tasks discriminant model loss, discriminant conformal, narrow order preserving properties, logistic model, maximum likelihood estimation, nonnegative convex function, one-to-other loss, constrained comparison loss, convex nonnegative-valued functions, hinge loss, pairwise comparison loss, multivalued surport vector machine, monotone nonincreasing function, predictive discriminant error, predictive ψ-loss, measurable function
アルゴリズム:Algorithms

Protected: Bayesian inference by variational and collapsed Gibbs sampling of Gaussian mixture models

Bayesian inference with variational and collapsed Gibbs sampling of Gaussian mixture models utilized in digital transformation, artificial intelligence, and machine learning tasks inference algorithms, analytic integral approximation, complex models, Gauss-Wishart distribution, clustering, multi-dimensional Student's t-distribution, categorical distribution, Poisson mixture models, Dirichlet distribution, approximate posterior distribution, latent variables
ICT技術:ICT Technology

Automata and state transitions/Petri nets, automatic planning and counting problems

Automata and state transitions/petri nets and automatic planning utilized for digital transformation, artificial intelligence and machine learning tasks digital game AI, spatial and temporal awareness, autonomous agents, C4, hierarchical FSM, reflective AI, FSM, GA, behavior trees, Distributed systems, communication protocols, database transactions, parallel systems, workflow models, business process models, digital circuits, programming languages, natural language processing, Turing machines, pushdown automata, Moore-type, Mealy-type, deterministic FSM, DFSM, deterministic finite automata, nondeterministic finite automata, DFA, NFA
アルゴリズム:Algorithms

Protected: Explainable Artificial Intelligence (16) Model independent interpretation (SHAP (SHapley Additive exPlanations))

Model independent interpretation with SHAP as an explainable artificial intelligence used for digital transformation, artificial intelligence and machine learning tasks scikit-learn, xgboost, LightGBM, tree boosting, R, shapper, fastshap, TreeSHAP, KernelSHAP, partial dependence plot, permutation feature importance, feature importance, feature dependence, interactions, clustering, summary plots clustering, summary plots, atomic unit, LIME, decision tree, game theory, clustering, SHAP interaction values, ALE plot, image mapping, consistency, missing, local correctness, efficiency, symmetry, dummyness, additivity, SHapley Additive exPlanations, local surrogate models
アルゴリズム:Algorithms

Protected: Value Assessment and Policy and Weaknesses in Deep Reinforcement Learning

Value assessment and strategies and weaknesses in deep reinforcement learning used for digital transformation, artificial intelligence, and machine learning tasks poor sample efficiency, difficulty in validating methods as well, impact of implementation practices on performance, library initial values, poor reproducibility, over-training, local optimum, dexterity, TRPO, PPO, continuous value control, image control, policy-based, value-based
推論技術:inference Technology

Overview and Implementation of the Satisfiability Determination Problem (SAT: Boolean SAtisfiability) of Propositional Logic

Overview and implementation of the satisfiability decision problem (SAT: Boolean SAtisfiability) for propositional logic, which is used in digital transformation, artificial intelligence, and machine learning tasks Clojure Rollingstones, Pyhton, PySAT, z3-solver, C++, 2-SAT, game AI, natural language processing acceleration, combinatorial optimization problem efficiency, hyperparameter optimization, computer security, automatic software specification verification, automatic chip design verification, zChaff, WalkSAT, GRASP, CryptoMiniSat, MapleSAT, Scavel, PicoSAT, MiniSAT, CaDiCaL, Lingeling, Glucose, P≠NP prediction, logic problems
ICT技術:ICT Technology

Artificial Intelligence Technology as a Case Study in DX

Specific Applications of Artificial Intelligence Technology for DX Applications Artificial intelligence...
Large-Scaleデータ

Parallel and Distributed Processing in Machine Learning

Parallel and Distributed Processing in Machine Learning The learning process of machine learning requires hi...
アルゴリズム:Algorithms

Protected: Linear Bandit, Contextual Bandit, Linear Bandit Problem with LinUCB Policies

Linear Bandit, Contextual Bandit, LineUCB policy for linear bandit problems (Riglet, algorithm, least squares quantification, LinUCB score, reward expectation, point estimate, knowledge) utilized in digital transformation, artificial intelligence, machine learning tasks utilization-oriented measures, search-oriented measures, Woodbury's formula, LinUCB measures, LinUCB policy, contextual bandit, website optimization, maximum sales expectation, bandit optimal budget allocation)
タイトルとURLをコピーしました