Treffer 1 - 20 von 122.361

Equation-Directed Axiomatization of Lustre Semantics to Enable Optimized Code Validation.
Garion, Christophe ; Brun, Lélio ; Garoche, Pierre-Loïc ; et al.
Communications of the ACM. Jan2026, Vol. 69 Issue 1, p93-101. 9p.

When Is WebAssembly Going to Get DOM Support?
Ehrenberg, Daniel
Communications of the ACM. Nov2025, Vol. 68 Issue 11, p44-49. 6p.

Automatically Translating C to Rust.
Hong, Jaemin ; Ryu, Sukyoung
Communications of the ACM. Nov2025, Vol. 68 Issue 11, p58-65. 8p.

SynKit: A Graph-Based Python Framework for Rule-Based Reaction Modeling and Analysis.
Phan TL ; González Laffitte ME ; Weinbauer K ; et al.
Publisher: American Chemical Society Country of Publication: United States NLM ID: 101230060 Publication Model: Print-Electronic Cited Medium: Internet ISSN: 1549-960X (Electronic) Linking ISSN: 15499596 NLM ISO Abbreviation: J Chem Inf Model Subsets: MEDLINE

Verification and reproducible curation of the BioModels repository.
Smith LP ; Malik-Sheriff RS ; Nguyen TVN ; et al.
Publisher: Public Library of Science Country of Publication: United States NLM ID: 101238922 Publication Model: eCollection Cited Medium: Internet ISSN: 1553-7358 (Electronic) Linking ISSN: 1553734X NLM ISO Abbreviation: PLoS Comput Biol Subsets: MEDLINE

Leveraging open-source large language models (LLMs) in scoping reviews: a case study on disability and AI applications.
Bayani A ; Epoh Ewane LP ; Oliveira Dos Anjos DS ; et al.
Publisher: Elsevier Science Ireland Ltd Country of Publication: Ireland NLM ID: 9711057 Publication Model: Print-Electronic Cited Medium: Internet ISSN: 1872-8243 (Electronic) Linking ISSN: 13865056 NLM ISO Abbreviation: Int J Med Inform Subsets: MEDLINE

Automating HotSpot health physics code for enhanced radiological risk assessment using python.
Maglas NNM ; Najar M ; Qiang Z
Publisher: Pergamon Press Country of Publication: England NLM ID: 9306253 Publication Model: Print-Electronic Cited Medium: Internet ISSN: 1872-9800 (Electronic) Linking ISSN: 09698043 NLM ISO Abbreviation: Appl Radiat Isot Subsets: MEDLINE

Evaluating Locally Run Large Language Models (Gemma 2, Mistral Nemo, and Llama 3) for Outpatient Otorhinolaryngology Care: Retrospective Study.
Buhr CR ; Seifen C ; Bahr-Hamm K ; et al.
Publisher: JMIR Publications Country of Publication: Canada NLM ID: 101726394 Publication Model: Electronic Cited Medium: Internet ISSN: 2561-326X (Electronic) Linking ISSN: 2561326X NLM ISO Abbreviation: JMIR Form Res Subsets: MEDLINE

A case study using sewage metagenomic data for assessment of text-to-SQL capabilities in large language models.
Becsei Á ; Stéger J ; Visontai D ; et al.
Publisher: Nature Publishing Group Country of Publication: England NLM ID: 101563288 Publication Model: Electronic Cited Medium: Internet ISSN: 2045-2322 (Electronic) Linking ISSN: 20452322 NLM ISO Abbreviation: Sci Rep Subsets: MEDLINE

Visual language model-assisted spectral CT reconstruction by diffusion and low-rank priors from limited-angle measurements.
Wang Y ; Liang N ; Ren J ; et al.
Publisher: IOP Publishing Country of Publication: England NLM ID: 0401220 Publication Model: Electronic Cited Medium: Internet ISSN: 1361-6560 (Electronic) Linking ISSN: 00319155 NLM ISO Abbreviation: Phys Med Biol Subsets: MEDLINE

