Search Results - (tutorial OR tutorials) (program OR (programsaatica OR (programs OR programsaatica)))

Formal Methods

Table of Contents: “… submissions. They also include 2 invited talks in full paper length and 10 tutorial papers. The contributions…”
Get full text

Visions of DNA Nanotechnology at 40 for the Next 40

Table of Contents: “… nanotechnology, the content is an exciting mixture of technical and non-technical material, reviews, tutorials…”
Get full text

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

Table of Contents: “… the efficiency of creating programming tutorials. LLMs can be instructed with text prompts to generate…”
Get full text

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

Table of Contents: “… programs to determine the strengths and weaknesses of the adult tutorial programs, staff development…”
Get full text

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

Table of Contents: “… of applying a goal-setting program to an online tutorial on cataloging the title field. Training staff…”
Get full text

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

Table of Contents: “… Worksheets The purpose of the investigation was to develop and test an audio-tutorial program for a course…”
Get full text

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

Table of Contents: “… pilot library video tutorial program at the mentee librarian's small liberal arts college…”
Get full text

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

Table of Contents: “…. Popular tutorials on block-based programming with Scratch may unintentionally reinforce biases through…”
Get full text

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

Table of Contents: “… Library Skills Teaching Methods Tutorial Programs Describes the tutorial library instruction program…”
Get full text

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

Table of Contents: “… tutorial programs, implement the programs, and evaluate their effectiveness. Computers and/or audio visual…”
Get full text

Software Verification with CPAchecker 3.0: Tutorial and User Guide (Extended Version) by 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 of Contents: “…This tutorial provides an introduction to CPAchecker for users. CPAchecker is a flexible…”
Get full text

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

Table of Contents: “… users to modify the code within each tutorial or write new programs, which all can be executed without…”
Get full text

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

Table of Contents: “…This tutorial gives an advanced introduction to string diagrams and graph languages for higher…”
Get full text

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

Table of Contents: “… Predictor Variables Undergraduate Students In the digital era online tutorials remain especially popular…”
Get full text

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

Table of Contents: “…, incoming library science students enter graduate programs with a broad range of information and technology…”
Get full text

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

Table of Contents: “… microcomputer tutorial that was designed, produced, evaluated, and revised by the library of Mansfield…”
Get full text

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

Table of Contents: “…In this paper, we provide a comprehensive, hands-on tutorial on how to apply deductive verification…”
Get full text

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

Table of Contents: “… favoring engaging formats like video tutorials. The emergence of Large Language Models (LLMs) like ChatGPT…”
Get full text

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

Table of Contents: “… broad sections: program overview, the tutorial component, the educational activities and communication…”
Get full text

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

Table of Contents: “… orientation program using audio-tutorial learning techniques, i.e., one person teaching one person by means…”
Get full text