Resultados de búsqueda - (tutorial OR tutorials) (programsa OR ((programsaaticaaticaaticaatica OR program) OR program))

Formal Methods

Tabla de Contenidos: “… submissions. They also include 2 invited talks in full paper length and 10 tutorial papers. The contributions…”
Enlace del recurso

Visions of DNA Nanotechnology at 40 for the Next 40

Tabla de Contenidos: “… nanotechnology, the content is an exciting mixture of technical and non-technical material, reviews, tutorials…”
Enlace del recurso

SPROUT: an Interactive Authoring Tool for Generating Programming Tutorials with the Visualization of Large Language Models por Liu, Yihan, Wen, Zhen, Weng, Luoxuan, Woodman, Ollie, Yang, Yi, Chen, Wei

Tabla de Contenidos: “… the efficiency of creating programming tutorials. LLMs can be instructed with text prompts to generate…”
Enlace del recurso

Participant Perspectives: A View from Three Adult Tutorial Programs in New Hampshire. por Thomas, Randy Ann

Tabla de Contenidos: “… programs to determine the strengths and weaknesses of the adult tutorial programs, staff development…”
Enlace del recurso

CAT-TI: E-learning, Goal-Setting, and Cataloging por Snider, Jacqueline

Tabla de Contenidos: “… of applying a goal-setting program to an online tutorial on cataloging the title field. Training staff…”
Enlace del recurso

A Comparison of Two Teaching Methodologies for a Course in Basic Reference. Final Report. por Gothberg, Helen M.

Tabla de Contenidos: “… Worksheets The purpose of the investigation was to develop and test an audio-tutorial program for a course…”
Enlace del recurso

How an Online University Librarian and a Liberal Arts College Librarian Implemented Video Tutorials during COVID-19: A Mentoring Case Study por Robinson, Blake, Wilson, Daniel Earl

Tabla de Contenidos: “… pilot library video tutorial program at the mentee librarian's small liberal arts college…”
Enlace del recurso

Detecting Gender Stereotypes in Scratch Programming Tutorials por Graßl, Isabella, Fein, Benedikt, Fraser, Gordon

Tabla de Contenidos: “…. Popular tutorials on block-based programming with Scratch may unintentionally reinforce biases through…”
Enlace del recurso

Tutorial Library Instruction: The Freshman Program at Berea College. por Hughes, Phyllis, Flandreau, Arthur

Tabla de Contenidos: “… Library Skills Teaching Methods Tutorial Programs Describes the tutorial library instruction program…”
Enlace del recurso

The Mathematics and Computer Science Learning Center (MLC). por Abraham, Solomon T.

Tabla de Contenidos: “… tutorial programs, implement the programs, and evaluate their effectiveness. Computers and/or audio visual…”
Enlace del recurso

Software Verification with CPAchecker 3.0: Tutorial and User Guide (Extended Version) por Baier, Daniel, Beyer, Dirk, Chien, Po-Chun, Jakobs, Marie-Christine, Jankola, Marek, Kettl, Matthias, Lee, Nian-Ze, Lemberger, Thomas, Lingsch-Rosenfeld, Marian, Wachowitz, Henrik, Wendler, Philipp

Tabla de Contenidos: “…This tutorial provides an introduction to CPAchecker for users. CPAchecker is a flexible…”
Enlace del recurso

Graphery: Interactive Tutorials for Biological Network Algorithms por Zeng, Heyuan, Zhang, Jinbiao, Preising, Gabriel A., Rubel, Tobias, Singh, Pramesh, Ritz, Anna

Tabla de Contenidos: “… users to modify the code within each tutorial or write new programs, which all can be executed without…”
Enlace del recurso

String Diagrams for $λ$-calculi and Functional Computation por Ghica, Dan, Zanasi, Fabio

Tabla de Contenidos: “…This tutorial gives an advanced introduction to string diagrams and graph languages for higher…”
Enlace del recurso

Assessing Patron Learning from an Online Library Tutorial por Blummer, Barbara

Tabla de Contenidos: “… Predictor Variables Undergraduate Students In the digital era online tutorials remain especially popular…”
Enlace del recurso

Debunking the Librarian "Gene": Designing Online Information Literacy Instruction for Incoming Library Science Students por Lamb, Annette

Tabla de Contenidos: “…, incoming library science students enter graduate programs with a broad range of information and technology…”
Enlace del recurso

In-House Library Production of Microcomputer Software for Freshman Orientation. por Nipp, Deanna

Tabla de Contenidos: “… microcomputer tutorial that was designed, produced, evaluated, and revised by the library of Mansfield…”
Enlace del recurso

Practical Deductive Verification of OCaml Programs (Extended Version) por Pereira, Mário

Tabla de Contenidos: “…In this paper, we provide a comprehensive, hands-on tutorial on how to apply deductive verification…”
Enlace del recurso

Investigating Developers' Preferences for Learning and Issue Resolution Resources in the ChatGPT Era por Tayeb, Ahmad, Alahmadi, Mohammad D., Tajik, Elham, Haiduc, Sonia

Tabla de Contenidos: “… favoring engaging formats like video tutorials. The emergence of Large Language Models (LLMs) like ChatGPT…”
Enlace del recurso

Program Overview and Performance. Fall 1997, Spring 1998, Summer 1998. Wichita State University. por de Silva, Deema

Tabla de Contenidos: “… broad sections: program overview, the tutorial component, the educational activities and communication…”
Enlace del recurso

Library Orientation in a New Mode por Peterman, Edward, Holsclaw, Jim

Tabla de Contenidos: “… orientation program using audio-tutorial learning techniques, i.e., one person teaching one person by means…”
Enlace del recurso