Results 91 to 100 of about 2,037,717 (291)

An Empirical Study of the Code Generation of Safety-Critical Software Using LLMs

Applied Sciences
In the digital era of increasing software complexity, improving the development efficiency of safety-critical software is a challenging task faced by academia and industry in domains such as nuclear energy, aviation, the automotive industry, and rail ...
Mingxing Liu, Junfeng Wang, Tao Lin, Quan Ma, Zhiyang Fang, Yanqun Wu   +5 more
doaj   +1 more source

New GOES satellite synchronized time code generation [PDF]

The TRAK Systems' GOES Satellite Synchronized Time Code Generator is described. TRAK Systems has developed this timing instrument to supply improved accuracy over most existing GOES receiver clocks.
Fossler, D. E., Olson, R. K.
core   +1 more source

Towards Product Lining Model-Driven Development Code Generators [PDF]

, 2015
A code generator systematically transforms compact models to detailed code. Today, code generation is regarded as an integral part of model-driven development (MDD).
Roth, Alexander, Rumpe, Bernhard
core   +1 more source

Inhibition of CDK9 enhances AML cell death induced by combined venetoclax and azacitidine

Molecular Oncology, EarlyView.
The CDK9 inhibitor AZD4573 downregulates c‐MYC and MCL‐1 to induce death of cytarabine (AraC)‐resistant AML cells. This enhances VEN + AZA‐induced cell death significantly more than any combination of two of the three drugs in AraC‐resistant AML cells.
Shuangshuang Wu, Jianlei Zhao, Aaban Asfar Azmi, Avanti Gupte, Jenna Thibodeau, Shuang Liu, Jinli Yang, Guan Wang, Holly Edwards, Lisa A. Polin, Juiwanna Kushner, Sijana H. Dzinic, Kathryn White, Julie Boerner, Maik Hüttemann, Jay Yang, Yue Wang, Jeffrey W. Taub, Yubin Ge   +18 more
wiley   +1 more source

Large Language Model-Driven Framework for Automated Constraint Model Generation in Configuration Problems

Applied Sciences
Constraint satisfaction problems (CSPs) are widely used in domains such as product configuration, scheduling, and resource allocation. However, formulating constraint models remains a significant challenge that often requires specialized expertise in ...
Roberto Penco, Damir Pintar, Mihaela Vranić, Marko Šoštarić   +3 more
doaj   +1 more source

Representations of finite element tensors via automated code generation [PDF]

, 2009
We examine aspects of the computation of finite element matrices and vectors which are made possible by automated code generation. Given a variational form in a syntax which resembles standard mathematical notation, the low-level computer code for ...
Oelgaard, Kristian B, Wells, GN
core  

Patient‐specific pharmacogenomics demonstrates xCT as predictive therapeutic target in colon cancer with possible implications in tumor connectivity

Molecular Oncology, EarlyView.
This study integrates transcriptomic profiling of matched tumor and healthy tissues from 32 colorectal cancer patients with functional validation in patient‐derived organoids, revealing dysregulated metabolic programs driven by overexpressed xCT (SLC7A11) and SLC3A2, identifying an oncogenic cystine/glutamate transporter signature linked to ...
Marco Strecker, Keren Zohar, Martin Böttcher, Thomas Wartmann, Henry Freudenstein, Maximilian Doelling, Mihailo Andric, Wenjie Shi, Or Kakhlon, Katrin Hippe, Beatrix Jahnke, Dimitrios Mougiakakos, Franziska Baenke, Daniel Stange, Roland S. Croner, Michal Linial, Ulf D. Kahlert   +16 more
wiley   +1 more source

Development for High-Assurance Software Update Management System Complying With UN R156

IEEE Access
With the advent of autonomous driving and connected vehicles in the automotive industry, various vehicle software components are now connected to wireless networks.
Jaewan Seo, Jiwon Kwak, Seungjoo Kim
doaj   +1 more source

Guppy: Process-Oriented Programming on Embedded Devices [PDF]

, 2015
Guppy is a new and experimental process-oriented programming language, taking much inspiration (and some code-base) from the existing occam-pi language. This paper reports on a variety of aspects related to this, specifically language, compiler and run ...
Barnes, Frederick R.M.
core  

Predictors of response and rational combinations for the novel MCL‐1 inhibitor MIK665 in acute myeloid leukemia

Molecular Oncology, EarlyView.
This study characterizes the responses of primary acute myeloid leukemia (AML) patient samples to the MCL‐1 inhibitor MIK665. The results revealed that monocytic differentiation is associated with MIK665 sensitivity. Conversely, elevated ABCB1 expression is a potential biomarker of resistance to the treatment, which can be overcome by the combination ...
Joseph Saad, Rhiannon Newman, Elmira Khabusheva, Sofia Aakko, Eric Durand, Mahesh Tambe, Heikki Kuusanmäki, Alun Parsons, Juho J. Miettinen, Komal Kumar Javarappa, Ezgi June Olgac, Nemo Ikonen, Mika Kontro, Kimmo Porkka, Heiko Maacke, Janghee Woo, Ensar Halilovic, Caroline A. Heckman   +17 more
wiley   +1 more source