Search Results for "logical" - Page 2
Sort By:
Showing 83 open source projects for "logical"
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.
-
Next-Gen Encryption for Post-Quantum Security | CLEAR by Quantum KnightCLEAR by Quantum Knight is a FIPS-140-3 validated encryption SDK engineered for enterprises requiring top-tier security. Offering robust post-quantum cryptography, CLEAR secures files, streaming media, databases, and networks with ease across over 30 modern platforms. Its compact design, smaller than a single smartphone image, ensures maximum efficiency and low energy consumption.
-
1
Bluej LOC Counter
An extension for BlueJ that counts logical lines of code.
-
2
owl reasoning over big biomedical data
A OWL reasoning framework for the analysis of big biomedical data
A general OWL reasoning framework for the analysis of big biomedical data and implement a MapReduce-based property chain reasoning prototype system. OWL reasoning method is ideally suitable for problems involved complex semantic associations because it is able to infer logical consequences based on a set of asserted rules or axioms. MapReduce framework isused to solve the problem of scalability. In our experiment, we focus on the discovery of associations between Traditional Chinese Medicine (TCM) and Western Medicine (WM). -
3
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 conclusions, so the Logic Calculator displays the truth table of each premise / conclusion and the result of whether or not these premises logically entail the given conclusions... -
4
Natural Deduction Planner
Assistant for generating Natural Deduction style proofs
This application aids in the creation of Natural Deduction style logical proofs. The style is that used in University of Auckland Philosophy courses. Upon inputting a sequent, a proof can be completed within Natural Deduction Planner. The result can be exported to png, to text or to LaTeX macros. -
Smart Business Texting that Generates PipelineTextUs is the leading text messaging service provider for businesses that want to engage in real-time conversations with customers, leads, employees and candidates. Text messaging is one of the most engaging ways to communicate with customers, candidates, employees and leads. 1:1, two-way messaging encourages response and engagement. Text messages help teams get 10x the response rate over phone and email. Business text messaging has become a more viable form of communication than traditional mediums. The TextUs user experience is intentionally designed to resemble the familiar SMS inbox, allowing users to easily manage contacts, conversations, and campaigns. Work right from your desktop with the TextUs web app or use the Chrome extension alongside your ATS or CRM. Leverage the mobile app for on-the-go sending and responding.
-
5
MILK - Java database framework
Lightweight Java database framework featuring a simple ORM
MILK is a lightweight Java database framework. Its main target is to simplify database development providing an easy-to-use API to run SQL queries and a slim configurable ORM. -
6
Rubato Composer is a music software based on the concepts and models of mathematical music theory and equally suited for music composition, analysis, performance, and logical or geometric operations.
-
7
JavaBitWise
A bitwise calculator for two integers.
A two's compliment calculator designed for specifically for Java, but is still effective for just about any other language. It will accept two integer values and will show the binary, octal, and hexadecimal equivalence, and show how the bits interact with the logical operators not, and, or, and xor, and how primitive types are cast into other types. If there is a feature that you would like to see, let me know and I will see what I can do. I am working on a major update to how the interface works. -
8
Unity Network
Unity Network is a distributed Virtual Networking Platform
...By large we mean that it can support a big room for many clients. Moreover its a platform that is designted to be as less dependant from os and network as possible making it more logical and object oriented. The platform is defined by 3 basic principles which are freedom, security, individuality (see more inside) Its is fully functional but not recomended for usung as is because its an academic implementation meaning that needs to be taken care of for security and stability issues. -
9
JAG is a turn based logical game. You have dwarf under your control and sack full of gold. What will you do to grab it first?
-
Say goodbye to broken revenue funnels and poor customer experiencesLeanData is a Demand Management solution that supports all go-to-market strategies such as account-based sales development, geo-based territories, and more. LeanData features a visual, intuitive workflow native to Salesforce that enables users to view their entire lead flow in one interface. LeanData allows users to access the drag-and-drop feature to route their leads. LeanData also features an algorithms match that uses multiple fields in Salesforce.
-
10
ExpressionOasis is a java based framework for evaluating the various type of expressions like arithmatic, logic expression etc. The framework is flexible enough to define any new grammer rules or operators.
-
11
XML-CF-lib
TeleScope-CF XML Content Filtering Library
Current TeleScope-CF Java library implementation employs XML parsing and specific pattern-matching that provides standard logical operator constructs to construct the query over the values of XML elements and attributes applied to the XML message on the fly as it is provided in the form of a String object. The code base has been adopted from TeleScope CQ XML stream broker code base written in C. C code has been re-factored into Java with minor modifications. -
12
telescope-cf-library
TeleScope-CF XML Content Filtering Library
Current TeleScope-CF Java library implementation employs XML parsing and specific pattern-matching that provides standard logical operator constructs to construct the query over the values of XML elements and attributes applied to the XML message on the fly as it is provided in the form of a String object. The code base has been adopted from TeleScope CQ XML stream broker code base written in C. C code has been re-factored into Java with minor modifications. -
13
NCP+
Network Control Plane
Network Control Plane is the component of the GEYSERS architecture responsible for the automatic, seamless and one-step setup of IT & networks resources through GMPLS extended protocols and engines; and the Network+IT Provisioning Service (NIPS), which includes all the specific transactions among the application layer, the NCP and the logical layer to instantiate the distributed IT service. More details: 1.User Guide - http://sourceforge.net/projects/geysers-ncp/files/NCP-manual-v0.1.pdf 2.VM image repository - http://150.254.171.133/vm_geysers/GEYSERS_WP4_v0.5.0_final.ova -
14
Master Sudoku
Sudoku solver written in Java (Spanish Language)
Sudoku solver written in Java (Spanish Language). Supports a lots of logical techniques (singles, subsets, fishes, wings, uniqueness, coloring, loops, chains, ALS). It is not a puzzle generator. You must have the puzzles in a text file or select a puzzle pre-loaded. Includes several kinds of helps. -
15
Blue Basin
General template for expressions using Lisp-like structures.
A group of generic tools and containers for using in logical and mathematical terms. Lisp like type-safe n-Trees. -
16
ConfigCompare
Compare XML configuration files
Compare XML files using the DOM (Document Object Model) structure, which helps in finding the differences in files irrespective of location. -
17
LICL
Logical Infrastructure Composition Layer
The Logical Infrastructure Composition Layer (LICL) is the component of the GEYSERS architecture responsible for abstracting and virtualising the physical resources, and thus offering them as a service to the upper layers of the architecture. There are two different actors in the GEYSERS reference model that make use of the LICL functionalities in order to provide their corresponding services, the Virtual Infrastructure Provider (VIP) and the Physical Infrastructure Provider (PIP). ... -
18
-
19
DexGuess
A simple game to analyse your skills in number guessing.
The program randomly selects a five digit number. You have to find out that number in the minimum number of logical guesses possible. You will enter a five digit number and the program will tell you if the number is more than, less than or equal to the random number selected by the program. Repeat the process to find the number out. -
20
-
21
BPMN extension for Cloud computing
java project for modifying jBPM models into cloud aware models
...It reads a model *.bpmn, which was created using jBPM BPMN 2.0 modeling tool. Then user is able to define a sensitivity of data elements. After that an Ontology is created and filled in with model elements. Special logical rules process the data. User is able to additionally define the security level. The resulting model is created and can be opened in the jBPM. -
22
PCEHR JConnector
Sample application showcasing connectivity to PCEHR system via B2B
The PCEHR JConnector is an open source reference implementation of a PCEHR System client. The scope of the project includes: ** Providing sample code for connecting a client application to the PCEHR System via the PCEHR B2B Gateway. **Providing an online forum, where questions about connecting to the PCEHR System can be raised and answered. **Using feedback to continuously improve the sample code, as well as the general experience of software vendors looking to integrate with the... -
23
BayesianCortex
simple algorithm for a realtime interactive visual cortex for painting
...Bayesian nodes have exactly 3 childs because that is all thats needed to do NAND in a fuzzy way as Bayes' Rule which is NAND at certain extremes. NAND can be used to create any logical system. In this early version, I'm still working on edge detection and its understanding of the same shapes at different brightnesses. This will be a module of the bigger Human AI Net project and will be used for adding realtime intuitive high dimensional intelligence in audio and visual interactions with the user. -
24
LIPL PLC Device
LIPL language
...It is primarily used to develop software for programmable logic controllers (LIPL PLCs) used in industrial control applications. This language supports only the most basic functionality (if/then, for/next, goto, print, aritmetic-logical expressions and others). -
25
Complete storage and backup system with web administration that integrates many useful tools. Support logical volumes, snapshots, CIFS and NFS shares, tape drives, libraries, VTL's, iSCSI devices, etc. Manage users and roles, and easy restore.
