Results 51 to 60 of about 4,499,855 (300)
, 2006 Code generators for realistic application domains are not directly verifiable in practice. In the certifiable code generation approach the generator is extended to generate logical annotations (i.e., pre- and postconditions and loop invariants) along ...
Fischer, Bernd, Denney, Ewen
core +2 more sources
CGGNet: Compiler-Guided Generation Network for Smart Contract Data Augmentation
IEEE AccessThe emergence of blockchain and smart contracts has revolutionized various industries by enabling automated code execution. However, the development of smart contracts, rooted in programming languages, inherits common challenges in traditional software ...
Seon-Jin Hwang +2 more
doaj +1 more source
FEBS Letters, EarlyView.This study reveals that the small GTPase Rab14 is necessary for human papillomavirus (HPV) infection and plays an essential role in the transport of virions to the trans‐Golgi network (TGN). HPV in the early endosome (EE), which harbors GTP‐bound Rab14, is transported to the TGN through the switch of Rab14 from its GTP‐bound to GDP‐bound form.
Yoshiyuki Ishii, Iwao Kukimoto
wiley +1 more source
GB code: A grain boundary generation code [PDF]
Journal of Open Source Software, 2018 Grain boundaries (GBs) are crystalline borders between single crystals in materials microstructure. They play an important role in mechanical, chemical or electronic response of materials and are therefore essential to materials science and physics.
Raheleh Hadian +2 more
openaire +4 more sources
Code orthogonality for wideband CDMA systems with multiple transmit antennas [PDF]
, 2007 Code orthogonality is a useful indicator in determining the performance of the synchronous downlink of third generation Universal Mobile Telecommunication System (UMTS) Terrestrial Radio Access systems.
Beach, Mark +8 more
core +1 more source
Prompt Learning Based Parameter-efficient Code Generation [PDF]
Jisuanji kexueAutomatic code generation is one of the effective ways to improve the efficiency of software development.Existing research often regards code generation as a sequence-to-sequence task,and the process of fine-tuning of large-scale pre-trained language ...
XU Yiran, ZHOU Yu
doaj +1 more source
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
, 2021 These are the datasets and generated code generators for our paper "Code Generation by Example" at MODELSWARD 2022.
openaire +2 more sources
Generalized PCM Coding of Images [PDF]
IEEE Transactions on Image Processing, 2012 Pulse-code modulation (PCM) with embedded quantization allows the rate of the PCM bitstream to be reduced by simply removing a fixed number of least significant bits from each codeword. Although this source coding technique is extremely simple, it has a poor coding efficiency. In this paper, we present a generalized PCM (GPCM) algorithm for images that
José Prades Nebot +2 more
openaire +4 more sources
Design and analysis strategies for robust microbiome ageing research
FEBS Letters, EarlyView.The gut microbiome changes with age and associates with age‐related morbidity and mortality, establishing it as a potential biomarker and intervention target for ageing. Realising this potential requires methodological rigour, yet distinguishing biological signals from methodological artefacts remains challenging across cohorts. This review provides an
Mark Olenik +5 more
wiley +1 more source