
機械学習を活用した学習者の生理情報と精神状態の関係性について探求し、教育ビッグデータを用いた学習支援の可能性を解明する研究事例を紹介。

Discover how AI technology enables material recognition through advanced computer vision techniques, presented by Professor Nishino from Kyoto University's Graduate School of Informatics.

Discover 人工 知能とコンピュータビジョンの基礎概念を学び、AIによる画像認識技術の可能性と応用について探求する14分の入門講座。

Discover 人工知能とコンピュータビジョンの基礎概念を学び、AIによる視覚認識技術の最新動向と応用可能性について探究する入門的な講座。

素材認識におけるAI技術の基礎と応用について学び、画像認識の最新技術と実践的な活用方法を探求する11分間の講義。

Descubre cómo implementar y utilizar los modelos de IA generativa de Hugging Face para crear aplicaciones innovadoras y soluciones tecnológicas avanzadas.

Explore the development journey of a specialized LLM for Cyber Threat Intelligence, including key benchmarks, outcomes, and critical insights from real-world implementation.

Discover how to automate Cyber Threat Intelligence reports from the dark web using RAG Insight, enabling efficient MISP sharing and enhanced threat detection capabilities.

Explore privacy-preserving techniques in collaborative filtering systems through a comprehensive reproduction study evaluating obfuscation methods and their effectiveness in data protection.

Explore fundamental machine learning concepts using an Apple II, demonstrating supervised learning, metaheuristics, and reinforcement techniques through practical examples.

Explore innovative concrete type inference for dynamically typed languages, combining machine learning and SMT solving to enable code optimization without manual type annotations, significantly boosting performance.

Explore a novel programming language approach to explainable graph learning, addressing limitations in GNN explainability through a graph description language and interpretable classification model.

Explore formalization of intrinsically-typed probabilistic programming language in Coq, focusing on syntax, evaluation, and formal verification applications.

Explore a dependent type system for feature engineering, enhancing machine learning model inputs through advanced data operations and compiler techniques.

Explore a novel language development technique that extends HOAS, addressing limitations in semantic domains for open expressions, with applications in incremental computation and bidirectional languages.

Explore formal specification and testing methods for reinforcement learning applications, focusing on temporal difference methods and property-based testing using functional programming techniques.

Explore effect handlers for modular inference programming in probabilistic algorithms, revealing high-level structures and enabling easy customization of Metropolis-Hastings and particle filtering methods.

Explore HasTEE, a Haskell-embedded DSL for programming Trusted Execution Environments. Learn how it simplifies TEE application development with automatic partitioning and enhanced security features.

Explore semi-formal programming using language model agents to capture semantic information and execute informal program elements, enhancing malleable programming environments.

Explore Actix-Telepathy, an extension for Rust's Actix library enabling remote messaging and clustering support for distributed applications using the actor programming model.

Explore MegaLibm, a domain-specific language for implementing, testing, and tuning math library functions. Learn how it enhances safety, modularity, and tunability in mathematical software development.