Résultats de la recherche - (tutorials OR tutorial) (problematica OR (programsa OR (programsa OR (program OR programsa))))

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

Table des matières: “… software written in Rust. Through self-synthesis and tutorial-based synthesis, VeruSyn achieves much larger…”
Accéder au texte intégral

Theater as Data par Escobar Varela, Miguel

Table des matières: “… to code. A web companion offers illustrative data, programming tutorials, and videos.…”
Accéder au texte intégral

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

Table des matières: “… have all affirmed the goals of the Right To Read program, a national endeavor to eradicate illiteracy…”
Accéder au texte intégral

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

Table des matières: “… instructional programs to simple typing tutorials and educational games and is designed as an examination…”
Accéder au texte intégral

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

Table des matières: “… developed a unique American studies program. Activities dedicated to a better comprehension of American…”
Accéder au texte intégral

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

Table des matières: “…) are approved to be an effective way of introducing programming language units to students. CSs are portions…”
Accéder au texte intégral

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

Table des matières: “… routing, stochastic programming, and reinforcement learning, and synthesize methodological contributions…”
Accéder au texte intégral

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

Table des matières: “…, and is intended for use by reviewers, authors, and program committees. We demonstrate Peerispect through a live…”
Accéder au texte intégral

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

Table des matières: “… instructional programs. The first section describes Web-based training, including interactivity and the content…”
Accéder au texte intégral

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

Table des matières: “…-income and first-generation college students. Part 1, an overview of policy, includes the program…”
Accéder au texte intégral

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

Table des matières: “… programming tutorials to assess the system's effectiveness. The results show that by implementing features…”
Accéder au texte intégral

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

Table des matières: “… associated with them can deter researchers who are not well-versed in machine learning or programming…”
Accéder au texte intégral

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

Table des matières: “… that can be programmed at large scales. The assignment-based method has played an eminent role for a very…”
Accéder au texte intégral

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

Table des matières: “… remain hesitant to adopt these methods due to perceived complexity. This tutorial bridges that gap…”
Accéder au texte intégral

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

Table des matières: “… An instruction program that covers search tools on the Web should incorporate a user's information need…”
Accéder au texte intégral

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

Table des matières: “… and tutorials such as online information competency/basic skills instruction. An underlying but significant…”
Accéder au texte intégral

Development of a Multifaceted Program for Pharmacogenetics Adoption at an Academic Medical Center: Practical Considerations and Lessons Learned par 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

Table des matières: “… practice sites across Indiana. The overarching goal of this PGx implementation program was to facilitate…”
Accéder au texte intégral

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

Table des matières: “…'). AGNI is a Julia program designed to solve for the temperature and radiation environment within…”
Accéder au texte intégral

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

Table des matières: “… mathematical representation of such systems and a number of software packages written in various programming…”
Accéder au texte intégral

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

Table des matières: “… articles covering the uses of media, the tutorial approach, teaching the art of questioning, and using…”
Accéder au texte intégral