Results 101 to 110 of about 11,352,047 (344)
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 +3 more
core +1 more source
FEBS Letters, EarlyView.We investigated the seeded assembly of 0N3R tau and two variants, C322A and C322S, designed to model the mutation landscape at residue 322, using Alzheimer's disease brain homogenates in a real‐time quaking‐induced conversion (RT‐QuIC) assay. The C322A variant formed filaments that partially resembled the paired helical filament (PHF) structure ...
Alessia Santambrogio +9 more
wiley +1 more source
IEEE Access, 2019 The approximate range emptiness problem requires a memory-efficient data structure D to approximately represent a set S of n distinct elements chosen from a large universe U= {0,1,⋯,N-1} and answer an emptiness query of the form “S∩ ...
Xiujun Wang +5 more
doaj +1 more source
FEBS Letters, EarlyView.Nicotinamide (NIC) and nicotinic acid (NIA) are proposed as stress signaling compounds in plants. Oxidative stress may lead to single strand breaks (SSB) in DNA, which activate poly(ADP‐ribose) polymerase (PARP). NIC and NIA are then formed from NAD. NIC and NIA can promote epigenetic changes leading to the expression of defense genes specific for the ...
Torkel Berglund, Anna B. Ohlsson
wiley +1 more source
Superpixel-based Two-view Deterministic Fitting for Multiple-structure Data
, 2016 This paper proposes a two-view deterministic geometric model fitting method, termed Superpixel-based Deterministic Fitting (SDF), for multiple-structure data.
AS Brahmachari +12 more
core +1 more source
Spatial Planning Data Structure Based on Blockchain Technology
ISPRS International Journal of Geo-InformationSpatial planning requires ensuring the legality, uniformity, authority, and relevance of data. Blockchain technology, characterized by tamper-proofing, complete record-keeping, and process traceability, may effectively organize and manage spatial ...
Minwen Tang +5 more
doaj +1 more source
FEBS Letters, EarlyView.Phytohormone brassinosteroid‐induced gene regulation by the transcription factor BIL1/BZR1 involves redox‐dependent DNA‐binding alternation and interaction with the transcription factor PIF4. The reduced BIL1/BZR1 dimer binds preferred cis‐elements, while oxidation alters its oligomerization state and disrupts DNA‐binding ability.
Shohei Nosaki +4 more
wiley +1 more source
A Novel Shape Classification Approach Based on Branch Length Similarity Entropy
IEEE AccessThis study presents a novel feature vector for shape clustering based on the Branch Length Similarity (BLS) entropy profile, which is invariant to translation, rotation, and scaling, enhancing its effectiveness for shape analysis.
Sang-Hee Lee, Cheol-Min Park
doaj +1 more source
Information about the Structure of Phthiocerol from Mass Spectral and X-Ray Crystallographic Data. [PDF]
, 1956 Ragnar Ryhage +4 more
openalex +1 more source