„Programs“

Suchergebnisse

10.000+ Treffer

• An efficient human pose keypoint detection algorithm base on YOLOv8
  Yang, Shengqi ; Liu, Haiying ; Du, Yifeng ; Sun, Tao ; Wang, Chaoqun ; Lin, Fei ; Liu, Lida
• LG-Prefetcher: a prefetcher combining local spatial and global performance information for CXL-SSD
  Li, Shibao ; Wang, Chengzhi ; Yang, Zhou ; Zhang, Yunwu ; Li, Longfei ; Ma, Chenxu ; Cui, Xuerong ; Li, Lianghai ; Liu, Jianhang
• Ddx61-enriched condensates refine heart regeneration programs
  Pronobis, Mira I. ; DeLuca, Sophia ; Lee, Siyun ; Garcia, Lucas ; Ou, Jianhong ; Bursac, Nenad ; Poss, Kenneth D.
• Enhancing explainability in process variant analysis: a framework for detecting and interpreting control-flow changes
  Norouzifar, Ali ; Rafiei, Majid ; Dees, Marcus ; Aalst, Wil ˜van derœ
• Do mindful eating intervention programs improve mindful eating and nutritional status in children?
  Kocaadam-Bozkurt, Betul ; Koksal, Eda
• Comparing a sociological and psychological approach to summer bridge programs: a field experiment
  Dekker, Izaak ; Coninck, Lieve de ; Biwer, Felicitas ; Wenzel, Niklas ; Herpen, Sanne van ; Janssen, Tieme ; Zijlstra, Bonne
• Modeling in Jjodel: towards bridging complexity and usability in model-driven engineering
  Bucchiarone, Antonio ; Rocco, Juri Di ; Vincenzo, Damiano Di ; Pierantonio, Alfonso
• Higher-Order Specifications for Deductive Synthesis of Programs with Pointers (Artifact)
  Young, David ; Yang, Ziyi ; Sergey, Ilya ; Potanin, Alex
• Higher-Order Specifications for Deductive Synthesis of Programs with Pointers
  Young, David ; Yang, Ziyi ; Sergey, Ilya ; Potanin, Alex 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Julian Togelius: Artificial General Intelligence, The MIT Press Essential Knowledge series, 2024, paperback, 230 pages, ISBN:9780262549349
  Mastrocola, Vicente Martin
• Programming Languages and Systems – 23rd Asian Symposium, APLAS 2025, Bengaluru, India, October 27–30, 2025, Proceedings
  Potanin, Alex 2026 Springer Nature Singapore, Imprint: Springer
• Low-latency and energy-efficient FPGA accelerator for sparse neural networks in edge LiDAR-based 3D object detection
  Li, Jinyi ; Chen, Yuchen ; Yang, Xiaofeng ; Hu, Hengrui ; Lu, Shengli
• Hqsan: a hybrid quantum self-attention network for remote sensing image scene classification
  Wang, Ruiqi ; Zhang, Zhongrong ; Shen, Yulin ; Sui, Zhenghao ; Lin, Kang
• Genetic diversity of Tunisian male date palm (Phoenix dactylifera L.) genotypes through morphological traits and ISSR markers: new insights for future breeding programs
  Hachef, Afifa ; Bourguiba, Hedia ; Zarkouna, Rahma ; Cherif, Emira ; Zehdi-Azouzi, Salwa
• SFL-GS: spatio-temporal feature-guided learning for 3D Gaussian segmentation
  Wan, Fang ; Shi, Xianjin ; Li, Tianyu ; Lei, Guangbo ; Xu, Li ; Ye, Zhiwei
• Fault tolerance assessment of exchanged crossed cube based on structure fault pattern
  Li, Xiaowang ; Tian, Lili ; Zhou, Shuming ; Jia, Leyi ; Shi, Zihan
• Integrating a knowledge-based artificial intelligence chatbot into nursing training programs: a comparative quasi-experimental study in Egypt and Saudi Arabia
  Shokr, Eman A.
• Extended Education from an International Comparative Point of View – WERA-IRN Extended Education Conference Volume
  Schüpbach, Marianne ; Lilla, Nanine Yvonne 2019 Springer Fachmedien Wiesbaden
• Verification, Model Checking, and Abstract Interpretation – 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings
  2016 Springer International Publishing
• Applied Software Measurement – Proceedings of the International Workshop on Software Metrics and DASMA Software Metrik Kongress IWSM/MetriKon 2006, 2.-3. November 2006, Hasso-Plattner-Institut Potsdam, Germany
  Abran, Alain ; Bundschuh, Manfred ; Büren, Günter ; Dumke, Reiner R. 2006 Shaker