Results 91 to 100 of about 98,931 (301)
Arthritis Care &Research, Accepted Article.Objective To evaluate utility of an artificial intelligence (AI) health coach for systemic sclerosis (SSc) self‐management and identify patterns associated with participant engagement. Methods We conducted a mixed‐methods study in which an AI health coach, powered by a large language model (LLM), was used to support self‐management for SSc.
Nirali Shah +4 more
wiley +1 more source
Equivalence Checking of Sequential Quantum Circuits
, 2021 We define a formal framework for equivalence checking of sequential quantum circuits. The model we adopt is a quantum state machine, which is a natural quantum generalisation of Mealy machines.
Wang, Qisheng +6 more
core +1 more source
Scandinavian Journal of Trauma, Resuscitation and Emergency Medicine, 2019 The aim of this Letter to the Editor was to respond to a comment highlighting potential statistical biases in an analysis of our recently published article. We therefore specified the method for selecting the model variables in order to limit overfitting,
François Javaudin +4 more
doaj +1 more source
Internal Flow Signatures for Self-Checking and Refinement in LLMs
CoRRLarge language models can generate fluent answers that are unfaithful to the provided context, while many safeguards rely on external verification or a separate judge after generation. We introduce \emph{internal flow signatures} that audit decision formation from depthwise dynamics at a fixed inter-block monitoring boundary.
Sungheon Jeong 0001 +5 more
openaire +2 more sources
Advanced Engineering Materials, EarlyView.This article presents the NFDI‐MatWerk Ontology (MWO), a Basic Formal Ontology‐based framework for interoperable research data management in materials science and engineering (MSE). Covering consortium structures, research data management resources, services, and instruments, MWO enables semantic integration, Findable, Accessible, Interoperable, and ...
Hossein Beygi Nasrabadi +4 more
wiley +1 more source
, 2018 Factors associated with adherence to hospital guidelines regarding undernutrition monitoring (first step: Checking prealbumin level), department of internal medicine of the Lausanne university hospital, 2013 and 2014.
Pedro Marques-Vidal (58558) +1 more
core +1 more source
Model-Checking Information Diffusion in Social Networks with PRISM
, 2021 In this paper we present an agent-based approach to formalising information diffusion using Markov models which attempts to account for the internal informational state of the agent and investigate the use of probabilistic model-checking for analysing ...
Marija Slavkovik +3 more
core +1 more source
Виртуальная коммуникация и социальные сетиThe digital era has drastically transformed how people consume and share news. This has led to an unprecedented spread of misinformation that is difficult for the public to identify. While research on journalistic and automated fact-checking is extensive,
Khazova Natalia Antonovna +1 more
doaj +1 more source
Advanced Engineering Materials, EarlyView.New features on yttria‐stabilized zirconia after exposure at 1500°C: Newly discovered pyramidal structures on an old material. After exposure at 1550°C on the cross section of YSZ new features, namely pyramidal structures are discovered. These structures grow with time, increase in numbers, appear as singularities, are often arranged in strings, and ...
Doris Sebold +2 more
wiley +1 more source
Advanced Engineering Materials, EarlyView.A unified research data management framework for heterogeneous materials data is presented. The system integrates multimodal datasets using ontologies and knowledge graphs, enabling interoperability and FAIR (findable, accessible, interoperable, reusable) data principles. By linking data across scales and workflows, it supports reproducible, Artifitial
Doaa Mohamed +6 more
wiley +1 more source