Results 71 to 80 of about 461,576 (313)
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
A Generating-Extension-Generator for Machine Code
CoRR, 2020 21 pages, 8 Figures Fixed inclusion of LaTeX macro in plaintext ...
Michael Vaughn, Thomas W. Reps
openaire +2 more sources
Degradation mechanism of the von Willebrand factor A2 domain by nattokinase
FEBS Letters, EarlyView.Nattokinase, a natto‐derived protease, exhibits potent antithrombotic effects. This study demonstrates that nattokinase directly cleaves the von Willebrand factor (vWF) A2 domain in vitro. Unlike the native regulator ADAMTS13, nattokinase degrades folded vWF independently of shear stress.
Ryuichi Hyakumoto +3 more
wiley +1 more source
Information and Control, 1979 A new class of error-correcting codes, which generalizes the BCH codes and the polynomial codes of Goethals is constructed. These new codes have associated designed distances, which give lower bounds for their error-correcting capability. We also give a new construction of orthogonal idempotents, and hence of minimal ideals, in any semisimple ...
openaire +2 more sources
Modulation of Homer1 EVH1 domain internal dynamics by putative autism‐associated mutations
FEBS Letters, EarlyView.The putative autism‐associated M65I and S97L variants of the EVH1 domain of the postsynaptic scaffold protein Homer1 do not exhibit substantial changes in their overall structure or partner binding. Both of them, but especially the M65I variant, show altered internal dynamics relative to the wild‐type domain on the μs‐ms timescale, indicated by the ...
Fanni Farkas +6 more
wiley +1 more source
Synthesizing Certified Code [PDF]
, 2002 Code certification is a lightweight approach for formally demonstrating software quality. Its basic idea is to require code producers to provide formal proofs that their code satisfies certain quality properties.
Schumann, Johann +5 more
core +1 more source
The ubiquitin‐proteasome system and autophagy as guardians of the cellular proteome
FEBS Letters, EarlyView.This Perspective covers the three principles governing the crosstalk between the ubiquitin‐proteasome system and autophagy in cellular proteostasis: (1) a shared ubiquitin code routing substrates via shuttle factors or autophagy receptors; (2) spatial compartmentalization into phase‐separated degradation hubs and organelle‐specific modules (exemplified
Ivan Dikic
wiley +1 more source
IEEE AccessAlthough Large Language Models (LLMs) are widely adopted for Python code generation, the generated code can be semantically incorrect, requiring iterations of evaluation and refinement.
Muhammad Rizqullah, Emad Albassam
doaj +1 more source
FEBS Letters, EarlyView.The physical dimensions and shape of bacterial cells define the surface area available to acquire nutrients and the volume available for synthesizing proteins and DNA. Here, we use computational systems biology to decode the importance of cell geometry as a major determinant of prokaryotic phenotype, including growth rate and metabolic efficiency. This
Ross P. Carlson +6 more
wiley +1 more source
From Event-B models to code: sensing, actuating, and the environment [PDF]
, 2011 The Event-B method is a formal approach for modelling systems in safety-, and business-critical, domains. We focus, in this paper, on multi-tasking, embedded control systems.
Edmunds, Andrew +2 more
core