Results 61 to 70 of about 162,552 (303)
Improving Saturation-based Bounded Model Checking
Acta Cybernetica, 2016 Formal verification is becoming a fundamental step in assuring thecorrectness of safety-critical systems. Since these systems are oftenasynchronous and even distributed, their verification requires methodsthat can deal with huge or even infinite state spaces.
Dániel Darvas +2 more
openaire +2 more sources
FEBS Letters, EarlyView.Biomolecular condensates formed by fused in sarcoma (FUS) are dissolved by high ATP concentrations yet persist in cells. Using a reconstituted system, we demonstrate that valosin‐containing protein (VCP), an AAA+ ATPase, counteracts ATP‐driven dissolution of FUS condensates through its D2 ATPase activity.
Hitomi Kimura +2 more
wiley +1 more source
Base saturation and corn hybrids under no-tillage system
, 2001 O conhecimento dos híbridos adaptados a cada condição de reação do solo em sistema plantio direto é de significativa importância técnica. Para avaliar o comportamento de híbridos de milho sob sistema plantio direto, quanto a alguns componentes de ...
Prado,Renato de Mello +2 more
core +1 more source
Base saturation in mixed substrate for seedlings of Eugenia uniflora and Eugenia involucrata [PDF]
, 2018 Given the occurrence of a vast amount of degraded areas in Brazil, recovery projects have been necessary. In order to propose a feasible project, we must be concerned about the production of seedlings, preferably native ones, using low-cost inputs.
Bobrowski, Rogério +2 more
core +1 more source
Perception of saturation in natural objects [PDF]
, 2023 The distribution of colors across a surface depends on the interaction between its surface properties, its shape, and the lighting environment. Shading, chroma, and lightness are positively correlated: points on the object that have high luminance also ...
Hedjar, L. +2 more
core +1 more source
Photonic-crystal-based broadband graphene saturable absorber [PDF]
Optics Letters, 2019 10 pages, 2 figures, 1 ...
Saifeng Zhang +8 more
openaire +4 more sources
Hyperosmotic stress induces PARP1‐mediated HPF1‐dependent mono(ADP‐ribosyl)ation
FEBS Letters, EarlyView.Sorbitol‐induced hyperosmotic stress rapidly induces reversible mono(ADP‐ribosyl)ation (MARylation) on PARP1 without the signs of genotoxic signaling. We show that PARP1 autoMARylation is HPF1 dependent and forms hydroxylamine‐resistant O‐glycosidic linkages.
Anna Georgina Kopasz +11 more
wiley +1 more source
Plane Cremona maps: Saturation and regularity of the base ideal
, 2012 One studies plane Cremona maps by focusing on the ideal theoretic and homological properties of its homogeneous base ideal (“indeterminacy locus”). The leitmotiv driving a good deal of the work is the relation between the base ideal and its saturation ...
Hassanzadeh, Seyed Hamid, Simis, Aron
core +1 more source
pH‐mediated activation of the lysosomal arginine sensor SLC38A9
FEBS Letters, EarlyView.Cells monitor nutrient levels via the lysosomal transporter SLC38A9 to activate the mechanistic target of rapamycin complex 1 (mTORC1). This study reveals that SLC38A9 function is regulated by pH. We identified histidine 544 as a critical pH sensor that undergoes conformational changes to control amino acid efflux from lysosomes; therefore, it ...
Xuelang Mu, Ampon Sae Her, Tamir Gonen
wiley +1 more source
Unification with Abstraction and Theory Instantiation in Saturation-based Reasoning [PDF]
EasyChair Preprints, 2017 This paper explores two new inference rules for reasoning with quantifiers and theories in a saturation-based first-order theorem prover. The focus here is on non-ground clauses, complementing our recent work on AVATAR modulo theories for ground theory reasoning. The current implementation focuses on complete theories, e.g.
Giles Reger +2 more
openaire +3 more sources