Results 101 to 110 of about 2,452,454 (285)
A DSL for Resource Checking Using Finite State Automaton-Driven Symbolic Execution
Open Computer Science, 2020 Static analysis is an essential way to find code smells and bugs. It checks the source code without execution and no test cases are required, therefore its cost is lower than testing.
Fülöp Endre, Pataki Norbert
doaj +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
工程科学与技术Objective The hinge joint connection in traditional prefabricated beam transverse connections exhibits weak strength and poor stiffness, whereas the wet joint connection involves complex construction processes and lengthy durations.
Lin WANG +6 more
doaj
Stacy-static code analysis for enhanced vulnerability detection
Cogent Engineering, 2017 Computer program analysis refers to the automatic analysis of the behavior of a user defined program. An application of program analysis is to determine the quality of source code.
Pankaj Lathar +2 more
doaj +1 more source
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
A simple abstraction of arrays and maps by program translation
, 2015 We present an approach for the static analysis of programs handling arrays, with a Galois connection between the semantics of the array program and semantics of purely scalar operations.
A Cox +27 more
core +3 more sources
Molecular Oncology, EarlyView.ERRFI1, a neural crest (NC)‐associated gene, was upregulated in melanoma and negatively correlated with the expression of melanocytic differentiation markers and the susceptibility of melanoma cells toward BRAF inhibitors (BRAFi). Knocking down ERRFI1 significantly increased the sensitivity of melanoma cells to BRAFi.
Nina Wang +8 more
wiley +1 more source
Exploiting metabolic adaptations to overcome dabrafenib treatment resistance in melanoma cells
Molecular Oncology, EarlyView.We show that dabrafenib‐resistant melanoma cells undergo mitochondrial remodeling, leading to elevated respiration and ROS production balanced by stronger antioxidant defenses. This altered redox state promotes survival despite mitochondrial damage but renders resistant cells highly vulnerable to ROS‐inducing compounds such as PEITC, highlighting redox
Silvia Eller +17 more
wiley +1 more source
Solution of Fire Protection in Historic Buildings
Civil and Environmental Engineering, 2016 The paper introduces optimization of the functional use of renovated spaces in historic buildings in terms of fire risk. It brings assessment of fire protection in the folk house Habánsky Dvor, situated in the village of Veľké Leváre, whose function was ...
Iringová Agnes, Idunk Róbert
doaj +1 more source
How Can Vernacular Construction Techniques Sustain Earthquakes: The Case of the Bhatar Buildings
Frontiers in Built Environment, 2018 After the 2005 M7.6 Kashmir earthquake (Pakistan), field observations reported that several buildings manufactured with local traditional techniques resisted well to that strong seismic event.
Raffaele Carabbio +3 more
doaj +1 more source