Risultati della ricerca - coding (algorithmics OR (algorithm OR (algorithm OR algorithm)))

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

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

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

Sommario: “...We present a generative AI algorithm for addressing the pressing task of fast, accurate, and robust...”
Testo

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

Sommario: “... these challenges, we develop an effective algorithm called SeqRFM, which combines sequential pattern mining...”
Testo

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

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

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

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

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

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

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

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

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

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

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

Sommario: “...In this paper, we propose the InfoFusion Controller, an advanced path planning algorithm...”
Testo

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

Sommario: “...-)supermodular) structures of the objective functions to develop efficient greedy-based algorithms...”
Testo

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

Sommario: “..., codes, Shannon information theory, computability theory, the universal Turing machine, the Halting...”
Testo

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

Sommario: “... decision-making. Understanding their algorithmic reasoning abilities is therefore crucial. However, we lack...”
Testo

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

Sommario: “... of image transmission, where joint source-channel coding (JSCC)-based neural network (NN) modules...”
Testo

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

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

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

Sommario: “... of how to account for the presence of an external field in the surface current algorithm are explicitly...”
Testo

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

Sommario: “... learning algorithms presents challenges for developers in understanding decision-making processes...”
Testo

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

Sommario: “... attempted to mitigate this issue through algorithmic corrections or engineering alignments, we show that its...”
Testo

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

Sommario: “... to describe the clusters production when applied to the transport codes. The new library was applied...”
Testo

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

Sommario: “.... The platform supports a flexible algorithm testing and validation environment, allowing researchers...”
Testo

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

Sommario: “...<p>This is the implementation of the algorithm presented in the paper <em>Optimization...”
Testo