Results 91 to 100 of about 1,057,123 (303)

VERIFICATION IN CONTRACTS WITH RANDOM CHANGES IN QUALITY [PDF]

Many goods and services are subject to random changes in quality during the time between sale and delivery, resulting in markets characterized by lemons-market equilibria.
Dimitri, Carolyn, Lichtenberg, Erik
core  

Is identity per se irrelevant? A contrarian view of self-verification effects

, 2008
Self-verification theory (SVT) posits that people who hold negative self-views, such as depressive patients, ironically strive to verify that these self-views are correct, by actively seeking out critical feedback or interaction partners who evaluate ...
Gregg, Aiden P.
core   +1 more source

Organizing the interface—Plasma membrane architecture and receptor dynamics in virus‐cell interactions

FEBS Letters, EarlyView.
Plasma membranes contain dynamic nanoscale domains that organize lipids and receptors. Because viruses operate at similar scales, this architecture shapes early infection steps, including attachment, receptor engagement, and entry. Using influenza A virus and HIV‐1 as examples, we highlight how receptor nanoclusters, multivalent glycan interactions ...
Jan Schlegel, Christian Sieben
wiley   +1 more source

Constraint-Based Contract Inference for Deductive Verification

, 2020
Assertion-based software model checking refers to techniques that take a program annotated with logical assertions and statically verify that the assertions hold whenever program execution is at the corresponding control point.
Lidström, Christian,, Christian Lidström, Philipp Rümmer, Rümmer, P., Anoud Alshnakat, Gurov, Dilian,, Alshnakat, Anoud,, Dilian Gurov   +7 more
core   +1 more source

Knowledge modeling for specifications and verification in areal surface texture [PDF]

, 2012
The 25178 series of standards in areal surface texture covers terms and definitions for specification and verification operators and is being developed by work group (WG) 16 in the International Standards Organization (ISO) TC 213.
Qi, Qunfen, Jiang, Xiangqian, Jiang, Xiang, Scott, Paul J.   +3 more
core   +1 more source

A fault state detection method for DC charging pile charging module based on minimum fourth-order moments adaptive filtering algorithm

Journal of Radiation Research and Applied Sciences
It is necessary to accurately judge the fault state of the charging module of DC charging pile in order to ensure the safe and reliable operation of DC charging pile.
Yongmin Zhang, Jihua Bao, Jingjing Li, Yongmei Cai, Wenjin Yu, Yinshan Guo, Feng Xu   +6 more
doaj   +1 more source

Residual tail twisting in ascidian larvae is stabilized by asymmetric myofibrils that resist bilateral symmetry restoration

FEBS Letters, EarlyView.
Ascidian Ciona larvae initially show strong clockwise tail twisting, which is largely corrected during development. However, a small residual twist remains. This study shows that organized helical myofibrils in tail muscles mechanically stabilize this residual asymmetry, preventing complete restoration of bilateral symmetry and revealing how embryos ...
Yuki S. Kogure, Misaki K. Nishio, Satoru Okuda, Kohji Hotta   +3 more
wiley   +1 more source

Degradation mechanism of the von Willebrand factor A2 domain by nattokinase

FEBS Letters, EarlyView.
Nattokinase, a natto‐derived protease, exhibits potent antithrombotic effects. This study demonstrates that nattokinase directly cleaves the von Willebrand factor (vWF) A2 domain in vitro. Unlike the native regulator ADAMTS13, nattokinase degrades folded vWF independently of shear stress.
Ryuichi Hyakumoto, Masatomo So, Ayako Furukawa, Kenji Sugase   +3 more
wiley   +1 more source

Bridging CNNs and transformers: a mamba-based detection framework for intelligent traffic scenarios

Complex & Intelligent Systems
UAV object detection in intelligent transportation systems suffers from extreme scale variation, complex background confusion, and resource constraints of optical sensing applications. We present CY-DETR, a lightweight detection transformer framework for
Gaofeng Xu, Zhengcai Wang
doaj   +1 more source

Simplification Method for Contradiction Separation Clause in First-order Logic AutomatedTheorem Prover CSE [PDF]

Jisuanji kexue
First-order logic automated theorem proving has the capacity to resolve a multitude of practical problems after formalization,and thus holds considerable practical value.As an advancement in automated theorem proving,contradiction separation deduction ...
WU Xin, CHEN Shuwei, JIANG Shipan
doaj   +1 more source