Search Results for "prob"
Sort By:
Showing 7 open source projects for "prob"
View related business solutions-
HubSpot is an AI-powered customer platform with all the software, integrations, and resources you need to connect your marketing, sales, and customer service. HubSpot's connected platform enables you to grow your business faster by focusing on what matters most: your customers.
-
With the world of work changed forever, it’s essential to manage your workplace and assets together to effectively create a high-performing environment. The Eptura experience combines the power of workplace management software with asset management, enabling you to effectively operate your building and facilitate hybrid work.
-
1
RAPID Graphing Software for Technical Analysis of Stocks and Commodities
-
2
simulador MEF academico potencial
simulador numerico prob de Potencial pelo metodo dos elementos finitos
simulador numerico problemas de Potencial e fluxo pelo metodo dos elementos finitos classico de galerkin nodal -
3
NOTE: We have moved the project to https://bitbucket.org/makokal/openprm/overview, all the code that is still in sf is not maintained anymore. please use the new code at the location given
-
4
LTL[e] model checker
An LTL[e] model checker for EVENT-B model as Rodin plugins.
An LTL[e] model checker for EVENT-B model as Rodin plugins. There are two algorithms for detecting accepting cycle: one is based on Nested Depth First Search (NDFS), another based on Strongly Connected Components (SCCs). Download Rodin platform from http://www.deploy-project.eu/ or eventb.org, then add this plugin for LTL[e] model checher for event-b model,(reqiures ProB library) -
Whether natural disaster, cyberattack, or plain-old human error, data can disappear in the blink of an eye. ConnectWise BCDR (formerly Recover) delivers reliable and secure backup and disaster recovery backed by powerful automation and a 24/7 NOC to get your clients back to work in minutes, not days.
-
5
-
6
Prob-lo-Matic is a Chain of Responsibility implementation in Java designed to provide a robust, extensible and standardized error processing framework
-
7
This is a python module that I wrote for statistics work. It can be used to calculate various probability distributions.
- Previous
- You're on page 1
- Next