Instrument guide for MRI-guided percutaneous interventions by Chen, Xuefeng, S.B. Massachusetts Institute of Technology

Get full text

Director Guide by Kahn, Kenneth M.

Get full text

Director Guide by Kahn, Kenneth M.

Get full text

Syntax-Guided Synthesis by Alur, Rajeev, Bodik, Rastislav, Dallal, Eric, Fisman, Dana, Garg, Pranav, Juniwal, Garvit, Kress-Gazit, Hadas, Madhusudan, P., Martin, Milo M. K., Raghothaman, Mukund, Saha, Shamwaditya, Seshia, Sanjit A., Singh, Rishabh, Solar Lezama, Armando, Torlak, Emina, Udupa, Abhishek

“…The input to the syntax-guided synthesis problem (SyGuS) consists of a background theory, a semantic correctness specification for the desired program given by a logical formula, and a syntactic set of candidate implementations given by a grammar. …”
Get full text

CMVSIM user's guide

Get full text

SIMLAB programmer's guide

Get full text

SIMLAB user's guide

Get full text

An Actualist's Guide to Quantifying In by Rayo, Agustin

Get full text
Get full text

An Actualist's Guide to Quantifying In by Rayo, Agustin

Get full text

Curriculum Development Guide by EdNet

Get full text

Syntax-guided synthesis by Alur, Rajeev, Bodik, Rastislav, Juniwal, Garvit, Martin, Milo M. K., Raghothaman, Mukund, Seshia, Sanjit A., Singh, Rishabh, Torlak, Emina, Udupa, Abhishek, Solar-Lezama, Armando

“…The input to the syntax-guided synthesis problem (SyGuS) consists of a background theory, a semantic correctness specification for the desired program given by a logical formula, and a syntactic set of candidate implementations given by a grammar. …”
Get full text
Get full text

Litfire user's guide by Yackimiak, E., Gilberti, V., Tillack, M.S.

Get full text

Antenna user guide by Vey, B.

Get full text

Litfire user's guide by Barnett, D.S., Yachimiak, E., Gilberti, V., Tillack, M.S.

Get full text

Legal and ethical issues in the use of telepresence robots:best practices and toolkit by Barabas, Chelsea, Bavitz, Christopher, Matias, J. Nathan, Xie, Cecillia, Xu, Jack

Subjects: “…telepresence, robot, guide, law…”
Get full text

LAI Enterprise Self-Assessment Tool (LESAT) V.2 Facilitator's Guide by Lean Advancement Initiative

Subjects: Get full text

Guide to Shock Maps in Kumu by Downing, Tristan, Goentzel, Jarrod, Wetmore, Finley, Blair, Courtney

Get full text

Karamoja Kumu Mapping Guide by Downing, Tristan, Blair, Courtney, Goentzel, Jarrod, Wetmore, Finley

“…This guide is for interpreting the Karamoja Market System Maps, and provides descriptions of the different element types and connections on the system maps…”
Get full text

Teacher Guided Architecture Search by Bashivan, Pouya, Tensen, Mark, Dicarlo, James

“…Most prior work has used the performance of candidate models following limited training to automatically guide the search in a feasible way. Could further gains in computational efficiency be achieved by guiding the search via measurements of a high performing network with unknown detailed architecture (e.g. the primate visual system)? …”
Get full text

Neurally-guided structure inference by Lu, Sidi, Mao, Jiayuan, Tenenbaum, Joshua B, Wu, Jiajun

“…The key idea of NG-SI is to use a neural network to guide the hierarchical, layer-wise search over the compositional space of structures. …”
Get full text