Sign In
insight - データベース設計とクエリ
SQL クエリの理論を使った検証
SQL クエリの等価性を検証するために、有限バッグと有限関係の理論を拡張し、SQL の結合、射影、選択演算をモデル化する。
4DBInfer: 関係データベースの予測モデリングのための4次元ベンチマークツールボックス
関係データベースから有用な情報を抽出し、効率的な予測モデルを構築するための包括的なツールボックスを提案する。
データベースバックエンドプログラムのための分離ポリシー
データベースセキュリティとインフォメーションフローセキュリティの融合により、データベースバックエンドプログラムに対する分離ポリシーを形式的にモデル化し、静的に強制することができる。
属性の閉包を計算するための最小基底と直接基底の比較
属性の閉包を計算する際に、最小基底と直接基底のどちらを使うのが効率的かを分析する。
Products | Resources
Read more
- adaptive-stepsize-algorithms-for-langevin-dynamics-design-and-efficiency
- getmesh-a-controllable-model-for-high-quality-mesh-generation-and-manipulation
- ワイヤレス通信ネットワークにおける省エネフェデレーテッドラーニングの安全な深層強化学習アプローチ
- learning-useful-representations-of-recurrent-neural-network-weight-matrices-self-supervised-approach
- 産業用ショートビデオ推薦システムの暗黙的なネガティブフィードバックの学習と最適化
- unveiling-scientific-insights-through-ai-and-graph-based-reasoning
- 宇宙多様体の詳細な説明を通じて予測理論と証拠を共有する
- scaling-vision-transformer-with-high-resolution-inputs-hiri-vit
© 2024 by Linnk AI