Results 51 to 60 of about 1,171,405 (263)
This study explores the distinct molecular mechanisms underlying Lynch syndrome‐associated and sporadic colorectal cancer (CRC). By highlighting the therapeutic potential of targeting the PI3K‐Akt pathway in Lynch syndrome‐associated CRC and the Wnt pathway in sporadic CRC, the findings open avenues for personalised treatment strategies, aiming to ...
May J. Krause+2 more
wiley +1 more source
Applying inspection to object-oriented software [PDF]
The benefits of the object-oriented paradigmare widely cited. At the same time, inspection is deemed to be the most cost-effective means of detecting defects in software products.
Brooks, A.+4 more
core +1 more source
Relational parametricity for higher kinds [PDF]
Reynolds’ notion of relational parametricity has been extremely influential and well studied for polymorphic programming languages and type theories based on System F.
Atkey, Robert
core +2 more sources
Immunoregulatory mechanisms of the arachidonic acid pathway in cancer
The central role of the arachidonic acid (AA) pathway in anticancer immunity. Enzymes and metabolites of the AA pathway can play both immunosuppressive and immunostimulatory roles in the tumor microenvironment. Therefore, their tailored targeting could be beneficial as a standalone therapy or in combination with current cancer immunotherapy.
Maria Tredicine+3 more
wiley +1 more source
The Complexity of Combinations of Qualitative Constraint Satisfaction Problems
The CSP of a first-order theory $T$ is the problem of deciding for a given finite set $S$ of atomic formulas whether $T \cup S$ is satisfiable. Let $T_1$ and $T_2$ be two theories with countably infinite models and disjoint signatures.
Bodirsky, Manuel, Greiner, Johannes
core +1 more source
Several types of types in programming languages [PDF]
Types are an important part of any modern programming language, but we often forget that the concept of type we understand nowadays is not the same it was perceived in the sixties. Moreover, we conflate the concept of "type" in programming languages with
A Church+19 more
core +5 more sources
Making tau amyloid models in vitro: a crucial and underestimated challenge
This review highlights the challenges of producing in vitro amyloid assemblies of the tau protein. We review how accurately the existing protocols mimic tau deposits found in the brain of patients affected with tauopathies. We discuss the important properties that should be considered when forming amyloids and the benchmarks that should be used to ...
Julien Broc, Clara Piersson, Yann Fichou
wiley +1 more source
What's Decidable about (Atomic) Polymorphism [PDF]
Due to the undecidability of most type-related properties of System F like type inhabitation or type checking, restricted polymorphic systems have been widely investigated (the most well-known being ML-polymorphism). In this paper we investigate System Fat, or atomic System F, a very weak predicative fragment of System F whose typable terms coincide ...
arxiv
Autophagy in cancer and protein conformational disorders
Autophagy plays a crucial role in numerous biological processes, including protein and organelle quality control, development, immunity, and metabolism. Hence, dysregulation or mutations in autophagy‐related genes have been implicated in a wide range of human diseases.
Sergio Attanasio
wiley +1 more source
Crosstalk between gut microbiota and tumor: tumors could cause gut dysbiosis and metabolic imbalance
In this research, we analyzed the relationship between gut microbiota and tumor. We discovered that both subcutaneous and metastatic tumors would alter the composition and metabolic function of gut microbiota. Meanwhile, fecal microbiota transplantation also indicated the anti‐tumor role of the gut microbiota, revealing the crosstalk between tumor and ...
Siyuan Zhang+8 more
wiley +1 more source