Suchergebnisse - coding (Algorithmsssssics OR algorithm)

The FormAI Dataset: Generative AI in Software Security Through the Lens of Formal Verification von Tihanyi, Norbert, Bisztray, Tamas, Jain, Ridhi, Ferrag, Mohamed Amine, Cordeiro, Lucas C., Mavroeidis, Vasileios

Inhaltsangabe: “… string manipulation. Every program is labeled with the vulnerabilities found within the source code …”
Volltext

Two-dimensional coherent spectrum of high-spin models via a quantum computing approach von Mootz, Martin, Orth, Peter P., Huang, Chuankun, Luo, Liang, Wang, Jigang, Yao, Yong-Xin

Inhaltsangabe: “… quantum dynamics simulation (AVQDS) algorithm for the study due to its compact circuits, which enables …”
Volltext

Deep learning in motion deblurring: current status, benchmarks and future prospects von Xiang, Yawen, Zhou, Heng, Li, Chengyang, Sun, Fangwei, Li, Zhongbo, Xie, Yongqiang

Inhaltsangabe: “… the shortcomings of traditional non-blind deblurring algorithms, emphasizing the advantages of employing deep …”
Volltext

Automating Unrealizability Logic: Hoare-Style Proof Synthesis for Infinite Sets of Programs von Nagy, Shaan, Kim, Jinwoo, Reps, Thomas, D'Antoni, Loris

Inhaltsangabe: “… to be useful in program synthesis, as well as in verification of dynamically loaded code, concurrent code …”
Volltext

Spatially parallel decoding for multi-qubit lattice surgery von Lin, Sophia Fuhui, Peterson, Eric C., Sankar, Krishanu, Sivarajah, Prasahnt

Inhaltsangabe: “… Running quantum algorithms protected by quantum error correction requires a real time, classical …”
Volltext

DHNet: A Distributed Network Architecture for Smart Home von Zhou, Chaoqi, Duan, Jingpu, Xiao, YuPeng, Li, Qing, Chen, Dingding, Zheng, Ruobin, Liu, Shaoteng

Inhaltsangabe: “… , and designs an algorithm for clustering networking and communication based on vector routing. Communication …”
Volltext

NOISe: Nuclei-Aware Osteoclast Instance Segmentation for Mouse-to-Human Domain Transfer von Manne, Sai Kumar Reddy, Martin, Brendan, Roy, Tyler, Neilson, Ryan, Peters, Rebecca, Chillara, Meghana, Lary, Christine W., Motyl, Katherine J., Wan, Michael

Inhaltsangabe: “… process. Furthermore, none of the prior, fully automated algorithms have publicly available code …”
Volltext

"Turing Tests" For An AI Scientist von Yin, Xiaoxin

Inhaltsangabe: “… While LLMs have shown impressive capabilities in solving math or coding problems, the ability …”
Volltext

Explaining the Contributing Factors for Vulnerability Detection in Machine Learning von Mouine, Esma, Liu, Yan, Xiao, Lu, Kazman, Rick, Wang, Xiao

Inhaltsangabe: “… in this area, including source code static analysis, software repository mining, and NLP-based machine learning …”
Volltext

Chemputer and Chemputation -- A Universal Chemical Compound Synthesis Machine von Cronin, Leroy, Pagel, Sebastian, Sharma, Abhishek

Inhaltsangabe: “… Chemputation reframes synthesis as the programmable execution of reaction code on a universally re …”
Volltext

Depth from Coupled Optical Differentiation von Luo, Junjie, Liu, Yuxuan, Alexander, Emma, Guo, Qi

Inhaltsangabe: “… robust to noise. Furthermore, unlike many previous DfD algorithms with requirements on aperture code …”
Volltext

Exact Byte-Level Probabilities from Tokenized Language Models for FIM-Tasks and Model Ensembles von Phan, Buu, Amos, Brandon, Gat, Itai, Havasi, Marton, Muckley, Matthew, Ullrich, Karen

Inhaltsangabe: “… equivalent byte-level distribution. From this result, we develop a next-byte sampling algorithm …”
Volltext

An LLM Agent for Automatic Geospatial Data Analysis von Chen, Yuxing, Wang, Weijie, Lobry, Sylvain, Kurtz, Camille

Inhaltsangabe: “… Large language models (LLMs) are being used in data science code generation tasks, but they often …”
Volltext

Evaluating ChatGPT-3.5 Efficiency in Solving Coding Problems of Different Complexity Levels: An Empirical Analysis von Li, Minda, Krishnamachari, Bhaskar

Inhaltsangabe: “… model on LeetCode, a popular platform with algorithmic coding challenges for technical interview …”
Volltext

SymphonyQG: Towards Symphonious Integration of Quantization and Graph for Approximate Nearest Neighbor Search von Gou, Yutong, Gao, Jianyang, Xu, Yuexuan, Long, Cheng

Inhaltsangabe: “… of applications. Among existing ANN algorithms, graph-based methods have shown superior performance in terms …”
Volltext

Tulu 3: Pushing Frontiers in Open Language Model Post-Training von Lambert, Nathan, Morrison, Jacob, Pyatkin, Valentina, Huang, Shengyi, Ivison, Hamish, Brahman, Faeze, Miranda, Lester James V., Liu, Alisa, Dziri, Nouha, Lyu, Shane, Gu, Yuling, Malik, Saumya, Graf, Victoria, Hwang, Jena D., Yang, Jiangjiang, Bras, Ronan Le, Tafjord, Oyvind, Wilhelm, Chris, Soldaini, Luca, Smith, Noah A., Wang, Yizhong, Dasigi, Pradeep, Hajishirzi, Hannaneh

Inhaltsangabe: “… , a family of fully-open state-of-the-art post-trained models, alongside its data, code, and training …”
Volltext

Joint Detection and Decoding: A Graph Neural Network Approach von Clausius, Jannis, Rübenacke, Marvin, Tandler, Daniel, Brink, Stephan ten

Inhaltsangabe: “… of the parity-check matrix (PCM) of the channel code, sharing the variable nodes (VNs). A particularly …”
Volltext

Coded Deep Learning: Framework and Algorithm von Yang, En-hui, Hamidi, Shayan Mohajer

Inhaltsangabe: “… . To alleviate these issues, this paper introduces a new framework dubbed ``coded deep learning'' (CDL), which …”
Volltext

Implicit Generative Modeling by Kernel Similarity Matching von Choudhary, Shubham, Masset, Paul, Ba, Demba

Inhaltsangabe: “… . Starting with a modified sparse coding objective for learning representations proposed in prior work, we …”
Volltext

Image Coding for Machines via Feature-Preserving Rate-Distortion Optimization von Fernández-Menduiña, Samuel, Pavez, Eduardo, Ortega, Antonio

Inhaltsangabe: “… Many images and videos are primarily processed by computer vision algorithms, involving only …”
Volltext