Results 91 to 100 of about 88,794 (289)

Neighborhood consistency in mental arithmetic: Behavioral and ERP evidence

Behavioral and Brain Functions, 2007
Background Recent cognitive and computational models (e.g. the Interacting Neighbors Model) state that in simple multiplication decade and unit digits of the candidate answers (including the correct result) are represented separately.
Verguts Tom, Ratinckx Elie, Schlesewsky Matthias, Domahs Ulrike, Domahs Frank, Willmes Klaus, Nuerk Hans-Christoph   +6 more
doaj   +1 more source

Salmonella lipopolysaccharide‐containing supported lipid bilayers as platforms to study bacteriophage interactions

FEBS Letters, EarlyView.
We present robust protocols for the preparation of supported lipid bilayers (SLBs) incorporating either Salmonella smooth LPS or outer membrane vesicles (OMVs). We use a combination of quartz crystal microbalance with dissipation (QCM‐D) and fluorescence microscopy to both characterize the SLBs of various compositions and to probe their interactions ...
Hudson P. Pace, Alyssa Borges, Charles Arnaud, Tove Karlsson, Nina K. Bröker, Stefanie Barbirz, Marta Bally   +6 more
wiley   +1 more source

UML Analysis Consistency Verification

, 2007
The UML language is nowadays widely spreaded standard for modelling of software systems. The problem of UML analyses is their inconsistency which is not usually checked by modelling tools.
Šrajer, Michal
core  

Evaluating statistical consistency for the ocean component of earth system models using physics informed convolutional autoencoder

Scientific Reports
Model verification is a crucial step in the development and optimization of Earth system models (ESMs). Recently, a deep learning approach in evaluating statistical consistency for the atmosphere component of ESMs (A-ESM-DCT) has been proven effective in
Yangyang Yu, Shaoqing Zhang, Haohuan Fu, Dexun Chen, Yishuai Jin, Yang Gao, Xiaopei Lin, Zhao Liu, Xiaojing Lv, Yunlong Fei, Kaidi Wang   +10 more
doaj   +1 more source

From mice to humans—divergent strategies for intestinal homeostasis and regeneration

FEBS Letters, EarlyView.
Recent advances such as organoid genome editing, xenotransplantation, imaging, and whole‐genome sequencing have enabled direct studies of human intestinal stem cells (ISCs). These studies reveal species‐specific features, including slower ISC proliferation, distinct injury responses, slower somatic mutation accumulation in humans, and an inverse ...
Keiko Ishikawa, Shinya Sugimoto, Toshiro Sato   +2 more
wiley   +1 more source

Phosphoinositides and inositol phosphates as molecular glues

FEBS Letters, EarlyView.
Inositol phosphates (IPs) and phosphoinositides (PIPs) regulate diverse eukaryotic processes. Beyond recruiting signaling proteins or acting as structural cofactors, recent studies suggest they mediate protein–protein interactions as natural molecular glues.
Aleshia Seaton‐Terry, Alexander J. Cutright, Mong Na Claire Loi, Jessica Martin, Joseph W. Gilligan, Jakub N. Kubina, Michael J. Arambula, Susanna Tanada Palmu, Daniella Zhou, Raymond D. Blind   +9 more
wiley   +1 more source

Partial Orders for Efficient BMC of Concurrent Software

, 2013
This version previously deposited at arXiv:1301.1629v1 [cs.LO]The vast number of interleavings that a concurrent program can have is typically identified as the root cause of the difficulty of automatic analysis of concurrent software.
Kroening, D, Alglave, J, Tautschnig, M, Daniel Kroening, Michael Tautschnig, Jade Alglave   +5 more
core  

VConMC: Enabling Consistency Verification for Distributed Systems Using Implementation-Level Model Checkers and Consistency Oracles

Many cloud services are relying on distributed key-value stores such as ZooKeeper, Cassandra, HBase, etc. However, distributed key-value stores are notoriously difficult to design and implement without any mistakes.
Beom-Heyn Kim
core   +1 more source

Formal Verification of Real-Time System Requirements [PDF]

Computer Science, 2000
The methodology of system requirements verification presented in this paper is a proposition of a practical procedure for reducing some negatives of the specification of requirements.
Marcin Szpyrka
doaj  

A Research on Deepfake Face Detection Techniques Based on Multimodal Biometric Cross – Verification [PDF]

ITM Web of Conferences
The rapid advancement of deepfake technology poses severe threats to social security and information authenticity, as traditional single-modal detection methods face bottlenecks due to their vulnerability to circumvention.
Wu Haozhe
doaj   +1 more source