Results 81 to 90 of about 34,882,646 (291)

(User-friendly) formal requirements verification in the context of ISO26262

Engineering Science and Technology, an International Journal, 2020
In order to achieve the highest safety integrity levels, ISO26262 recommends the use of formal methods for various verification activities, throughout the lifecycle of safety-related embedded systems for road vehicles.
Denis Makartetskiy, Guido Marchetto, Riccardo Sisto, Fulvio Valenza, Matteo Virgilio, Denise Leri, Paolo Denti, Roberto Finizio   +7 more
doaj   +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, Susanne Ebner, Carmen Haselrieder, Julia K. Günther, Astrid Drasche, Sophie Strich, Chiara Volani, Andrea Medici, Aleksandar Nikolajevic, Alex Deltedesco, Johannes E. Sigmund, Michael J. Blumer, Martin Hermann, Johanna Vanacker, Gerald Brandacher, Eduard Stefan, Omar Torres‐Quesada, Jakob Troppmair   +17 more
wiley   +1 more source

Cell surface interactome analysis identifies TSPAN4 as a negative regulator of PD‐L1 in melanoma

Molecular Oncology, EarlyView.
Using cell surface proximity biotinylation, we identified tetraspanin TSPAN4 within the PD‐L1 interactome of melanoma cells. TSPAN4 negatively regulates PD‐L1 expression and lateral mobility by limiting its interaction with CMTM6 and promoting PD‐L1 degradation.
Guus A. Franken, Andrea Abel Gutierrez, Imke van Rossum, Cornelia G. Spruijt, Michiel Vermeulen, Guido van Mierlo, Blanca Scheijen, Annemiek B. van Spriel   +7 more
wiley   +1 more source

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, Daniel Samaga, Katharina Gehr, Benedek Dankó, Mohamed Schumann, Guido Drexler, Ahmed Alnatsha, Georg Beyer, Ujjwal Mahajan, Martin Selmansberger, Julia Mayerle, Claus Belka, Horst Zitzelsberger, Kirsten Lauber   +13 more
wiley   +1 more source

Plecstatin inhibits hepatocellular carcinoma tumorigenesis and invasion through cytolinker plectin

Molecular Oncology, EarlyView.
The ruthenium‐based metallodrug plecstatin exerts its anticancer effect in hepatocellular carcinoma (HCC) primarily through selective targeting of plectin. By disrupting plectin‐mediated cytoskeletal organization, plecstatin inhibits anchorage‐dependent growth, cell polarization, and tumor cell dissemination.
Zuzana Outla, Jan Kosla, Magdalena Prechova, Lukas Frick, Patricia Bortel, Yasmin Borutzki, Andrea Bileck, Christopher Gerner, Samuel M. Meier‐Menches, Selma Osmanagic‐Myers, Martin Gregor   +10 more
wiley   +1 more source

Recurrent cancer‐associated ERBB4 mutations are transforming and confer resistance to targeted therapies

Molecular Oncology, EarlyView.
We show that the majority of the 18 analyzed recurrent cancer‐associated ERBB4 mutations are transforming. The most potent mutations are activating, co‐operate with other ERBB receptors, and are sensitive to pan‐ERBB inhibitors. Activating ERBB4 mutations also promote therapy resistance in EGFR‐mutant lung cancer.
Veera K. Ojala, Sini Ahonen, Sara Peltola, Aura Tuohisto‐Kokko, Olaya Esparta, Peppi Suominen, Anne Jokilammi, Iman Farahani, Deepankar Chakroborty, Nikol Dibus, Steffen Boettcher, Tomi T. Airenne, Mark S. Johnson, Lisa D. Eli, Klaus Elenius, Kari J. Kurppa   +15 more
wiley   +1 more source

Multi-modal document classification in AEC asset management

Intelligent Systems with Applications
The digitalization of asset management within the architecture, engineering and construction (AEC) sector is in need of effective methods for the automatic classification of documents.
Floor Rademaker, Faizan Ahmed, Marcos R. Machado   +2 more
doaj   +1 more source

Prostate Gleason Score Detection and Cancer Treatment Through Real-Time Formal Verification

IEEE Access, 2019
Currently, there are 3.1 million American men affected by prostate cancer. Early detection represents the only way to safe lives. To evaluate a prostate cancer, the most widespread rank is the so-called Gleason score, based on the microscopic cancer ...
Luca Brunese, Francesco Mercaldo, Alfonso Reginelli, Antonella Santone   +3 more
doaj   +1 more source

Peroxidasin enables melanoma immune escape by inhibiting natural killer cell cytotoxicity

Molecular Oncology, EarlyView.
Peroxidasin (PXDN) is secreted by melanoma cells and binds the NK cell receptor NKG2D, thereby suppressing NK cell activation and cytotoxicity. PXDN depletion restores NKG2D signaling and enables effective NK cell–mediated melanoma killing. These findings identify PXDN as a previously unrecognized immune evasion factor and a potential target to improve
Hsu‐Min Sung, David Bickel, Lena C. M. Krause, Daria Ezeriņa, Christian Ickes, Julian Wojtachnia, Christine S. Gibhardt, Magdalena Shumanska, Khadija Wahni, Andrea Paluschkiwitz, Julia Malo Pueyo, Ekaterina Baranova, Wim Vranken, Hedwig Stanisz, Ioana Stejerean‐Todoran, Michael P. Schön, Joris Messens, Ivan Bogeski   +17 more
wiley   +1 more source

Making Sense of Projects—Developing Project Portfolio Management Capabilities

Schmalenbach Journal of Business Research
Project management and project portfolio management (PPM) foster competitiveness by facilitating the implementation of organizational strategy. Although organizations often struggle to develop PPM capabilities, the academic community does not have an in ...
Frederik Ahlemann, Peder Bergan, Erik Karger, Malte Greulich, Stefan Reining   +4 more
doaj   +1 more source