Results 111 to 120 of about 39,359 (243)

Positional Games and QBF: The Corrective Encoding

open access: yes, 2020
Positional games are a mathematical class of two-player games comprising Tic-tac-toe and its generalizations. We propose a novel encoding of these games into Quantified Boolean Formulas (QBF) such that a game instance admits a winning strategy for first ...
Mayer-Eichberger, Valentin   +1 more
core  

Thermal Radiation Analysis System (TRASYS) [PDF]

open access: yes
A user's manual is presented for TRASYS, which is a digital software system with a generalized capability for solving radiation problems. Subroutines, file, and variable definitions are presented along with subroutine and function descriptions for the ...
Connor, R. J.   +3 more
core   +1 more source

RATFOR user's guide version 2.0 [PDF]

open access: yes
This document is a user's guide for RATFOR at Ames Research Center. The main part of the document is a general description of RATFOR, and the appendix is devoted to a machine specific implementation for the Cray X-MP.
Helmle, L. C.
core   +1 more source

Combining the Emission Preprocessor HERMES with the Chemical Transport Model TM5-MP

open access: yesAtmosphere
Emission inventories (EIs) are vital for air quality modeling. Specific research goals often require modifying EIs from diverse data sources, demanding significant code development.
Sarah-Lena Seemann   +3 more
doaj   +1 more source

How to Run the Pharmacogenomics Clinical Annotation Tool (PharmCAT). [PDF]

open access: yesClin Pharmacol Ther, 2023
Li B   +11 more
europepmc   +1 more source

Home - About - Disclaimer - Privacy