Results 1 to 10 of about 7,124,975 (267)
Human-Centric Program Synthesis [PDF]
arXiv, 2019 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
Crichton, Will
arxiv +5 more sources
The Materials Science Procedural Text Corpus: Annotating Materials Synthesis Procedures with Shallow Semantic Structures [PDF]
arXiv, 2019 Materials science literature contains millions of materials synthesis procedures described in unstructured natural language text. Large-scale analysis of these synthesis procedures would facilitate deeper scientific understanding of materials synthesis and enable automated synthesis planning. Such analysis requires extracting structured representations
Chang, Haw-Shiuan +8 more
arxiv +3 more sources
Logical Methods in Computer Science, Volume 10, Issue 1 (February
13, 2014) lmcs:736, 2014 We study the synthesis problem for distributed architectures with a parametric number of finite-state components. Parameterized specifications arise naturally in a synthesis setting, but thus far it was unclear how to detect realizability and how to perform synthesis in a parameterized setting.
Jacobs, Swen, Bloem, Roderick
arxiv +8 more sources
Total wash elimination for solid phase peptide synthesis
Nature Communications, 2023 We present a process for solid phase peptide synthesis (SPPS) that completely eliminates all solvent intensive washing steps during each amino acid addition cycle.
Jonathan M. Collins +6 more
doaj +1 more source
Molecular Autism, 2023 Deletion of exon 2 of the trimethyllysine hydroxylase epsilon (TMLHE) gene was identified in probands with autism spectrum disorder (ASD). TMLHE encodes the first enzyme in carnitine biosynthesis, N6-trimethyllysine dioxygenase (TMLD).
Edgars Liepinsh +6 more
doaj +1 more source
BMC Cancer, 2021 Background Eribulin mesylate (ERI; Halaven®) is a microtubule inhibitor approved in the United States for metastatic breast cancer patients with at least two prior chemotherapy regimens for metastatic breast cancer, and in the European Union in locally ...
Qi Zhao +7 more
doaj +1 more source
Neurology and Therapy, 2023 Introduction Alzheimer’s disease (AD), a progressive neurodegenerative disease, is the main cause of dementia and one of the leading causes of death for elderly people in the USA.
Amir Abbas Tahami Monfared +6 more
doaj +1 more source
Frontiers in Cell and Developmental Biology, 2021 Aim: Trimethylamine N-oxide (TMAO) is a gut microbiota-derived metabolite synthesized in host organisms from specific food constituents, such as choline, carnitine and betaine. During the last decade, elevated TMAO levels have been proposed as biomarkers
Melita Videja +9 more
doaj +1 more source
BMC Medical Research Methodology, 2022 Background Our aim was to extend traditional parametric models used to extrapolate survival in cost-effectiveness analyses (CEAs) by integrating individual-level patient data (IPD) from a clinical trial with estimates from experts regarding long-term ...
Dieter Ayers +5 more
doaj +1 more source
Scientific Reports, 2020 The development of targeted drugs for the treatment of cancer remains an unmet medical need. This study was designed to investigate the mechanism underlying breast cancer cell growth suppression caused by fused isoselenazolium salts.
Marina Makrecka-Kuka +5 more
doaj +1 more source