Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Evolutionary Improvement of Programs
White, D. R., Arcuri, A., Clark, J. A.
Published in IEEE transactions on evolutionary computation (01.08.2011)
Published in IEEE transactions on evolutionary computation (01.08.2011)
Get full text
Journal Article
An algorithmic framework for convex mixed integer nonlinear programs
Bonami, Pierre, Biegler, Lorenz T., Conn, Andrew R., Cornuéjols, Gérard, Grossmann, Ignacio E., Laird, Carl D., Lee, Jon, Lodi, Andrea, Margot, François, Sawaya, Nicolas, Wächter, Andreas
Published in Discrete optimization (01.05.2008)
Published in Discrete optimization (01.05.2008)
Get full text
Journal Article
Dynamically discovering likely program invariants to support program evolution
Ernst, M.D., Cockrell, J., Griswold, W.G., Notkin, D.
Published in IEEE transactions on software engineering (01.02.2001)
Published in IEEE transactions on software engineering (01.02.2001)
Get full text
Journal Article
Overfitting in semantics-based automated program repair
Le, Xuan Bach D., Thung, Ferdian, Lo, David, Goues, Claire Le
Published in Empirical software engineering : an international journal (01.10.2018)
Published in Empirical software engineering : an international journal (01.10.2018)
Get full text
Journal Article
Learning Through Doing: Comprehensive Programming for a Training Program in Cancer Disparities
Solari Williams, Kayce D., Escoto, Kamisha Hamilton, Roberson, Crystal, Le, Kathy, Reitzel, Lorraine R., McNeill, Lorna H., Chang, Shine
Published in Journal of cancer education (01.06.2023)
Published in Journal of cancer education (01.06.2023)
Get full text
Journal Article
Targeted antenatal anti‐D prophylaxis program for RhD‐negative pregnant women – outcome of the first two years of a national program in Finland
Haimila, Katri, Sulin, Kati, Kuosmanen, Malla, Sareneva, Inna, Korhonen, Anu, Natunen, Suvi, Tuimala, Jarno, Sainio, Susanna
Published in Acta obstetricia et gynecologica Scandinavica (01.10.2017)
Published in Acta obstetricia et gynecologica Scandinavica (01.10.2017)
Get full text
Journal Article
Comparing protein-ligand docking programs is difficult
Cole, Jason C., Murray, Christopher W., Nissink, J. Willem M., Taylor, Richard D., Taylor, Robin
Published in Proteins, structure, function, and bioinformatics (15.08.2005)
Published in Proteins, structure, function, and bioinformatics (15.08.2005)
Get full text
Journal Article
Program analysis using empirical abstraction
Ho, Vivian M., Alvin, Chris, Lawson, Jimmie D., Mukhopadhyay, Supratik, Peterson, Brian
Published in International journal on software tools for technology transfer (01.08.2023)
Published in International journal on software tools for technology transfer (01.08.2023)
Get full text
Journal Article
Structural testing for communication events into loops of message‐passing parallel programs
Diaz, Silvia M. D., Souza, Paulo S. L., Souza, Simone R. S.
Published in Concurrency and computation (25.09.2021)
Published in Concurrency and computation (25.09.2021)
Get full text
Journal Article
Performance Prediction of Fundamental Transcriptional Programs
Milner, Prasaad T., Zhang, Ziqiao, Herde, Zachary D., Vedire, Namratha R., Zhang, Fumin, Realff, Matthew J., Wilson, Corey J.
Published in ACS synthetic biology (21.04.2023)
Published in ACS synthetic biology (21.04.2023)
Get full text
Journal Article
repgenHMM: a dynamic programming tool to infer the rules of immune receptor generation from sequence data
Elhanati, Yuval, Marcou, Quentin, Mora, Thierry, Walczak, Aleksandra M.
Published in Bioinformatics (01.07.2016)
Published in Bioinformatics (01.07.2016)
Get full text
Journal Article
‘Poverty can break a home’: Exploring mechanisms linking cash plus programming and intimate partner violence in Ghana
Barrington, Clare, Peterman, Amber, Akaligaung, Akalpa J., Palermo, Tia, de Milliano, Marlous, Aborigo, Raymond A.
Published in Social science & medicine (1982) (01.01.2022)
Published in Social science & medicine (1982) (01.01.2022)
Get full text
Journal Article
Human BioMolecular Atlas Program (HuBMAP): 3D Human Reference Atlas construction and usage
Börner, Katy, Blood, Philip D., Silverstein, Jonathan C., Ruffalo, Matthew, Satija, Rahul, Teichmann, Sarah A., Pryhuber, Gloria J., Misra, Ravi S., Purkerson, Jeffrey M., Fan, Jean, Hickey, John W., Molla, Gesmira, Xu, Chuan, Zhang, Yun, Weber, Griffin M., Jain, Yashvardhan, Qaurooni, Danial, Kong, Yongxin, Bueckle, Andreas, Herr, Bruce W.
Published in Nature methods (01.04.2025)
Published in Nature methods (01.04.2025)
Get full text
Journal Article