Risultati della ricerca - (tutorial OR tutorials) (programsa OR ((programsa OR problematica) OR (program OR programsa)))

Reducing the Costs of Proof Synthesis on Rust Systems by Scaling Up a Seed Training Set di Di, Nongyu, Chen, Tianyu, Lu, Shan, Lu, Shuai, Gong, Yeyun, Cheng, Peng, Lorch, Jacob R., Yao, Yuan, Ma, Xiaoxing

Sommario: “... software written in Rust. Through self-synthesis and tutorial-based synthesis, VeruSyn achieves much larger...”
Testo

Theater as Data di Escobar Varela, Miguel

Sommario: “... to code. A web companion offers illustrative data, programming tutorials, and videos....”
Testo

Libraries and the Right to Read. di Molz, Kathleen, Comp.

Sommario: “... have all affirmed the goals of the Right To Read program, a national endeavor to eradicate illiteracy...”
Testo

Catalogue of Adult Literacy Materials at the State Library of Louisiana. di Spanhoff, E. de Rijk, Comp.

Sommario: “... instructional programs to simple typing tutorials and educational games and is designed as an examination...”
Testo

Project Pride: Probe, Research, Inquire, Discover, Evaluate. Profiles of Promise 11. di Watford, Robert, And Others

Sommario: “... developed a unique American studies program. Activities dedicated to a better comprehension of American...”
Testo

Using Code Snippets to Teach Programming Languages di Akingbade, Joshua, Yang, Jianhua, Seyedebrahimi, Mir

Sommario: “...) are approved to be an effective way of introducing programming language units to students. CSs are portions...”
Testo

Combinatorial Optimization Augmented Machine Learning di Schiffer, Maximilian, Hoppe, Heiko, Su, Yue, Bouvier, Louis, Parmentier, Axel

Sommario: “... routing, stochastic programming, and reinforcement learning, and synthesize methodological contributions...”
Testo

Peerispect: Claim Verification in Scientific Peer Reviews di Ghorbanpour, Ali, Sadeghian, Soroush, Daghighfarsoodeh, Alireza, Ebrahimi, Sajad, Arabzadeh, Negar, Hosseini, Seyed Mohammad, Bagheri, Ebrahim

Sommario: “..., and is intended for use by reviewers, authors, and program committees. We demonstrate Peerispect through a live...”
Testo

Evaluation of Web-Based Library Instruction Programs. di Tobin, Tess, Kesselman, Martin

Sommario: “... instructional programs. The first section describes Web-based training, including interactivity and the content...”
Testo

Student Support Services Program--Policies & Procedures Manual. Wichita State University. di de Silva, Deema

Sommario: “...-income and first-generation college students. Part 1, an overview of policy, includes the program...”
Testo

Generative Co-Learners: Enhancing Cognitive and Social Presence of Students in Asynchronous Learning with Generative AI di Wang, Tianjia, Wu, Tong, Liu, Huayi, Brown, Chris, Chen, Yan

Sommario: “... programming tutorials to assess the system's effectiveness. The results show that by implementing features...”
Testo

Honegumi: An Interface for Accelerating the Adoption of Bayesian Optimization in the Experimental Sciences di Baird, Sterling G., Falkowski, Andrew R., Sparks, Taylor D.

Sommario: “... associated with them can deter researchers who are not well-versed in machine learning or programming...”
Testo

Mean-Shift Theory and Its Applications in Swarm Robotics: A New Way to Enhance the Efficiency of Multi-Robot Collaboration di Sun, Guibin, Lü, Jinhu, Liu, Kexin, Wang, Zhenqian, Chen, Guanrong

Sommario: “... that can be programmed at large scales. The assignment-based method has played an eminent role for a very...”
Testo

Approximate Bayesian Computation Made Easy: A Practical Guide to ABC-SMC for Dynamical Systems with \texttt{pymc} di Castro, Mario

Sommario: “... remain hesitant to adopt these methods due to perceived complexity. This tutorial bridges that gap...”
Testo

A Query-Based Approach in Web Search Instruction: An Assessment of Current Practice di Cohen, Laura B.

Sommario: “... An instruction program that covers search tools on the Web should incorporate a user's information need...”
Testo

Conversations with California Community College Librarians and Deans of Learning Resources Programs: Library and Learning Resource Program Issues and Network Applications di Norman, Carolyn F., Siminitus, Jackie

Sommario: “... and tutorials such as online information competency/basic skills instruction. An underlying but significant...”
Testo

Development of a Multifaceted Program for Pharmacogenetics Adoption at an Academic Medical Center: Practical Considerations and Lessons Learned di Tyler Shugg, Emma M. Tillman, Amy M. Breman, Jennelle C. Hodge, Christine A. McDonald, Reynold C. Ly, Elizabeth J. Rowe, Wilberforce Osei, Tayler B. Smith, Peter H. Schwartz, John T. Callaghan, Victoria M. Pratt, Sheryl Lynch, Michael T. Eadon, Todd C. Skaar

Sommario: “... practice sites across Indiana. The overarching goal of this PGx implementation program was to facilitate...”
Testo

AGNI: A radiative-convective model for lava planet atmospheres di Nicholls, Harrison, Pierrehumbert, Raymond, Lichtenberg, Tim

Sommario: “...'). AGNI is a Julia program designed to solve for the temperature and radiation environment within...”
Testo

HIF: The hypergraph interchange format for higher-order networks di Coll, Martín, Joslyn, Cliff A., Landry, Nicholas W., Lotito, Quintino Francesco, Myers, Audun, Pickard, Joshua, Praggastis, Brenda, Szufel, Przemysław

Sommario: “... mathematical representation of such systems and a number of software packages written in various programming...”
Testo

INSIGHT: An Annual Collection of Articles on Teaching and Learning by Faculty of the Community Colleges of the State University of New York, 1977. di Burns, Charles A., Ed.

Sommario: “... articles covering the uses of media, the tutorial approach, teaching the art of questioning, and using...”
Testo