Motion planning is the problem of finding a valid path for a robot from a start to goal configuration. In addition to robotics, it has applications to other fields in computer science such as CAD software, autonomous vehicles, and artificial intelligence. Motion planning in robotics is difficult because of the large number of variables needed to account for a robots shape, size, dynamic environ...

This paper describes mathematical and software developments for a suite of programs for solving ordinary differential equations in Matlab.

The Succinct Solver Suite offers two analysis engines for solving data and control flow problems expressed in clausal form in a large fragment of first order logic. The solvers have proved to be useful for a variety of applications including security properties of Java Card bytecode, access control features of Mobile and Discretionary Ambients, and validation of protocol narrations formalised i...

Version 1b, June 2008 The fracpole suite is a collection of programs used to generate Spectre subcircuits that model components that require a fractional pole impedance. The suite includes a program for generating the fractional pole impedance itself, a program for generating models of inductors that include skin effect, and a program that generates models of capacitors that include dielectric ...

We introduce version 1.0 of the GemsTD benchmark suite and report the performance on several different architectures for the cases in this suite. TRITA-PDC-2003:2 • ISSN 1401-2731 • ISRN KTH/PDC/R--03/2--SE

The MEME Suite is a powerful, integrated set of web-based tools for studying sequence motifs in proteins, DNA and RNA. Such motifs encode many biological functions, and their detection and characterization is important in the study of molecular interactions in the cell, including the regulation of gene expression. Since the previous description of the MEME Suite in the 2009 Nucleic Acids Resear...

This paper describes a suite of intrusion detection tools developed by the Reliable Software Group at UCSB. The tool suite is based on the State Transition Analysis Technique (STAT), in which computer penetrations are specified as sequences of actions that cause transitions in the security state of a system. This general approach has been extended and tailored to perform intrusion detection in ...

Der Einsatz von Geoinformationssystemen in der Forstwirtschaft durchlebt aktuell einen Wandel. Durch die Konsolidierung der forstlichen Organisationseinheiten und die Vollmechanisierung erwächst mehr und mehr der Bedarf zur Unterstützung der forstlichen Geschäftsprozesse durch Geoinformationssysteme. Diese für den unternehmensweiten Einsatz konzipierten und in andere Business Systeme integriert...

●● ● ●Automate routine administrative tasks to help reduce costs, improve productivity and enforce policy Every organization has a core set of mission-critical data that must be protected. Security lapses and failures are not simply disruptions—they can be catastrophic events, and the consequences can be felt across the entire organization. Mistakes such as unintentional configuration errors an...

The article presents the main components of the test suite architecture underlying UniTesK specification based automated test development technology, a powerful test development technology for use in industrial testing of general purpose software. The architecture presented contains such elements as automatically generated oracles, components to monitor formally defined test coverage criteria, ...