Results 81 to 90 of about 461,576 (313)

Dynamic Modeling, Parameter Estimation, and Uncertainty Analysis in R

Journal of Statistical Software, 2019
In a wide variety of research fields, dynamic modeling is employed as an instrument to learn and understand complex systems. The differential equations involved in this process are usually non-linear and depend on many parameters whose values determine ...
Daniel Kaschek, Wolfgang Mader, Mirjam Fehling-Kaschek, Marcus Rosenblatt, Jens Timmer   +4 more
doaj   +1 more source

Generalized concatenation for quantum codes [PDF]

2009 IEEE International Symposium on Information Theory, 2009
We show how good quantum error-correcting codes can be constructed using generalized concatenation. The inner codes are quantum codes, the outer codes can be linear or nonlinear classical codes. Many new good codes are found, including both stabilizer codes as well as so-called nonadditive codes.
Markus Grassl, Peter W. Shor, Bei Zeng
openaire   +4 more sources

Phosphoinositides and inositol phosphates as molecular glues

FEBS Letters, EarlyView.
Inositol phosphates (IPs) and phosphoinositides (PIPs) regulate diverse eukaryotic processes. Beyond recruiting signaling proteins or acting as structural cofactors, recent studies suggest they mediate protein–protein interactions as natural molecular glues.
Aleshia Seaton‐Terry, Alexander J. Cutright, Mong Na Claire Loi, Jessica Martin, Joseph W. Gilligan, Jakub N. Kubina, Michael J. Arambula, Susanna Tanada Palmu, Daniella Zhou, Raymond D. Blind   +9 more
wiley   +1 more source

Safety cases for the formal verification of automatically generated code [PDF]

, 2010
Model-based development and automated code generation are increasingly used for actual production code, in particular in mathematical and engineering domains.
Basir, Nurlida
core  

PromptTone: A Dataset for Evaluating Large Language Model Code Generation Under Varying Prompt Politeness Levels

Data
The increasing adoption of Large Language Models (LLMs) in software development has enabled automatic code generation from natural language, yet the influence of communicative factors such as prompt tone remains underexplored.
Manuel Andruccioli, Giovanni Delnevo, Silvia Mirri, Paola Salomoni   +3 more
doaj   +1 more source

Execution time analysis and optimisation techniques in the model-based development of a flight control software

IET Cyber-Physical Systems, 2017
This case study analyses the possibilities to improve the execution time of model-based developed software by applying optimisations during code generation and compilation.
Kajetan Nürnberger, Markus Hochstrasser, Florian Holzapfel   +2 more
doaj   +1 more source

Three phosphatase families form a community: The phosphohydrolases that act upon inositol pyrophosphates

FEBS Letters, EarlyView.
Inositol pyrophosphates are energy‐rich signaling molecules that perform critical functions in cells. Three different families of phosphatases hydrolyze the β phosphate of the inositol pyrophosphate molecules: two have narrow specificities and one is promiscuous.
Ronda J. Rolfes
wiley   +1 more source

Levels of Automated Code Generation (LACG): An Operational Taxonomy for AI-Augmented Software Construction

Applied Sciences
Artificial intelligence (AI) coding systems now range from inline completion to repository-level agents and platform-supported application builders; yet, software engineering still lacks a code-generation-centered operational taxonomy for describing how ...
Zhenhan Chen, Lizheng Lin, Xiaoyu Lin, YingXin Chen, Lijin Wang   +4 more
doaj   +1 more source

Code generation approaches for parallel geometric multigrid solvers

Analele Stiintifice ale Universitatii Ovidius Constanta: Seria Matematica, 2020
Software development for applications in computational science and engineering has become complex in recent years. This is mainly due to the increasing parallelism and heterogeneity in modern computer architectures and to the more realistic physical and ...
Köstler Harald, Heisig Marco, Kohl Nils, Kuckuk Sebastian, Bauer Martin, Rüde Ulrich   +5 more
doaj   +1 more source

Code Generation For Core Processors [PDF]

Proceedings of the 34th Design Automation Conference, 1997
This tutorial responds to the rapidly increasing use of cores in general and of processor cores in particular for implementing systems-on-a-chip. In the first part of this text, we will provide a brief introduction to various cores. Applications can be found in most segments of the embedded systems market.
openaire   +2 more sources