Search Results for "parrot-security-4" - Page 2
Sort By:
Showing 240 open source projects for "parrot-security-4"
View related business solutions-
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
Custom VMs From 1 to 96 vCPUs With 99.95% UptimeLive migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
-
1
spectralHMM
A spectral method for inferring selection from time series data
...This software implements the algorithms described in the following paper: Steinrücken, M., Bhaskar, A. and Song, Y.S. A novel spectral method for inferring general diploid selection from time series genetic data. Annals of Applied Statistics, Vol. 8, No. 4 (2014) 2203-2222 -
2
MorseClusterSolver
The program is designed to search for clusters global minimum structur
The program is designed to search for clusters global minimum structures of Morse clusters. -
3
VBS for Research on the Internet
Welcome to the Volunteer-Based System for Research on the Internet!
Welcome to the Volunteer-Based System for Research on the Internet! This system is designed to provide detail data about applications used in the Internet. This information can be used for: - obtaining the knowledge which applications are most frequently used in the network - providing the users some basic statistics about their Internet connection usage (for example for which kinds of applications their connection is used the most) - creating scientific profiles of traffic generated... -
4
Maps coloring
Four color theorem application
Search for a pencil and paper proof of the four color problem. See http://4coloring.wordpress.com for info. Please let me know what you think about this application. Also visit the youtube channel: http://www.youtube.com/user/mariostefanutti/videos -
Application Monitoring That Won't Slow Your App DownFull APM with errors, performance, logs, and uptime monitoring. 99.999% uptime SLA on the platform itself.
-
5
UltimateCalculator
Basic Scientific Calculator
This software has four major modes- Simple, Scientific, Base & Equation. It also has Unit Converter, Date Calculator & Prime Number Generator. -
6
PMM-Lab
Predictive Microbial Modeling plug-in for KNIME
PMM-Lab is an open-source extension to the Konstanz Information Miner (KNIME). It consists of three components: • a library of KNIME nodes (called PMM-Lab), • a library of “standard” workflows • an HSQL database.to store experimental data and microbial models. Altogether these components are designed to ease and standardize the statistical analysis of experimental microbial data and the development of predictive microbial models (PMM). Users can apply PMM-Lab to proprietary or public... -
7
Ship Lock Scheduling
Scheduling lockages at ship locks with several parallel lock chambers
This Java software includes algorithms of combinatorical optimization for the NP-hard offline ship lock scheduling problem. Solutions and performed computations can be displayed graphically. Besides, there is a framework for generating test instances and running these in parallel, as well as R/JGR code for statistical evaluation. Some tools for estimating the quality of calculated solutions will be further improved. Initially the software was developed within a project of TU Berlin regarding... -
8
The Virtual Math Teams (VMT) Project (vmt.mathforum.org) at the Math Forum enables K-12 math collaborative learning, professional development of educators, & group cognition research. VMT is now integrated with GeoGebra (http://www.geogebra.org/).
-
9
Belief Reviser
Belief Revision via PS-Merge under constraints belief merging operator
Belief revision is a central topic in knowledge representation and reasoning. It consists in incorporating a new belief, changing as few as possible of the original beliefs while preserving consistency. Revision always considers new evidence as a better belief. Such new evidence is usually represented in the form of a propositional formula which must be preserved after the revision. Here, the Δps (PS-Merge) belief merging operator is extended in order to consider constraints, and ... -
Forever Free Full-Stack Observability | Grafana CloudBuilt on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
-
10
physicsmata
API for all possible cellular automata that work same at all angles
Its strange how the "sorted pointers" normalizing makes just about any random function, as long as it connects the inputs to the outputs on some path, vibrate as some nonlinear shape of wave. This could be used as a game interface for evolvable musical instruments or fluid puzzle games. Physicsmata is similar in effect to SmoothLife but simpler and pure Java. The cellular automata API takes a function to run at each point. Its parameters are sums of screen brightness (n color dimensions are... -
11
EDM Calibration Baseline Fitting
EDMFit is an adjustment tool to estimate EDM calibration parameters.
...EDMFit is a simple adjustment tool to estimate the EDM calibration parameters (addition constant and/or scale parameter). The adjustment process is according to ISO 17123-4. The parameters are checked for significance, to avoid an overestimation. Based on two classical hypothesis testing, EDMFit provides a reliable outlier detection. For uncertainties budgeting, EDMFit makes use of Monte-Carlo simulations and supports different distribution function: - Uniform distribution, - Triangular distribution and - Gaussian (normal) distribution. ... -
12
Logic Calculator
A Calculator to perform logical operations
The Logic Calculator is an application useful to perform logical operations. It has three modes: (1) Evaluation of logic formulae: In this mode we have the basic boolean operations (negation, conjunction, disjunction, conditional and biconditional) so the user can insert the logic formula and the Logic Calculator displays the truth table along with the models of the formula. (2) Logical entailment: In this mode the user can insert a number of premises followed by a number of... -
13
memesa-tools
A collection of tools used in the enumeration of solution spaces
This collection of tools forms the basis of a pipeline for the complete enumeration of the number of solutions present in a model that maximizes a single objective function. -
14
SEPIA: Security-oriented PN Framework
Petri net framework for security related modeling and reasoning.
...Along Place/Transition-nets, it supports Petri nets with distinguishable token colors and defines coloured workflow nets, where coloured tokens are interpreted as data elements used during process execution. To support information flow analysis of processes, SEPIA defines so-called IF-Nets, tailored for security-oriented workflow modeling which enable users to assign security-levels (HIGH, LOW) to transitions, data elements and persons/agents participating in the process execution. SEPIA builds upon TOVAL (http://sourceforge.net/p/toval), JAGAL (http://sourceforge.net/p/jagal) and SEWOL (https://sourceforge.net/projects/jawl/). To use SEPIA, make sure these libraries are on the build path. ... -
15
jAgg
jAgg - Java Aggregation Operations
jAgg is a Java 5.0 API that supports “group by” operations on Lists of Java objects: aggregate operations such as count, sum, max, min, avg, and many more. It supports Super Aggregation: Rollups, Cube, and Grouping Sets. It supports analytic operations such as lag/lead and row number and more. It also allows custom aggregate and analytic operations. -
16
MattsMathTools
MathTools is an aid in preparing printed math tests.
Matt's MathTools is a Java application designed as an aid in preparing printed math tests. It is easily embedded in other Java applications or it can be used alone as a single-user desktop app. It includes a scripting environment, numerous demonstration classes and several general utilities. A scripting tutorial is also available. -
17
WOLFGANG
Editor for Petri nets
Wolfgang is a lightweight tool that allows users to easily create and edit Petri nets and check them against general and workflow specific net properties. Specifically, Wolfgang supports full PNML conform editing functionality of Place-Transition Nets (P/T-Nets) and Colored Petri Nets (CPN) as they are defined in the SEPIA package. Its simple and easy to use interface allows to quickly create Petri nets from scratch, edit them graphically in many ways, store and even export them as PDFs. Use... -
18
xorlisp
Bit level lambda continuations and nothing else - Queue automata
Not working yet. To deal with the Halting Problem, computing and data are navigated using debugger ops: linearForward and treeForward, which navigate an astronomically large bit string where 1 is ( and 0 is ). All pairs are derived from (). For example, true is represented as ((()())()), and false is (()(()())). It appears related to the church encoding of lambda where T chooses first parameter and F chooses second, of a pair. Continuations are nearly finished code and are represented as a... -
19
Immutable Sparse Wave Trees (WaveTree)
Realtime bigdata tool for bit strings up to 2^63 based on AVL forest
Realtime bigdata tool at the bit level based on immutable AVL forest which can be run in memory or, in future versions, as a merkle forest like a blockchain. Main object is a sparse bit string (Bits) that efficiently scales up to 2^63 bits normally compressed as forest has duplicated substrings. Bits objects support reading bit, byte, short, int, or long (Java primitives) at any bit index in 64 bit range. Example: instead of building a class to hold a header and then data, represent all of... -
20
Chordalysis
Log-linear analysis (data modelling) for high-dimensional data
===== Project moved to https://github.com/fpetitjean/Chordalysis ===== Log-linear analysis is the statistical method used to capture multi-way relationships between variables. However, due to its exponential nature, previous approaches did not allow scale-up to more than a dozen variables. We present here Chordalysis, a log-linear analysis method for big data. Chordalysis exploits recent discoveries in graph theory by representing complex models as compositions of triangular structures,... -
21
Belief Merger
A simple Belief Merging Prototype
Belief merging aims at combining several pieces of (possibly inconsistent) information coming from different sources. The goal is to produce a single consistent set of information, trying to keep the most of the information of the sources. A belief merging operator is the responsible for making the belief merging. With this tool you can compare the ΔΣ, ΔGMax and the Δps (PS-Merge) operators. -
22
Bibtex Import
Imports bibtex references from MathSciNet
Uses MathSciNet to search for bibtex references. The matching references can then be edited and added to a local file. For information on how to use this software please consult the wiki. Requires a MathSciNet subscription. -
23
The JAccumulator package brings the convenient type conversion and ad hoc composition capabilities of Javascript to Java programming structures. JAccumulator is dependent upon the Jupperware (http://jupperware.sf.net) to provide Javascript-like associative list capabilities and the convenience of easy hierarchical construction.
-
24
jmathstudio-android
Android API for discrete Image and Signal processing.
JMathStudio-Android is an API for Image & Signal processing for your Android application. It is simple to use, portable, light (~300 Kb), extendable and free. JMathStudio-Android provides a developer with many of the advanced and basic discrete image and signal processing utilities ( 500+ useful operations/transforms). A minimum Android platform with API Level 3 is required for Android projects using this API. Author: Bhavya Ajani (jmathstudio@gmail.com) Refer pure Java based... -
25
Euclide is a dynamic geometry application written in Java. It allows creation of geometric shapes (lines, points, circles, conics...) and transforms (rotation, symmetry...), which depend each other. Moving a shape will also move shapes dependent on it.
