Results 61 to 70 of about 11,950,262 (220)
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
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]
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
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]
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
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
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
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
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]
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

