Results 211 to 220 of about 10,494 (264)
From Ambiguous Queries to Verifiable Insights: A Task‐Driven Framework for LLM‐Powered SOC Analysis⋆
ABSTRACT Security operations centre (SOC) analysts must investigate alerts, correlate threat intelligence and interpret heterogeneous telemetry under tight timing constraints. Although large language models (LLMs) offer strong understanding capabilities, directly applying them to SOC environments remains challenging due to semantic ambiguity in analyst
Huan Zhang +5 more
wiley +1 more source
Dynamic guidance control for UAV landing on autonomous surface vessel. [PDF]
Lin CY, Tseng YC, Yao WS.
europepmc +1 more source
The Information Dynamics of Generative Diffusion. [PDF]
Stančević D, Ambrogioni L.
europepmc +1 more source
Decentralized Reinforcement Learning for Asymmetric Gene Network Interventions. [PDF]
Hosseini SH, Imani M.
europepmc +1 more source
Reinsurance-investment game between two α-maxmin mean-variance insurers. [PDF]
Zhang Q, Zhou G, Fu J.
europepmc +1 more source
Heterogeneous responsiveness to environmental stimuli. [PDF]
Cavailles J, Kuzmics C, Grube M.
europepmc +1 more source
Decision, Inference, and Information: Formal Equivalences Under Active Inference. [PDF]
Sweeney P, Ruiz-Serra J, Harré MS.
europepmc +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Acta Informatica, 2007
This paper introduces a temporal logic, referred to as stochastic game logic (SGL), for finite-state probabilistic turn-based multi-player games. The logic is a probabilistic variant of alternating-time temporal logic (ATL) and incorporates elements of probabilistic computation tree logic (PCTL) as well as the possibility to describe path properties by
Christel Baier +3 more
openaire +2 more sources
This paper introduces a temporal logic, referred to as stochastic game logic (SGL), for finite-state probabilistic turn-based multi-player games. The logic is a probabilistic variant of alternating-time temporal logic (ATL) and incorporates elements of probabilistic computation tree logic (PCTL) as well as the possibility to describe path properties by
Christel Baier +3 more
openaire +2 more sources

