Search Results for "omega"

...Strejček: LTL to Büchi Automata Translation: Fast and More Deterministic, in Proceedings of TACAS 2012, volume 7214 of LNCS, pages 95-109. Springer-Verlag, 2012. LTL3BA supports output in Hanoi Omega-Automata (HOA) format since version 1.1.0. More information about HOA can be found here: http://adl.github.io/hoaf/ In order to compile LTL3BA, the BuDDy library (http://sourceforge.net/projects/buddy/) is needed.

Omega IRC Security Services - is a *nix based, modularized security services coded in C. Which supports multiple IRCd protocols.

Another block-dropping game, wherein players attempt to form and then destroy large chains of coloured blocks to score points (or humiliate other players).

The DUNS (Diagonalized Upwind Navier-Stokes)code is a 2D/3D, structured, multi-block, multi-species,reacting, steady/unsteady, Navier Stokes fluid dynamics code with q-omega turbulence model. It currently uses a diagonalized ADI procedure with upwind diff

Omega is a roguelike game originally written by Laurence Brothers in the late 80s. It was the first roguelike game with a large "countryside", plot development, quotable quotes, and a sense of humor.

A project to develope a run-time TeX library, with support for enhancements (like the one present in e-TeX, pdf-e-TeX, Omega).