Suchergebnisse - coding ((algorithmics OR (algorithm OR algorithm)) OR (algorithm OR Algorithmssics))

SpecMon: Modular Black-Box Runtime Monitoring of Security Protocols von Morio, Kevin, Künnemann, Robert

Inhaltsangabe: “… . This is possible even without source code access. We then use an efficient algorithm to match these observations …”
Volltext

Generative AI for fast and accurate statistical computation of fluids von Molinaro, Roberto, Lanthaler, Samuel, Raonić, Bogdan, Rohner, Tobias, Armegioiu, Victor, Simonis, Stephan, Grund, Dana, Ramic, Yannick, Wan, Zhong Yi, Sha, Fei, Mishra, Siddhartha, Zepeda-Núñez, Leonardo

Inhaltsangabe: “… We present a generative AI algorithm for addressing the pressing task of fast, accurate, and robust …”
Volltext

SeqRFM: Fast RFM Analysis in Sequence Data von Zheng, Yanxin, Gan, Wensheng, Chen, Zefeng, Zhou, Pinlyu, Fournier-Viger, Philippe

Inhaltsangabe: “… these challenges, we develop an effective algorithm called SeqRFM, which combines sequential pattern mining …”
Volltext

Constructing strictly sign regular matrices of all sizes and sign patterns von Choudhury, Projesh Nath, Yadav, Shivangi

Inhaltsangabe: “… provide in an Appendix, a Python code implementing our algorithm.) To develop this algorithm, we show …”
Volltext

VEL: A Formally Verified Reasoner for OWL2 EL Profile von Ileri, Atalay Mert, Rangarajan, Nalen, Cannell, Jack, McGinty, Hande

Inhaltsangabe: “… . This formalization, based on the algorithm of Baader et al., has been transformed into executable OCaml code using …”
Volltext

Categorical Schrödinger Bridge Matching von Ksenofontov, Grigoriy, Korotin, Alexander

Inhaltsangabe: “… }$ and leaves open theoretical and algorithmic questions about applying SB methods to discrete data, e.g …”
Volltext

Hypothesis-Driven Theory-of-Mind Reasoning for Large Language Models von Kim, Hyunwoo, Sclar, Melanie, Zhi-Xuan, Tan, Ying, Lance, Levine, Sydney, Liu, Yang, Tenenbaum, Joshua B., Choi, Yejin

Inhaltsangabe: “… , such as solving math and coding problems. However, applying these methods to scenarios without ground-truth …”
Volltext

A Faster Algorithm for Maximum Weight Matching on Unrestricted Bipartite Graphs von Kwok, Shawxing

Inhaltsangabe: “… implementation code is simplified and publicly available at https://github.com/ShawxingKwok/Kwok-algorithm …”
Volltext

InfoFusion Controller: Informed TRRT Star with Mutual Information based on Fusion of Pure Pursuit and MPC for Enhanced Path Planning von Choi, Seongjun, Kim, Youngbum, Kim, Nam Woo, Shin, Mansun, Chae, Byunggi, Lee, Sungjin

Inhaltsangabe: “… In this paper, we propose the InfoFusion Controller, an advanced path planning algorithm …”
Volltext

Information-theoretic coordinate subset and partition selection of multivariate Markov chains via submodular optimization von Lai, Zheyuan, Choi, Michael C. H.

Inhaltsangabe: “… -)supermodular) structures of the objective functions to develop efficient greedy-based algorithms …”
Volltext

Lecture Notes on Algorithmic Information Theory von Bédard, Charles Alexandre

Inhaltsangabe: “… , codes, Shannon information theory, computability theory, the universal Turing machine, the Halting …”
Volltext

Can LLMs Reason Structurally? Benchmarking via the Lens of Data Structures von He, Yu, Li, Yingxi, White, Colin, Vitercik, Ellen

Inhaltsangabe: “… decision-making. Understanding their algorithmic reasoning abilities is therefore crucial. However, we lack …”
Volltext

Feature Reconstruction Aided Federated Learning for Image Semantic Communication von Huh, Yoon, Kim, Bumjun, Choi, Wan

Inhaltsangabe: “… of image transmission, where joint source-channel coding (JSCC)-based neural network (NN) modules …”
Volltext

Developing a Transferable Federated Network Intrusion Detection System von Jameel, Abu Shafin Mohammad Mahdee, Ghosh, Shreya, Gamal, Aly El

Inhaltsangabe: “… using knowledge from known attacks. To this end, we develop algorithms to maximize the number …”
Volltext

Surface Current Optimization and Coil-Cutting Algorithms for Stage-Two Stellarator Optimization von Panici, Dario, Conlin, Rory, Gaur, Rahul, Dudt, Daniel W., Elmacioglu, Yigit Gunsur, Landreman, Matt, Elder, Todd, Snir, Nadav, Gissis, Itay, Nikulshin, Yasha, Kolemen, Egemen

Inhaltsangabe: “… of how to account for the presence of an external field in the surface current algorithm are explicitly …”
Volltext

Beyond Interpretability: Exploring the Comprehensibility of Adaptive Video Streaming through Large Language Models von Jia, Lianchen, Li, Chaoyang, Yuan, Ziqi, Chen, Jiahui, Huang, Tianchi, Liu, Jiangchuan, Sun, Lifeng

Inhaltsangabe: “… learning algorithms presents challenges for developers in understanding decision-making processes …”
Volltext

Defeating the Training-Inference Mismatch via FP16 von Qi, Penghui, Liu, Zichen, Zhou, Xiangxin, Pang, Tianyu, Du, Chao, Lee, Wee Sun, Lin, Min

Inhaltsangabe: “… attempted to mitigate this issue through algorithmic corrections or engineering alignments, we show that its …”
Volltext

Modifications in clusterization procedures for heavy-ion collisions: minimum spanning tree, simulated annealing, coalescence von Kireyeu, Viktar

Inhaltsangabe: “… to describe the clusters production when applied to the transport codes. The new library was applied …”
Volltext

MonoSIM: An open source SIL framework for Ackermann Vehicular Systems with Monocular Vision von Rahman, Shantanu, Hasin, Nayeb, Islam, Mainul, Rony, Md. Zubair Alom, Sarowar, Golam

Inhaltsangabe: “… . The platform supports a flexible algorithm testing and validation environment, allowing researchers …”
Volltext

Optimization and Synthesis of Quantum Circuits with Global Gates von Villoria Gonzalez, Alejandro, Basold, Henning, Laarman, Alfons

Inhaltsangabe: “… <p>This is the implementation of the algorithm presented in the paper <em>Optimization …”
Volltext