Search Results for "research assistant"

Menor, code c, c++, java, python, go, php, swift, .., DevSecOps virtual lab, .. This software is provided as a demonstration build. Redistribution of the binary is allowed for academic evaluation only. More previously completed projects will be released incrementally as executable packages are rebuilt for public distribution. www.youtube.com/embed/fzoISpZv5d0?rel=0

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

Use this suite of Application Programming Interface (API) platforms to share web content across multiple channels. Mobile and tablet applications, widgets, and web pages may use the APIs to deliver and update content. The APIs allow content reuse and reduce development costs and product time-to-market. The APIs are available as .NET or Java instances. For more information, see the ReadMe.txt file in the downloadable zip archive. The Centers for Disease Control and Prevention (CDC) and...

HLM is a proof assistant for everyday mathematics, which is currently being developed. It aims for a user experience as close as possible to regular mathematical practice, and proofs which are understandable by humans with little extra effort.

Eclipse plug-ins that provide Prover IDE for Isabelle proof assistant, based on Isabelle/Scala framework. Isabelle/Eclipse started as a port of Isabelle/jEdit Prover IDE to integrate with Eclipse IDE as plug-ins. The integration uses common Eclipse components to provide theory editing, correct symbols, completion assistance, prover output and other features. By building on Eclipse it inherits various IDE goodies out of the box. This SourceForge project is used to distribute...

We define a simulant or (a bioinformant) as a software agent which serves as an assistant for a scientist. Simulants/Bioinformants will help scientists to manage, process and analyze their data, based on knowledge specific to the context and the domai

ScreeningAssistant 2 is a modular software dedicated to perform various simple and advanced chemoinformatics analysis around chemical libraries.

An easy-to-use meditation assistant for all java-enabled phones. Check our website for more information!

Coq4Eclipse is a plugin for the Eclipse Platform that provides an interface to the Coq Proof Assistant. It will support the user with syntax highlighting, search facilities, mathematical symbols, pretty-print, etc.

The Semantic Web Assistant combines the capabilities of production rule systems with RDF data on the Semantic Web. It lets users define rules that work with RDF data in order to carry out actions like e-mail notification etc.

ProjAssist hopes to create an easy environment for managing software and other projects. This includes keeping information about projects, working groups, employees, timesheets, and so on.

RefKeep - A Personal Bibliography and Research Assistant

Yesir is a personal dynamic online information discovery and publication assistant. It can collect information from different sources, classify the information, transform it into user-desired format, and publish it automatically to user specified output.