Tootfinder

Evaluating Explainability: A Framework for Systematic Assessment and Reporting of Explainable AI Features
Miguel A. Lago, Ghada Zamzmi, Brandon Eich, Jana G. Delfino
https://arxiv.org/abs/2506.13917

Evaluating Explainability: A Framework for Systematic Assessment and Reporting of Explainable AI Features
Explainability features are intended to provide insight into the internal mechanisms of an AI device, but there is a lack of evaluation techniques for assessing the quality of provided explanations. We propose a framework to assess and report explainable AI features. Our evaluation framework for AI explainability is based on four criteria: 1) Consistency quantifies the variability of explanations to similar inputs, 2) Plausibility estimates how close the explanation is to the ground truth, 3) F…

StacKAT: Infinite State Network Verification
Jules Jacobs, Nate Foster, Tobias Kapp\'e, Dexter Kozen, Lily Saada, Alexandra Silva, Jana Wagemaker
https://arxiv.org/abs/2506.13383

StacKAT: Infinite State Network Verification
We develop StacKAT, a network verification language featuring loops, finite state variables, nondeterminism, and - most importantly - access to a stack with accompanying push and pop operations. By viewing the variables and stack as the (parsed) headers and (to-be-parsed) contents of a network packet, StacKAT can express a wide range of network behaviors including parsing, source routing, and telemetry. These behaviors are difficult or impossible to model using existing languages like NetKAT. W…

Real-Time Agile Software Management for Edge and Fog Computing Based Smart City Infrastructure
Debasish Jana, Pinakpani Pal, Pawan Kumar
https://arxiv.org/abs/2506.12616

Real-Time Agile Software Management for Edge and Fog Computing Based Smart City Infrastructure
The evolution of smart cities demands scalable, secure, and energy-efficient architectures for real-time data processing. With the number of IoT devices expected to exceed 40 billion by 2030, traditional cloud-based systems are increasingly constrained by bandwidth, latency, and energy limitations. This paper leverages the ROOF (Real-time Onsite Operations Facilitation) framework with decentralized computing at intermediary fog and peripheral edge network layers to reduce latency by processing …

A Procedural Framework for Assessing the Desirability of Process Deviations
Michael Grohs, Nadine Cordes, Jana-Rebecca Rehse
https://arxiv.org/abs/2506.11525

A Procedural Framework for Assessing the Desirability of Process Deviations
Conformance checking techniques help process analysts to identify where and how process executions deviate from a process model. However, they cannot determine the desirability of these deviations, i.e., whether they are problematic, acceptable or even beneficial for the process. Such desirability assessments are crucial to derive actions, but process analysts typically conduct them in a manual, ad-hoc way, which can be time-consuming, subjective, and irreplicable. To address this problem, this…

Auch dieses Jahr streamen wir alle Runden der #dem25 live über https://twitch.tv/schachjugend
Jede Runde wird euch Katharina Reinecke durch den Stream begleiten. Dabei erfährt Sie Unterstützung von wec…

A Hybrid Approach to Indoor Social Navigation: Integrating Reactive Local Planning and Proactive Global Planning
Arnab Debnath, Gregory J. Stein, Jana Kosecka
https://arxiv.org/abs/2506.02593

A Hybrid Approach to Indoor Social Navigation: Integrating Reactive Local Planning and Proactive Global Planning
We consider the problem of indoor building-scale social navigation, where the robot must reach a point goal as quickly as possible without colliding with humans who are freely moving around. Factors such as varying crowd densities, unpredictable human behavior, and the constraints of indoor spaces add significant complexity to the navigation task, necessitating a more advanced approach. We propose a modular navigation framework that leverages the strengths of both classical methods and deep rei…

Facts are Harder Than Opinions -- A Multilingual, Comparative Analysis of LLM-Based Fact-Checking Reliability
Lorraine Saju, Arnim Bleier, Jana Lasser, Claudia Wagner
https://arxiv.org/abs/2506.03655

Facts are Harder Than Opinions -- A Multilingual, Comparative Analysis of LLM-Based Fact-Checking Reliability
The proliferation of misinformation necessitates scalable, automated fact-checking solutions. Yet, current benchmarks often overlook multilingual and topical diversity. This paper introduces a novel, dynamically extensible data set that includes 61,514 claims in multiple languages and topics, extending existing datasets up to 2024. Through a comprehensive evaluation of five prominent Large Language Models (LLMs), including GPT-4o, GPT-3.5 Turbo, LLaMA 3.1, and Mixtral 8x7B, we identify signific…

Electron and gas temperature-driven chemistry during microdischarges formed in water vapour bubbles
Florens Grimm, Jan-Luca Gembus, Jana Sch\"one, Peter Awakowicz, Lars Sch\"ucke, Andrew R. Gibson
https://arxiv.org/abs/2506.05124

Electron and gas temperature-driven chemistry during microdischarges formed in water vapour bubbles
Microdischarges formed in bubbles immersed in liquids are of interest for materials synthesis and chemical conversion applications in the frame of plasma-driven electrochemistry. A key challenge associated with controlling such processes is the limited understanding of the gas-phase chemical kinetics in these microdischarges. Due to their large electron densities, and high gas temperatures, both electron and gas temperature driven chemistry are likely to be important. Here, a 0-D modelling appr…

A Start To End Machine Learning Approach To Maximize Scientific Throughput From The LCLS-II-HE
Aashwin Mishra, Matt Seaberg, Ryan Roussel, Fred Poitevin, Jana Thayer, Daniel Ratner, Auralee Edelen, Apurva Mehta
https://arxiv.org/abs/2505.23858

A Start To End Machine Learning Approach To Maximize Scientific Throughput From The LCLS-II-HE
With the increasing brightness of Light sources, including the Diffraction-Limited brightness upgrade of APS and the high-repetition-rate upgrade of LCLS, the proposed experiments therein are becoming increasingly complex. For instance, experiments at LCLS-II-HE will require the X-ray beam to be within a fraction of a micron in diameter, with pointing stability of a few nanoradians, at the end of a kilometer-long electron accelerator, a hundred-meter-long undulator section, and tens of meters l…

Selenization of V2O5/WO3 Bilayers for Tuned Optoelectronic Response of WSe2 Films
Abhishek Bajgain, Santu Prasad Jana, Alexander Samokhvalov, Thomas Parker, John Derek Demaree, Ramesh C. Budhani
https://arxiv.org/abs/2505.22800

Selenization of V2O5/WO3 Bilayers for Tuned Optoelectronic Response of WSe2 Films
Scalable and controlled doping of two-dimensional transition metal dichalcogenides is essential for tuning their electronic and optoelectronic properties. In this work, we demonstrate a robust approach for substitution of vanadium in tungsten diselenide (WSe$_2$) via the selenization of pre-deposited V$_2$O$_5$/WO$_3$ thin films. By adjusting the thickness of the vanadium oxide layer, the V concentration in W$_{1-x}$V$_x$Se$_2$ is systematically varied. Electrical measurements on field-effect t…

🇺🇦 #NowPlaying on BBCRadio3's #ThroughTheNight
Leos Janšček, Aleš Bšrta, Andrea Dankova, Jana Sýkorovš, Tomšš Juhšs, Jozef Benci, Prague Philharmonic Choir, Prague Radio Symphony Orchestra & Tomšš Netopil:
🎵 Glagolitic mass
#LeosJanáček #AlešBárta #AndreaDankova