Results 61 to 70 of about 30,718 (224)

Verifying environmental relationships [PDF]

Memory & Cognition, 1980
In two experiments, subjects first learned the locations of objects in a 21 x 21 ft room and then were timed as they verified, from memory, statements about the spatial relationships of the objects to certain features (e.g., the outside walls, the center of the room, subdividing partitions).
R C, Sherman, C, Oliver, W, Titus
openaire   +2 more sources

A Leaf‐Inspired Janus‐Structured Triboelectric‐Moisture Hybrid Energy Harvester

Advanced Energy Materials, EarlyView.
This study proposes a bioinspired Janus structured energy‐leaf with hybrid triboelectric‐moisture hybrid energy harvesters. This hybrid energy harvester is demonstrated in an intelligent emergency system for effective distress signaling and evacuation guiding during potential crises.
Liang Wei, Rui Gu, Yixuan Fu, Ziwei Huo, Chao Liu, Jiahong Yang, Siqi Sun, Yang Liu, Qijun Sun, Dong‐Hwan Kim, Zhong Lin Wang   +10 more
wiley   +1 more source

A constructive modal semantics for contextual verification [PDF]

, 2009
This paper introduces a non-standard semantics for a modal version of constructive KT for contextual (assumptions-based) verification. The modal fragment expresses verifiability under extensions of contexts, enjoying adapted validity and (weak ...
Primiero, Giuseppe
core   +1 more source

Profound effect of profiling platform and normalization strategy on detection of differentially expressed microRNAs [PDF]

, 2012
Adequate normalization minimizes the effects of systematic technical variations and is a prerequisite for getting meaningful biological changes. However, there is inconsistency about miRNA normalization performances and recommendations.
Kaiser, Sebastian, Meyer, Swanhild U., Pfaffl, Michael W., Thirion, Christian, Wagner, Carola   +4 more
core   +1 more source

Smart Exploration of Perovskite Photovoltaics: From AI Driven Discovery to Autonomous Laboratories

Advanced Energy Materials, EarlyView.
In this review, we summarize the fundamentals of AI in automated materials science, and review AI applications in perovskite solar cells. Then, we sum up recent progress in AI‐guided manufacturing optimization, and highlight AI‐driven high‐throughput and autonomous laboratories.
Wenning Chen, Zheyu Zhang, Kelvian T. Mularso, Bonghyun Jo, Hyun Suk Jung   +4 more
wiley   +1 more source

Who Verifies the Verifiers?

IACR Communications in Cryptology
Computer-aided cryptography, with particular emphasis on formal verification, promises an interesting avenue to establish strong guarantees about cryptographic primitives. The appeal of formal verification is to replace the error-prone pen-and-paper proofs with a proof that was checked by a computer and, therefore, does not need to be ...
Sabine Oechsner, Vitor Pereira, Peter Scholl   +2 more
openaire   +2 more sources

Deciphering Intricacies in Directional CO2 Conversion From Electrolysis to CO2 Batteries

Advanced Energy Materials, EarlyView.
This review will delve into the inherent connections and distinctions of CO2‐directed conversion in ECO2RR and CO2 batteries, in terms of product types, catalyst selection, catalytic mechanisms, and electrochemical performances, while proposing a benchmarking framework for the evaluation of CO2 batteries and innovative CO2 battery configurations for ...
Changfan Xu, Huaping Zhao, Lizhuang Chen, Weidong Shi, Guosheng Shao, Yong Lei   +5 more
wiley   +1 more source

Cost of Enforcement in Developing Countries with Credit Market Imperfection [PDF]

This paper examines development processes of a country when the degree of verifiability is endogenously determined. We characterize the development processes rigorously and show that although the efforts for improving of verifiability are important, the ...
Munetomo Ando, Noriyuki Yanagawa
core   +3 more sources

Mathematical Logic Model for Analysing the Controllability of Mining Equipment

Mathematics
The issues of the evaluation and prediction of the reliability and testability of mining machinery and equipment are becoming particularly relevant, since the safety of technological processes and human life is reaching a new level of realisation due to ...
Pavel V. Shishkin, Boris V. Malozyomov, Nikita V. Martyushev, Svetlana N. Sorokova, Egor A. Efremenkov, Denis V. Valuev, Mengxu Qi   +6 more
doaj   +1 more source

Review and Critique of the Book “Logical Philosophy” [PDF]

پژوهش‌نامۀ انتقادی متون و برنامه‌های علوم انسانی, 2017
The logical positivism was the name of radical empiricism that was formed in Viena  by the inspiration of persons like Hume, Russell, Witgenstein and others in 1920 and then entered into England by Ayer via  his The language, True and Logic book.The main
Mohammad shokry
doaj