Zobrazeno 1 - 10
of 139
pro vyhledávání: '"Pike, Lee"'
Autor:
Feng, Nick, Hu, Alan J., Bayless, Sam, Iqbal, Syed M., Trentin, Patrick, Whalen, Mike, Pike, Lee, Backes, John
Generating proofs of unsatisfiability is a valuable capability of most SAT solvers, and is an active area of research for SMT solvers. This paper introduces the first method to efficiently generate proofs of unsatisfiability specifically for an impor
Externí odkaz:
http://arxiv.org/abs/2401.10703
We introduce NSEdit (neural-symbolic edit), a novel Transformer-based code repair method. Given only the source code that contains bugs, NSEdit predicts an editing sequence that can fix the bugs. The edit grammar is formulated as a regular language,
Externí odkaz:
http://arxiv.org/abs/2204.06643
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Pike, Lee.
Thesis (Ph.D.)--Indiana University, Dept. of Computer Science, 2006.
Source: Dissertation Abstracts International, Volume: 67-04, Section: B, page: 2086. Adviser: Steven D. Johnson. "Title from dissertation home page (viewed June 20, 2007)."
Source: Dissertation Abstracts International, Volume: 67-04, Section: B, page: 2086. Adviser: Steven D. Johnson. "Title from dissertation home page (viewed June 20, 2007)."
Autor:
Pike, Lee M.
Thesis (Ph. D.)--University of Wisconsin--Madison, 1997.
Typescript. eContent provider-neutral record in process. Description based on print version record. Includes bibliographical references (leaves 188-194).
Typescript. eContent provider-neutral record in process. Description based on print version record. Includes bibliographical references (leaves 188-194).
Externí odkaz:
http://catalog.hathitrust.org/api/volumes/oclc/39823888.html
Chronic Inflammatory Demyelinating Polyradiculoneuropathy Associated With Rare Autoimmune Conditions
Autor:
Yuebing Li, Tiffany Pike-Lee
Publikováno v:
RRNMF Neuromuscular Journal. 1:13-16
none
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::16651f09bf521f639a06106913866eda
https://doi.org/10.17161/rrnmf.v1i5.13692
https://doi.org/10.17161/rrnmf.v1i5.13692
Publikováno v:
RRNMF Neuromuscular Journal. 1:13-21
Coronavirus disease of 2019 (COVID-19) belongs to the betacoronavirus family which is known to cross species barriers and lead to high pathogenicity. There is rapidly growing evidence that COVID-19 infection can be associated with neuromuscular compl
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1ae8087ea2a4ddee243c69e32b5b8165
https://doi.org/10.17161/rrnmf.v1i3.13816
https://doi.org/10.17161/rrnmf.v1i3.13816
Autor:
Devaiah, Shivakumar P., Owens, Daniel K., Sibhatu, Mebrahtu B., Sarkar, Tapasree Roy, Strong, Christy L., Mallampalli, Venkata K.P.S., Asiago, Josephat, Cooke, Jennifer, Kiser, Starla, Lin, Zhangfan, Wamucho, Anye, Hayford, Deborah, Williams, Bruce E., Loftis, Peri, Berhow, Mark, Pike, Lee M., McIntosh, Cecilia A.
Publikováno v:
ETSU Faculty Works.
Flavonoid and limonoid glycosides influence taste properties as well as marketability of Citrus fruit and products, particularly grapefruit. In this work, nine grapefruit putative natural product glucosyltransferases (PGTs) were resolved by either us
Externí odkaz:
https://dc.etsu.edu/etsu-works/15150
Publikováno v:
ETSU Faculty Works.
PIKE, L. M., HU, A., RENZAGLIA, K. S. and MUSICH, P. R., 1992. Liverwort genomes display extensive structural variations. Analyses of the total genomic DNA of eight species of liverworts and two species of green algae by thermal denaturation and CsCl
Externí odkaz:
https://dc.etsu.edu/etsu-works/12144
Publikováno v:
ETSU Faculty Works.
Analysis of rhesus monkey alphoid DNA suggests that it arose by tandem duplication of an ancestral monomer unit followed by independent variation within two adjacent monomers (one becoming more divergent than the other) before their amplification as
Externí odkaz:
https://dc.etsu.edu/etsu-works/12016