Search Results for "java personal assistant"

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.

GRAPPLE stands for "Generic Responsive Adaptive Personalized Learning Environment". The GRAPPLE project aims at delivering to learners a technology-enhanced learning (TEL) environment that guides them through a life-long learning experience, automatically adapting to personal preferences, prior knowledge, skills and competences, learning goals and the personal or social context in which the learning takes place. The same TEL environment can be used/accessed at home, school, work or on the...

LUSID is an interactive fully customisable web-based Personal Development Planning (PDP) tool written in Java.

Personal English trainer est conçu pour permettre à des personnes francophones de maintenir ou améliorer leur niveau en Anglais.

Sadhana will help you create and train your own personal Yôga practice. Start from scratch or load a practice specifically customized for you, sadhana will assist you indicating by sound and image the correct timing.

Personal research achievements from the authors presented here in the form of symbolic Algebra and non-numerical analysis algorithms implemented in C/C++, Java, and/or Pascal. As part of a more wide, simple, powerful and robust CAS enviroment under development, new code will be continuously added up to this repository. The authors give their welcome and encouragement to everyone interested in bring some kind of collaboration.