Results 81 to 90 of about 6,125,000 (281)

Synthesizing Short-Circuiting Validation of Data Structure Invariants

, 2015
This paper presents incremental verification-validation, a novel approach for checking rich data structure invariants expressed as separation logic assertions. Incremental verification-validation combines static verification of separation properties with
Chang, Bor-Yuh Evan, Coughlin, Devin, Rival, Xavier, Tsai, Yi-Fan   +3 more
core   +1 more source

Vacuolar transport and function of Saccharomyces cerevisiae sterol ester hydrolase Tgl1

FEBS Letters, EarlyView.
Tgl1, one of yeast sterol ester hydrolases, had been found on the lipid droplets where sterol esters are mainly stored. This study revealed that Tgl1 is transported into the vacuole depending on the ESCRT‐I–III complex, and that it exhibits intra‐vacuolar sterol ester hydrolase activity.
Takumi Nakatsuji, Kosuke Shiraishi, Chuqian Wang, Hiroya Yurimoto, Yasuyoshi Sakai, Masahide Oku   +5 more
wiley   +1 more source

Spatiotemporal and quantitative analyses of phosphoinositides – fluorescent probe—and mass spectrometry‐based approaches

FEBS Letters, EarlyView.
Fluorescent probes allow dynamic visualization of phosphoinositides in living cells (left), whereas mass spectrometry provides high‐sensitivity, isomer‐resolved quantitation (right). Their synergistic use captures complementary aspects of lipid signaling. This review illustrates how these approaches reveal the spatiotemporal regulation and quantitative
Hiroaki Kajiho, Shin Morioka, Junko Sasaki, Takehiko Sasaki   +3 more
wiley   +1 more source

Identification of damage based on frequency response function (FRF) data

MATEC Web of Conferences, 2017
Mechanical joints, particularly fasteners such as bolted joints have a complex non-linear behaviour. The non-linearity might emerge from the material, geometry or by the contacts in the joints.
Sulaiman M. S. A., Yunus M. A., Bahari A. R., Abdul Rani M. N.   +3 more
doaj   +1 more source

Microservices Validation: Methodology and Implementation [PDF]

, 2015
Due to the wide spread of cloud computing, arises actual question about architecture, design and implementation of cloud applications. The microservice model describes the design and development of loosely coupled cloud applications when computing ...
Radchenko, G., Savchenko, D.
core  

Consistency of cross validation for comparing regression procedures

, 2008
Theoretical developments on cross validation (CV) have mainly focused on selecting one among a list of finite-dimensional models (e.g., subset or order selection in linear regression) or selecting a smoothing parameter (e.g., bandwidth for kernel ...
Yang, Yuhong
core   +1 more source

Quality of life in adolescents with heavy menstrual bleeding: Validation of the Adolescent Menstrual Bleeding Questionnaire (aMBQ) [PDF]

, 2021
Meghan Pike, Ashley Chopek, Nancy L. Young, Koyo Usuba, Mark Belletrutti, Robyn McLaughlin, Nancy Van Eyk, Amanda Bouchard, Kristen A. Matteson, Victoria Price   +9 more
openalex   +1 more source

The anti‐CRISPR protein AcrIE8.1 inhibits the type I‐E CRISPR‐Cas system by directly binding to the Cascade subunit Cas11

FEBS Letters, EarlyView.
In this study, we present the structure of AcrIE8.1, a previously uncharacterized anti‐CRISPR protein that inhibits the type I‐E CRISPR‐Cas system. Through a combination of structural and biochemical analyses, we demonstrate that AcrIE8.1 directly binds to the Cas11 subunit of the Cascade complex to inhibit the CRISPR‐Cas system.
Young Woo Kang, Hyun Ho Park
wiley   +1 more source

Integrative network analysis suggests prioritised drugs for atopic dermatitis

Journal of Translational Medicine
Background Atopic dermatitis (AD) is a prevalent chronic inflammatory skin disease whose pathophysiology involves the interplay between genetic and environmental factors, ultimately leading to dysfunction of the epidermis.
Antonio Federico, Lena Möbus, Zeyad Al-Abdulraheem, Alisa Pavel, Vittorio Fortino, Giusy del Giudice, Harri Alenius, Nanna Fyhrquist, Dario Greco   +8 more
doaj   +1 more source

Uniform: The Form Validation Language [PDF]

, 2016
Digital forms are becoming increasingly more prevalent but the ease of creation is not. Web Forms are difficult to produce and validate. This design project seeks to simplify this process.
Novak, Sawyer, Palmquist, Reid, Parker, Douglas   +2 more
core   +1 more source