Search Results for "logical"
Sort By:
Showing 49 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.
-
Automated RMM Tools | RMM SoftwareOut-of-the-box scripts. Around-the-clock monitoring. Unmatched automation capabilities. Start doing more with less and exceed service delivery expectations.
-
1
alphageometry
AI-driven neuro-symbolic solver for high-school geometry problems
...AlphaGeometry integrates a symbolic deduction engine with a transformer-based language model to propose and validate geometric constructions in a stepwise proof process. The DDAR solver focuses purely on rule-based reasoning, while AlphaGeometry enhances this by using a learned model to suggest auxiliary constructions when logical reasoning alone is insufficient. The repository includes pre-trained weights, vocabulary files, and detailed configuration options for reproducing experiments. -
2
Cookiecutter Data Science
Project structure for doing and sharing data science work
A logical, reasonably standardized, but flexible project structure for doing and sharing data science work. When we think about data analysis, we often think just about the resulting reports, insights, or visualizations. While these end products are generally the main event, it's easy to focus on making the products look nice and ignore the quality of the code that generates them. -
3
Foreval
Foreval is parser & compiler of mathematical expressions
Foreval is compiler of mathematical expressions (formulas) (directly to x86-32 CPU/FPU comand) given as string at run-time. Present as "dll" library and Delphi sources. Can be compiled in FPC (Lazarus). Can be direct connection to the program (without dll). Сurrent version ( v. 9.1.1.393): Examples for Delphi, Lazarus , GCC (Codeblock), (Builder, MSVC - in b.366). Demo: Fractals Julia; Visualizing of functions of complex variable - complex domain coloring , graph plotting... -
4
DEVS-Suite Simulator
Component, CA, and CCA models; superdense time, DB repo, testing, etc.
Integrated component-based and cellular automata (CA) Parallel DEVS simulator: https://acims.asu.edu/devs-suite/ OFFERS: 1) synchronized execution & animation, 2) run-time linear/superdense I/O & state trajectories, 3) Action Level Real-Time modeling & simulation, 4) model checking, 5) ABM, 6) CA & composable CA playback, 7) KIB interaction modeling, 8) hierarchical model libraries, 9) Black-Box testing & debugging, 10) PostgreSQL repository, 11) FMU (OpenModelica), 12) OSATE (AADL)... -
Collect! is a highly configurable debt collection softwareThe flexible & scalable debt collection software built to automate your workflow. From startup to enterprise, we have the solution for you.
-
5
Advanced Trigonometry Calculator
Precision Trigonometry: Advanced Calculator for Complex Math
Advanced Trigonometry Calculator is equipped with a user-friendly interface that allows for easy input of problems and instant computation. Professionals such as engineers who need to perform advanced trigonometric calculations in their work will find this tool extremely useful. ATC Online Alpha: https://advantrigoncalc.sourceforge.io/atc/ More info by clicking below: https://advantrigoncalc.sourceforge.io/ Advanced Trigonometry Calculator was only and always only developed by... -
6
JSmol
JavaScript-Based Molecular Viewer From Jmol
JSmol is the extension of the Java-based molecular visualization applet Jmol (jmol.sourceforge.net) as an HTML5 JavaScript-only web app. It can be used in conjunction with the Java applet to provide an alternative to Java when the platform does not support that (iPhone/iPad) or does not support applets (Android). Used in conjunction with the Jmol JavaScript Object (http://wiki.jmol.org/index.php/Jmol_Javascript_Object), JSmol seamlessly offers alternatives to Java on these non-Applet... -
7
DiInSo
DiInSo is orient to solve 3D direct and 2D/3D inverse problems of ERT
...READ CAREFULLY NEXT IMPORTANT MESSAGE NEVER use BLANKS and try to use only ENGLISH SYMBOLS in directories, filenames, paths and names of problems in program DiInSo. It is highly recommended to install DiInSo in root directory of any logical disk. If you have any error messages at program start, try to install 'Visual C++ Redistributable for VS2015' from Microsoft internet site or from directory 'redist'. At that moment ENGLISH and RUSSIAN full documentation of DiInSo available. DiInSo now in early pre-release beta-mode, so be ready to small, middle, big and even critical errors. ------------ Your chief programmer, Arkadiy Marinenko. ... -
8
openTCS
open Transportation Control System
...It consists of an abstract kernel that implements replaceable algorithms and strategies (computation of routes, dispatching of orders to vehicles, scheduling of resources etc.), pluggable vehicle drivers that implement communication protocols and a graphical frontend for creating and visualizing logical models of areas the vehicles are moving in. -
9
proof-logic
Proof Logic : A logical framework for theorem proving
Proof Logic is a functional and equational logical framework for theorem proving based on Combinatory Logic and Lambda Calculus, whose expressions are both terms and proofs proving the equality between two terms. -
Rent Manager SoftwareRent Manager is award-winning property management software built for residential, commercial, and short-term-stay portfolios of any size. The program’s fully customizable features include a double-entry accounting system, maintenance management/scheduling, marketing integration, mobile applications, more than 450 insightful reports, and an API that integrates with the best PropTech providers on the market.
-
10
MACE Algebraic Calculator
MACE is a Mathematical program for Algorithms, Calculations, Equations
...It is designed to be as easy to run as a hand-held calculator. The goal is a neat tool covering all fields of mathematics at advanced highschool and university level. MACE has 230 logical operations, statistical distributions and functions in the fields Analysis, Arithmetic, Complex Functions, Linear Algebra, Differential Calculus, Statistics and Signal Processing. MACE provides a dialog, which supports you to insert functions intuitively. Moreover Mace has a comprehensive help menu to support the user. MACE has also its own skripting language for the advanced user. ... -
11
FunctionalCalculator
A functional maths program calculating with functions
FunctionalCalculator is a Mathematical program, which calculates with functions and which is designed to be functional in the sense of convenience and usability. It has a desktop and a mobile edition. FunctionalCalculator has 75 User-Functions and logical / comparison operators (70 in the case of the mobile edition). The User-Functions can have arguments given by matrices, infinitely differentiable functions, complex numbers or arbitrary precision integers. Among the User-Functions you find: * The integral of f(x) from a to b * The derivative of f(x) * The Ternary Conditional * The gcd of two integers * Solve a System of Linear Equations FunctionalCalculator has a Grammar, which allows you to define you own recursive (meta) functions. ... -
12
octave-intinf
Infinite-precision integer arithmetic for Octave, written in Octave
...The supported operations are: >> s = a = intinf (126) % Creation of intinf-class object from integer or string >> b = intinf ('-792716404922304611755050042308687') >> c = a + b % Addition >> d = a - b % Subtraction >> e = c * d % Multiplication >> f = (e - a^2) / b % Exponentiation, division >> f == -b % Logical operators >> [q, r] = intinf_divide (b^2, a) % Divsion and remainder >> x = intinf_rand (100) % Random number (here, with 100 digits) TODO: * Better errors. * Make a package loadable by octave's pkg function. -
13
CoSMoSim
Visual & persistent families of models for CA, DEVS, and Statecharts
CoSMoSim offers an integrated framework for model development, simulation, & experimentation. Its unified logical, visual, and persistence framework supports specifying families of parallel CA, DEVS, Statecharts, and XML-Schema models (see DEVS-Suite simulator). -
14
jvqa
Video Quality Assessment in Java
...Indexes may be customized by selecting image structure statistic (variance, gradient, shifted gradient, 2/3/4-component gradient of variance), structure scale (full, downsampled to 256 or multiscaled), pooling window type (Gaussian, Box, Box with downsampling, or unfiltered) and size, index stabilization (logical or by constants) and luminance index (Gaussian, Box, Box with downsampling or no luminance index). -
15
-
16
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). -
17
Linknx is an automation platform providing high level functionalities to EIB/KNX installation. The rules engine allows execution of actions based on complex logical conditions and timers. Lightweight design allows it to run on embedded Linux. The project has been migrated to Github in 2015: https://github.com/linknx/linknx
-
18
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... -
19
Tardyon Drive AVR Stepper Controller
AVR-based single axis stepper motor controller
This project provides an AVR-based, USB accessible, single-axis motion controller that can fit into an USB-connector completely and therefore is probably the worlds smallest stepper motor controller. Here both, hardware schematics and all software components are provided. -
20
A Disk Scheduling Simulator tool. With an intuitive GUI interface and command line functionality. Built using both VC and VB. Currently supports SSTF,LOOK,CLOOK,SCAN and CSCAN algorithms. Rotational latency is also optionally supported.
-
21
math lib for .NET. n-dim arrays, complex numbers, linear algebra, FFT, sorting, cells- and logical arrays as well as 3D plotting classes help developing algorithms on every platform supporting .NET. Sources from SVN, binaries: http://ilnumerics.net
-
22
slc
Symbolic Lambda Calculus
Symbolic Lambda Calculus is a logical formalism based on lambda calculus and combinatory logic, in which there is only one kind of objects, which can represent either terms or equalities. It uses de Bruijn's and lambda calculus notations. -
23
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.
-
24
VisualMathEditor
LaTeX, AscciMath and MathML editor developed in Javascript and HTML
...It operates independently on the web or locally. It has many features and menus that help the equation-entry and allow their posting and backup. Formulas : - math physics symbols - operation symbols - logical symbols - arrows symbols - relation symbols - bracket symbols - differential symbols - functions symbols - integral symbols - matrix symbols - sqrt & frac symbols - sub & sup symbols - sum & prod symbols - greek characters -
25
LogicalAnalyzer
A logical signal analyzer tool for Arduino
This program is a logical signal analyzer tool for Arduino which helps listening TWI communication or UART with low baud rates (19200).
