Results 31 to 40 of about 103,916 (255)

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, Mihály Mérey, Rebeka Vásárhelyi, Ramóna Pék, Victor Imburchia, László Henn, Adrián Kószó, Nicholas D. Lakin, Ivan Ahel, Sébastien Huet, Ágnes Czibula, Gyula Timinszky   +11 more
wiley   +1 more source

Drilling Parameters Optimization Technology Status and Development Trend

Shiyou jixie, 2016
With the increasing complex conditions for offshore and underground exploitation,and the continuous development of drilling technology,tools,equipment and instrumentation technology,the corresponding monitoring while drilling technology and computer ...
Sha Linxiu
doaj  

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

A Monitoring Language for Run Time and Post-Mortem Behavior Analysis and Visualization [PDF]

, 2003
UFO is a new implementation of FORMAN, a declarative monitoring language, in which rules are compiled into execution monitors that run on a virtual machine supported by the Alamo monitor architecture.Comment: In M. Ronsse, K.
Auguston, Mikhail, Jeffery, Clinton, Underwood, Scott   +2 more
core   +1 more source

Extensible Technology-Agnostic Runtime Verification

, 2013
With numerous specialised technologies available to industry, it has become increasingly frequent for computer systems to be composed of heterogeneous components built over, and using, different technologies and languages.
Colombo, Christian, Francalanza, Adrian, Mizzi, Ruth, Pace, Gordon J.   +3 more
core   +2 more sources

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

Adding traceability to an educational IDE : a thesis presented in partial fulfilment of the requirements for the Master degree in Computer Science at Massey University, Manawatu, New Zealand [PDF]

, 2016
High dropout and failure rate in introductory programming courses indicate the need to improve programming comprehension of novice learners. Some of educational tools have successfully used game environments to motivate students. Our approach is based
Sui, Li
core  

Infrared laser sampling of low volumes combined with shotgun lipidomics reveals lipid markers in palatine tonsil carcinoma

Molecular Oncology, EarlyView.
Nanosecond infrared laser (NIRL) low‐volume sampling combined with shotgun lipidomics uncovers distinct lipidome alterations in oropharyngeal squamous cell carcinoma (OPSCC) of the palatine tonsil. Several lipid species consistently differentiate tumor from healthy tissue, highlighting their potential as diagnostic markers.
Leonard Kerkhoff, Manuela Moritz, Dennis Eggert, Anna Worthmann, Joerg Heeren, Henrike Zech, Till S. Clauditz, Waldemar Wilczak, Hartmut Schlüter, Christian S. Betz, Arne Böttcher, Jan Hahn   +11 more
wiley   +1 more source

On Verifying Resource Contracts using Code Contracts

, 2014
In this paper we present an approach to check resource consumption contracts using an off-the-shelf static analyzer. We propose a set of annotations to support resource usage specifications, in particular, dynamic memory consumption constraints.
Castaño, Rodrigo, Galeotti, Juan Pablo, Garbervetsky, Diego, Tapicer, Jonathan, Zoppi, Edgardo   +4 more
core   +4 more sources

Computer Program Instrumentation Using Reservoir Sampling & Pin++

, 2019
This thesis investigates techniques for improving real-time software instrumentation techniques of software systems. In particular, this thesis investigates two aspects of this real-time software instrumentation. First, this thesis investigates techniques for achieving different levels of visibility (i.e., ensuring all parts of a system are represented,
openaire   +2 more sources