Search Results for "new"
Sort By:
Showing 2 open source projects for "new"
View related business solutions-
Deploy Red Hat Ansible Automation Platform on Microsoft Azure for a strategic automation solution that allows you to orchestrate, govern and operationalize your Azure environment.
-
Over two-thirds of people reuse passwords across sites, resulting in an increasingly insecure e-commerce ecosystem. Learn how passwordless can not only mitigate these issues but make the authentication experience delightful. Implement Auth0 in any application in just five minutes
-
1
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... -
2
Fork of votesystem. Produce a secure, auditable and simple implementation of the Single Transferable Vote [STV] Sequential Elimination [SE] method otherwise known as Meek's Method. This is used for some Local Body elections in New Zealand.
- Previous
- You're on page 1
- Next