Cargando…
Genetic Programming [Formula: see text] Proof Search [Formula: see text] Automatic Improvement
Search Based Software Engineering techniques are emerging as important tools for software maintenance. Foremost among these is Genetic Improvement, which has historically applied the stochastic techniques of Genetic Programming to optimize pre-existing program code. Previous work in this area has no...
Autores principales: | Kocsis, Zoltan A., Swan, Jerry |
---|---|
Formato: | Online Artículo Texto |
Lenguaje: | English |
Publicado: |
Springer Netherlands
2017
|
Materias: | |
Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC6044322/ https://www.ncbi.nlm.nih.gov/pubmed/30069068 http://dx.doi.org/10.1007/s10817-017-9409-5 |
Ejemplares similares
-
Observation of B[Formula: see text]
[Formula: see text]
[Formula: see text] (2S)K[Formula: see text] and B[Formula: see text]
[Formula: see text]
[Formula: see text] (2S)K[Formula: see text] decays
por: Tumasyan, A., et al.
Publicado: (2022) -
[Formula: see text] rule, [Formula: see text] and [Formula: see text] in [Formula: see text] and [Formula: see text] models with FCNC quark couplings
por: Buras, Andrzej J., et al.
Publicado: (2014) -
A multi-dimensional search for new heavy resonances decaying to boosted [Formula: see text] [Formula: see text] , [Formula: see text] [Formula: see text] , or [Formula: see text] [Formula: see text] boson pairs in the dijet final state at 13 [Formula: see text]
por: Sirunyan, A. M., et al.
Publicado: (2020) -
Measurement of prompt and nonprompt [Formula: see text] production in [Formula: see text] and [Formula: see text] collisions at [Formula: see text]
por: Sirunyan, A. M., et al.
Publicado: (2017) -
Measurement of polarization observables [Formula: see text] , [Formula: see text] , and [Formula: see text] in [Formula: see text] and [Formula: see text] photoproduction off quasi-free nucleons
por: Jermann, N., et al.
Publicado: (2023)