Search Results for "apostila-python" - Page 2

...Please consider registering to show your support. Register here: https://docs.google.com/forms/d/12tAH4f8CJ-3F-lK44Q9uQHFio_mGoK0oY829q5lD7i4/viewform GillesPy is a python interface for developing models and simulating them with StochKit. Please see: https://github.com/GillesPy/gillespy/ StochKit currently supports Linux, Windows, and OS X.

...The diagram is fully interactive: entity can be added/removed from the diagram and shuffled; events can be filtered, searched, highlighted and annotated with comments. MSCViewer features integration with a Python interpreter which allows writing Python scripts interacting with the model. This powerful feature can be used to automate validatation of distributed control flows, integrate with graphing infrastructure, etc.

That project aims at studying the impact of IT systems interactions on traveller demand and airline revenues. Passenger demand is generated (Monte Carlo) and injected into simulated CRS and airline IT systems. Differential analysis is then performed on various changes compared to a bottom line scenario.

O PETRILab é um software multiplataforma desenvolvido inteiramente em Python. Ele permite a modelagem e simulação de Redes de Petri Interpretadas para Controle (RPIC), tendo suporte a todos seus elementos: lugares, transições, arcos ordinários e inibidores, eventos, condições e ações. Com uma interface gráfica simples e intuitiva, o usuário consegue modelar e simular passo-a-passo sua RPIC de forma rápida e prática, afim de estudá-la e aprimorá-la.

itemis CREATE - formerly known as Yakindu Statechart Tools (SCT) - is a tool for the specification and development of reactive, event-driven systems with the help of state machines. It consists of an easy-to-use tool for graphical editing and provides validation, simulation and code generators for different target platforms. Visit http://www.statecharts.org for more information! !! YAKINDU SCT HAS MOVED !! DOWNLOAD FROM https://info.itemis.com/download-yakindu-statechart-tools

Multi-categorization Recommendation Adjusting (MRA) is to optimize the results of recommendation based on traditional(basic) recommendation models, through introducing objective category information and taking use of the feature that users always get the habits of preferring certain categories. Besides this, there are two advantages of this improved model: 1) it can be easily applied to any kind of existing recommendation models. And 2) a controller is set in this improved model to provide...

Snot The Second, the rubber boxes King, declared a holy war against evil plastic balls to defeat himself and his crew lives. Excentric crossplatform 2D labyrinth game written in Python. Just try to reach exit of each level.

...The program itself was written in Autohotkey so it must be used on a Windows machine. I chose this language as it is what I am most familiar with. If there is a use for it I may port it to python so it can be used cross platform.

A Python programming environment providing memory sizing, profiling and analysis, and a specification language that can formally specify aspects of Python programs and generate tests and documentation from a common source.

This project provides a set of Python tools for creating various kinds of neural networks, which can also be powered by genetic algorithms using grammatical evolution. MLP, backpropagation, recurrent, sparse, and skip-layer networks are supported.

Most known is SPE, a python IDE with auto indentation&completion,call tips,syntax coloring&highlighting,uml viewer,class explorer,source index,todo list,pycrust shell,file browsers,drag&drop,Blender support.Spe ships with wxGlade,PyChecker and Kiki.

...Major design goal was usability. The project was inspired by the static diagram editor of the Toolkit of Conceptual Modelling. Konzept is a pure Qt application written in Python.

...The design of classes is done graphically, by means of a code similar to UML. It includes an inverse engineering option, that is, from Python scripts, classes and relationships are identified and represented graphically.

Modelio-Open is a project hosting a set of open source extensions (SoaML, SysML and UML Testing Profile) for a previous version (1.2) of the Modelio Free tool . Currently, the lastest version (2.x) of Modelio modeling and generation tool is available at http://modelio.org/downloads/download-modelio.html. All extensions are downloadable at http://forge.modelio.org/projects.

Gaphor is a UML modeling environment written in Python. Gaphor is small and very extensible. The repository is located at http://github.com/gaphor/gaphor.

In Systems Biology models are created in various formats (Matlab, Java, C/C++, Python, ...). "Annotate Your Model" will help you to link your model to biological web resources by creating a CSV file containing MIRIAM annotations.

Launch a customizable list of shell script from Dia

Pythonisa is a Python code analyzer is a simple code analyzer for Python that creates a class diagram after executing your code.

DIA plugin for automatic UML Class Diagrams generation out of Java source files.

Our goal is to develop a full working solver for ATA (with 1 clock) in Python, with MTL to ATA support. The decidability for the emptiness problem was proposed by Lasota and Walukiewicz. The MTL to ATA was proposed by Ouaknine and Worrell.

The Location Containment Object Model(LCOM) is a simulation framework written in Python. LCOM provides a rule-based solution to handling partial object containment, object migration, message passing, and simulation observation.

Mantikhor is an *information representation* language. Like RDF, it models information as directed-edge arc-node graphs, although Mantikhor's use of such constructs is more structured and constrained.

This project develops a full-functional UML-Roundtrip-Tool for Python. It is realized as an Eclipse Plugin based on the plugins PyDev und Eclipse Uml2Tools. * Full Roundtrip Functionality * Uml2Tools Model Editor included * Live Validation * UML Views

This project contains a set of tools for formal verification and static analysis of VHDL design.

Moved to Google Code, see http://code.google.com/p/pythonequations/downloads/list