Deus Ex Machina

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)

2023.04.05

アルゴリズム:Algorithmsグラフ理論スパースモデリング幾何学:Geometry微分積分:Calculus最適化:Optimization機械学習:Machine Learning確率・統計:Probability and Statistics線形代数:Linear Algebra

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

2023.04.04

アルゴリズム:Algorithmsグラフ理論スパースモデリング幾何学:Geometry微分積分:Calculus最適化:Optimization機械学習:Machine Learning確率・統計:Probability and Statistics線形代数:Linear Algebra

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

2023.04.03

アルゴリズム:Algorithmsグラフ理論スパースモデリングベイズ推定幾何学:Geometry微分積分:Calculus最適化:Optimization機械学習:Machine Learning確率・統計:Probability and Statistics線形代数:Linear Algebra

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

2023.04.02

ICT技術:ICT Technologylife tips人工知能:Artificial Intelligence

Overview of RFID and its applications and integration with AI technology

Overview of RFID and its applications in digital transformation, artificial intelligence and machine learning tasks and its integration with AI technologies cost reduction, IMPINJ Inc, M700, privacy, radio interference, distance limitation, standardization, smart cities, logistics, Supply chain management, asset management, Web 3.0, WoT, IoT, manufacturing, healthcare, agriculture, logistics, RFID tags, RFID readers, databases

2023.04.01

ICT技術:ICT TechnologyIOT技術:IOT TechnologyStream Data Processingアーキテクチャコンピューター

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

2023.03.31

アルゴリズム: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

2023.03.30

アルゴリズム:Algorithmsグラフ理論スパースモデリング幾何学:Geometry強化学習微分積分:Calculus最適化:Optimization機械学習:Machine Learning深層学習:Deep Learning確率・統計:Probability and Statistics線形代数:Linear Algebra

Implementation using Clojure’s graphical tools seesaw and Quill

UI (graphics, libraries, Quill, tutorial, user interface, Java, Swing) with simple graphical tools using Clojure/seesaw utilized for digital transformation (DX), artificial intelligence (AI), machine learning (ML) tasks.

2023.03.29

ClojureJavaコンピューターユーザーインターフェース/データビジュアライゼーション

Differences between statically/dynamically typed languages in programming

Differences between statically/dynamically typed languages in programming used for digital transformation, artificial intelligence, and machine learning tasks Haskell, Scala, Java, type inference, JSON, automated unit testing, compilation, agile development, waterfall development, data structures, interfaces, method signatures, readability, Ruby, ease of writing, execution speed, acceleration, C, C++, Pyhton

2023.03.28

プログラミング言語:Programming Language

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

2023.03.27

推論技術:inference Technology数理論理学:Mathematical logic