Results 241 to 250 of about 1,076,775 (291)

Hafnium-Based Ferroelectric Diodes for Logic-in-Memory Application. [PDF]

Micromachines (Basel)
Han S, Zhang Y, Wang X, Tong P, Liu C, Zeng Q, Liu J, Huang X, Li Q, Cao R, Wang W.   +10 more
europepmc   +1 more source

Spatially programmable origami networks enable high-density mechanical computing for autonomous robotics. [PDF]

Nat Commun
Hu X, Tan T, Chen Y, Yan Z.
europepmc   +1 more source

MirathQA: A dataset for evaluating large language models on Hanbali Islamic inheritance reasoning tasks. [PDF]

Data Brief
Almasoud A, Al-Ghamdi S, Alqifari R, Alfear N, Al-Khalifa H.   +4 more
europepmc   +1 more source

Beyond Compliance: Understanding the Role of Peer Review Through a Theory of Change. [PDF]

J Eval Clin Pract
Kaehne A, Feather J, Simcock T.
europepmc   +1 more source

Towards Information-Theoretic Security and Privacy in IoT: A Three-Factor AKA Protocol Supporting Forgotten Password Reset. [PDF]

Entropy (Basel)
Yu Y, Wei K, Li H, Zhang K.
europepmc   +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   +2 more sources