„Model Counting“

Suchergebnisse

222 Treffer

• Estimation of Battery Soc for Hybrid Electric Vehicle using Coulomb Counting Method
  Zine, Bachir ; Marouani, Khoudir ; Becherif, Mohamed ; Yahmedi, Said
• A Regression Model for Dependent Gap Times
  Strawderman, Robert L.
• Semiparametric Inference for Proportional Mean Past Life Model
  Mansourvar, Z. ; Asadi, M.
• PBCounter: weighted model counting on pseudo-boolean formulas
  Lai, Yong ; Xu, Zhenghang ; Yin, Minghao
• Probabilistic inferences under maximum entropy for Description Logics
  Wilhelm, Marco ; Kern-Isberner, Gabriele ; Baader, Franz 2024 Universitätsbibliothek Dortmund
• Version 4.0 of PaxDb: Protein abundance data, integrated across model organisms, tissues, and cell‐lines
  Wang, Mingcong ; Herrmann, Christina J. ; Simonovic, Milan ; Szklarczyk, Damian ; Mering, Christian ˜vonœ
• Modeling the incidence and death rates of COVID-19 pandemic in different regions of the world
  de Oliveira, Ricardo Puziol ; Achcar, Jorge Alberto ; Nunes, Altacílio Aparecido
• A robot that counts like a child: a developmental model of counting and pointing
  Pecyna, Leszek ; Cangelosi, Angelo ; Di Nuovo, Alessandro
• A generalized model for accurate wheat spike detection and counting in complex scenarios
  Wen, Changji ; Ma, Zhenyu ; Ren, Junfeng ; Zhang, Tian ; Zhang, Long ; Chen, Hongrui ; Su, Hengqiang ; Yang, Ce ; Chen, Hongbing ; Guo, Wei
• Counting $$U(N)^{\otimes r}\otimes O(N)^{\otimes q}$$ U ( N ) ⊗ r ⊗ O ( N ) ⊗ q invariants and tensor model observables
  Avohou, Remi Cocou ; Ben Geloun, Joseph ; Toriumi, Reiko
• Noise suppression in photon-counting computed tomography using unsupervised Poisson flow generative models
  Hein, Dennis ; Holmin, Staffan ; Szczykutowicz, Timothy ; Maltz, Jonathan S. ; Danielsson, Mats ; Wang, Ge ; Persson, Mats
• Bayes Inference Problems in Failure-Repair Processes
  Franz, Jürgen ; Abdel-Aty, Yahia
• Modeling the acquisition of counting with an associative network
  Ma, Q. ; Hirai, Y.
• Statistical models based on counting processes
  Andersen, Per Kragh 1993 Springer
• LDC-PP-YOLOE: a lightweight model for detecting and counting citrus fruit
  Lv, Yibo ; Lu, Shenglian ; Liu, Xiaoyu ; Bao, Jiangchuan ; Liu, Binghao ; Chen, Ming ; Li, Guo
• A general Seeds-Counting pipeline using deep-learning model
  Pun, Zeonlung ; Tian, Xinyu ; Gao, Shan
• ANN-based traffic planning model using adaptive YOLOv5-aided object counting from surveillance videos
  Kannadasan, B. ; Yogeswari, K.
• Artificial intelligence model for automated surgical instrument detection and counting: an experimental proof-of-concept study
  Deol, Ekamjit S. ; Henning, Grant ; Basourakos, Spyridon ; Vasdev, Ranveer M. S. ; Sharma, Vidit ; Kavoussi, Nicholas L. ; Karnes, R. Jeffrey ; Leibovich, Bradley C. ; Boorjian, Stephen A. ; Khanna, Abhinav
• A general family of counting distributions suitable for modeling cluster phenomena
  Caers, Jef
• Pole and quark-counting model for form factors of light nuclei
  Dumbrajs, Olgert ; Staszel, Magdalena