Reasoning with graph constraints

Graph constraints were introduced in the area of graph transformation, in connection with the notion of (negative) application conditions, as a form to limit the applicability of transformation rules. However, we believe that graph constraints may also play a significant role in the area of visual software modelling or in the specification and verification of semi-structured documents or websites (i.e. HTML or XML sets of documents). In this sense, after some discussion on these application areas, we concentrate on the problem of how to prove the consistency of specifications based on this kind of constraints. In particular, we present proof rules for two classes of graph constraints and show that our proof rules are sound and (refutationally) complete for each class. In addition, we study clause subsumption in this context as a form to speed up refutation.     

Adaptation of Oxidative Phosphorylation Machinery Compensates for Hepatic Lipotoxicity in Early Stages of MAFLD

Alterations in mitochondrial function are an important control variable in the progression of metabolic dysfunction-associated fatty liver disease (MAFLD), while also noted by increased de novo lipogenesis (DNL) and hepatic insulin resistance. We hypothesized that the organization and function of a mitochondrial electron transport chain (ETC) in this pathologic condition is a consequence of shifted substrate availability. We addressed this question using a transgenic mouse model with increased hepatic insulin resistance and DNL due to constitutively active human SREBP-1c. The abundance of ETC complex subunits and components of key metabolic pathways are regulated in the liver of these animals. Further omics approaches combined with functional assays in isolated liver mitochondria and primary hepatocytes revealed that the SREBP-1c-forced fatty liver induced a substrate limitation for oxidative phosphorylation, inducing enhanced complex II activity. The observed increased expression of mitochondrial genes may have indicated a counteraction. In conclusion, a shift of available substrates directed toward activated DNL results in increased electron flows, mainly through complex II, to compensate for the increased energy demand of the cell. The reorganization of key compounds in energy metabolism observed in the SREBP-1c animal model might explain the initial increase in mitochondrial function observed in the early stages of human MAFLD.     

Ice‐Templated Scaffolds with Microridged Pores Direct DRG Neurite Growth

Successful spinal cord repair is thought to be promoted with hierarchically structured scaffolds. These should combine aligned porosity with additional linear features on the micrometer scale to guide axons across multiple length scales. Such scaffolds are generated through the carefully controlled directional solidification of an aqueous biopolymer solution, followed by lyophilization. Under specific freezing conditions this yields a highly regular and aligned lamellar architecture. This architecture exhibits uniform ridges of controlled height and width on the lamellar surface. These ridges run parallel to the pore axis, serving as secondary guidance features. The ridges are capable of linearly aligning 62.4% of chick dorsal root ganglia neurites to within ±10° of the ridge direction. Notably, neurites sprouting perpendicular to the ridge are guided into alignment with these microridged features.     

Immune Checkpoint Blockade in Advanced Cutaneous Squamous Cell Carcinoma: What Do We Currently Know in 2020?

Cutaneous squamous cell carcinoma (cSCC) is the second most common skin cancer that predominantly arises in chronically sun-damaged skin. Immunosuppression, genetic disorders such as xeroderma pigmentosum (XP), exposure to certain drugs and environmental noxae have been identified as major risk factors. Surgical removal of cSCC is the therapy of choice and mostly curative in early stages. However, a minority of patients develop locally advanced tumors or distant metastases that are still challenging to treat. Immune checkpoint blockade (ICB) targeting CTLA-4, PD-L1 and PD-1 has tremendously changed the field of oncological therapy and especially the treatment of skin cancers as tumors with a high mutational burden. In this review, we focus on the differences between cSCC and cutaneous melanoma (CM) and their implications on therapy, summarize the current evidence on ICB for the treatment of advanced cSCC and discuss the chances and pitfalls of this therapy option for this cancer entity. Furthermore, we focus on special subgroups of interest such as organ transplant recipients, patients with hematologic malignancies, XP and field cancerization.     

The structural efficiency of orthotropic stalks,stems and tubes

An optimised structure is one which uses the smallest quantity of the best material to perform its function, with adequate safety factor or margin for error. Structural optimisation occurs not only in mechanical engineering, but also in nature: plants with hollow stems or stalks gain a height advantage, and are thus more efficient, by approaching the optimum shape. Here we consider the optimisation of orthotropic tubes, typifying, in a mechanical sense, stalk and stem. The stiffness and strength of orthotropic tubes of initially circular section are reviewed, and diagrams are proposed which allow the optimum section shape to be selected.     

Optimizing substrate surface and catalyst conditions for high yield chemical vapor deposition grown epitaxially aligned single-walled carbon nanotubes

Single-crystal stable-temperature (ST)-cut quartz substrates, which have a (0 1 1 1) crystallographic plane with their surface normal lying close to 38° from the y axis ([0 1 0]), were annealed in air prior to use as a support for aligned carbon nanotube growth by chemical vapor deposition. Very smooth substrate surfaces were obtained with annealing times in the vicinity of 15 h at a temperature of 750 °C. These smooth surfaces are ideal for the growth of horizontally aligned SWCNTs with high spatial density, while less dense SWCNTs were obtained with less smooth surfaces. Under optimized growth conditions, only SWCNT are observed and they can grow to lengths in excess of 100 μm. Our findings suggest structural defects interfere with the growth process. A binary Fe/Co catalyst was employed to grow the nanotubes. No obvious dependence on the Fe:Co ratio is observed.     

Correlation of Structure and Photoelastic Response in Tin Phosphate Glass

Recently an empirical model was established to predict the photoelastic response of a glass based on its composition and the crystalline structure of its constituents. In the present work the model was tested in detail by comparing the local structure assessed by a combination of nuclear magnetic resonance and Mössbauer spectroscopy with the model predictions and the measured photoelastic response. The system investigated was (SnO)_x(P₂O₅)_1−x. It was found that while the original simple model based on data on the pure components predicted the composition of the zero stress-optic glass to within about 15 mol%, inclusion of data on mixed systems, more reflective of the true glass structure, gave substantial improvement of the prediction. This finding further confirms the relation of local bonding structure to the photoelastic response of glass.