Search Results - coding (algorithmssicssics OR (algorithm OR (algorithm OR algorithm)))

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

Table of Contents: “…. This is possible even without source code access. We then use an efficient algorithm to match these observations…”
Get full text

Generative AI for fast and accurate statistical computation of fluids by 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

Table of Contents: “…We present a generative AI algorithm for addressing the pressing task of fast, accurate, and robust…”
Get full text

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

Table of Contents: “… these challenges, we develop an effective algorithm called SeqRFM, which combines sequential pattern mining…”
Get full text

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

Table of Contents: “… provide in an Appendix, a Python code implementing our algorithm.) To develop this algorithm, we show…”
Get full text

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

Table of Contents: “…. This formalization, based on the algorithm of Baader et al., has been transformed into executable OCaml code using…”
Get full text

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

Table of Contents: “…}$ and leaves open theoretical and algorithmic questions about applying SB methods to discrete data, e.g…”
Get full text

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

Table of Contents: “…, such as solving math and coding problems. However, applying these methods to scenarios without ground-truth…”
Get full text

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

Table of Contents: “… implementation code is simplified and publicly available at https://github.com/ShawxingKwok/Kwok-algorithm…”
Get full text

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

Table of Contents: “…In this paper, we propose the InfoFusion Controller, an advanced path planning algorithm…”
Get full text

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

Table of Contents: “…-)supermodular) structures of the objective functions to develop efficient greedy-based algorithms…”
Get full text

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

Table of Contents: “…, codes, Shannon information theory, computability theory, the universal Turing machine, the Halting…”
Get full text

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

Table of Contents: “… decision-making. Understanding their algorithmic reasoning abilities is therefore crucial. However, we lack…”
Get full text

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

Table of Contents: “… of image transmission, where joint source-channel coding (JSCC)-based neural network (NN) modules…”
Get full text

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

Table of Contents: “… using knowledge from known attacks. To this end, we develop algorithms to maximize the number…”
Get full text

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

Table of Contents: “… of how to account for the presence of an external field in the surface current algorithm are explicitly…”
Get full text

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

Table of Contents: “… learning algorithms presents challenges for developers in understanding decision-making processes…”
Get full text

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

Table of Contents: “… attempted to mitigate this issue through algorithmic corrections or engineering alignments, we show that its…”
Get full text

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

Table of Contents: “… to describe the clusters production when applied to the transport codes. The new library was applied…”
Get full text

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

Table of Contents: “…. The platform supports a flexible algorithm testing and validation environment, allowing researchers…”
Get full text

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

Table of Contents: “…<p>This is the implementation of the algorithm presented in the paper <em>Optimization…”
Get full text