Results 71 to 80 of about 1,543,905 (277)
Status report: specifying JavaScript with ML [PDF]
, 2007 The Ecma TC39-TG1 working group is using ML as the specification language for the next generation of JavaScript, the popular programming language for browser-based web applications.
David Herman
core +1 more source
Molecular Oncology, EarlyView.CDK11 inhibition stabilises the tumour suppressor p53 and triggers the production of an alternative p21WAF1 splice variant p21L, through the inactivation of the spliceosomal protein SF3B1. Unlike the canonical p21WAF1 protein, p21L is localised in the cytoplasm and has reduced cell cycle‐blocking activity.
Radovan Krejcir +12 more
wiley +1 more source
Refining Inductive Types [PDF]
Logical Methods in Computer Science, 2012 Dependently typed programming languages allow sophisticated properties of data to be expressed within the type system. Of particular use in dependently typed programming are indexed types that refine data by computationally useful information.
Robert Atkey +2 more
doaj +1 more source
Molecular Oncology, EarlyView.HDAC4 is degraded by the E3 ligase FBXW7. In colorectal cancer, FBXW7 mutations prevent HDAC4 degradation, leading to oxaliplatin resistance. Forced degradation of HDAC4 using a PROTAC compound restores drug sensitivity by resetting the super‐enhancer landscape, reprogramming the epigenetic state of FBXW7‐mutated cells to resemble oxaliplatin ...
Vanessa Tolotto +13 more
wiley +1 more source
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets [PDF]
Logical Methods in Computer Science, 2008 We propose a framework for the specification of behaviour-preserving reconfigurations of systems modelled as Petri nets. The framework is based on open nets, a mild generalisation of ordinary Place/Transition nets suited to model open systems which might
Paolo Baldan +4 more
doaj +1 more source
The simultaneous discharge of liquid and grains from a silo
, 2018 The flow rate of water through an orifice at the bottom of a container depends on the hydrostatic pressure whereas for a dry granular material is nearly constant. But what happens during the simultaneous discharge of grains and liquid from a silo?
Cervantes-Álvarez, A. M. +2 more
core +1 more source
FIMCAR VIII: Full-Width Test Procedure: Updated Protocol [PDF]
, 2014 For the assessment of vehicle safety in frontal collisions compatibility (which consists of self and partner protection) between opponents is crucial. Although compatibility has been analysed worldwide for over 10 years, no final assessment approach has ...
Adolph, Thorsten +5 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
QRB-Domains and the Probabilistic Powerdomain [PDF]
Logical Methods in Computer Science, 2012 Is there any Cartesian-closed category of continuous domains that would be closed under Jones and Plotkin's probabilistic powerdomain construction? This is a major open problem in the area of denotational semantics of probabilistic higher-order languages.
Jean Goubault-Larrecq
doaj +1 more source
Nonabelian Gauge Symmetry in the Causal Epstein-Glaser Approach
, 1995 We present some generalizations of a recently proposed alternative approach to nonabelian gauge theories based on the causal Epstein-Glaser method in perturbative quantum field theory.
Hurth T., Tobias Hurth
core +1 more source