Results 71 to 80 of about 7,229,609 (313)
Chiral amide herbicides represent a significant class of agrochemicals, widely used for effective weed control. Prominent examples include S-metolachlor and dimethenamid-P, both of which share the intermediate (S)-1-methoxy-2-propylamine, a key ...
Feng Cheng+5 more
doaj +1 more source
Human-Centric Program Synthesis [PDF]
Program synthesis techniques offer significant new capabilities in searching for programs that satisfy high-level specifications. While synthesis has been thoroughly explored for input/output pair specifications (programming-by-example), this paper asks: what does program synthesis look like beyond examples? What actual issues in day-to-day development
arxiv
Correct-by-Design Teamwork Plans for Multi-Agent Systems [PDF]
We propose Teamwork Synthesis, a version of the distributed synthesis problem with application to teamwork multi-agent systems. We reformulate the distributed synthesis question by dropping the fixed interaction architecture among agents as input to the problem.
arxiv
Urine is a rich source of biomarkers for cancer detection. Tumor‐derived material is released into the bloodstream and transported to the urine. Urine can easily be collected from individuals, allowing non‐invasive cancer detection. This review discusses the rationale behind urine‐based cancer detection and its potential for cancer diagnostics ...
Birgit M. M. Wever+1 more
wiley +1 more source
Adaptive ERK reactivation hinders FLT3 tyrosine kinase inhibitor (TKI) treatment in FLT3/ITD acute myeloid leukemia. Here, we report that FLT3 TKI treatment rapidly induces AXL expression and upregulation that is temporally associated with the adaptive ERK reactivation.
Tessa S. Seale+9 more
wiley +1 more source
Cellophane-Based Membranes for Purification of Aqueous Media from Various Pollutants
The process of nanofiltration purification of water from various organic pollutants was examined. Cellophane film made from cheap natural raw materials was used as a membrane.
A. A. Yushkin+5 more
doaj +1 more source
Extended AIGER Format for Synthesis [PDF]
We extend the AIGER format, as used in HWMCC, to a format that is suitable to define synthesis problems with safety specifications. We recap the original format and define one format for posing synthesis problems and one for solutions of synthesis problems in this setting.
arxiv
The authors analyzed the spatial distributions of gene and metabolite profiles in cervical cancer through spatial transcriptomic and spatially resolved metabolomic techniques. Pivotal genes and metabolites within these cases were then identified and validated.
Lixiu Xu+3 more
wiley +1 more source
Breast tumor samples scored for metabolic deregulation (M1 to M3) were given a hypoxia score (HS). The highest HS occurred in patients with strongest metabolic deregulation (M3), supporting tumor aggressiveness. HS correlated with the highest number of metabolic pathways in M1. This suggests hypoxia to be an early event in metabolic deregulation.
Raefa Abou Khouzam+2 more
wiley +1 more source
Palladium-catalysed formation of vicinal all-carbon quaternary centres via propargylation
Formation of vicinal, quaternary stereocentres is challenging, but such products are commonly encountered in nature. Here, the authors report a palladium catalysed process to form vicinal quaternary carbons via propargylation, including in enantiopure ...
Xin Huang+5 more
doaj +1 more source