Results 31 to 40 of about 2,054,685 (293)
An Experiment in Interoperable Cryptographic Protocol Implementation Using Automatic Code Generation [PDF]
, 2007 Spi2Java is a tool that enables semi-automatic generation of cryptographic protocol implementations, starting from verified formal models. This paper shows how the last version of spi2Java has been enhanced in order to enable interoperability of the ...
Pironti, Alfredo, Sisto, Riccardo
core +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT In pediatric patients, T‐cell lymphoblastic lymphoma (T‐LBL) survival exceeds 80%. Relapse remains associated with limited curative options. Frontline treatment is largely extrapolated from T‐cell acute lymphoblastic leukemia (T‐ALL) treatment, reflecting the ongoing debate, whether both entities represent distinct diseases or variants within ...
Marie C. Heider +4 more
wiley +1 more source
IEEE AccessLarge Language Models (LLMs) have demonstrated remarkable capabilities across various domains, but their effectiveness in coding workflows, particularly in machine learning (ML), requires deeper evaluation.
Eunbi Ko, Pilsung Kang
doaj +1 more source
Optimisations for quadrature representations of finite element tensors through automated code generation [PDF]
, 2010 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 ...
Wells, GN, Ølgaard, KB
core
Protein pyrophosphorylation by inositol pyrophosphates — detection, function, and regulation
FEBS Letters, EarlyView.Protein pyrophosphorylation is an unusual signaling mechanism that was discovered two decades ago. It can be driven by inositol pyrophosphate messengers and influences various cellular processes. Herein, we summarize the research progress and challenges of this field, covering pathways found to be regulated by this posttranslational modification as ...
Sarah Lampe +3 more
wiley +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
The newfound relationship between extrachromosomal DNAs and excised signal circles
FEBS Letters, EarlyView.Extrachromosomal DNAs (ecDNAs) contribute to the progression of many human cancers. In addition, circular DNA by‐products of V(D)J recombination, excised signal circles (ESCs), have roles in cancer progression but have largely been overlooked. In this Review, we explore the roles of ecDNAs and ESCs in cancer development, and highlight why these ...
Dylan Casey, Zeqian Gao, Joan Boyes
wiley +1 more source
ChatGPT for Robotics: Design Principles and Model Abilities
IEEE AccessThis paper presents an experimental study regarding the use of OpenAI’s ChatGPT for robotics applications. We outline a strategy that combines design principles for prompt engineering and the creation of a high-level function library which allows ...
Sai H. Vemprala +3 more
doaj +1 more source
Optimisation and Evolution of Stage-Classification Framework-Based Reasoning Large Language Models for Code Generation [PDF]
ITM Web of ConferencesLarge language models (LLMs) encounter challenges such as logical errors and non-standard syntax in code generation. Although existing research has proposed various code optimisation approaches, there remains a lack of a unified classification framework ...
Xu Xulin
doaj +1 more source
Automated Code Generation for Lattice Quantum Chromodynamics and beyond [PDF]
, 2013 We present here our ongoing work on a Domain Specific Language which aims to simplify Monte-Carlo simulations and measurements in the domain of Lattice Quantum Chromodynamics.
Barthou, Denis +8 more
core +4 more sources