Results 61 to 70 of about 11,950,262 (220)

Atypical Condensation Domains Guide Discovery and Illuminate Biosynthesis of Myxoglucamides Featuring Vinyl‐Substituted, α‐Oxidized γ‐Amino Acids

open access: yesAngewandte Chemie, Volume 138, Issue 41, 5 October 2026.
Genome mining of atypical condensation (C) domains leads to the discovery of myxoglucamides, glycolipopeptides featuring an unprecedented vinyl‐substituted, α‐oxidized γ‐amino acid. Biosynthetic studies reveal a discrete C‐domain‐like O‐acyltransferase, a β‐hydroxylation‐dependent chain‐extension checkpoint, and an unusual pathway for γ‐amino acid ...
Tingting Wang   +10 more
wiley   +2 more sources

A Text-Based Refactoring Dataset for Multi-Type Prediction Using Code Snippets and Software Metrics

open access: yesIEEE Access
Refactoring is a disciplined process of improving the internal structure of software without changing its external behavior. Empirical studies have shown that refactoring contributes to maintainability and code quality; however, existing machine learning
Amal Alazba   +7 more
doaj   +1 more source

Refactoring Delta-Oriented Product Lines to achieve Monotonicity [PDF]

open access: yesElectronic Proceedings in Theoretical Computer Science, 2016
Delta-oriented programming (DOP) is a flexible transformational approach to implement software product lines. In delta-oriented product lines, variants are generated by applying operations contained in delta modules to a (possibly empty) base program ...
Ferruccio Damiani, Michael Lienhardt
doaj   +1 more source

Two-Pass Technique for Clone Detection and Type Classification Using Tree-Based Convolution Neural Network

open access: yesApplied Sciences, 2021
Appropriate reliance on code clones significantly reduces development costs and hastens the development process. Reckless cloning, in contrast, reduces code quality and ultimately adds costs and time.
Young-Bin Jo, Jihyun Lee, Cheol-Jung Yoo
doaj   +1 more source

A Certified Refactoring Engine [PDF]

open access: yes, 2008
The paper surveys how software tools such as refactoring systems can be validated, and introduces a new mechanism, namely the extraction of a refactoring engine for a functional programming language from an Isabelle/HOL theory in which it is verified ...
Thompson, Simon, Sultana, Nik
core  

CLEAR: Class Level Software Refactoring Using Evolutionary Algorithms

open access: yesJournal of Intelligent Systems, 2015
The original design of a software system is rarely prepared for every new requirement. Software systems should be updated frequently, which is usually accompanied by the decline in software modularity and quality.
Wang Muchou   +3 more
doaj   +1 more source

Enhancing the Secretion Systems: Genetic Engineering of Super Bioagents for Effective Plant Disease Control

open access: yesBiotechnology and Bioengineering, EarlyView.
Genetic engineering (GE) overcomes BCA limits, enabling robust, scalable crop protection. “Super Bioagents” (SBs) use optimized SSs to enhance bioactive molecule delivery. Optimizing SSs enhance precise, sustainable effector deployment for stable disease suppression. SBs use microbiome‐informed design for scalable, next‐gen sustainable crop protection.
Michael Dare Asemoloye
wiley   +1 more source

Algorithms of the UML Class Diagram Analysis and Their Effectiveness: Strategy and Interface Insertion Transformations

open access: yesITM Web of Conferences, 2017
A number of studies have investigated different means of the software refactoring. The question is whether there are any effective methods that could provide automated refactoring of the architecture on the design stage with no source code available yet.
Deryugina Olga, Nikulchev Evgeny
doaj   +1 more source

AI‐Assisted Morphometric Analysis and Molecular Phylogeny for a Dactylogyrid (Monopisthocotyla) Skin Parasite of an Ornamental Crenuchid Fish From Brazil

open access: yesActa Zoologica, EarlyView.
ABSTRACT This study presents a formal description and taxonomic appraisal of Cacatuocotyle adrianoi sp. n., a Neotropical parasite belonging to the family Dactylogyridae, integrating AI‐assisted morphometric analyses, molecular data, and phylogenetic reconstruction. Phylogenetic analyses recovered Cacatuocotyle adrianoi sp. n.
J. C. C. Aguiar   +4 more
wiley   +1 more source

Mechanical Verification of Refactorings [PDF]

open access: yes, 2008
In this paper we describe the formal verification of refactorings for untyped and typed lambda-calculi. This verification is performed in the proof assistant Isabelle/HOL.
Simon Thompson   +3 more
core   +1 more source

Home - About - Disclaimer - Privacy