Showing 161 - 180 of 12,401

162

Enhanced bio-adsorbent derived from turnip leaves for crystal violet removal in aqueous solutions: experimental investigation, characterization, and machine learning modeling
Kaboub, Dounya ; Khelili, Hinda ; Guellal, Messaoud ; et al.
International Journal of Chemical Reactor Engineering. 23(3):321-340

Academic journal
Save to List
163

Learning to Approximate Density Functionals
Kalita, Bhupalee ; Li, Li ; McCarty, Ryan J. ; et al.
Accounts of Chemical Research. 54(4):818-826

Academic journal
Save to List
164

Optimization based on bacterial chemotaxis
MÜLLER, Sibylle D ; MARCHETTO, Jarno ; AIRAGHI, Stefano ; et al.
IEEE transactions on evolutionary computation. 6(1):16-29

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Academic journal
Save to List
165

Symbolic Transformer Accelerating Machine Learning Screening of Hydrogen and Deuterium Evolution Reaction Catalysts in MA2Z4 Materials
Zheng, Jingnan ; Sun, Xiang ; Hu, Jiaxi ; et al.
ACS Applied Materials & Interfaces. 13(43):50878-50891

Academic journal
Save to List
166

Visual Backpropagation
Freedman, Roy S.

Computer Science - Machi... Computer Science - Progr...
Report
Save to List
167

Ugropy: An Extensible Python Package for Thermodynamic Model Functional Group Identification via Mathematical Optimization
Brandolín, Salvador E. ; Benelli, Federico E. ; Magario, Ivana ; et al.
Industrial & Engineering Chemistry Research. 64(35):17217-17227

Academic journal
Save to List
168

Proceedings 36th International Conference on Logic Programming (Technical Communications)
Ricca, Francesco ; Russo, Alessandra ; Greco, Sergio ; et al.
EPTCS 325, 2020

Computer Science - Logic... Computer Science - Artif... Computer Science - Progr...
Report
Save to List
169

An Optimal Approximate Dynamic Programming Algorithm for the Lagged Asset Acquisition Problem
Nascimento, Juliana M. ; Powell, Warren B.
Mathematics of Operations Research, 2009 Feb 01. 34(1), 210-237.

Academic journal
Save to List
170

This result is not available to guest users.

171

Front-end tooling for building and maintaining dependently-typed functional programs
Robert, Valentin

Computer science dependent types functional programming proof assistants refactoring
Save to List
172

State Ensemble Energy Recognition (SEER): A Hybrid Gas-Phase Molecular Charge State Predictor
Keng, Mithony ; Merz, Kenneth M., Jr.
Journal of Chemical Information and Modeling. 65(14):7507-7515

Academic journal
Save to List
173

DreamCoder: Growing generalizable, interpretable knowledge with wake-sleep Bayesian program learning
Ellis, Kevin ; Wong, Catherine ; Nye, Maxwell ; et al.

Computer Science - Artif... Computer Science - Machi...
Report
Save to List
174

Julienne + Assert == Correctness-Checking for Functional Fortran
Rasmussen, Katherine ; Rouson, Damian ; Bonachea, Dan

class-fortran (c-lbnl-la...
Save to List
175

An Open-Source Sandbox for Increasing the Accessibility of Functional Programming to the Bioinformatics and Scientific Communities.
Fenwick M ; Sesanker C ; Schiller MR ; et al.
Publisher: IEEE Computer Society Country of Publication: United States NLM ID: 101571907 Publication Model: Print Cited Medium: Print NLM ISO Abbreviation: Proc Int Conf Inf Technol New Gener Subsets: PubMed not MEDLINE

Academic journal
Save to List
176

Composing Modeling and Inference Operations with Probabilistic Program Combinators
Sennesh, Eli ; Ścibior, Adam ; Wu, Hao ; et al.

Computer Science - Machi... Computer Science - Progr... Statistics - Computation Statistics - Machine Lea...
Report
Save to List
178

Coverage-Based Fault Localization in Haskell
Journal of Computer Science and Technology. 40(1):158-177

Academic journal
Save to List
180

Enhanced Design of Kesterite Solar Cells through High-Throughput Screening and Machine Learning Approaches
Zhang, Zhaosheng ; Xiong, Qing ; Liu, Sijia
The Journal of Physical Chemistry Letters. 15(38):9795-9802

Save to List

Filter