Results 81 to 90 of about 4,197,782 (360)
FEBS Letters, EarlyView.Interaction extracellular vesicles (iEVs) are hybrid vesicles formed through host‐pathogen communication. They facilitate immune evasion, transfer pathogens' molecules, increase host cell uptake, and enhance virulence. This Perspective article illustrates the multifunctional roles of iEVs and highlights their emerging relevance in infection dynamics ...
Bruna Sabatke +2 more
wiley +1 more source
Zhongguo yiliao qixie zazhiPoint-of-care testing (POCT), as an emerging diagnostic technology, is gradually becoming an important part of the clinical diagnostic field due to its advantages, such as ease of operation, rapid response, and portability.
You ZHOU, Xin LIU
doaj +1 more source
On Formal Specification of Emergent Behaviours in Swarm Robotic Systems
International Journal of Advanced Robotic Systems, 2005 It is a characteristic of swarm robotics that specifying overall emergent swarm behaviours in terms of the low-level behaviours of individual robots is very difficult.
Alan FT Winfield +4 more
doaj +1 more source
, 2008 This document is part of a digital collection provided by the Martin P. Catherwood Library, ILR School, Cornell University, pertaining to the effects of globalization on the workplace worldwide.
International Cocoa Verification Board +1 more
core +1 more source
Incremental verification and synthesis of discrete-event systems guided by counter-examples [PDF]
, 2004 This article presents new approaches to system verification and synthesis based on subsystem verification and the novel combined use of counterexamples and heuristics to identify suitable subsystems incrementally.
Brandin, Bertil A. +2 more
core +2 more sources
On the Verification of Finite Failure
Journal of Computer and System Sciences, 1999 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
GORI, ROBERTA, G. LEVI
openaire +4 more sources
On the complexity of rational verification
Annals of Mathematics and Artificial Intelligence, 2022 AbstractRational verification refers to the problem of checking which temporal logic properties hold of a concurrent/multiagent system, under the assumption that agents in the system choose strategies that form a game theoretic equilibrium. Rational verification can be understood as a counterpart to model checking for multiagent systems, but while ...
Julian Gutierrez +3 more
openaire +2 more sources
FEBS Letters, EarlyView.B cells sense external mechanical forces and convert them into biochemical signals through mechanotransduction. Understanding how malignant B cells respond to physical stimuli represents a groundbreaking area of research. This review examines the key mechano‐related molecules and pathways in B lymphocytes, highlights the most relevant techniques to ...
Marta Sampietro +2 more
wiley +1 more source
Quality Inspection and Problem Analysis of Satellite Image Data in Land Use Survey [PDF]
The International Archives of the Photogrammetry, Remote Sensing and Spatial Information SciencesIn order to improve the data quality of land use remote sensing monitoring images, this article introduces the process of generating satellite image data, elaborates on the content of satellite image data verification in land use remote sensing ...
S. Dong +9 more
doaj +1 more source
Likelihood-Ratio-Based Biometric Verification [PDF]
, 2004 The paper presents results on optimal similarity measures for biometric verification based on fixed-length feature vectors. First, we show that the verification of a single user is equivalent to the detection problem, which implies that, for single-user ...
Bazen, Asker M., Veldhuis, Raymond N.J.
core +4 more sources