Search Results for "vmsvga2_v1.2.5_os_10.9.pkg"

LazySets.jl is a Julia package for calculus with convex sets. The aim is to provide a scalable library for solving complex set-based problems, such as those encountered in differential inclusions or reachability analysis techniques in the domain of formal verification. Typically, one is confronted with a set-based recurrence with a given initial set and/or input sets, and for visualization purposes, the final result has to be obtained through an adequate projection onto low dimensions. This...

A C library for parsing/normalizing street addresses around the world. Powered by statistical NLP and open geo data. libpostal is a C library for parsing/normalizing street addresses around the world using statistical NLP and open data. The goal of this project is to understand location-based strings in every language, everywhere. Addresses and the locations they represent are essential for any application dealing with maps (place search, transportation, on-demand/delivery services,...

Pretty Damn Quick (PDQ) analytically solves queueing network models of computer and manufacturing systems, data networks, etc., written in conventional programming languages. Generic or customized reports of predicted performance measures are output.

fNBookForm2 prints a number in Textbook Form with powers abbreviations in place of exponents (default). Output is a compressed dressed form textbooks use for significant figures tables. Easy, quality, comprehensive. booknum reads such. an important aspect is that the result maintains both accuracy and precision and has rounding control. doing this sometimees requires careful planning (error-prone complicated conversions). can read them back from textbook (into Mathematica)...