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

Formal Methods

Sommario: “... submissions. They also include 2 invited talks in full paper length and 10 tutorial papers. The contributions...”
Testo

Visions of DNA Nanotechnology at 40 for the Next 40

Sommario: “... nanotechnology, the content is an exciting mixture of technical and non-technical material, reviews, tutorials...”
Testo

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

Sommario: “... the efficiency of creating programming tutorials. LLMs can be instructed with text prompts to generate...”
Testo

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

Sommario: “... programs to determine the strengths and weaknesses of the adult tutorial programs, staff development...”
Testo

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

Sommario: “... of applying a goal-setting program to an online tutorial on cataloging the title field. Training staff...”
Testo

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

Sommario: “... Worksheets The purpose of the investigation was to develop and test an audio-tutorial program for a course...”
Testo

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

Sommario: “... pilot library video tutorial program at the mentee librarian's small liberal arts college...”
Testo

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

Sommario: “.... Popular tutorials on block-based programming with Scratch may unintentionally reinforce biases through...”
Testo

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

Sommario: “... Library Skills Teaching Methods Tutorial Programs Describes the tutorial library instruction program...”
Testo

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

Sommario: “... tutorial programs, implement the programs, and evaluate their effectiveness. Computers and/or audio visual...”
Testo

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

Sommario: “...This tutorial provides an introduction to CPAchecker for users. CPAchecker is a flexible...”
Testo

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

Sommario: “... users to modify the code within each tutorial or write new programs, which all can be executed without...”
Testo

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

Sommario: “...This tutorial gives an advanced introduction to string diagrams and graph languages for higher...”
Testo

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

Sommario: “... Predictor Variables Undergraduate Students In the digital era online tutorials remain especially popular...”
Testo

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

Sommario: “..., incoming library science students enter graduate programs with a broad range of information and technology...”
Testo

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

Sommario: “... microcomputer tutorial that was designed, produced, evaluated, and revised by the library of Mansfield...”
Testo

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

Sommario: “...In this paper, we provide a comprehensive, hands-on tutorial on how to apply deductive verification...”
Testo

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

Sommario: “... favoring engaging formats like video tutorials. The emergence of Large Language Models (LLMs) like ChatGPT...”
Testo

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

Sommario: “... broad sections: program overview, the tutorial component, the educational activities and communication...”
Testo

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

Sommario: “... orientation program using audio-tutorial learning techniques, i.e., one person teaching one person by means...”
Testo