Résultats de la recherche - (tutorial OR tutorials) (programsaatica OR ((programsaaticaaticaaticaatica OR program) OR program))

Formal Methods

Table des matières: “… submissions. They also include 2 invited talks in full paper length and 10 tutorial papers. The contributions…”
Accéder au texte intégral

Visions of DNA Nanotechnology at 40 for the Next 40

Table des matières: “… nanotechnology, the content is an exciting mixture of technical and non-technical material, reviews, tutorials…”
Accéder au texte intégral

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

Table des matières: “… the efficiency of creating programming tutorials. LLMs can be instructed with text prompts to generate…”
Accéder au texte intégral

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

Table des matières: “… programs to determine the strengths and weaknesses of the adult tutorial programs, staff development…”
Accéder au texte intégral

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

Table des matières: “… of applying a goal-setting program to an online tutorial on cataloging the title field. Training staff…”
Accéder au texte intégral

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

Table des matières: “… Worksheets The purpose of the investigation was to develop and test an audio-tutorial program for a course…”
Accéder au texte intégral

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

Table des matières: “… pilot library video tutorial program at the mentee librarian's small liberal arts college…”
Accéder au texte intégral

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

Table des matières: “…. Popular tutorials on block-based programming with Scratch may unintentionally reinforce biases through…”
Accéder au texte intégral

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

Table des matières: “… Library Skills Teaching Methods Tutorial Programs Describes the tutorial library instruction program…”
Accéder au texte intégral

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

Table des matières: “… tutorial programs, implement the programs, and evaluate their effectiveness. Computers and/or audio visual…”
Accéder au texte intégral

Software Verification with CPAchecker 3.0: Tutorial and User Guide (Extended Version) par 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

Table des matières: “…This tutorial provides an introduction to CPAchecker for users. CPAchecker is a flexible…”
Accéder au texte intégral

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

Table des matières: “… users to modify the code within each tutorial or write new programs, which all can be executed without…”
Accéder au texte intégral

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

Table des matières: “…This tutorial gives an advanced introduction to string diagrams and graph languages for higher…”
Accéder au texte intégral

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

Table des matières: “… Predictor Variables Undergraduate Students In the digital era online tutorials remain especially popular…”
Accéder au texte intégral

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

Table des matières: “…, incoming library science students enter graduate programs with a broad range of information and technology…”
Accéder au texte intégral

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

Table des matières: “… microcomputer tutorial that was designed, produced, evaluated, and revised by the library of Mansfield…”
Accéder au texte intégral

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

Table des matières: “…In this paper, we provide a comprehensive, hands-on tutorial on how to apply deductive verification…”
Accéder au texte intégral

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

Table des matières: “… favoring engaging formats like video tutorials. The emergence of Large Language Models (LLMs) like ChatGPT…”
Accéder au texte intégral

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

Table des matières: “… broad sections: program overview, the tutorial component, the educational activities and communication…”
Accéder au texte intégral

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

Table des matières: “… orientation program using audio-tutorial learning techniques, i.e., one person teaching one person by means…”
Accéder au texte intégral