Search Results for "aras-common"

The torchvision package consists of popular datasets, model architectures, and common image transformations for computer vision. We recommend Anaconda as Python package management system. Torchvision currently supports Pillow (default), Pillow-SIMD, which is a much faster drop-in replacement for Pillow with SIMD, if installed will be used as the default. Also, accimage, if installed can be activated by calling torchvision.set_image_backend('accimage'), libpng, which can be installed via conda conda install libpng or any of the package managers for debian-based and RHEL-based Linux distributions, and libjpeg, which can be installed via conda conda install jpeg or any of the package managers for debian-based and RHEL-based Linux distributions. ...

Open tool platform for the cost effective rigorous development of dependable complex software systems services. This platform is based on the event-B formal method and provides natural support for refinement and mathematical proof.

The ADG library (Automatic Drawing Generation) is a set of functions focused on automating the drawing of mechanical parts. It is not a CAD system but a GObject-based library where a custom application can put common CAD entities such as paths, hatches and dimensions, to automatically create technical drawings. A demo application is provided in order to show the capabilities of the canvas. Although it is possible to interact with the library directly in C (that is what the adg-demo program is doing), the canvas is expected to be used from higher level languages, much in the same way as what done in the GNOME stack. ...

This repository hosts a set of pre-trained models that have been ported to TensorFlow.js. The models are hosted on NPM and unpkg so they can be used in any project out of the box. They can be used directly or used in a transfer learning setting with TensorFlow.js. To find out about APIs for models, look at the README in each of the respective directories. In general, we try to hide tensors so the API can be used by non-machine learning experts. New models should have a test NPM script. You...

The Object-Role Modeling (ORM) standard version 2, associated schemas and generation tools, and a reference implementation in the form of the Natural Object-Role Modeling Architect for Visual Studio (NORMA) product.

Although the research community around combinatorial interaction testing has been very active for several years, it has failed to find common solutions on some issues. First of all, there is not a common abstract nor concrete language to express combinatorial problems. Combinatorial testing generator tools are strongly decoupled making difficult their interoperability and the exchange of models and data. In this project, we propose an abstract and concrete specific language for combinatorial problems. ...

The diagrams are represented in the DOT language and can be interpreted by the visualization software Graphviz (http://www.graphviz.org/). Features: - Use HTML tables as templates for customizing the diagram design - Already comes with predefined connections for some common database systems, new systems can easily be added.

An optimized C library for numerically solving exterior ballistics problems. It supports standard drag models (Drag Functions G1-G8). The solution method is the common "3 degree of freedom" analysis found in many commercial programs.

E.N.M.L. means Environmental Noise Model Language. The target of the project is the definition of a XML specification model mainly devoted to electronic acoustic data exchange. ENML aims to format ANY kind of noise measurement.

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.

SPSens is a complete software package written in C that estimates parameter sensitivities for stochastic models of chemical and biochemical reaction networks using Monte Carlo (MC) stochastic simulations. It is possible to estimate sensitivities with respect to system parameters using the following algorithms: finite difference methods (crude monte carlo, common reaction path, coupled finite differences); likelihood ratio methods; and regularized pathwise derivatives. Additionally the package includes basic stochastic simulation algorithms. The package includes several example networks which can be easily modified for other networks. Serial and parallel MPI implementations can be built and called from the command line. ...

OSLO stands for Open Source Library for OCL. It's base on the Kent OCL Library from the University of Kent.

PLiX (Programming Language in XML) is an XML-based code-generation framework. Generators produce XML matching the PLiX.xsd schema, which can be formatted into multiple languages. Extensible formatters support C# and VB.NET in Visual Studio 2005 and 2008

The Latiz Palette Modeling Environment is a systems modeling event driven simulation environment written in Java and built on the NetBeans platform.

ArastoUML is a project of interaction between aras innovator datamodel and UML

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.

It's an infrastructure helps engineers to develop enterprise software solutions in Microsoft .NET easily and productively which consists of an extendable and maintainable web system architecture with a suite of generic business model, APIs and servi

automated refactorings, source-code metrics, audits and corrective actions. install as a stand-alone application or as a plug-in to Eclipse or NetBeans.

This project aims at implementing a tool to provide traceability for variable and common features in Software Product Lines (SPLs) to other requirement artifacts.

The Java Aspect Metamodel Interpreter (JAMI) is a research framework for modeling and experimenting with aspect-oriented programming languages. Common language design concepts and their operational semantics are modeled, and can be run by an interpre

ITCWorks a Java Framework with more than 500 Java classes. The foundation of ITCPro a visual UI for ORM++. ITCworks includes: - XML Bean Support (SOA,WSDL Schema Framework, Code Gen.)-ORM, object graph gen., SQL code gen., More info at <a href=www.i-tech

Configo is an Open Source XML validation framework, modelling language and Eclipse plugin for Java application configuration.

Szoftverlab 4: Lemming jatek tervezese

An adaptive mini database learns algorithmic operations for data intensive algebraic computational methods within a pervasive computing graph. It also provides generic structures and algorithms as a data fabric.

Our goal is to demonstrate the potential of model driven development. Implementation in the form of Graphical Workflow ENvironment for Visual Studio.