Results 301 to 310 of about 1,045,924 (344)

Development of a digital, self-guided return-to-work toolkit for stroke survivors and employers using intervention mapping. [PDF]

PLOS Digit Health
Craven K, Holmes J, Kettlewell J, Radford K.   +3 more
europepmc   +1 more source

AI-powered digital arbitration framework leveraging smart contracts and electronic evidence authentication. [PDF]

Sci Rep
Han P.
europepmc   +1 more source

Quantifying Mental Stress Using Cardiovascular Responses: A Scoping Review. [PDF]

Sensors (Basel)
Ziyadidegan S, Sadeghi N, Razavi M, Baharlouei E, Janfaza V, Kazeminasab S, Pesarakli H, Javid AH, Sasangohar F.   +8 more
europepmc   +1 more source

Distance-based Measures of Inconsistency and Incoherency for Description Logics

, 2010
Yue Ma, Pascal Hitzler
openalex   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Descriptions in mathematical logic

Studia Logica, 1984
If A(x) is a predicate satisfied by exactly one x, then we write Ix.A(x) for that object x. The operator I is called a descriptor. The author reviews the various treatments of descriptors in the literature, pointing out that the problem each treatment faces is ''what to do with Ix.A(x) when \(\exists !xA(x)\) is not (yet) known''. The obvious answer is
Gerard R. Renardel, null de Lavalette
openaire   +3 more sources