Search Results for "libamd.so.1"
Sort By:
Showing 72 open source projects for "libamd.so.1"
View related business solutions-
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
Host LLMs in Production With On-Demand GPUsDeploy your model, get an endpoint, pay only for compute time. No GPU provisioning or infrastructure management required.
-
1
PyMC3
Probabilistic programming in Python
...A Gaussian process (GP) can be used as a prior probability distribution whose support is over the space of continuous functions. PyMC3 provides rich support for defining and using GPs. Variational inference saves computational cost by turning a problem of integration into one of optimization. PyMC3's variational API supports a number of cutting edge algorithms, as well as minibatch for scaling to large datasets. -
2
statsmodels
Statsmodels, statistical modeling and econometrics in Python
...The results are tested against existing statistical packages to ensure that they are correct. The package is released under the open source Modified BSD (3-clause) license. Generalized linear models with support for all of the one-parameter exponential family distributions. Markov switching models (MSAR), also known as Hidden Markov Models (HMM). Vector autoregressive models, VAR and structural VAR. Vector error correction model, VECM. Robust linear models with support for several M-estimators. statsmodels supports specifying models using R-style formulas and pandas DataFrames. -
3
TensorFlow Model Garden
Models and examples built with TensorFlow
The TensorFlow Model Garden is a repository with a number of different implementations of state-of-the-art (SOTA) models and modeling solutions for TensorFlow users. We aim to demonstrate the best practices for modeling so that TensorFlow users can take full advantage of TensorFlow for their research and product development. To improve the transparency and reproducibility of our models, training logs on TensorBoard.dev are also provided for models to the extent possible though not all models... -
4
DAE Tools Project
Object-oriented equation-based modelling and optimisation software
...It is not a modelling language nor a collection of numerical libraries but rather a higher level structure – an architectural design of interdependent software components providing an API for: - Model development/specification - Activities on developed models, such as simulation, optimisation, sensitivity analysis and parameter estimation - Processing of the results, such as plotting and exporting to various file formats - Report generation - Code generation, co-simulation and model exchange The following class of problems can be solved by DAE Tools: - Initial value problems of implicit form - Index-1 DAE systems - With lumped or distributed parameters - Steady-state or dynamic - Continuous with some elements of event-driven systems -
Ship Agents FasterGemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
-
5
Java 2D & 3D visual entity relationship design & modeling (ERD,SQL) for Oracle,MSSQL,Postgres,MySQL,...,Database change&dictionary management, Swing Data Binding, Apache FOP Renderer for dot matrix printers,Sparx Enterprise Architect Reports + more
-
6
umple
The Umple Model-Oriented Programming Technology
...It adds abstractions such as UML associations, attributes, and state machines to object-oriented programming languages such as Java, C++, PHP and Ruby. A developer can use Umple in one of several ways. They can start with a pure model, containing only classes, associations, attributes and state machines, and then gradually add methods in one of the base languages to the Umple code base. Alternatively a developer can start with a normal program in a language like Java, and add modeling constructs in very small increments, gradually moving their system from a code-centric system from a model-centric system. ... -
7
...Since the concept of incoming and outgoing events is similar to the Qt signal and slot concept it is logical to link both together. Note that the generated code is an Addon onto the already generated C++-Code from SCT. So you need two sgen-files. One to generate the C++ statemachine and one to generate the link layer between the statemachine and your Qt application.
-
8
A fast and reliable tool, written in Java 8, for generating professional UML sequence diagrams from text. Supports actors, con-/destructors, threads, broadcasts, notes, and fragments. Can serve as a Javadoc taglet. Exports PDF, (E)PS, SVG, PNG, ... The source code is hosted at http://github.com/sdedit/sdedit
-
9
DRAKON Editor
A free cross-platform editor for the DRAKON visual language.
DRAKON is a diagram language developed within the Russian space program. Its primary objective is presenting complex software systems in a way which is easy to understand by humans. DRAKON's motto: took a glance - understood at once. DRAKON Editor helps software architects, quality specialists and developers. Architects and quality assurers can express a high-level view of how their product works. DRAKON serves them to explain the dynamics of a software system. Software engineers can use... -
$300 Free Credits to Build on Google CloudStart your next project with $300 in free Google Cloud credit. Spin up VMs, run containers, query petabytes in BigQuery, or build agents with Gemini Enterprise Agent Platform. Once your credits are used, keep building with 20+ always-free tier products including Compute Engine, Cloud Storage, GKE, and Cloud Run functions. No commitment required—just sign up and start building.
-
10
abumpack
Fortran library with the Abaqus user material subroutines UMAT/VUMAT
...Alexander, Levenberg-Marquardt vs Powell's dogleg method for Gurson-Tvergaard-Needleman plasticity model, Computer Methods in Applied Mechanics and Engineering 237-240:1-9 (2012). DOI: http://dx.doi.org/10.1016/j.cma.2012.04.018 -
11
DTDS
Data Type Definition System
DTDS is a system of definition of data types for unification of information exchange with use of different Samond Classes Library functions and for generation of source texts based on the completed data type definition -
12
SINVAS UML
UML Modeling Tool for MDD-based Analysis/Design
...It will help greatly to the improvement of productivity and product quality. If you send various proposals, functions and bugs of SINVAS to us, we will reflect in the ongoing product development. SINVAS Product Introduction 1) SINVAS REQ - Requirement Management : https://sourceforge.net/projects/sinvas-req/ 2) SINVAS UML - MDD-based analysis/design : https://sourceforge.net/projects/sinvas-uml/ 3) SINVAS DEV - Modeling-based development : https://sourceforge.net/projects/sinvas-dev/ 4) SINVAS TEST - Testing and Validation of software : https://sourceforge.net/projects/sinvas-test/ 5) SINVAS ALM - Management of software development projects and methodology Thank you for your continuous interest and encouragement. -
13
SINVAS
Software Engineering Full Life Cycle Support Tool
...It will help greatly to the improvement of productivity and product quality. If you send various proposals, functions and bugs of SINVAS to us, we will reflect in the ongoing product development. SINVAS Product Introduction 1) SINVAS REQ - Requirement Management : https://sourceforge.net/projects/sinvas-req/ 2) SINVAS UML - MDD-based analysis/design : https://sourceforge.net/projects/sinvas-uml/ 3) SINVAS DEV - Modeling-based development : https://sourceforge.net/projects/sinvas-dev/ 4) SINVAS TEST - Testing and Validation of software : https://sourceforge.net/projects/sinvas-test/ * SINVAS CRY - Cloud computing based online modeling tool : http://cry.sinvas.com/ Thank you for your continuous interest and encouragement. -
14
A 100% pure Java Swing ASN.1 analysis utility for inspecting arbitrary BER-encoded data files. It allows inspection of data with unknown structure, can drill down to any nesting level and allows to interpret embedded OCTET STRING data recursively.
-
15
PETRILab
Simulador de Redes de Petri Interpretadas para Controle
...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. Além disso, o software conta com uma conversão automática de RPICs em diagramas Ladder, como proposto no artigo de M. V. Moreira e J. C. Basílio [1]. Para utilizar o programa, baixe a versão mais recente em https://sourceforge.net/projects/petrilab/files/, extraia no local de preferência e execute o arquivo 'petrilab.pyw'. [1] M. V. Moreira e J. C. Basílio, “Bridging the Gap Between Design and Implementation of Discrete-Event Controllers”.IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERIN -
16
MRA
A general recommender system with basic models and MRA
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 controllable adjustment range, which thereby makes it possible to provide optional modes of recommendation aiming different kinds of users. -
17
BianLian Framework plan to establish a cross-platform, cross-language, JSF .NET like solution. To make all the GUI (both JSF .net and so on) INDEPENDENT to implementation. PS, BianLian is the famous Chinese art with about 1000 years history.
-
18
The open-source project for development, analysing and installation of (Asset-Control) Asset Data Model(s), through Eclipse.
-
19
Framework for creation of board games. Chess is built-in, Monopoly comes next. It addresses: 1) Players 2) Game authors 3) AI developers 4) Model-based developers. Developed by software professionals using EMF. New games are configured in few hours.
-
20
TextUML Toolkit is an IDE for UML that lets you create models at the same speed you write code by using a textual notation instead of the conventional graphical one. This project is now hosted on github. https://abstratt.github.io/textuml
-
21
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.
-
22
SMLEditor
Prototype editor for the SDEM Mapping Language
The Gateways Team of the Live-Virtual-Constructive Architecture Roadmap Implementation (LVCAR-I) effort is developing a set of tools that will support the gateway community. One of these tools is the Simulation Data Exchange Model (SDEM) Mapping Language (SML) Editor. The tool provides the ability to import two SDEMs in their native language and subsequently view the entities that need to be mapped between the two SDEMs. The SDEM Editor also allows the user to create these mappings and store the result in an SML file. -
23
rel-erl
rel_erl is a lightweight relational in-memory database for Erlang.
Features 1. Data rows are stored in the process dictionary. 2. Unique and referencial constraints are enforced. 3. There can be more than one index per table. 4. One-to-many joins are fast and easy. -
24
XJML
XJML 1.0 is a platform for Verification and Validation of Java classes
XJML 1.0 actually can reads one Java class and its contract (written in XML) and then executes the next verification techniques: 1. Runtime Assertion Checking (RAC). Using JML4c and JML4rt tools. 2. Extended Static Checking (ESC). Using ESC/Java2. 3. Full Static Program Verification (FSPV). Using the Why platform (tested with Why 2.30 and Why3 0.71) -
25
SEvents is a System of Event programming with random factor designed to accept a script file and execute it with using extra modules. One module - one object, which relate on changing of some variables.