„Programs“

Suchergebnisse

10.000+ Treffer

• FIT4HPC?—Accelerating digital transformation by supercomputing opportunities
  Nikolic, Sanja ; Filipovic, Luka ; Ilijas, Tomi ; Vukotic, Milica
• Quantifying Privacy Risk with Gaussian Mixtures
  Rønneberg, Rasmus C. ; Randone, Francesca ; Pardo, Raúl ; Wąsowski, Andrzej
• A knowledge-based approach for guided development of Infrastructure as Code
  Vasileiou, Zoe ; Kumara, Indika ; Meditskos, Georgios ; Tokmakov, Kamil ; Radolović, Dragan ; Cruz, Jesús Gorroñogoitia ; Nitto, Elisabetta Di ; Tamburri, Damian Andrew ; Heuvel, Willem-Jan Van Den ; Vrochidis, Stefanos
• Prevalence of Tuberculosis among migrants under national screening programs: a systematic review and meta-analysis
  Chen, Qin ; Ren, Ningjun ; Liu, Shengya ; Qian, Zixin ; Li, Mengdie ; Mustapha, Aliyu ; Luo, Wei ; Li, Jinghua ; Wang, Wenxi ; Hao, Chun
• PAF-DETR: enhancing UAV image detection with partial attention and dynamic feature integration
  Lei, Huan ; Ren, Lingfei ; Wu, Ze ; Yang, Wenyuan
• Enhancing privacy and security in IoT: a CoAP protocol analysis and improvement approach
  Cai, Guangying ; Cai, Liujia ; Cui, Xinyue ; Lu, Siqi ; Wang, Yongjuan ; Wang, Xiangyu ; Xue, Haoyuan
• A few-shot detection method for new types of network traffic attacks based on meta-learning with cross-attention
  Shi, Kai ; Ding, Penghao ; Wang, Jinsong
• An efficient NoC-based architecture for convolutional neural networks on multicore systems
  Dehghani, Abbas
• Industrial progress with quantum algorithms: an in-depth review
  Sood, Sandeep Kumar ; Singh, Manmohan ; Bhatia, Munish
• A blockchain-enabled encrypted neural network framework for trust-aware key management and node authentication in Industrial Internet of Things
  Dwivedi, Abhishek ; Agarwal, Ratish ; Yahya, Mohammad ; Alduaiji, Noha ; Shukla, Piyush Kumar
• PCB routing on unstructured meshes with conflict-based search
  Cao, Jianhao ; Cai, Hao ; Xu, Ning
• ABAC policy mining method for heterogeneous access control system
  Siyuan, Shang ; Aodi, Liu ; Xuehui, Du ; Xiaohan, Wang ; Ming, Tan
• Text-to-image person retrieval with implicit relation alignment and contrastive learning
  Shui, Xiangyu ; Zhu, Zhenfang ; Liu, Yun ; Pei, Hongli ; Li, Kefeng ; Zhang, Huaxiang
• Multi-path feature fusion and constrained boundary optimization for open intent detection
  Huang, Jinjie ; Li, Wenhe
• Denotational Semantics for Probabilistic and Concurrent Programs
  Zilberstein, Noam ; Gorla, Daniele ; Silva, Alexandra 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Deciding Termination of Simple Randomized Loops
  Meyer, Éléanore ; Giesl, Jürgen 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Catalytic Computing and Register Programs Beyond Log-Depth
  Alekseev, Yaroslav ; Filmus, Yuval ; Mertz, Ian ; Smal, Alexander ; Vinciguerra, Antoine 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• QuickEn: a data encryption device for high performance storage
  Zhang, Hongke ; Yan, Zheng
• Fuzzy security level metric of hybrid cryptosystem algorithms
  Şimşek, Hakan ; Öncel, Ömer Faruk
• Optimizing inference of segmentation on high-resolution images in MLExchange
  Lu, Shizhao ; Chavez, Tanny ; Koepp, Wiebke ; Hao, Guanhua ; Zwart, Petrus H. ; Hexemer, Alexander