Results 111 to 120 of about 828,996 (313)
, 2012 Journalism's first obligation is to the truth. Truth is provisional and may change based on evidence presented at the time of the report, which makes it crucial to follow a story over time.
Stony Brook University. School of Journalism. Center for News Literacy.
core
An isoform of 14‐3‐3 protein regulates transbilayer lipid movement at the plasma membrane
FEBS Letters, EarlyView.Loss of 14‐3‐3ζ in CHO cells confers resistance to exogenous phosphatidylserine (PS) and impairs endocytosis‐independent inward flip‐flop of fluorescent PS at the plasma membrane. RNAi‐mediated knockdown reproduces this defect, while no additive effect is seen in ATP11C‐deficient cells.
Akiko Yamaji‐Hasegawa +3 more
wiley +1 more source
The ubiquitin ligase RNF115 is required for the clearance of damaged lysosomes
FEBS Letters, EarlyView.Upon lysosomal rupture, an E3 ubiquitin ligase RNF115 translocates from the cytosol to the damaged lysosomal membrane. Moreover, RNF115 depletion impairs the clearance of damaged lysosomes, identifying it as a key regulator of lysosomal quality control.
Sae Nakanaga +3 more
wiley +1 more source
Formal and efficient verification techniques for Real-Time UML models [PDF]
, 2006 The real-time UML profile TURTLE has a formal semantics expressed by translation into a timed process algebra: RT-LOTOS. RTL, the formal verification tool developed for RT-LOTOS, was first used to check TURTLE models against design errors.
Sadani, Tarek +5 more
core
FEBS Letters, EarlyView.Plasma membranes contain dynamic nanoscale domains that organize lipids and receptors. Because viruses operate at similar scales, this architecture shapes early infection steps, including attachment, receptor engagement, and entry. Using influenza A virus and HIV‐1 as examples, we highlight how receptor nanoclusters, multivalent glycan interactions ...
Jan Schlegel, Christian Sieben
wiley +1 more source
Fast payment schemes for truthful mechanisms with verification
, 2009 In this paper we study optimization problems with verifiable one-parameter selfish agents introduced by Auletta et al. [V. Auletta, R. De Prisco, P. Penna, P.
F. SORRENTINO +10 more
core +1 more source
Engineering ReportsLithium‐ion batteries (LIBs) have gained significant attention in recent years due to their widespread applications in electric vehicles, portable electronics, energy storage, and renewable energy systems.
Boozula Aravind Reddy
doaj +1 more source
, 2018 System modeling is the initial, and often crucial, step in verification. The right choice of model and modeling language is important for both designers and users of verification tools. This chapter aims to provide a guide to system modeling in four stages.
Seshia, Sanjit A +2 more
openaire +3 more sources
FEBS Letters, EarlyView.Embryo‐like structures (stembryos) are an innovative tool, but they are hindered by experimental variability and limited developmental potential. DNA methylation is crucial for mammalian development, but its status in stembryo models is poorly characterized.
Sara Canil +4 more
wiley +1 more source
An eclectic quadrant of rule based system verification: work grounded in verification of fuzzy rule bases. [PDF]
In this paper, we used a research approach based on grounded theory in order to classify methods proposed in literature that try to extend the verification of classical rule bases to the case of fuzzy knowledge modeling.
Vanthienen, Jan +3 more
core