Search Results for "assistant"

CERCA is an open-source research tool that supports the verification of bibliographic references in scientific manuscripts. It extracts references from PDF files and checks their existence and consistency against authoritative metadata sources, producing explainable diagnostics, audit logs, and reproducible reports. It is intended for: - Researchers performing final manuscript checks - Reviewers assessing reference consistency - Editors supporting editorial quality control -...

The Project has reached end of life. Web based tracking tool for ILL (Interlibrary Loan). May be added as "link target" to any existing linkresolver or used as a standalone linkresolver in connection with an EZB-Account. Needs: Tomcat, MySQL, Java 8

The Vocabulary Learning Assistant helps the user to learn vocabulary, such as language translations or technical definitions. It uses a user-created text file (or multiple files) that contain the content to be learned, and then opens a pop up window at a user-defined interval (scheduled by Cron on Linux) to test the user. This window contains the word to be defined or translated on the left, and a text field for the user to enter their answer on the right.

This application aids in the creation of Natural Deduction style logical proofs. The style is that used in University of Auckland Philosophy courses. Upon inputting a sequent, a proof can be completed within Natural Deduction Planner. The result can be exported to png, to text or to LaTeX macros.

RefKeep - A Personal Bibliography and Research Assistant

Musical Instrument Assistant (Scales, Chords & Theory) is a java based graphical tool for learning scales, chords, theory, and general music lessons on various instruments.

KCite is a program into which a user enters basic information about a publication or other information source. It then constructs numerous, properly formatted, variations of citation strings that can be pasted into a document.