Search Results for "ts"

This toolbox is used to generate finite abstractions of autonomous Max-Plus-Linear (MPL) systems over R^n. Abstractions are characterized as finite-state Labeled Transition Systems (LTS). The LTS finite abstractions are shown to either simulate or to bisimulate the original MPL system. LTS models are to be verified against given specifications expressed as formulae in Linear Temporal Logic (LTL) and Computation Tree Logic (CTL). The toolbox intends to leverage the NuSMV model checker. Models...

...Adobe PDF Help section SQL Connectivity Community Avail : https://www.facebook.com/Project-Core-2306-Nextgen-Eda-pcbradide-for-Mcumacoslinuxwindows-138250749681138/?fref=ts

Starting from GIMMS values as ascii data (each line will be treated as individual time series), the application can smooth the ts - values by applying different algorithm that are based on Fouriertransformation. Separation of seasonal figure as well as the detection of linear trends is possible. Possible breaks in longterm mean can be detected with a change-point analysis using CuSum algorithms. Phenological events such as start-of-season, day-of-max/day-of-min, end-of-season can be determined via threshold-based algorithms or via analysis of max. increase of NDVI during green-up. ...

Diagnostic tool for Alfa Romeo cars that are using Bosch Motronic 1.5.5 (and maybe newer) esp. AR 156 TS engines.

Una soluzione open-source per la certificazione energetica degli edifici secondo le norme UNI-TS 11300, scritta in python e con una struttura modulare.

dvbsnoop - DVB analyzer / MPEG analyzer program to monitor, analyze, debug, dump or view dvb/mpeg/dsm-cc/mhp stream information (TS, PES, SECTION) (e.g. digital television) send via satellite, cable or terrestrial.

The osPOD (Open Source Precise Orbit Determination) is an OD&TS (Orbit Determination and Time Synchronisation) toolkit implementing a standard orbit determination system based on pseudorange measurements of GPS satellites.