Results 91 to 100 of about 6,983,756 (292)
Electronic Notes in Theoretical Computer Science, 2002 AbstractWe study the problem of privacy in the framework of Timed Automata. By distinguishing between secret and observable actions we formulate a property of no-privacy in terms of a property of the language accepted by a Timed Automaton, and we give an algorithm checking such property.
LANOTTE, RUGGERO +2 more
openaire +4 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
Modeling Grid Cell Distortions with a Grid Cell Calibration Mechanism
Cyborg and Bionic SystemsThe medial entorhinal cortex of rodents is known to contain grid cells that exhibit precise periodic firing patterns based on the animal’s position, resulting in a distinct hexagonal pattern in space.
Daniel Strauß +4 more
doaj +1 more source
Potential therapeutic targeting of BKCa channels in glioblastoma treatment
Molecular Oncology, EarlyView.This review summarizes current insights into the role of BKCa and mitoBKCa channels in glioblastoma biology, their potential classification as oncochannels, and the emerging pharmacological strategies targeting these channels, emphasizing the translational challenges in developing BKCa‐directed therapies for glioblastoma treatment.
Kamila Maliszewska‐Olejniczak +4 more
wiley +1 more source
A Novel Solver for an Electrochemical–Thermal Ageing Model of a Lithium-Ion Battery
BatteriesTo estimate the state of health, charge, power, and safety (SoX) of lithium-ion batteries (LiBs) in real time, battery management systems (BMSs) need accurate and efficient battery models.
Toshan Wickramanayake +2 more
doaj +1 more source
, 2005 We develop a general approach to the nonequilibrium dynamics of quantum impurity systems for arbitrary coupling strength. The numerical renormalization group is used to generate a complete basis set necessary for the correct description of the time ...
Avraham Schiller +3 more
core +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
Applied SciencesState estimation (SE) is an important energy management system application for power system operations. Linear state estimation (LSE) is a variant of SE based on linear relationships between state variables and measurements.
Dulip Madurasinghe +1 more
doaj +1 more source
On Modelling Real-time and Security properties of Distributed Systems [PDF]
, 2003 We discuss a simplified version of the timing attack to illustrate a connection between security and real-time properties of distributed systems.
Corin, Ricardo +3 more
core +3 more sources
LDAcoop: Integrating non‐linear population dynamics into the analysis of clonogenic growth in vitro
Molecular Oncology, EarlyView.Limiting dilution assays (LDAs) quantify clonogenic growth by seeding serial dilutions of cells and scoring wells for colony formation. The fraction of negative wells is plotted against cells seeded and analyzed using the non‐linear modeling of LDAcoop.
Nikko Brix +13 more
wiley +1 more source