Using large language models to automate summarization of CT simulation orders in radiation oncology.
Cao M ; Hu S ; Sharp J ; et al.
Publisher: Wiley on behalf of American Association of Physicists in Medicine Country of Publication: United States NLM ID: 101089176 Publication Model: Print Cited Medium: Internet ISSN: 1526-9914 (Electronic) Linking ISSN: 15269914 NLM ISO Abbreviation: J Appl Clin Med Phys Subsets: MEDLINE

Accelerating systematic reviews: a novel 1-wk screening protocol using rule-based automation with AI-assisted Python coding.
Robleto E ; Shehadeh LA
Publisher: American Physiological Society Country of Publication: United States NLM ID: 100901228 Publication Model: Print-Electronic Cited Medium: Internet ISSN: 1522-1539 (Electronic) Linking ISSN: 03636135 NLM ISO Abbreviation: Am J Physiol Heart Circ Physiol Subsets: MEDLINE

The Rational Programmer: Investigating Programming Language Pragmatics.
Dimoulas, Christos ; Felleisen, Matthias
Communications of the ACM. Jul2025, Vol. 68 Issue 7, p120-130. 11p.

Benchmarking cell type and gene set annotation by large language models with AnnDictionary.
Crowley G ; Quake SR
Publisher: Nature Pub. Group Country of Publication: England NLM ID: 101528555 Publication Model: Electronic Cited Medium: Internet ISSN: 2041-1723 (Electronic) Linking ISSN: 20411723 NLM ISO Abbreviation: Nat Commun Subsets: MEDLINE

multiSMD - A Python Toolset for Multidirectional Steered Molecular Dynamics.
Walczewska-Szewc K ; Niklas B ; Szewc K ; et al.
Publisher: American Chemical Society Country of Publication: United States NLM ID: 101230060 Publication Model: Print-Electronic Cited Medium: Internet ISSN: 1549-960X (Electronic) Linking ISSN: 15499596 NLM ISO Abbreviation: J Chem Inf Model Subsets: MEDLINE

A Decade of SBOL Visual: Growing Adoption of a Diagram Standard for Engineering Biology.
Buecherl L ; Buson FX ; Sørensen GH ; et al.
Publisher: American Chemical Society Country of Publication: United States NLM ID: 101575075 Publication Model: Print-Electronic Cited Medium: Internet ISSN: 2161-5063 (Electronic) Linking ISSN: 21615063 NLM ISO Abbreviation: ACS Synth Biol Subsets: MEDLINE

Towards GraphQL-Based Interoperability Between Business Meta-Models and FHIR Resources.
Saarelaid E ; Randmaa R ; Piho G ; et al.
Publisher: IOS Press Country of Publication: Netherlands NLM ID: 9214582 Publication Model: Print Cited Medium: Internet ISSN: 1879-8365 (Electronic) Linking ISSN: 09269630 NLM ISO Abbreviation: Stud Health Technol Inform Subsets: MEDLINE

Pre-Meta: priors-augmented retrieval for LLM-based metadata generation.
Tinn P ; Sørbø S ; Jiang S ; et al.
Publisher: Oxford University Press Country of Publication: England NLM ID: 9808944 Publication Model: Print Cited Medium: Internet ISSN: 1367-4811 (Electronic) Linking ISSN: 13674803 NLM ISO Abbreviation: Bioinformatics Subsets: MEDLINE

From Guidelines to Code: Formalizing STOPP/START Criteria Using LLMs and RAG for Clinical Decision Support.
Adrouji S ; Mouazer A ; Lamy JB
Publisher: IOS Press Country of Publication: Netherlands NLM ID: 9214582 Publication Model: Print Cited Medium: Internet ISSN: 1879-8365 (Electronic) Linking ISSN: 09269630 NLM ISO Abbreviation: Stud Health Technol Inform Subsets: MEDLINE

A FHIR-Powered Python Implementation of the SENECA Algorithm for Sepsis Subtyping.
King AJ ; Horvat CM ; Schlessinger D ; et al.
Publisher: Thieme Country of Publication: Germany NLM ID: 101537732 Publication Model: Print-Electronic Cited Medium: Internet ISSN: 1869-0327 (Electronic) Linking ISSN: 18690327 NLM ISO Abbreviation: Appl Clin Inform Subsets: MEDLINE